rockit fb62f48f-cc41-4990-a1d9-9a8cd0236e4d | Research Group Data and Web Science

< prev | next >

rockit process (v0.5.227)

ID: fb62f48f-cc41-4990-a1d9-9a8cd0236e4d (complete)

State: complete / restart

date / time / ip

added:

2014-09-12 12:32:35

start:

2014-09-12 10:32:35

end:

2014-09-12 10:36:03

user IP:

134.155.86.121

input information

gap:

0.00000000010

inference:

approximative marginal

input:

PostOptimization.mln

data:

mln_5122059125345312817_evidence.db

result

file:

output.db

duration:

03:28 min

log

process created
java -Xmx4G -jar /opt/pycodi/core/systems/rockit/0.5.227/rockit.jar -data /opt/pycodi/core/data/fb62f48f-cc41-4990-a1d9-9a8cd0236e4d/mln_5122059125345312817_evidence.db -gap 0.00000000010 -input /opt/pycodi/core/data/fb62f48f-cc41-4990-a1d9-9a8cd0236e4d/PostOptimization.mln -output /opt/pycodi/core/data/fb62f48f-cc41-4990-a1d9-9a8cd0236e4d/output.db -para /opt/pycodi/core/data/fb62f48f-cc41-4990-a1d9-9a8cd0236e4d/rockit.properties -marginal -iterations 100000000
==== Start RockIt =====Fri Sep 12 12:32:35 CEST 2014
-input /opt/pycodi/core/data/fb62f48f-cc41-4990-a1d9-9a8cd0236e4d/PostOptimization.mln
-data /opt/pycodi/core/data/fb62f48f-cc41-4990-a1d9-9a8cd0236e4d/mln_5122059125345312817_evidence.db
-output /opt/pycodi/core/data/fb62f48f-cc41-4990-a1d9-9a8cd0236e4d/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 12:32:36 CEST 2014
...PutDataIntoTables duration: 148
2 hidden Predicates
3 observed Predicates
3 number of formulas
2550 evidence atoms
===== Start Standard Solver =====Fri Sep 12 12:32:36 CEST 2014
---- Start  Loop 0 ----Fri Sep 12 12:32:37 CEST 2014
add 5000 constraints (total number = 5000)
Optimize a model with 5000 rows, 5050 columns and 19800 nonzeros
Found heuristic solution: objective 48.4275
Presolve removed 3802 rows and 3814 columns
Presolve time: 0.12s
Presolved: 1198 rows, 1236 columns, 4946 nonzeros
Variable types: 0 continuous, 1236 integer (1236 binary)
Root relaxation: objective 6.851364e+02, 185 iterations, 0.00 seconds
    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time
*    0     0               0     685.1363614  685.13636  0.00%     -    0s
Explored 0 nodes (185 simplex iterations) in 0.13 seconds
Thread count was 2 (of 2 available processors)
Optimal solution found (tolerance 1.00e-10)
Best objective 6.851363613721e+02, best bound 6.851363613722e+02, gap 0.0%
- convert to GIBBS data structure
- number of literals 2550
- start 100000000 GIBBS sampling rounds (feedback every 10 seconds).
Sampled 6106300 of 100000000 in 10001 ms.
Sampled 11631800 of 100000000 in 20001 ms.
Sampled 16633000 of 100000000 in 30001 ms.
Sampled 21706800 of 100000000 in 40001 ms.
Sampled 26931000 of 100000000 in 50001 ms.
Sampled 31357100 of 100000000 in 60001 ms.
Sampled 37044900 of 100000000 in 70001 ms.
Sampled 41848200 of 100000000 in 80114 ms.
Sampled 48079000 of 100000000 in 90001 ms.
Sampled 53966200 of 100000000 in 100001 ms.
Sampled 59169100 of 100000000 in 110001 ms.
Sampled 63850800 of 100000000 in 120001 ms.
Sampled 68411200 of 100000000 in 130001 ms.
Sampled 70420600 of 100000000 in 140001 ms.
Sampled 75532300 of 100000000 in 150001 ms.
Sampled 80532400 of 100000000 in 160001 ms.
Sampled 84722200 of 100000000 in 170001 ms.
Sampled 89588400 of 100000000 in 180374 ms.
Sampled 93172000 of 100000000 in 192830 ms.
Sampled 97208300 of 100000000 in 200001 ms.
Finished: Sampled 100000000 in 204730 ms.
Rockit runtime was 207738 milliseconds.
Finished!

Data & Web Science computational services

rockit process (v0.5.227)

ID: fb62f48f-cc41-4990-a1d9-9a8cd0236e4d (complete)

date / time / ip

input information

result

log