rockit fd497fa6-ea01-4fcd-8fb9-6031f14a3546 | Research Group Data and Web Science

< prev | next >

rockit process (v0.5.227)

ID: fd497fa6-ea01-4fcd-8fb9-6031f14a3546 (complete)

State: complete / restart

date / time / ip

added:

2014-09-10 13:07:38

start:

2014-09-10 11:07:39

end:

2014-09-10 11:10:40

user IP:

134.155.86.121

input information

gap:

0.0000000001

inference:

approximative marginal

input:

entity-ranking.mln

data:

evidence.db

result

file:

output.db

duration:

03:01 min

log

process created
java -Xmx4G -jar /opt/pycodi/core/systems/rockit/0.5.227/rockit.jar -data /opt/pycodi/core/data/fd497fa6-ea01-4fcd-8fb9-6031f14a3546/evidence.db -gap 0.0000000001 -input /opt/pycodi/core/data/fd497fa6-ea01-4fcd-8fb9-6031f14a3546/entity-ranking.mln -output /opt/pycodi/core/data/fd497fa6-ea01-4fcd-8fb9-6031f14a3546/output.db -para /opt/pycodi/core/data/fd497fa6-ea01-4fcd-8fb9-6031f14a3546/rockit.properties -marginal -iterations 80000000
==== Start RockIt =====Wed Sep 10 13:07:39 CEST 2014
-input /opt/pycodi/core/data/fd497fa6-ea01-4fcd-8fb9-6031f14a3546/entity-ranking.mln
-data /opt/pycodi/core/data/fd497fa6-ea01-4fcd-8fb9-6031f14a3546/evidence.db
-output /opt/pycodi/core/data/fd497fa6-ea01-4fcd-8fb9-6031f14a3546/output.db
-para: use rockit.properties file.
-gap 1.0E-10
-debug output false
-use GIBBS Sampling
Set both CPI and CPA to false, since they both can not be used for sampling.
------ find coherent world (MAP state) as starting point -------
===== Start Standard Grounder =====Wed Sep 10 13:07:40 CEST 2014
....PutDataIntoTables duration: 81
2 hidden Predicates
4 observed Predicates
3 number of formulas
2551 evidence atoms
===== Start Standard Solver =====Wed Sep 10 13:07:40 CEST 2014
---- Start  Loop 0 ----Wed Sep 10 13:07:41 CEST 2014
add 5000 constraints (total number = 5000)
Optimize a model with 5000 rows, 5050 columns and 19800 nonzeros
Found heuristic solution: objective 2048.24
Presolve removed 1349 rows and 1349 columns
Presolve time: 0.16s
Presolved: 3651 rows, 3701 columns, 13355 nonzeros
Variable types: 0 continuous, 3701 integer (3701 binary)
Found heuristic solution: objective 2319.3464795
    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time
*    0     0               0    2472.6549665 2472.65497  0.00%     -    0s
Explored 0 nodes (0 simplex iterations) in 0.39 seconds
Thread count was 2 (of 2 available processors)
Optimal solution found (tolerance 1.00e-10)
Best objective 2.472654966521e+03, best bound 2.472654966521e+03, gap 0.0%
- convert to GIBBS data structure
- number of literals 2550
- start 80000000 GIBBS sampling rounds (feedback every 10 seconds).
Sampled 5033400 of 80000000 in 10001 ms.
Sampled 9960800 of 80000000 in 20001 ms.
Sampled 14443700 of 80000000 in 30001 ms.
Sampled 19654000 of 80000000 in 40001 ms.
Sampled 23587000 of 80000000 in 50001 ms.
Sampled 28560800 of 80000000 in 60001 ms.
Sampled 32591000 of 80000000 in 70001 ms.
Sampled 37676300 of 80000000 in 80001 ms.
Sampled 42682900 of 80000000 in 90001 ms.
Sampled 45830900 of 80000000 in 100001 ms.
Sampled 51027200 of 80000000 in 110001 ms.
Sampled 56307400 of 80000000 in 120001 ms.
Sampled 61295800 of 80000000 in 130221 ms.
Sampled 64941900 of 80000000 in 144694 ms.
Sampled 67743000 of 80000000 in 150001 ms.
Sampled 72022100 of 80000000 in 160001 ms.
Sampled 76406200 of 80000000 in 170001 ms.
Finished: Sampled 80000000 in 177246 ms.
Rockit runtime was 180583 milliseconds.
Finished!

Data & Web Science computational services

rockit process (v0.5.227)

ID: fd497fa6-ea01-4fcd-8fb9-6031f14a3546 (complete)

date / time / ip

input information

result

log