n-rockit f29cc281-60fd-4484-87b5-f3a6a2c42f51 | Research Group Data and Web Science

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

ID: f29cc281-60fd-4484-87b5-f3a6a2c42f51 (complete)

State: complete / restart
date / time / ip

added:
2016-02-11 10:16:18
start:
2016-02-11 09:16:19
end:
2016-02-11 09:16:24
user IP:
134.155.245.223
input information

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

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

process created
java -Xmx8G -jar /opt/pycodi/core/systems/n-rockit/0.5.277/n-rockit.jar -data /opt/pycodi/core/data/f29cc281-60fd-4484-87b5-f3a6a2c42f51/evidences.db -input /opt/pycodi/core/data/f29cc281-60fd-4484-87b5-f3a6a2c42f51/prog5.mln -output /opt/pycodi/core/data/f29cc281-60fd-4484-87b5-f3a6a2c42f51/output.db -para /opt/pycodi/core/data/f29cc281-60fd-4484-87b5-f3a6a2c42f51/rockit.properties
==== Start RockIt =====Thu Feb 11 10:16:19 CET 2016
-input /opt/pycodi/core/data/f29cc281-60fd-4484-87b5-f3a6a2c42f51/prog5.mln
-data /opt/pycodi/core/data/f29cc281-60fd-4484-87b5-f3a6a2c42f51/evidences.db
-output /opt/pycodi/core/data/f29cc281-60fd-4484-87b5-f3a6a2c42f51/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:16:19 CET 2016
........PutDataIntoTables duration: 25
7 hidden Predicates
8 observed Predicates
7 number of formulas
863 evidence atoms
===== Start Standard Solver =====Thu Feb 11 10:16:20 CET 2016
---- Start  Loop 0 ----Thu Feb 11 10:16:20 CET 2016
add 261 constraints (total number = 261)
Optimize a model with 261 rows, 2929 columns and 2849 nonzeros
Found heuristic solution: objective 12061.8
Presolve removed 261 rows and 2929 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.206184285200e+04, best bound 1.206184285200e+04, gap 0.0%
---- Start  Loop 1 ----Thu Feb 11 10:16:21 CET 2016
add 261 constraints (total number = 522)
Optimize a model with 522 rows, 2929 columns and 5687 nonzeros
Found heuristic solution: objective 12061.8
Presolve removed 522 rows and 2929 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.206184285200e+04, best bound 1.206184285200e+04, gap 0.0%
---- Start  Loop 2 ----Thu Feb 11 10:16:21 CET 2016
add 622 constraints (total number = 1144)
Optimize a model with 1144 rows, 2929 columns and 7031 nonzeros
Found heuristic solution: objective 11960.8
Presolve removed 906 rows and 2785 columns
Presolve time: 0.01s
Presolved: 238 rows, 144 columns, 714 nonzeros
MIP start did not produce a feasible solution
MIP start violates constraint R522 by 1.00
Found heuristic solution: objective 12040.799388
Variable types: 0 continuous, 144 integer (144 binary)
Root relaxation: objective 1.204346e+04, 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    12043.462372 12043.4624  0.00%     -    0s
Explored 0 nodes (126 simplex iterations) in 0.01 seconds
Thread count was 2 (of 2 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 1.204346237200e+04, best bound 1.204346237200e+04, gap 0.0%
---- Start  Loop 3 ----Thu Feb 11 10:16:22 CET 2016
add 429 constraints (total number = 1573)
Optimize a model with 1573 rows, 2929 columns and 7812 nonzeros
Found heuristic solution: objective 11960.8
Presolve removed 1281 rows and 2758 columns
Presolve time: 0.01s
Presolved: 292 rows, 171 columns, 876 nonzeros
MIP start did not produce a feasible solution
MIP start violates constraint R1144 by 1.00
Found heuristic solution: objective 12040.799388
Variable types: 0 continuous, 171 integer (171 binary)
Root relaxation: objective 1.204346e+04, 152 iterations, 0.00 seconds
    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time
*    0     0               0    12043.462372 12043.4624  0.00%     -    0s
Explored 0 nodes (152 simplex iterations) in 0.01 seconds
Thread count was 2 (of 2 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 1.204346237200e+04, best bound 1.204346237200e+04, gap 0.0%
---- Start  Loop 4 ----Thu Feb 11 10:16:22 CET 2016
add 75 constraints (total number = 1648)
Optimize a model with 1648 rows, 2929 columns and 8007 nonzeros
Found heuristic solution: objective 11960.8
Presolve removed 1356 rows and 2758 columns
Presolve time: 0.01s
Presolved: 292 rows, 171 columns, 876 nonzeros
MIP start did not produce a feasible solution
MIP start violates constraint R1573 by 1.00
Found heuristic solution: objective 12040.799388
Variable types: 0 continuous, 171 integer (171 binary)
Root relaxation: objective 1.204346e+04, 152 iterations, 0.00 seconds
    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time
*    0     0               0    12043.462372 12043.4624  0.00%     -    0s
Explored 0 nodes (152 simplex iterations) in 0.01 seconds
Thread count was 2 (of 2 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 1.204346237200e+04, best bound 1.204346237200e+04, gap 0.0%
---- Start  Loop 5 ----Thu Feb 11 10:16:22 CET 2016
add 157 constraints (total number = 1805)
Optimize a model with 1805 rows, 2929 columns and 8470 nonzeros
Found heuristic solution: objective 11960.8
Presolve removed 1513 rows and 2758 columns
Presolve time: 0.01s
Presolved: 292 rows, 171 columns, 876 nonzeros
MIP start did not produce a feasible solution
MIP start violates constraint R1648 by 1.00
Found heuristic solution: objective 12040.799388
Variable types: 0 continuous, 171 integer (171 binary)
Root relaxation: objective 1.204346e+04, 152 iterations, 0.00 seconds
    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time
*    0     0               0    12043.462372 12043.4624  0.00%     -    0s
Explored 0 nodes (152 simplex iterations) in 0.01 seconds
Thread count was 2 (of 2 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 1.204346237200e+04, best bound 1.204346237200e+04, gap 0.0%
---- Start  Loop 6 ----Thu Feb 11 10:16:23 CET 2016
add 201 constraints (total number = 2006)
Optimize a model with 2006 rows, 2929 columns and 9065 nonzeros
Found heuristic solution: objective 11960.8
Presolve removed 1714 rows and 2758 columns
Presolve time: 0.01s
Presolved: 292 rows, 171 columns, 876 nonzeros
MIP start did not produce a feasible solution
MIP start violates constraint R1805 by 1.00
Found heuristic solution: objective 12040.799388
Variable types: 0 continuous, 171 integer (171 binary)
Root relaxation: objective 1.204346e+04, 152 iterations, 0.00 seconds
    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time
*    0     0               0    12043.462372 12043.4624  0.00%     -    0s
Explored 0 nodes (152 simplex iterations) in 0.01 seconds
Thread count was 2 (of 2 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 1.204346237200e+04, best bound 1.204346237200e+04, gap 0.0%
---- Start  Loop 7 ----Thu Feb 11 10:16:23 CET 2016
add 67 constraints (total number = 2073)
Optimize a model with 2073 rows, 2929 columns and 9258 nonzeros
Found heuristic solution: objective 11960.8
Presolve removed 1781 rows and 2758 columns
Presolve time: 0.01s
Presolved: 292 rows, 171 columns, 876 nonzeros
MIP start did not produce a feasible solution
MIP start violates constraint R2006 by 1.00
Found heuristic solution: objective 12040.799388
Variable types: 0 continuous, 171 integer (171 binary)
Root relaxation: objective 1.204346e+04, 152 iterations, 0.00 seconds
    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time
*    0     0               0    12043.462372 12043.4624  0.00%     -    0s
Explored 0 nodes (152 simplex iterations) in 0.01 seconds
Thread count was 2 (of 2 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 1.204346237200e+04, best bound 1.204346237200e+04, gap 0.0%
---- Start  Loop 8 ----Thu Feb 11 10:16:24 CET 2016
add 44 constraints (total number = 2117)
Optimize a model with 2117 rows, 2929 columns and 9384 nonzeros
Found heuristic solution: objective 11960.8
Presolve removed 1825 rows and 2758 columns
Presolve time: 0.01s
Presolved: 292 rows, 171 columns, 876 nonzeros
MIP start did not produce a feasible solution
MIP start violates constraint R2073 by 1.00
Found heuristic solution: objective 12040.799388
Variable types: 0 continuous, 171 integer (171 binary)
Root relaxation: objective 1.204346e+04, 152 iterations, 0.00 seconds
    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time
*    0     0               0    12043.462372 12043.4624  0.00%     -    0s
Explored 0 nodes (152 simplex iterations) in 0.01 seconds
Thread count was 2 (of 2 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 1.204346237200e+04, best bound 1.204346237200e+04, gap 0.0%
---- Start  Loop 9 ----Thu Feb 11 10:16:24 CET 2016
add 65 constraints (total number = 2182)
Optimize a model with 2182 rows, 2929 columns and 9575 nonzeros
Found heuristic solution: objective 11960.8
Presolve removed 1890 rows and 2758 columns
Presolve time: 0.01s
Presolved: 292 rows, 171 columns, 876 nonzeros
MIP start did not produce a feasible solution
MIP start violates constraint R2117 by 1.00
Found heuristic solution: objective 12040.799388
Variable types: 0 continuous, 171 integer (171 binary)
Root relaxation: objective 1.204346e+04, 152 iterations, 0.00 seconds
    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time
*    0     0               0    12043.462372 12043.4624  0.00%     -    0s
Explored 0 nodes (152 simplex iterations) in 0.01 seconds
Thread count was 2 (of 2 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 1.204346237200e+04, best bound 1.204346237200e+04, gap 0.0%
Dispose model
Dispose environment
Database connection terminated
Rockit runtime was 5610 milliseconds.
Finished!
Data & Web Science computational services

n-rockit process (v0.5.277)

ID: f29cc281-60fd-4484-87b5-f3a6a2c42f51 (complete)

date / time / ip

input information

result

log
