rockit f8f62174-8891-44fa-85ef-01497a809c9c | Research Group Data and Web Science

< prev | next >

rockit process (v0.5.227)

ID: f8f62174-8891-44fa-85ef-01497a809c9c (complete)

State: complete / restart

date / time / ip

added:

2014-09-11 18:37:21

start:

2014-09-11 16:37:21

end:

2014-09-11 16:45:31

user IP:

134.155.88.147

input information

gap:

0.00000000010

inference:

approximative marginal

input:

PostOptimization.mln

data:

mln_3754574314041819037_evidence.db

result

file:

output.db

duration:

08:10 min

log

process created
java -Xmx4G -jar /opt/pycodi/core/systems/rockit/0.5.227/rockit.jar -data /opt/pycodi/core/data/f8f62174-8891-44fa-85ef-01497a809c9c/mln_3754574314041819037_evidence.db -gap 0.00000000010 -input /opt/pycodi/core/data/f8f62174-8891-44fa-85ef-01497a809c9c/PostOptimization.mln -output /opt/pycodi/core/data/f8f62174-8891-44fa-85ef-01497a809c9c/output.db -para /opt/pycodi/core/data/f8f62174-8891-44fa-85ef-01497a809c9c/rockit.properties -marginal -iterations 200000000
==== Start RockIt =====Thu Sep 11 18:37:21 CEST 2014
-input /opt/pycodi/core/data/f8f62174-8891-44fa-85ef-01497a809c9c/PostOptimization.mln
-data /opt/pycodi/core/data/f8f62174-8891-44fa-85ef-01497a809c9c/mln_3754574314041819037_evidence.db
-output /opt/pycodi/core/data/f8f62174-8891-44fa-85ef-01497a809c9c/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 18:37:22 CEST 2014
...PutDataIntoTables duration: 156
2 hidden Predicates
3 observed Predicates
3 number of formulas
2550 evidence atoms
===== Start Standard Solver =====Thu Sep 11 18:37:23 CEST 2014
---- Start  Loop 0 ----Thu Sep 11 18:37:23 CEST 2014
add 5000 constraints (total number = 5000)
Optimize a model with 5000 rows, 5050 columns and 19800 nonzeros
Found heuristic solution: objective 1122.74
Presolve removed 1408 rows and 1408 columns
Presolve time: 0.09s
Presolved: 3592 rows, 3642 columns, 13060 nonzeros
Variable types: 0 continuous, 3642 integer (3642 binary)
Found heuristic solution: objective 1520.8518821
    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time
*    0     0               0    1593.5166954 1593.51670  0.00%     -    0s
Explored 0 nodes (338 simplex iterations) in 0.32 seconds
Thread count was 2 (of 2 available processors)
Optimal solution found (tolerance 1.00e-10)
Best objective 1.593516695402e+03, best bound 1.593516695402e+03, gap 0.0%
- convert to GIBBS data structure
- number of literals 2550
- start 200000000 GIBBS sampling rounds (feedback every 10 seconds).
Sampled 5029300 of 200000000 in 10001 ms.
Sampled 10124900 of 200000000 in 20192 ms.
Sampled 15944400 of 200000000 in 30001 ms.
Sampled 20314300 of 200000000 in 40001 ms.
Sampled 24555600 of 200000000 in 51070 ms.
Sampled 29615300 of 200000000 in 60001 ms.
Sampled 35401600 of 200000000 in 70001 ms.
Sampled 38897300 of 200000000 in 81624 ms.
Sampled 43554400 of 200000000 in 90001 ms.
Sampled 49191400 of 200000000 in 100001 ms.
Sampled 54354400 of 200000000 in 110435 ms.
Sampled 59221600 of 200000000 in 120001 ms.
Sampled 61159000 of 200000000 in 131708 ms.
Sampled 65641400 of 200000000 in 140224 ms.
Sampled 70697100 of 200000000 in 150001 ms.
Sampled 75792600 of 200000000 in 160001 ms.
Sampled 80895300 of 200000000 in 170021 ms.
Sampled 86286400 of 200000000 in 180001 ms.
Sampled 86523100 of 200000000 in 192454 ms.
Sampled 90309100 of 200000000 in 200001 ms.
Sampled 95492800 of 200000000 in 210125 ms.
Sampled 100619900 of 200000000 in 220001 ms.
Sampled 100803000 of 200000000 in 231451 ms.
Sampled 105230300 of 200000000 in 240001 ms.
Sampled 110464200 of 200000000 in 250001 ms.
Sampled 115544600 of 200000000 in 260001 ms.
Sampled 120404000 of 200000000 in 270041 ms.
Sampled 125365500 of 200000000 in 280001 ms.
Sampled 129886600 of 200000000 in 290001 ms.
Sampled 131167300 of 200000000 in 307213 ms.
Sampled 132379200 of 200000000 in 310001 ms.
Sampled 137353600 of 200000000 in 320001 ms.
Sampled 142182000 of 200000000 in 330001 ms.
Sampled 143660800 of 200000000 in 346091 ms.
Sampled 145981500 of 200000000 in 350001 ms.
Sampled 151277600 of 200000000 in 360001 ms.
Sampled 156447800 of 200000000 in 370001 ms.
Sampled 161334000 of 200000000 in 380001 ms.
Sampled 166034100 of 200000000 in 390001 ms.
Sampled 170596300 of 200000000 in 400001 ms.
Sampled 175153200 of 200000000 in 410001 ms.
Sampled 179762500 of 200000000 in 420201 ms.
Sampled 184544800 of 200000000 in 430327 ms.
Sampled 187882100 of 200000000 in 456194 ms.
Sampled 187882200 of 200000000 in 456195 ms.
Sampled 189420100 of 200000000 in 460526 ms.
Sampled 193508600 of 200000000 in 470001 ms.
Sampled 197326400 of 200000000 in 480001 ms.
Finished: Sampled 200000000 in 486054 ms.
Rockit runtime was 489612 milliseconds.
Finished!

Data & Web Science computational services

rockit process (v0.5.227)

ID: f8f62174-8891-44fa-85ef-01497a809c9c (complete)

date / time / ip

input information

result

log