rockit fb544a2b-2bf6-455e-9925-be222fb5d546 | Research Group Data and Web Science

< prev | next >

rockit process (v0.5.227)

ID: fb544a2b-2bf6-455e-9925-be222fb5d546 (complete)

State: complete / restart

date / time / ip

added:

2014-09-11 15:27:22

start:

2014-09-11 13:27:23

end:

2014-09-11 13:35:11

user IP:

134.155.86.121

input information

gap:

0.00000000010

inference:

approximative marginal

input:

PostOptimization.mln

data:

mln_3279409133026649386_evidence.db

result

file:

output.db

duration:

07:48 min

log

process created
java -Xmx4G -jar /opt/pycodi/core/systems/rockit/0.5.227/rockit.jar -data /opt/pycodi/core/data/fb544a2b-2bf6-455e-9925-be222fb5d546/mln_3279409133026649386_evidence.db -gap 0.00000000010 -input /opt/pycodi/core/data/fb544a2b-2bf6-455e-9925-be222fb5d546/PostOptimization.mln -output /opt/pycodi/core/data/fb544a2b-2bf6-455e-9925-be222fb5d546/output.db -para /opt/pycodi/core/data/fb544a2b-2bf6-455e-9925-be222fb5d546/rockit.properties -marginal -iterations 200000000
==== Start RockIt =====Thu Sep 11 15:27:23 CEST 2014
-input /opt/pycodi/core/data/fb544a2b-2bf6-455e-9925-be222fb5d546/PostOptimization.mln
-data /opt/pycodi/core/data/fb544a2b-2bf6-455e-9925-be222fb5d546/mln_3279409133026649386_evidence.db
-output /opt/pycodi/core/data/fb544a2b-2bf6-455e-9925-be222fb5d546/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 15:27:24 CEST 2014
...PutDataIntoTables duration: 141
2 hidden Predicates
3 observed Predicates
3 number of formulas
2550 evidence atoms
===== Start Standard Solver =====Thu Sep 11 15:27:24 CEST 2014
---- Start  Loop 0 ----Thu Sep 11 15:27:25 CEST 2014
add 5000 constraints (total number = 5000)
Optimize a model with 5000 rows, 5050 columns and 19800 nonzeros
Found heuristic solution: objective 1101.96
Presolve removed 1528 rows and 1528 columns
Presolve time: 0.10s
Presolved: 3472 rows, 3522 columns, 12460 nonzeros
Variable types: 0 continuous, 3522 integer (3522 binary)
Found heuristic solution: objective 1542.3317358
    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time
*    0     0               0    1579.8794001 1579.87940  0.00%     -    0s
Explored 0 nodes (281 simplex iterations) in 0.34 seconds
Thread count was 2 (of 2 available processors)
Optimal solution found (tolerance 1.00e-10)
Best objective 1.579879400127e+03, best bound 1.579879400127e+03, gap 0.0%
- convert to GIBBS data structure
- number of literals 2550
- start 200000000 GIBBS sampling rounds (feedback every 10 seconds).
Sampled 5282200 of 200000000 in 10001 ms.
Sampled 10371000 of 200000000 in 20001 ms.
Sampled 15315000 of 200000000 in 30001 ms.
Sampled 21156900 of 200000000 in 40001 ms.
Sampled 25416700 of 200000000 in 50001 ms.
Sampled 30835900 of 200000000 in 60001 ms.
Sampled 36446900 of 200000000 in 70001 ms.
Sampled 39524700 of 200000000 in 80001 ms.
Sampled 45082700 of 200000000 in 90001 ms.
Sampled 50446200 of 200000000 in 100001 ms.
Sampled 55666900 of 200000000 in 110602 ms.
Sampled 59046800 of 200000000 in 122979 ms.
Sampled 62764100 of 200000000 in 130001 ms.
Sampled 67090900 of 200000000 in 142992 ms.
Sampled 71266600 of 200000000 in 150001 ms.
Sampled 76773800 of 200000000 in 160001 ms.
Sampled 81878800 of 200000000 in 170001 ms.
Sampled 86309800 of 200000000 in 180001 ms.
Sampled 90411300 of 200000000 in 197189 ms.
Sampled 91657900 of 200000000 in 200001 ms.
Sampled 96781000 of 200000000 in 210001 ms.
Sampled 101995200 of 200000000 in 220001 ms.
Sampled 107016000 of 200000000 in 230001 ms.
Sampled 112098700 of 200000000 in 240001 ms.
Sampled 117370000 of 200000000 in 250001 ms.
Sampled 121097400 of 200000000 in 267628 ms.
Sampled 122531400 of 200000000 in 270001 ms.
Sampled 126959300 of 200000000 in 280001 ms.
Sampled 131371900 of 200000000 in 290001 ms.
Sampled 132529400 of 200000000 in 301755 ms.
Sampled 136801900 of 200000000 in 310001 ms.
Sampled 141967100 of 200000000 in 320419 ms.
Sampled 147011200 of 200000000 in 330001 ms.
Sampled 152219100 of 200000000 in 340001 ms.
Sampled 157352900 of 200000000 in 350001 ms.
Sampled 162388100 of 200000000 in 360001 ms.
Sampled 166769900 of 200000000 in 370001 ms.
Sampled 170129400 of 200000000 in 389100 ms.
Sampled 170664700 of 200000000 in 390001 ms.
Sampled 175372400 of 200000000 in 400001 ms.
Sampled 180353000 of 200000000 in 410001 ms.
Sampled 185472200 of 200000000 in 420558 ms.
Sampled 190159900 of 200000000 in 430001 ms.
Sampled 192484700 of 200000000 in 448090 ms.
Sampled 193659900 of 200000000 in 450001 ms.
Sampled 197891300 of 200000000 in 460258 ms.
Finished: Sampled 200000000 in 464606 ms.
Rockit runtime was 468029 milliseconds.
Finished!

Data & Web Science computational services

rockit process (v0.5.227)

ID: fb544a2b-2bf6-455e-9925-be222fb5d546 (complete)

date / time / ip

input information

result

log