rockit fa3d3f31-b52a-4043-91ec-0a1fbb5707cb | Research Group Data and Web Science

< prev | next >
rockit process (v0.5.227)

ID: fa3d3f31-b52a-4043-91ec-0a1fbb5707cb (complete)

State: complete / restart
date / time / ip

added:
2014-09-08 21:51:27
start:
2014-09-08 19:51:27
end:
2014-09-08 20:04:31
user IP:
134.155.88.147
input information

gap:
0.00000000010
inference:
approximative marginal
input:
PostOptimization.mln
data:
mln_6914922097436565019_evidence.db
result

file:
output.db
duration:
13:04 min
log

process created
java -Xmx4G -jar /opt/pycodi/core/systems/rockit/0.5.227/rockit.jar -data /opt/pycodi/core/data/fa3d3f31-b52a-4043-91ec-0a1fbb5707cb/mln_6914922097436565019_evidence.db -gap 0.00000000010 -input /opt/pycodi/core/data/fa3d3f31-b52a-4043-91ec-0a1fbb5707cb/PostOptimization.mln -output /opt/pycodi/core/data/fa3d3f31-b52a-4043-91ec-0a1fbb5707cb/output.db -para /opt/pycodi/core/data/fa3d3f31-b52a-4043-91ec-0a1fbb5707cb/rockit.properties -marginal -iterations 200000000
==== Start RockIt =====Mon Sep 08 21:51:28 CEST 2014
-input /opt/pycodi/core/data/fa3d3f31-b52a-4043-91ec-0a1fbb5707cb/PostOptimization.mln
-data /opt/pycodi/core/data/fa3d3f31-b52a-4043-91ec-0a1fbb5707cb/mln_6914922097436565019_evidence.db
-output /opt/pycodi/core/data/fa3d3f31-b52a-4043-91ec-0a1fbb5707cb/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 =====Mon Sep 08 21:51:29 CEST 2014
....PutDataIntoTables duration: 139
2 hidden Predicates
4 observed Predicates
4 number of formulas
2551 evidence atoms
===== Start Standard Solver =====Mon Sep 08 21:51:29 CEST 2014
---- Start  Loop 0 ----Mon Sep 08 21:51:30 CEST 2014
add 10000 constraints (total number = 10000)
Optimize a model with 10000 rows, 7550 columns and 39600 nonzeros
Found heuristic solution: objective -81.0671
Presolve removed 200 rows and 150 columns
Presolve time: 0.22s
Presolved: 9800 rows, 7400 columns, 39557 nonzeros
Variable types: 0 continuous, 7400 integer (7400 binary)
Root relaxation: objective 4.162619e+02, 8 iterations, 0.01 seconds
    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time
