n-rockit feea3f0b-bf47-447a-80b5-c0878bf00c29 | Research Group Data and Web Science

< prev | next >
n-rockit process (v0.5.277)

ID: feea3f0b-bf47-447a-80b5-c0878bf00c29 (complete)

State: complete / restart
date / time / ip

added:
2016-02-11 10:17:00
start:
2016-02-11 09:17:01
end:
2016-02-11 09:17:07
user IP:
134.155.245.223
input information

inference:
map
input:
prog5.mln
data:
evidences.db
result

file:
output.db
duration:
00:06 min
log

process created
java -Xmx8G -jar /opt/pycodi/core/systems/n-rockit/0.5.277/n-rockit.jar -data /opt/pycodi/core/data/feea3f0b-bf47-447a-80b5-c0878bf00c29/evidences.db -input /opt/pycodi/core/data/feea3f0b-bf47-447a-80b5-c0878bf00c29/prog5.mln -output /opt/pycodi/core/data/feea3f0b-bf47-447a-80b5-c0878bf00c29/output.db -para /opt/pycodi/core/data/feea3f0b-bf47-447a-80b5-c0878bf00c29/rockit.properties
==== Start RockIt =====Thu Feb 11 10:17:01 CET 2016
-input /opt/pycodi/core/data/feea3f0b-bf47-447a-80b5-c0878bf00c29/prog5.mln
-data /opt/pycodi/core/data/feea3f0b-bf47-447a-80b5-c0878bf00c29/evidences.db
-output /opt/pycodi/core/data/feea3f0b-bf47-447a-80b5-c0878bf00c29/output.db
-para: use rockit.properties file.
-gap: use gurobi standard gap.
-debug output false
-use MAP inference
line 38:82 missing . at \n
===== Start Standard Grounder =====Thu Feb 11 10:17:01 CET 2016
........PutDataIntoTables duration: 28
7 hidden Predicates
8 observed Predicates
7 number of formulas
907 evidence atoms
===== Start Standard Solver =====Thu Feb 11 10:17:02 CET 2016
---- Start  Loop 0 ----Thu Feb 11 10:17:02 CET 2016
add 274 constraints (total number = 274)
Optimize a model with 274 rows, 2806 columns and 2730 nonzeros
Found heuristic solution: objective 10057
Presolve removed 274 rows and 2806 columns
Presolve time: 0.00s
Explored 0 nodes (0 simplex iterations) in 0.00 seconds
Thread count was 1 (of 2 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 1.005699767600e+04, best bound 1.005699767600e+04, gap 0.0%
---- Start  Loop 1 ----Thu Feb 11 10:17:03 CET 2016
add 274 constraints (total number = 548)
Optimize a model with 548 rows, 2806 columns and 5450 nonzeros
Found heuristic solution: objective 10057
Presolve removed 548 rows and 2806 columns
Presolve time: 0.00s
Explored 0 nodes (0 simplex iterations) in 0.00 seconds
Thread count was 1 (of 2 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 1.005699767600e+04, best bound 1.005699767600e+04, gap 0.0%
---- Start  Loop 2 ----Thu Feb 11 10:17:03 CET 2016
add 594 constraints (total number = 1142)
Optimize a model with 1142 rows, 2806 columns and 6684 nonzeros
Found heuristic solution: objective 9965.1
Presolve removed 1014 rows and 2727 columns
Presolve time: 0.00s
Presolved: 128 rows, 79 columns, 384 nonzeros
MIP start did not produce a feasible solution
MIP start violates constraint R548 by 1.00
Found heuristic solution: objective 10043.148936
Variable types: 0 continuous, 79 integer (79 binary)
Root relaxation: objective 1.004321e+04, 69 iterations, 0.00 seconds
    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time
*    0     0               0    10043.212316 10043.2123  0.00%     -    0s
Explored 0 nodes (69 simplex iterations) in 0.01 seconds
Thread count was 2 (of 2 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 1.004321231600e+04, best bound 1.004321231600e+04, gap 0.0%
---- Start  Loop 3 ----Thu Feb 11 10:17:04 CET 2016
add 349 constraints (total number = 1491)
Optimize a model with 1491 rows, 2806 columns and 7199 nonzeros
Found heuristic solution: objective 9965.1
Presolve removed 1315 rows and 2703 columns
Presolve time: 0.01s
Presolved: 176 rows, 103 columns, 528 nonzeros
MIP start did not produce a feasible solution
MIP start violates constraint R1142 by 1.00
Found heuristic solution: objective 10042.874499
Variable types: 0 continuous, 103 integer (103 binary)
Root relaxation: objective 1.004321e+04, 93 iterations, 0.00 seconds
    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time
*    0     0               0    10043.212316 10043.2123  0.00%     -    0s
Explored 0 nodes (93 simplex iterations) in 0.01 seconds
Thread count was 2 (of 2 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 1.004321231600e+04, best bound 1.004321231600e+04, gap 0.0%
---- Start  Loop 4 ----Thu Feb 11 10:17:04 CET 2016
add 177 constraints (total number = 1668)
Optimize a model with 1668 rows, 2806 columns and 7724 nonzeros
Found heuristic solution: objective 9965.1
Presolve removed 1492 rows and 2703 columns
Presolve time: 0.01s
Presolved: 176 rows, 103 columns, 528 nonzeros
MIP start did not produce a feasible solution
MIP start violates constraint R1491 by 1.00
Found heuristic solution: objective 10042.874499
Variable types: 0 continuous, 103 integer (103 binary)
Root relaxation: objective 1.004321e+04, 93 iterations, 0.00 seconds
    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time
*    0     0               0    10043.212316 10043.2123  0.00%     -    0s
Explored 0 nodes (93 simplex iterations) in 0.01 seconds
Thread count was 2 (of 2 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 1.004321231600e+04, best bound 1.004321231600e+04, gap 0.0%
---- Start  Loop 5 ----Thu Feb 11 10:17:05 CET 2016
add 93 constraints (total number = 1761)
Optimize a model with 1761 rows, 2806 columns and 7997 nonzeros
Found heuristic solution: objective 9965.1
Presolve removed 1585 rows and 2703 columns
Presolve time: 0.01s
Presolved: 176 rows, 103 columns, 528 nonzeros
MIP start did not produce a feasible solution
MIP start violates constraint R1668 by 1.00
Found heuristic solution: objective 10042.874499
Variable types: 0 continuous, 103 integer (103 binary)
Root relaxation: objective 1.004321e+04, 93 iterations, 0.00 seconds
    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time
*    0     0               0    10043.212316 10043.2123  0.00%     -    0s
Explored 0 nodes (93 simplex iterations) in 0.01 seconds
Thread count was 2 (of 2 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 1.004321231600e+04, best bound 1.004321231600e+04, gap 0.0%
---- Start  Loop 6 ----Thu Feb 11 10:17:05 CET 2016
add 21 constraints (total number = 1782)
Optimize a model with 1782 rows, 2806 columns and 8056 nonzeros
Found heuristic solution: objective 9965.1
Presolve removed 1606 rows and 2703 columns
Presolve time: 0.01s
Presolved: 176 rows, 103 columns, 528 nonzeros
MIP start did not produce a feasible solution
MIP start violates constraint R1761 by 1.00
Found heuristic solution: objective 10042.874499
Variable types: 0 continuous, 103 integer (103 binary)
Root relaxation: objective 1.004321e+04, 93 iterations, 0.00 seconds
    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time
*    0     0               0    10043.212316 10043.2123  0.00%     -    0s
Explored 0 nodes (93 simplex iterations) in 0.01 seconds
Thread count was 2 (of 2 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 1.004321231600e+04, best bound 1.004321231600e+04, gap 0.0%
---- Start  Loop 7 ----Thu Feb 11 10:17:05 CET 2016
add 79 constraints (total number = 1861)
Optimize a model with 1861 rows, 2806 columns and 8289 nonzeros
Found heuristic solution: objective 9965.1
Presolve removed 1685 rows and 2703 columns
Presolve time: 0.01s
Presolved: 176 rows, 103 columns, 528 nonzeros
MIP start did not produce a feasible solution
MIP start violates constraint R1782 by 1.00
Found heuristic solution: objective 10042.874499
Variable types: 0 continuous, 103 integer (103 binary)
Root relaxation: objective 1.004321e+04, 93 iterations, 0.00 seconds
    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time
*    0     0               0    10043.212316 10043.2123  0.00%     -    0s
Explored 0 nodes (93 simplex iterations) in 0.01 seconds
Thread count was 2 (of 2 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 1.004321231600e+04, best bound 1.004321231600e+04, gap 0.0%
---- Start  Loop 8 ----Thu Feb 11 10:17:06 CET 2016
add 42 constraints (total number = 1903)
Optimize a model with 1903 rows, 2806 columns and 8413 nonzeros
Found heuristic solution: objective 9965.1
Presolve removed 1727 rows and 2703 columns
Presolve time: 0.01s
Presolved: 176 rows, 103 columns, 528 nonzeros
MIP start did not produce a feasible solution
MIP start violates constraint R1861 by 1.00
Found heuristic solution: objective 10042.874499
Variable types: 0 continuous, 103 integer (103 binary)
Root relaxation: objective 1.004321e+04, 93 iterations, 0.00 seconds
    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time
*    0     0               0    10043.212316 10043.2123  0.00%     -    0s
Explored 0 nodes (93 simplex iterations) in 0.01 seconds
Thread count was 2 (of 2 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 1.004321231600e+04, best bound 1.004321231600e+04, gap 0.0%
---- Start  Loop 9 ----Thu Feb 11 10:17:06 CET 2016
add 40 constraints (total number = 1943)
Optimize a model with 1943 rows, 2806 columns and 8529 nonzeros
Found heuristic solution: objective 9965.1
Presolve removed 1767 rows and 2703 columns
Presolve time: 0.01s
Presolved: 176 rows, 103 columns, 528 nonzeros
MIP start did not produce a feasible solution
MIP start violates constraint R1903 by 1.00
Found heuristic solution: objective 10042.874499
Variable types: 0 continuous, 103 integer (103 binary)
Root relaxation: objective 1.004321e+04, 93 iterations, 0.00 seconds
    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time
*    0     0               0    10043.212316 10043.2123  0.00%     -    0s
Explored 0 nodes (93 simplex iterations) in 0.01 seconds
Thread count was 2 (of 2 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 1.004321231600e+04, best bound 1.004321231600e+04, gap 0.0%
Dispose model
Dispose environment
Database connection terminated
Rockit runtime was 5738 milliseconds.
Finished!
Data & Web Science computational services

n-rockit process (v0.5.277)

ID: feea3f0b-bf47-447a-80b5-c0878bf00c29 (complete)

date / time / ip

input information

result

log
