rockit f916986e-b126-44d4-9cbe-4fdb6725093f | Research Group Data and Web Science

< prev | next >

rockit process (v0.5.227)

ID: f916986e-b126-44d4-9cbe-4fdb6725093f (complete)

State: complete / restart

date / time / ip

added:

2014-11-04 13:57:05

start:

2014-11-04 12:57:05

end:

2014-11-04 12:57:13

user IP:

134.155.86.105

input information

gap:

0.00000000010

inference:

map

input:

model_beta1.ml

data:

evidence.db

result

file:

output.db

duration:

00:08 min

log

process created
java -Xmx4G -jar /opt/pycodi/core/systems/rockit/0.5.227/rockit.jar -data /opt/pycodi/core/data/f916986e-b126-44d4-9cbe-4fdb6725093f/evidence.db -gap 0.00000000010 -input /opt/pycodi/core/data/f916986e-b126-44d4-9cbe-4fdb6725093f/model_beta1.ml -output /opt/pycodi/core/data/f916986e-b126-44d4-9cbe-4fdb6725093f/output.db -para /opt/pycodi/core/data/f916986e-b126-44d4-9cbe-4fdb6725093f/rockit.properties
==== Start RockIt =====Tue Nov 04 13:57:05 CET 2014
-input /opt/pycodi/core/data/f916986e-b126-44d4-9cbe-4fdb6725093f/model_beta1.ml
-data /opt/pycodi/core/data/f916986e-b126-44d4-9cbe-4fdb6725093f/evidence.db
-output /opt/pycodi/core/data/f916986e-b126-44d4-9cbe-4fdb6725093f/output.db
-para: use rockit.properties file.
-gap 1.0E-10
-debug output false
-use MAP inference
line 55:99 missing . at \n
===== Start Standard Grounder =====Tue Nov 04 13:57:06 CET 2014
................PutDataIntoTables duration: 89
5 hidden Predicates
16 observed Predicates
31 number of formulas
3978 evidence atoms
===== Start Standard Solver =====Tue Nov 04 13:57:07 CET 2014
---- Start  Loop 0 ----Tue Nov 04 13:57:08 CET 2014
add 3574 constraints (total number = 3574)
Optimize a model with 3574 rows, 6933 columns and 6713 nonzeros
Found heuristic solution: objective 640.221
Presolve removed 3574 rows and 6933 columns
Presolve time: 0.06s
Explored 0 nodes (0 simplex iterations) in 0.06 seconds
Thread count was 1 (of 2 available processors)
Optimal solution found (tolerance 1.00e-10)
Best objective 6.402206806421e+02, best bound 6.402206806421e+02, gap 0.0%
---- Start  Loop 1 ----Tue Nov 04 13:57:09 CET 2014
add 3263 constraints (total number = 6837)
Optimize a model with 6837 rows, 9407 columns and 18622 nonzeros
Found heuristic solution: objective 12.4207
Presolve removed 6721 rows and 6933 columns
Presolve time: 0.09s
Presolved: 116 rows, 2474 columns, 4948 nonzeros
MIP start did not produce a feasible solution
MIP start violates constraint R3584 by 1.00
Variable types: 0 continuous, 2474 integer (2474 binary)
Root relaxation: objective 2.002068e+01, 126 iterations, 0.00 seconds
    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time
*    0     0               0      20.0206806   20.02068  0.00%     -    0s
Explored 0 nodes (126 simplex iterations) in 0.11 seconds
Thread count was 2 (of 2 available processors)
Optimal solution found (tolerance 1.00e-10)
Best objective 2.002068064213e+01, best bound 2.002068064213e+01, gap 0.0%
---- Start  Loop 2 ----Tue Nov 04 13:57:10 CET 2014
add 21693 constraints (total number = 28530)
Optimize a model with 28530 rows, 9488 columns and 57576 nonzeros
Found heuristic solution: objective 6.12068
Presolve removed 28401 rows and 9342 columns
Presolve time: 0.11s
Presolved: 129 rows, 146 columns, 731 nonzeros
MIP start did not produce a feasible solution
MIP start violates constraint R6837 by 1.00
Variable types: 0 continuous, 146 integer (146 binary)
Root relaxation: objective 1.440726e+01, 44 iterations, 0.00 seconds
    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time
*    0     0               0      14.4072590   14.40726  0.00%     -    0s
Explored 0 nodes (44 simplex iterations) in 0.12 seconds
Thread count was 2 (of 2 available processors)
Optimal solution found (tolerance 1.00e-10)
Best objective 1.440725904703e+01, best bound 1.440725904703e+01, gap 0.0%
---- Start  Loop 3 ----Tue Nov 04 13:57:12 CET 2014
add 43 constraints (total number = 28573)
Optimize a model with 28573 rows, 9490 columns and 57738 nonzeros
Found heuristic solution: objective 6.12068
Presolve removed 27640 rows and 9286 columns
Presolve time: 0.17s
Presolved: 933 rows, 204 columns, 3047 nonzeros
MIP start did not produce a feasible solution
MIP start violates constraint R28531 by 1.00
Found heuristic solution: objective 13.9730976
Variable types: 0 continuous, 204 integer (204 binary)
Root relaxation: cutoff, 37 iterations, 0.00 seconds
    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time
     0     0     cutoff    0        13.97310   13.97310  0.00%     -    0s
Explored 0 nodes (37 simplex iterations) in 0.18 seconds
Thread count was 2 (of 2 available processors)
Optimal solution found (tolerance 1.00e-10)
Best objective 1.397309756279e+01, best bound 1.397309756279e+01, gap 0.0%
Dispose model
Dispose environment
Database connection terminated
Rockit runtime was 7856 milliseconds.
Finished!

Data & Web Science computational services

rockit process (v0.5.227)

ID: f916986e-b126-44d4-9cbe-4fdb6725093f (complete)

date / time / ip

input information

result

log