rockit f6a0f685-cab5-411d-b85f-06aaf6989f00 | Research Group Data and Web Science

< prev | next >

rockit process (v0.5.227)

ID: f6a0f685-cab5-411d-b85f-06aaf6989f00 (complete)

State: complete / restart

date / time / ip

added:

2014-09-11 14:13:30

start:

2014-09-11 12:13:31

end:

2014-09-11 12:25:51

user IP:

134.155.88.147

input information

gap:

0.00000000010

inference:

approximative marginal

input:

PostOptimization.mln

data:

mln_5042120932410661573_evidence.db

result

file:

output.db

duration:

12:20 min

log

process created
java -Xmx4G -jar /opt/pycodi/core/systems/rockit/0.5.227/rockit.jar -data /opt/pycodi/core/data/f6a0f685-cab5-411d-b85f-06aaf6989f00/mln_5042120932410661573_evidence.db -gap 0.00000000010 -input /opt/pycodi/core/data/f6a0f685-cab5-411d-b85f-06aaf6989f00/PostOptimization.mln -output /opt/pycodi/core/data/f6a0f685-cab5-411d-b85f-06aaf6989f00/output.db -para /opt/pycodi/core/data/f6a0f685-cab5-411d-b85f-06aaf6989f00/rockit.properties -marginal -iterations 200000000
==== Start RockIt =====Thu Sep 11 14:13:31 CEST 2014
-input /opt/pycodi/core/data/f6a0f685-cab5-411d-b85f-06aaf6989f00/PostOptimization.mln
-data /opt/pycodi/core/data/f6a0f685-cab5-411d-b85f-06aaf6989f00/mln_5042120932410661573_evidence.db
-output /opt/pycodi/core/data/f6a0f685-cab5-411d-b85f-06aaf6989f00/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 =====Thu Sep 11 14:13:32 CEST 2014
....PutDataIntoTables duration: 151
2 hidden Predicates
4 observed Predicates
4 number of formulas
2550 evidence atoms
===== Start Standard Solver =====Thu Sep 11 14:13:32 CEST 2014
---- Start  Loop 0 ----Thu Sep 11 14:13:33 CEST 2014
add 10000 constraints (total number = 10000)
Optimize a model with 10000 rows, 7550 columns and 39600 nonzeros
Found heuristic solution: objective 934.381
Presolve removed 200 rows and 150 columns
Presolve time: 0.23s
Presolved: 9800 rows, 7400 columns, 39557 nonzeros
Variable types: 0 continuous, 7400 integer (7400 binary)
Root relaxation: objective 1.422317e+03, 135 iterations, 0.02 seconds
    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time
