rockit f95d4eb5-2f78-496f-a53e-190d831bbcb8 | Research Group Data and Web Science

< prev | next >

rockit process (v0.5.227)

ID: f95d4eb5-2f78-496f-a53e-190d831bbcb8 (complete)

State: complete / restart

date / time / ip

added:

2014-09-10 13:33:49

start:

2014-09-10 11:33:49

end:

2014-09-10 11:39:41

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:

05:52 min

log

process created
java -Xmx4G -jar /opt/pycodi/core/systems/rockit/0.5.227/rockit.jar -data /opt/pycodi/core/data/f95d4eb5-2f78-496f-a53e-190d831bbcb8/evidence.db -gap 0.0000000001 -input /opt/pycodi/core/data/f95d4eb5-2f78-496f-a53e-190d831bbcb8/entity-ranking.mln -output /opt/pycodi/core/data/f95d4eb5-2f78-496f-a53e-190d831bbcb8/output.db -para /opt/pycodi/core/data/f95d4eb5-2f78-496f-a53e-190d831bbcb8/rockit.properties -marginal -iterations 200000000
==== Start RockIt =====Wed Sep 10 13:33:50 CEST 2014
-input /opt/pycodi/core/data/f95d4eb5-2f78-496f-a53e-190d831bbcb8/entity-ranking.mln
-data /opt/pycodi/core/data/f95d4eb5-2f78-496f-a53e-190d831bbcb8/evidence.db
-output /opt/pycodi/core/data/f95d4eb5-2f78-496f-a53e-190d831bbcb8/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:33:51 CEST 2014
....PutDataIntoTables duration: 254
2 hidden Predicates
4 observed Predicates
3 number of formulas
2551 evidence atoms
===== Start Standard Solver =====Wed Sep 10 13:33:52 CEST 2014
---- Start  Loop 0 ----Wed Sep 10 13:33:53 CEST 2014
add 5000 constraints (total number = 5000)
Optimize a model with 5000 rows, 5050 columns and 19800 nonzeros
Found heuristic solution: objective 4709.84
Presolve removed 1349 rows and 1349 columns
Presolve time: 0.11s
Presolved: 3651 rows, 3701 columns, 13355 nonzeros
Variable types: 0 continuous, 3701 integer (3701 binary)
Found heuristic solution: objective 6075.4577829
    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time
*    0     0               0    6076.6549665 6076.65497  0.00%     -    0s
Explored 0 nodes (0 simplex iterations) in 0.21 seconds
Thread count was 2 (of 2 available processors)
Optimal solution found (tolerance 1.00e-10)
Best objective 6.076654966521e+03, best bound 6.076654966521e+03, gap 0.0000%
- convert to GIBBS data structure
- number of literals 2550
- start 200000000 GIBBS sampling rounds (feedback every 10 seconds).
Sampled 5710700 of 200000000 in 10001 ms.
Sampled 11787600 of 200000000 in 20001 ms.
Sampled 17411200 of 200000000 in 30001 ms.
Sampled 23328200 of 200000000 in 40001 ms.
Sampled 29558300 of 200000000 in 50001 ms.
Sampled 35506100 of 200000000 in 60001 ms.
Sampled 41269700 of 200000000 in 70001 ms.
Sampled 47664000 of 200000000 in 80001 ms.
Sampled 53202100 of 200000000 in 90001 ms.
Sampled 59435200 of 200000000 in 100001 ms.
Sampled 65202800 of 200000000 in 110001 ms.
Sampled 71269300 of 200000000 in 120001 ms.
Sampled 77425200 of 200000000 in 130001 ms.
Sampled 83683300 of 200000000 in 140001 ms.
Sampled 89551500 of 200000000 in 150001 ms.
Sampled 95820600 of 200000000 in 160001 ms.
Sampled 101950500 of 200000000 in 170001 ms.
Sampled 108085000 of 200000000 in 180001 ms.
Sampled 113972100 of 200000000 in 190001 ms.
Sampled 120084100 of 200000000 in 200001 ms.
Sampled 125880700 of 200000000 in 210001 ms.
Sampled 132285900 of 200000000 in 220001 ms.
Sampled 137764200 of 200000000 in 230001 ms.
Sampled 143622800 of 200000000 in 240001 ms.
Sampled 149417700 of 200000000 in 250032 ms.
Sampled 154050500 of 200000000 in 260001 ms.
Sampled 158851300 of 200000000 in 270001 ms.
Sampled 163839100 of 200000000 in 280001 ms.
Sampled 168439200 of 200000000 in 290001 ms.
Sampled 173127700 of 200000000 in 300001 ms.
Sampled 178759600 of 200000000 in 310001 ms.
Sampled 184159800 of 200000000 in 320001 ms.
Sampled 190279400 of 200000000 in 330001 ms.
Sampled 195606700 of 200000000 in 340001 ms.
Finished: Sampled 200000000 in 346841 ms.
Rockit runtime was 351114 milliseconds.
Finished!

Data & Web Science computational services

rockit process (v0.5.227)

ID: f95d4eb5-2f78-496f-a53e-190d831bbcb8 (complete)

date / time / ip

input information

result

log