rockit 15530dab-1553-423f-b631-43eacf4c5e5e | Research Group Data and Web Science

< prev | next >
rockit process (v0.5.227)

ID: 15530dab-1553-423f-b631-43eacf4c5e5e (complete)

State: complete / restart
date / time / ip

added:
2021-05-20 17:34:31
start:
2021-05-20 17:34:31
end:
2021-05-20 17:45:49
user IP:
155.4.146.90
input information

gap:
0.01
inference:
map
input:
mappingrule.txt
data:
fol.txt
result

file:
output.db
duration:
11:18 min
log

process created
java -Xmx8G -jar /home/timo/app/core/systems/rockit/0.5.227/rockit.jar -data /home/timo/app/core/data/15530dab-1553-423f-b631-43eacf4c5e5e/fol.txt -gap 0.01 -input /home/timo/app/core/data/15530dab-1553-423f-b631-43eacf4c5e5e/mappingrule.txt -output /home/timo/app/core/data/15530dab-1553-423f-b631-43eacf4c5e5e/output.db -para /home/timo/app/core/data/15530dab-1553-423f-b631-43eacf4c5e5e/rockit.properties
==== Start RockIt =====Thu May 20 17:34:31 CEST 2021
-input /home/timo/app/core/data/15530dab-1553-423f-b631-43eacf4c5e5e/mappingrule.txt
-data /home/timo/app/core/data/15530dab-1553-423f-b631-43eacf4c5e5e/fol.txt
-output /home/timo/app/core/data/15530dab-1553-423f-b631-43eacf4c5e5e/output.db
-para: use rockit.properties file.
-gap 0.01
-debug output false
-use MAP inference
line 178:69 missing . at \n
===== Start Standard Grounder =====Thu May 20 17:34:32 CEST 2021
.......PutDataIntoTables duration: 152
16 hidden Predicates
7 observed Predicates
55 number of formulas
11407 evidence atoms
===== Start Standard Solver =====Thu May 20 17:34:32 CEST 2021
---- Start  Loop 0 ----Thu May 20 17:34:33 CEST 2021
add 11406 constraints (total number = 11406)
Optimize a model with 11406 rows, 11406 columns and 11406 nonzeros
Found heuristic solution: objective -0
Presolve removed 11406 rows and 11406 columns
Presolve time: 0.02s
Explored 0 nodes (0 simplex iterations) in 0.03 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-02)
Best objective -0.000000000000e+00, best bound -0.000000000000e+00, gap 0.0%
---- Start  Loop 1 ----Thu May 20 17:34:34 CEST 2021
add 8666 constraints (total number = 20072)
Optimize a model with 20072 rows, 19894 columns and 20072 nonzeros
Found heuristic solution: objective -0
Presolve removed 20072 rows and 19894 columns
Presolve time: 0.03s
Explored 0 nodes (0 simplex iterations) in 0.04 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-02)
Best objective -0.000000000000e+00, best bound -0.000000000000e+00, gap 0.0%
---- Start  Loop 2 ----Thu May 20 17:34:35 CEST 2021
add 23527 constraints (total number = 43599)
Optimize a model with 43599 rows, 35284 columns and 73973 nonzeros
Found heuristic solution: objective -0
Presolve removed 43599 rows and 35284 columns
Presolve time: 0.08s
Explored 0 nodes (0 simplex iterations) in 0.09 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-02)
Best objective -0.000000000000e+00, best bound -0.000000000000e+00, gap 0.0%
---- Start  Loop 3 ----Thu May 20 17:34:39 CEST 2021
add 157800 constraints (total number = 201399)
Optimize a model with 201399 rows, 170781 columns and 518608 nonzeros
Found heuristic solution: objective -0
Presolve removed 201399 rows and 170781 columns
Presolve time: 0.52s
Explored 0 nodes (0 simplex iterations) in 0.63 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-02)
Best objective -0.000000000000e+00, best bound -0.000000000000e+00, gap 0.0%
---- Start  Loop 4 ----Thu May 20 17:35:09 CEST 2021
add 1151091 constraints (total number = 1352490)
Optimize a model with 1352490 rows, 844643 columns and 3775785 nonzeros
Presolve removed 1352490 rows and 844643 columns
Presolve time: 3.89s
Explored 0 nodes (0 simplex iterations) in 6.31 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-02)
Best objective -0.000000000000e+00, best bound -0.000000000000e+00, gap 0.0%
---- Start  Loop 5 ----Thu May 20 17:36:44 CEST 2021
add 1591095 constraints (total number = 2943585)
Optimize a model with 2943585 rows, 1495722 columns and 8091205 nonzeros
Presolve removed 2943585 rows and 1495722 columns (presolve time = 6s) ...
Presolve removed 2943585 rows and 1495722 columns
Presolve time: 8.68s
Explored 0 nodes (0 simplex iterations) in 14.03 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-02)
Best objective -0.000000000000e+00, best bound -0.000000000000e+00, gap 0.0%
---- Start  Loop 6 ----Thu May 20 17:39:33 CEST 2021
add 678625 constraints (total number = 3622210)
Optimize a model with 3622210 rows, 1652303 columns and 9970439 nonzeros
Presolve removed 2135957 rows and 877955 columns (presolve time = 5s) ...
Presolve removed 3622210 rows and 1652303 columns (presolve time = 10s) ...
Presolve removed 3622210 rows and 1652303 columns
Presolve time: 10.39s
Explored 0 nodes (0 simplex iterations) in 16.57 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-02)
Best objective -0.000000000000e+00, best bound -0.000000000000e+00, gap 0.0%
---- Start  Loop 7 ----Thu May 20 17:42:41 CEST 2021
add 25395 constraints (total number = 3647605)
Optimize a model with 3647605 rows, 1655460 columns and 10042870 nonzeros
Presolve removed 2142594 rows and 874157 columns (presolve time = 7s) ...
Presolve removed 3647605 rows and 1655460 columns (presolve time = 12s) ...
Presolve removed 3647605 rows and 1655460 columns
Presolve time: 11.82s
Explored 0 nodes (0 simplex iterations) in 17.90 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-02)
Best objective -0.000000000000e+00, best bound -0.000000000000e+00, gap 0.0%
Dispose model
Dispose environment
Database connection terminated
Rockit runtime was 677986 milliseconds.
Finished!
Data & Web Science computational services

rockit process (v0.5.227)

ID: 15530dab-1553-423f-b631-43eacf4c5e5e (complete)

date / time / ip

input information

result

log
