rockit f76ce474-1ba9-48fd-8ec5-482d171ecc1d | Research Group Data and Web Science

< prev | next >

rockit process (v0.5.227)

ID: f76ce474-1ba9-48fd-8ec5-482d171ecc1d (complete)

State: complete / restart

date / time / ip

added:

2014-09-12 11:52:08

start:

2014-09-12 09:52:08

end:

2014-09-12 09:55:37

user IP:

134.155.86.121

input information

gap:

0.00000000010

inference:

approximative marginal

input:

PostOptimization.mln

data:

mln_2476237004420217382_evidence.db

result

file:

output.db

duration:

03:29 min

log

process created
java -Xmx4G -jar /opt/pycodi/core/systems/rockit/0.5.227/rockit.jar -data /opt/pycodi/core/data/f76ce474-1ba9-48fd-8ec5-482d171ecc1d/mln_2476237004420217382_evidence.db -gap 0.00000000010 -input /opt/pycodi/core/data/f76ce474-1ba9-48fd-8ec5-482d171ecc1d/PostOptimization.mln -output /opt/pycodi/core/data/f76ce474-1ba9-48fd-8ec5-482d171ecc1d/output.db -para /opt/pycodi/core/data/f76ce474-1ba9-48fd-8ec5-482d171ecc1d/rockit.properties -marginal -iterations 100000000
==== Start RockIt =====Fri Sep 12 11:52:08 CEST 2014
-input /opt/pycodi/core/data/f76ce474-1ba9-48fd-8ec5-482d171ecc1d/PostOptimization.mln
-data /opt/pycodi/core/data/f76ce474-1ba9-48fd-8ec5-482d171ecc1d/mln_2476237004420217382_evidence.db
-output /opt/pycodi/core/data/f76ce474-1ba9-48fd-8ec5-482d171ecc1d/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 =====Fri Sep 12 11:52:09 CEST 2014
...PutDataIntoTables duration: 208
2 hidden Predicates
3 observed Predicates
3 number of formulas
2550 evidence atoms
===== Start Standard Solver =====Fri Sep 12 11:52:10 CEST 2014
---- Start  Loop 0 ----Fri Sep 12 11:52:10 CEST 2014
add 5000 constraints (total number = 5000)
Optimize a model with 5000 rows, 5050 columns and 19800 nonzeros
Found heuristic solution: objective 20.6234
Presolve removed 4496 rows and 4500 columns
Presolve time: 0.08s
Presolved: 504 rows, 550 columns, 2154 nonzeros
Variable types: 0 continuous, 550 integer (550 binary)
Root relaxation: objective 6.694810e+02, 67 iterations, 0.00 seconds
    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time
*    0     0               0     669.4810159  669.48102  0.00%     -    0s
Explored 0 nodes (67 simplex iterations) in 0.09 seconds
Thread count was 2 (of 2 available processors)
Optimal solution found (tolerance 1.00e-10)
Best objective 6.694810159035e+02, best bound 6.694810159038e+02, gap 0.0000%
- convert to GIBBS data structure
- number of literals 2550
- start 100000000 GIBBS sampling rounds (feedback every 10 seconds).
Sampled 4814400 of 100000000 in 10001 ms.
Sampled 9387600 of 100000000 in 20001 ms.
Sampled 14543400 of 100000000 in 30001 ms.
Sampled 18564000 of 100000000 in 40001 ms.
Sampled 22899400 of 100000000 in 50049 ms.
Sampled 27144900 of 100000000 in 60001 ms.
Sampled 32333700 of 100000000 in 70001 ms.
Sampled 37497200 of 100000000 in 80001 ms.
Sampled 41132400 of 100000000 in 90001 ms.
Sampled 46751900 of 100000000 in 100001 ms.
Sampled 52295100 of 100000000 in 110001 ms.
Sampled 57836900 of 100000000 in 120001 ms.
Sampled 61438200 of 100000000 in 130001 ms.
Sampled 67252500 of 100000000 in 140001 ms.
Sampled 72734600 of 100000000 in 150001 ms.
Sampled 78502000 of 100000000 in 160001 ms.
Sampled 81313400 of 100000000 in 170001 ms.
Sampled 86586000 of 100000000 in 180001 ms.
Sampled 91964600 of 100000000 in 190003 ms.
Sampled 97621700 of 100000000 in 200001 ms.
Finished: Sampled 100000000 in 205173 ms.
Rockit runtime was 208266 milliseconds.
Finished!

Data & Web Science computational services

rockit process (v0.5.227)

ID: f76ce474-1ba9-48fd-8ec5-482d171ecc1d (complete)

date / time / ip

input information

result

log