*    0     0               0    1422.3166540 1422.31665  0.00%     -    0s
Explored 0 nodes (135 simplex iterations) in 0.27 seconds
Thread count was 2 (of 2 available processors)
Optimal solution found (tolerance 1.00e-10)
Best objective 1.422316654004e+03, best bound 1.422316654004e+03, gap 0.0%
- convert to GIBBS data structure
- number of literals 2550
- start 200000000 GIBBS sampling rounds (feedback every 10 seconds).
Sampled 3045700 of 200000000 in 10001 ms.
Sampled 5726200 of 200000000 in 20001 ms.
Sampled 8537200 of 200000000 in 30001 ms.
Sampled 11719300 of 200000000 in 40001 ms.
Sampled 14390400 of 200000000 in 50001 ms.
Sampled 17447900 of 200000000 in 60001 ms.
Sampled 19913400 of 200000000 in 70001 ms.
Sampled 22851300 of 200000000 in 80001 ms.
Sampled 25701600 of 200000000 in 90001 ms.
Sampled 28196800 of 200000000 in 100001 ms.
Sampled 30102900 of 200000000 in 110001 ms.
Sampled 33036400 of 200000000 in 120001 ms.
Sampled 35928700 of 200000000 in 130001 ms.
Sampled 38395500 of 200000000 in 140001 ms.
Sampled 41606000 of 200000000 in 150001 ms.
Sampled 44796700 of 200000000 in 160001 ms.
Sampled 47870400 of 200000000 in 170001 ms.
Sampled 50018600 of 200000000 in 180001 ms.
Sampled 53078500 of 200000000 in 190001 ms.
Sampled 56140600 of 200000000 in 200001 ms.
Sampled 59326600 of 200000000 in 210001 ms.
Sampled 62252900 of 200000000 in 220002 ms.
Sampled 64810800 of 200000000 in 232878 ms.
Sampled 67118800 of 200000000 in 240001 ms.
Sampled 70160400 of 200000000 in 250001 ms.
Sampled 73226900 of 200000000 in 260001 ms.
Sampled 76195100 of 200000000 in 270001 ms.
Sampled 77973600 of 200000000 in 280001 ms.
Sampled 81155200 of 200000000 in 290001 ms.
Sampled 84293900 of 200000000 in 300001 ms.
Sampled 87367500 of 200000000 in 310001 ms.
Sampled 90420100 of 200000000 in 320001 ms.
Sampled 93471200 of 200000000 in 330001 ms.
Sampled 96037000 of 200000000 in 340001 ms.
Sampled 99128600 of 200000000 in 350001 ms.
Sampled 100401900 of 200000000 in 360001 ms.
Sampled 103496600 of 200000000 in 370001 ms.
Sampled 106560600 of 200000000 in 380001 ms.
Sampled 109441300 of 200000000 in 390001 ms.
Sampled 111815900 of 200000000 in 400001 ms.
Sampled 113094200 of 200000000 in 411627 ms.
Sampled 115586300 of 200000000 in 420146 ms.
Sampled 118492100 of 200000000 in 430001 ms.
Sampled 121282400 of 200000000 in 440001 ms.
Sampled 124136100 of 200000000 in 450001 ms.
Sampled 126848000 of 200000000 in 460004 ms.
Sampled 129872400 of 200000000 in 470001 ms.
Sampled 132676700 of 200000000 in 480216 ms.
Sampled 135585300 of 200000000 in 490001 ms.
Sampled 136387300 of 200000000 in 501011 ms.
Sampled 139130200 of 200000000 in 510001 ms.
Sampled 141789100 of 200000000 in 520001 ms.
Sampled 144367100 of 200000000 in 530001 ms.
Sampled 147227000 of 200000000 in 540001 ms.
Sampled 150001700 of 200000000 in 550001 ms.
Sampled 152904500 of 200000000 in 560001 ms.
Sampled 155753700 of 200000000 in 570126 ms.
Sampled 158665800 of 200000000 in 580001 ms.
Sampled 161817900 of 200000000 in 590001 ms.
Sampled 163632100 of 200000000 in 605710 ms.
Sampled 164956900 of 200000000 in 610001 ms.
Sampled 168061100 of 200000000 in 620001 ms.
Sampled 171107500 of 200000000 in 630001 ms.
Sampled 174098600 of 200000000 in 640001 ms.
Sampled 176208800 of 200000000 in 656242 ms.
Sampled 177425700 of 200000000 in 660001 ms.
Sampled 180393400 of 200000000 in 670001 ms.
Sampled 183329400 of 200000000 in 680001 ms.
Sampled 186338600 of 200000000 in 690252 ms.
Sampled 189378500 of 200000000 in 700001 ms.
Sampled 192446700 of 200000000 in 710001 ms.
Sampled 195362100 of 200000000 in 720001 ms.
Sampled 198410200 of 200000000 in 730002 ms.
Finished: Sampled 200000000 in 735521 ms.
Rockit runtime was 739825 milliseconds.
Finished!

Data & Web Science computational services

rockit process (v0.5.227)

ID: f6a0f685-cab5-411d-b85f-06aaf6989f00 (complete)

date / time / ip

input information

result

log