rockit f2d04c5b-81f9-4456-8ca0-ac500d824dd5 | Research Group Data and Web Science

< prev | next >

rockit process (v0.5.227)

ID: f2d04c5b-81f9-4456-8ca0-ac500d824dd5 (complete)

State: complete / restart

date / time / ip

added:

2014-09-11 15:35:17

start:

2014-09-11 13:35:17

end:

2014-09-11 13:42:40

user IP:

134.155.86.121

input information

gap:

0.00000000010

inference:

approximative marginal

input:

PostOptimization.mln

data:

mln_8888997152640823445_evidence.db

result

file:

output.db

duration:

07:23 min

log

process created
java -Xmx4G -jar /opt/pycodi/core/systems/rockit/0.5.227/rockit.jar -data /opt/pycodi/core/data/f2d04c5b-81f9-4456-8ca0-ac500d824dd5/mln_8888997152640823445_evidence.db -gap 0.00000000010 -input /opt/pycodi/core/data/f2d04c5b-81f9-4456-8ca0-ac500d824dd5/PostOptimization.mln -output /opt/pycodi/core/data/f2d04c5b-81f9-4456-8ca0-ac500d824dd5/output.db -para /opt/pycodi/core/data/f2d04c5b-81f9-4456-8ca0-ac500d824dd5/rockit.properties -marginal -iterations 200000000
==== Start RockIt =====Thu Sep 11 15:35:17 CEST 2014
-input /opt/pycodi/core/data/f2d04c5b-81f9-4456-8ca0-ac500d824dd5/PostOptimization.mln
-data /opt/pycodi/core/data/f2d04c5b-81f9-4456-8ca0-ac500d824dd5/mln_8888997152640823445_evidence.db
-output /opt/pycodi/core/data/f2d04c5b-81f9-4456-8ca0-ac500d824dd5/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:35:18 CEST 2014
...PutDataIntoTables duration: 107
2 hidden Predicates
3 observed Predicates
3 number of formulas
2550 evidence atoms
===== Start Standard Solver =====Thu Sep 11 15:35:18 CEST 2014
---- Start  Loop 0 ----Thu Sep 11 15:35:19 CEST 2014
add 5000 constraints (total number = 5000)
Optimize a model with 5000 rows, 5050 columns and 19800 nonzeros
Found heuristic solution: objective 1044.95
Presolve removed 1788 rows and 1788 columns
Presolve time: 0.12s
Presolved: 3212 rows, 3262 columns, 11160 nonzeros
Variable types: 0 continuous, 3262 integer (3262 binary)
Found heuristic solution: objective 1464.6444985
    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time
*    0     0               0    1512.3664084 1512.36641  0.00%     -    0s
Explored 0 nodes (175 simplex iterations) in 0.33 seconds
Thread count was 2 (of 2 available processors)
Optimal solution found (tolerance 1.00e-10)
Best objective 1.512366408381e+03, best bound 1.512366408381e+03, gap 0.0%
- convert to GIBBS data structure
- number of literals 2550
- start 200000000 GIBBS sampling rounds (feedback every 10 seconds).
Sampled 5431600 of 200000000 in 10001 ms.
Sampled 10246700 of 200000000 in 20001 ms.
Sampled 15165700 of 200000000 in 30001 ms.
Sampled 20975400 of 200000000 in 40001 ms.
Sampled 25257100 of 200000000 in 50001 ms.
Sampled 31075000 of 200000000 in 60001 ms.
Sampled 36616400 of 200000000 in 70313 ms.
Sampled 40476300 of 200000000 in 80001 ms.
Sampled 45941100 of 200000000 in 90001 ms.
Sampled 51678700 of 200000000 in 100001 ms.
Sampled 57192300 of 200000000 in 110001 ms.
Sampled 60076000 of 200000000 in 120001 ms.
Sampled 65757400 of 200000000 in 130001 ms.
Sampled 71586100 of 200000000 in 140001 ms.
Sampled 74711200 of 200000000 in 150001 ms.
Sampled 80175800 of 200000000 in 160001 ms.
Sampled 85646800 of 200000000 in 170001 ms.
Sampled 88003200 of 200000000 in 180001 ms.
Sampled 93532900 of 200000000 in 190198 ms.
Sampled 98828600 of 200000000 in 200003 ms.
Sampled 103632200 of 200000000 in 210001 ms.
Sampled 108631300 of 200000000 in 220001 ms.
Sampled 110596500 of 200000000 in 230001 ms.
Sampled 116215000 of 200000000 in 240001 ms.
Sampled 121356900 of 200000000 in 250001 ms.
Sampled 123476700 of 200000000 in 262470 ms.
Sampled 127396000 of 200000000 in 270001 ms.
Sampled 132389300 of 200000000 in 280152 ms.
Sampled 137507600 of 200000000 in 290001 ms.
Sampled 142639400 of 200000000 in 300001 ms.
Sampled 147470000 of 200000000 in 310230 ms.
Sampled 152514600 of 200000000 in 320001 ms.
Sampled 153067600 of 200000000 in 330245 ms.
Sampled 158428500 of 200000000 in 340001 ms.
Sampled 163538400 of 200000000 in 350001 ms.
Sampled 168673400 of 200000000 in 360344 ms.
Sampled 173731500 of 200000000 in 370001 ms.
Sampled 178393900 of 200000000 in 380001 ms.
Sampled 182249400 of 200000000 in 402630 ms.
Sampled 182249500 of 200000000 in 402631 ms.
Sampled 185447000 of 200000000 in 410001 ms.
Sampled 190492400 of 200000000 in 420001 ms.
Sampled 195273900 of 200000000 in 430001 ms.
Finished: Sampled 200000000 in 439431 ms.
Rockit runtime was 443052 milliseconds.
Finished!

Data & Web Science computational services

rockit process (v0.5.227)

ID: f2d04c5b-81f9-4456-8ca0-ac500d824dd5 (complete)

date / time / ip

input information

result

log