*    0     0               0     416.2619237  416.26192  0.00%     -    0s
Explored 0 nodes (8 simplex iterations) in 0.25 seconds
Thread count was 2 (of 2 available processors)
Optimal solution found (tolerance 1.00e-10)
Best objective 4.162619236848e+02, best bound 4.162619236849e+02, gap 0.0%
- convert to GIBBS data structure
- number of literals 2550
- start 200000000 GIBBS sampling rounds (feedback every 10 seconds).
Sampled 2981800 of 200000000 in 10001 ms.
Sampled 5853700 of 200000000 in 20001 ms.
Sampled 8666300 of 200000000 in 30341 ms.
Sampled 11624300 of 200000000 in 40001 ms.
Sampled 14351100 of 200000000 in 50265 ms.
Sampled 17406500 of 200000000 in 60001 ms.
Sampled 20598500 of 200000000 in 70001 ms.
Sampled 23679600 of 200000000 in 80001 ms.
Sampled 25882000 of 200000000 in 90001 ms.
Sampled 29067200 of 200000000 in 100001 ms.
Sampled 32277600 of 200000000 in 110001 ms.
Sampled 35269000 of 200000000 in 120001 ms.
Sampled 37343500 of 200000000 in 130827 ms.
Sampled 40163400 of 200000000 in 140001 ms.
Sampled 43248600 of 200000000 in 150001 ms.
Sampled 46407300 of 200000000 in 160001 ms.
Sampled 49498500 of 200000000 in 170001 ms.
Sampled 50889900 of 200000000 in 180072 ms.
Sampled 54022700 of 200000000 in 190001 ms.
Sampled 56958700 of 200000000 in 200001 ms.
Sampled 59855700 of 200000000 in 210001 ms.
Sampled 62794000 of 200000000 in 226260 ms.
Sampled 64004000 of 200000000 in 230068 ms.
Sampled 67043000 of 200000000 in 240001 ms.
Sampled 70095900 of 200000000 in 250001 ms.
Sampled 73003800 of 200000000 in 260001 ms.
Sampled 75938300 of 200000000 in 270001 ms.
Sampled 76931700 of 200000000 in 280418 ms.
Sampled 79945400 of 200000000 in 290001 ms.
Sampled 82812600 of 200000000 in 300001 ms.
Sampled 85627900 of 200000000 in 310001 ms.
Sampled 88456100 of 200000000 in 320001 ms.
Sampled 91095000 of 200000000 in 330112 ms.
Sampled 93825900 of 200000000 in 340001 ms.
Sampled 96603100 of 200000000 in 350001 ms.
Sampled 99206700 of 200000000 in 360054 ms.
Sampled 100399800 of 200000000 in 373256 ms.
Sampled 102501200 of 200000000 in 380001 ms.
Sampled 105324500 of 200000000 in 390001 ms.
Sampled 108112400 of 200000000 in 400001 ms.
Sampled 110618400 of 200000000 in 410001 ms.
Sampled 113307600 of 200000000 in 420001 ms.
Sampled 113659200 of 200000000 in 432033 ms.
Sampled 116098200 of 200000000 in 440001 ms.
Sampled 119205300 of 200000000 in 450001 ms.
Sampled 122065400 of 200000000 in 460001 ms.
Sampled 124854600 of 200000000 in 470001 ms.
Sampled 127954900 of 200000000 in 480567 ms.
Sampled 130725800 of 200000000 in 490001 ms.
Sampled 133710400 of 200000000 in 500001 ms.
Sampled 136639500 of 200000000 in 510001 ms.
Sampled 139452300 of 200000000 in 520001 ms.
Sampled 141520100 of 200000000 in 530001 ms.
Sampled 144570000 of 200000000 in 540001 ms.
Sampled 147476800 of 200000000 in 550001 ms.
Sampled 148700800 of 200000000 in 568614 ms.
Sampled 149151700 of 200000000 in 570001 ms.
Sampled 151893000 of 200000000 in 580001 ms.
Sampled 154856900 of 200000000 in 590001 ms.
Sampled 157703100 of 200000000 in 600001 ms.
Sampled 160629700 of 200000000 in 610001 ms.
Sampled 163395700 of 200000000 in 620001 ms.
Sampled 164651500 of 200000000 in 638374 ms.
Sampled 165160500 of 200000000 in 640001 ms.
Sampled 168042200 of 200000000 in 650001 ms.
Sampled 171085800 of 200000000 in 660001 ms.
Sampled 173942000 of 200000000 in 670123 ms.
Sampled 176828600 of 200000000 in 680001 ms.
Sampled 179705900 of 200000000 in 690001 ms.
Sampled 182637800 of 200000000 in 700001 ms.
Sampled 185484500 of 200000000 in 710001 ms.
Sampled 188450500 of 200000000 in 720001 ms.
Sampled 191022800 of 200000000 in 730001 ms.
Sampled 193569200 of 200000000 in 740001 ms.
Sampled 196564600 of 200000000 in 750001 ms.
Sampled 197077600 of 200000000 in 769546 ms.
Sampled 197236400 of 200000000 in 770001 ms.
Finished: Sampled 200000000 in 778693 ms.
Rockit runtime was 782733 milliseconds.
Finished!
Data & Web Science computational services

rockit process (v0.5.227)

ID: fa3d3f31-b52a-4043-91ec-0a1fbb5707cb (complete)

date / time / ip

input information

result

log
