rockit ea0e57cf-aed1-49f7-a4dc-ca7bb5e47806 | Research Group Data and Web Science

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

ID: ea0e57cf-aed1-49f7-a4dc-ca7bb5e47806 (complete)

State: complete / restart
date / time / ip

added:
2021-05-20 19:22:38
start:
2021-05-20 19:22:38
end:
2021-05-20 19:33:02
user IP:
155.4.146.90
input information

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

file:
output.db
duration:
10:24 min
log

process created
java -Xmx8G -jar /home/timo/app/core/systems/rockit/0.5.227/rockit.jar -data /home/timo/app/core/data/ea0e57cf-aed1-49f7-a4dc-ca7bb5e47806/newonto.txt -gap 0.01 -input /home/timo/app/core/data/ea0e57cf-aed1-49f7-a4dc-ca7bb5e47806/mappingrule.txt -output /home/timo/app/core/data/ea0e57cf-aed1-49f7-a4dc-ca7bb5e47806/output.db -para /home/timo/app/core/data/ea0e57cf-aed1-49f7-a4dc-ca7bb5e47806/rockit.properties
==== Start RockIt =====Thu May 20 19:22:39 CEST 2021
-input /home/timo/app/core/data/ea0e57cf-aed1-49f7-a4dc-ca7bb5e47806/mappingrule.txt
-data /home/timo/app/core/data/ea0e57cf-aed1-49f7-a4dc-ca7bb5e47806/newonto.txt
-output /home/timo/app/core/data/ea0e57cf-aed1-49f7-a4dc-ca7bb5e47806/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 19:22:39 CEST 2021
........PutDataIntoTables duration: 115
16 hidden Predicates
8 observed Predicates
56 number of formulas
11390 evidence atoms
===== Start Standard Solver =====Thu May 20 19:22:39 CEST 2021
---- Start  Loop 0 ----Thu May 20 19:22:40 CEST 2021
add 11389 constraints (total number = 11389)
Optimize a model with 11389 rows, 11389 columns and 11389 nonzeros
Found heuristic solution: objective -0
Presolve removed 11389 rows and 11389 columns
Presolve time: 0.01s
Explored 0 nodes (0 simplex iterations) in 0.02 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 19:22:41 CEST 2021
add 8336 constraints (total number = 19725)
Optimize a model with 19725 rows, 19547 columns and 19725 nonzeros
Found heuristic solution: objective -0
Presolve removed 19725 rows and 19547 columns
Presolve time: 0.02s
Explored 0 nodes (0 simplex iterations) in 0.02 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 19:22:42 CEST 2021
add 21483 constraints (total number = 41208)
Optimize a model with 41208 rows, 33970 columns and 68721 nonzeros
Found heuristic solution: objective -0
Presolve removed 41208 rows and 33970 columns
Presolve time: 0.06s
Explored 0 nodes (0 simplex iterations) in 0.07 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 19:22:45 CEST 2021
add 100477 constraints (total number = 141685)
Optimize a model with 141685 rows, 113132 columns and 350001 nonzeros
Found heuristic solution: objective -0
Presolve removed 141685 rows and 113132 columns
Presolve time: 0.29s
Explored 0 nodes (0 simplex iterations) in 0.36 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 19:23:04 CEST 2021
add 812110 constraints (total number = 953795)
Optimize a model with 953795 rows, 665995 columns and 2655052 nonzeros
Presolve removed 953795 rows and 665995 columns
Presolve time: 2.80s
Explored 0 nodes (0 simplex iterations) in 4.32 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 19:24:26 CEST 2021
add 1741197 constraints (total number = 2694992)
Optimize a model with 2694992 rows, 1492899 columns and 7427383 nonzeros
Presolve removed 2694992 rows and 1492899 columns (presolve time = 6s) ...
Presolve removed 2694992 rows and 1492899 columns
Presolve time: 8.26s
Explored 0 nodes (0 simplex iterations) in 12.98 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 19:27:11 CEST 2021
add 519046 constraints (total number = 3214038)
Optimize a model with 3214038 rows, 1653330 columns and 8832404 nonzeros
Presolve removed 2050348 rows and 948888 columns (presolve time = 5s) ...
Presolve removed 3214038 rows and 1653330 columns (presolve time = 10s) ...
Presolve removed 3214038 rows and 1653330 columns
Presolve time: 10.15s
Explored 0 nodes (0 simplex iterations) in 15.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 19:30:04 CEST 2021
add 12399 constraints (total number = 3226437)
Optimize a model with 3226437 rows, 1655443 columns and 8866907 nonzeros
Presolve removed 3226437 rows and 1655443 columns (presolve time = 5s) ...
Presolve removed 3226437 rows and 1655443 columns
Presolve time: 9.19s
Explored 0 nodes (0 simplex iterations) in 14.53 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 623304 milliseconds.
Finished!
Data & Web Science computational services

rockit process (v0.5.227)

ID: ea0e57cf-aed1-49f7-a4dc-ca7bb5e47806 (complete)

date / time / ip

input information

result

log
