rockit fbeaccbe-820f-428b-89ad-647c057a7604 | Research Group Data and Web Science

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

ID: fbeaccbe-820f-428b-89ad-647c057a7604 (complete)

State: complete / restart
date / time / ip

added:
2021-05-20 20:27:06
start:
2021-05-20 20:27:06
end:
2021-05-20 20:37:12
user IP:
155.4.146.90
input information

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

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

process created
java -Xmx8G -jar /home/timo/app/core/systems/rockit/0.5.227/rockit.jar -data /home/timo/app/core/data/fbeaccbe-820f-428b-89ad-647c057a7604/nnewonto.txt -gap 0.01 -input /home/timo/app/core/data/fbeaccbe-820f-428b-89ad-647c057a7604/mappingrule.txt -output /home/timo/app/core/data/fbeaccbe-820f-428b-89ad-647c057a7604/output.db -para /home/timo/app/core/data/fbeaccbe-820f-428b-89ad-647c057a7604/rockit.properties
==== Start RockIt =====Thu May 20 20:27:07 CEST 2021
-input /home/timo/app/core/data/fbeaccbe-820f-428b-89ad-647c057a7604/mappingrule.txt
-data /home/timo/app/core/data/fbeaccbe-820f-428b-89ad-647c057a7604/nnewonto.txt
-output /home/timo/app/core/data/fbeaccbe-820f-428b-89ad-647c057a7604/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 20:27:07 CEST 2021
........PutDataIntoTables duration: 122
16 hidden Predicates
8 observed Predicates
56 number of formulas
11390 evidence atoms
===== Start Standard Solver =====Thu May 20 20:27:07 CEST 2021
---- Start  Loop 0 ----Thu May 20 20:27:08 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.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 20:27:09 CEST 2021
add 8335 constraints (total number = 19724)
Optimize a model with 19724 rows, 19546 columns and 19724 nonzeros
Found heuristic solution: objective -0
Presolve removed 19724 rows and 19546 columns
Presolve time: 0.04s
Explored 0 nodes (0 simplex iterations) in 0.05 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 20:27:10 CEST 2021
add 21490 constraints (total number = 41214)
Optimize a model with 41214 rows, 33972 columns and 68741 nonzeros
Found heuristic solution: objective -0
Presolve removed 41214 rows and 33972 columns
Presolve time: 0.09s
Explored 0 nodes (0 simplex iterations) in 0.11 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 20:27:13 CEST 2021
add 100255 constraints (total number = 141469)
Optimize a model with 141469 rows, 113030 columns and 349374 nonzeros
Found heuristic solution: objective -0
Presolve removed 141469 rows and 113030 columns
Presolve time: 0.35s
Explored 0 nodes (0 simplex iterations) in 0.43 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 20:27:33 CEST 2021
add 805625 constraints (total number = 947094)
Optimize a model with 947094 rows, 666566 columns and 2635036 nonzeros
Presolve removed 947094 rows and 666566 columns
Presolve time: 2.80s
Explored 0 nodes (0 simplex iterations) in 4.42 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 20:28:54 CEST 2021
add 1685676 constraints (total number = 2632770)
Optimize a model with 2632770 rows, 1490990 columns and 7243832 nonzeros
Presolve removed 2632770 rows and 1490990 columns (presolve time = 5s) ...
Presolve removed 2632770 rows and 1490990 columns
Presolve time: 7.48s
Explored 0 nodes (0 simplex iterations) in 12.37 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 20:31:26 CEST 2021
add 544430 constraints (total number = 3177200)
Optimize a model with 3177200 rows, 1646177 columns and 8724681 nonzeros
Presolve removed 3177200 rows and 1646177 columns (presolve time = 6s) ...
Presolve removed 3177200 rows and 1646177 columns
Presolve time: 8.24s
Explored 0 nodes (0 simplex iterations) in 13.62 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 20:34:13 CEST 2021
add 5265 constraints (total number = 3182465)
Optimize a model with 3182465 rows, 1646777 columns and 8739786 nonzeros
Presolve removed 2052301 rows and 943668 columns (presolve time = 5s) ...
Presolve removed 3182465 rows and 1646777 columns
Presolve time: 9.18s
Explored 0 nodes (0 simplex iterations) in 15.06 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 605738 milliseconds.
Finished!
Data & Web Science computational services

rockit process (v0.5.227)

ID: fbeaccbe-820f-428b-89ad-647c057a7604 (complete)

date / time / ip

input information

result

log
