rockit f8b7c88a-b7c2-4c8b-807c-806b770b1b16 | Research Group Data and Web Science

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

ID: f8b7c88a-b7c2-4c8b-807c-806b770b1b16 (complete)

State: complete / restart
date / time / ip

added:
2014-09-11 12:49:16
start:
2014-09-11 10:49:16
end:
2014-09-11 11:02:25
user IP:
134.155.88.147
input information

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

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

process created
java -Xmx4G -jar /opt/pycodi/core/systems/rockit/0.5.227/rockit.jar -data /opt/pycodi/core/data/f8b7c88a-b7c2-4c8b-807c-806b770b1b16/mln_1580894500802947927_evidence.db -gap 0.00000000010 -input /opt/pycodi/core/data/f8b7c88a-b7c2-4c8b-807c-806b770b1b16/PostOptimization.mln -output /opt/pycodi/core/data/f8b7c88a-b7c2-4c8b-807c-806b770b1b16/output.db -para /opt/pycodi/core/data/f8b7c88a-b7c2-4c8b-807c-806b770b1b16/rockit.properties -marginal -iterations 200000000
==== Start RockIt =====Thu Sep 11 12:49:16 CEST 2014
-input /opt/pycodi/core/data/f8b7c88a-b7c2-4c8b-807c-806b770b1b16/PostOptimization.mln
-data /opt/pycodi/core/data/f8b7c88a-b7c2-4c8b-807c-806b770b1b16/mln_1580894500802947927_evidence.db
-output /opt/pycodi/core/data/f8b7c88a-b7c2-4c8b-807c-806b770b1b16/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 12:49:17 CEST 2014
....PutDataIntoTables duration: 136
2 hidden Predicates
4 observed Predicates
4 number of formulas
2551 evidence atoms
===== Start Standard Solver =====Thu Sep 11 12:49:17 CEST 2014
---- Start  Loop 0 ----Thu Sep 11 12:49:18 CEST 2014
add 10000 constraints (total number = 10000)
Optimize a model with 10000 rows, 7550 columns and 39600 nonzeros
Found heuristic solution: objective 903.491
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 1.403968e+03, 298 iterations, 0.04 seconds
    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time
*    0     0               0    1403.9680541 1403.96805  0.00%     -    0s
Explored 0 nodes (298 simplex iterations) in 0.28 seconds
Thread count was 2 (of 2 available processors)
Optimal solution found (tolerance 1.00e-10)
Best objective 1.403968054145e+03, best bound 1.403968054145e+03, gap 0.0%
- convert to GIBBS data structure
- number of literals 2550
- start 200000000 GIBBS sampling rounds (feedback every 10 seconds).
Sampled 2796200 of 200000000 in 10001 ms.
Sampled 5692600 of 200000000 in 20001 ms.
Sampled 8491700 of 200000000 in 30001 ms.
Sampled 11448900 of 200000000 in 40001 ms.
Sampled 14412700 of 200000000 in 50001 ms.
Sampled 16768700 of 200000000 in 60001 ms.
Sampled 19807700 of 200000000 in 70001 ms.
Sampled 22600500 of 200000000 in 80001 ms.
Sampled 24905100 of 200000000 in 90161 ms.
Sampled 27904700 of 200000000 in 100001 ms.
Sampled 31041100 of 200000000 in 110001 ms.
Sampled 34106200 of 200000000 in 120001 ms.
Sampled 36176500 of 200000000 in 130001 ms.
Sampled 39291400 of 200000000 in 140001 ms.
Sampled 42196300 of 200000000 in 150001 ms.
Sampled 45122700 of 200000000 in 160001 ms.
Sampled 47678300 of 200000000 in 172754 ms.
Sampled 49994300 of 200000000 in 180001 ms.
Sampled 53018300 of 200000000 in 190001 ms.
Sampled 55956100 of 200000000 in 200122 ms.
Sampled 58873800 of 200000000 in 210001 ms.
Sampled 60574700 of 200000000 in 220001 ms.
Sampled 63334600 of 200000000 in 230001 ms.
Sampled 66085300 of 200000000 in 240001 ms.
Sampled 68842400 of 200000000 in 250001 ms.
Sampled 71027900 of 200000000 in 260001 ms.
Sampled 73412500 of 200000000 in 270001 ms.
Sampled 75813500 of 200000000 in 280001 ms.
Sampled 76386700 of 200000000 in 290001 ms.
Sampled 78661500 of 200000000 in 300001 ms.
Sampled 81024200 of 200000000 in 310001 ms.
Sampled 83754100 of 200000000 in 320001 ms.
Sampled 86698900 of 200000000 in 330135 ms.
Sampled 89728200 of 200000000 in 340001 ms.
Sampled 92298100 of 200000000 in 355711 ms.
Sampled 93616300 of 200000000 in 360001 ms.
Sampled 96548900 of 200000000 in 370001 ms.
Sampled 99407100 of 200000000 in 380001 ms.
Sampled 102410300 of 200000000 in 390001 ms.
Sampled 105233300 of 200000000 in 400001 ms.
Sampled 108194800 of 200000000 in 410001 ms.
Sampled 109594800 of 200000000 in 423743 ms.
Sampled 111405200 of 200000000 in 430001 ms.
Sampled 114477300 of 200000000 in 440001 ms.
Sampled 117499100 of 200000000 in 450001 ms.
Sampled 120347200 of 200000000 in 460001 ms.
Sampled 123369400 of 200000000 in 470001 ms.
Sampled 126444900 of 200000000 in 480001 ms.
Sampled 127092600 of 200000000 in 491327 ms.
Sampled 129736500 of 200000000 in 500001 ms.
Sampled 132505900 of 200000000 in 510001 ms.
Sampled 135402000 of 200000000 in 520242 ms.
Sampled 138234000 of 200000000 in 530001 ms.
Sampled 141091000 of 200000000 in 540001 ms.
Sampled 144046500 of 200000000 in 550001 ms.
Sampled 146883100 of 200000000 in 560001 ms.
Sampled 149933400 of 200000000 in 570001 ms.
Sampled 152419200 of 200000000 in 589949 ms.
Sampled 152435400 of 200000000 in 590001 ms.
Sampled 155584000 of 200000000 in 600001 ms.
Sampled 158533700 of 200000000 in 610001 ms.
Sampled 161526200 of 200000000 in 620001 ms.
Sampled 164369900 of 200000000 in 630001 ms.
Sampled 165661300 of 200000000 in 646072 ms.
Sampled 166745100 of 200000000 in 650001 ms.
Sampled 169639400 of 200000000 in 660001 ms.
Sampled 172461400 of 200000000 in 670001 ms.
Sampled 175115700 of 200000000 in 680001 ms.
Sampled 177838100 of 200000000 in 690398 ms.
Sampled 180362500 of 200000000 in 700001 ms.
Sampled 183109100 of 200000000 in 710001 ms.
Sampled 185802300 of 200000000 in 720525 ms.
Sampled 188276600 of 200000000 in 730001 ms.
Sampled 191008200 of 200000000 in 740001 ms.
Sampled 193874200 of 200000000 in 750001 ms.
Sampled 196455600 of 200000000 in 773009 ms.
Sampled 196455700 of 200000000 in 773010 ms.
Sampled 198700600 of 200000000 in 780001 ms.
Finished: Sampled 200000000 in 784733 ms.
Rockit runtime was 788631 milliseconds.
Finished!
Data & Web Science computational services

rockit process (v0.5.227)

ID: f8b7c88a-b7c2-4c8b-807c-806b770b1b16 (complete)

date / time / ip

input information

result

log
