rockit f8ae51ac-aadf-44bc-a482-8db1a6a33d81 | Research Group Data and Web Science

< prev | next >

rockit process (v0.5.227)

ID: f8ae51ac-aadf-44bc-a482-8db1a6a33d81 (complete)

State: complete / restart

date / time / ip

added:

2014-09-03 16:24:10

start:

2014-09-03 14:24:10

end:

2014-09-03 14:24:50

user IP:

134.155.86.121

input information

gap:

0.00000000010

inference:

approximative marginal

input:

PostOptimization.mln

data:

mln_7739556249477951375_evidence.db

result

file:

output.db

duration:

00:40 min

log

process created
java -Xmx4G -jar /opt/pycodi/core/systems/rockit/0.5.227/rockit.jar -data /opt/pycodi/core/data/f8ae51ac-aadf-44bc-a482-8db1a6a33d81/mln_7739556249477951375_evidence.db -gap 0.00000000010 -input /opt/pycodi/core/data/f8ae51ac-aadf-44bc-a482-8db1a6a33d81/PostOptimization.mln -output /opt/pycodi/core/data/f8ae51ac-aadf-44bc-a482-8db1a6a33d81/output.db -para /opt/pycodi/core/data/f8ae51ac-aadf-44bc-a482-8db1a6a33d81/rockit.properties -marginal -iterations 20000000
==== Start RockIt =====Wed Sep 03 16:24:10 CEST 2014
-input /opt/pycodi/core/data/f8ae51ac-aadf-44bc-a482-8db1a6a33d81/PostOptimization.mln
-data /opt/pycodi/core/data/f8ae51ac-aadf-44bc-a482-8db1a6a33d81/mln_7739556249477951375_evidence.db
-output /opt/pycodi/core/data/f8ae51ac-aadf-44bc-a482-8db1a6a33d81/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 =====Wed Sep 03 16:24:11 CEST 2014
....PutDataIntoTables duration: 132
2 hidden Predicates
4 observed Predicates
3 number of formulas
2551 evidence atoms
===== Start Standard Solver =====Wed Sep 03 16:24:11 CEST 2014
---- Start  Loop 0 ----Wed Sep 03 16:24:12 CEST 2014
add 5000 constraints (total number = 5000)
Optimize a model with 5000 rows, 5050 columns and 19800 nonzeros
Found heuristic solution: objective 473.02
Presolve removed 3268 rows and 3274 columns
Presolve time: 0.14s
Presolved: 1732 rows, 1776 columns, 7141 nonzeros
Variable types: 0 continuous, 1776 integer (1776 binary)
Root relaxation: objective 7.278632e+02, 182 iterations, 0.01 seconds
    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time
*    0     0               0     727.8632210  727.86322  0.00%     -    0s
Explored 0 nodes (182 simplex iterations) in 0.15 seconds
Thread count was 2 (of 2 available processors)
Optimal solution found (tolerance 1.00e-10)
Best objective 7.278632210345e+02, best bound 7.278632210346e+02, gap 0.0%
- convert to GIBBS data structure
- number of literals 2550
- start 20000000 GIBBS sampling rounds (feedback every 10 seconds).
Sampled 5227800 of 20000000 in 10001 ms.
Sampled 10607100 of 20000000 in 20001 ms.
Sampled 16550200 of 20000000 in 30001 ms.
Finished: Sampled 20000000 in 37382 ms.
Rockit runtime was 39968 milliseconds.
Finished!

Data & Web Science computational services

rockit process (v0.5.227)

ID: f8ae51ac-aadf-44bc-a482-8db1a6a33d81 (complete)

date / time / ip

input information

result

log