rockit b01f1183-97cd-4227-a034-f0db110f5fca | Research Group Data and Web Science

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

ID: b01f1183-97cd-4227-a034-f0db110f5fca (complete)

State: complete / restart
date / time / ip

added:
2021-07-05 15:36:54
start:
2021-07-05 15:36:54
end:
2021-07-05 15:37:10
user IP:
130.236.70.123
input information

gap:
default
inference:
map
input:
srule.txt
data:
o.db
result

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

process created
java -Xmx8G -jar /home/timo/app/core/systems/rockit/0.5.227/rockit.jar -data /home/timo/app/core/data/b01f1183-97cd-4227-a034-f0db110f5fca/o.db -gap -1 -input /home/timo/app/core/data/b01f1183-97cd-4227-a034-f0db110f5fca/srule.txt -output /home/timo/app/core/data/b01f1183-97cd-4227-a034-f0db110f5fca/output.db -para /home/timo/app/core/data/b01f1183-97cd-4227-a034-f0db110f5fca/rockit.properties
==== Start RockIt =====Mon Jul 05 15:36:55 CEST 2021
-input /home/timo/app/core/data/b01f1183-97cd-4227-a034-f0db110f5fca/srule.txt
-data /home/timo/app/core/data/b01f1183-97cd-4227-a034-f0db110f5fca/o.db
-output /home/timo/app/core/data/b01f1183-97cd-4227-a034-f0db110f5fca/output.db
-para: use rockit.properties file.
-gap: use gurobi standard gap.
-debug output false
-use MAP inference
===== Start Standard Grounder =====Mon Jul 05 15:36:56 CEST 2021
.......PutDataIntoTables duration: 157
16 hidden Predicates
7 observed Predicates
10 number of formulas
16549 evidence atoms
===== Start Standard Solver =====Mon Jul 05 15:36:56 CEST 2021
---- Start  Loop 0 ----Mon Jul 05 15:36:56 CEST 2021
add 11046 constraints (total number = 11046)
Optimize a model with 11046 rows, 11046 columns and 11046 nonzeros
Found heuristic solution: objective -0
Presolve removed 11046 rows and 11046 columns
Presolve time: 0.01s
Explored 0 nodes (0 simplex iterations) in 0.01 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective -0.000000000000e+00, best bound -0.000000000000e+00, gap 0.0%
---- Start  Loop 1 ----Mon Jul 05 15:36:57 CEST 2021
add 776 constraints (total number = 11822)
Optimize a model with 11822 rows, 11822 columns and 11822 nonzeros
Found heuristic solution: objective -0
Presolve removed 11822 rows and 11822 columns
Presolve time: 0.01s
Explored 0 nodes (0 simplex iterations) in 0.01 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective -0.000000000000e+00, best bound -0.000000000000e+00, gap 0.0%
---- Start  Loop 2 ----Mon Jul 05 15:36:58 CEST 2021
add 2448 constraints (total number = 14270)
Optimize a model with 14270 rows, 13695 columns and 16718 nonzeros
Found heuristic solution: objective -0
Presolve removed 14270 rows and 13695 columns
Presolve time: 0.01s
Explored 0 nodes (0 simplex iterations) in 0.01 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective -0.000000000000e+00, best bound -0.000000000000e+00, gap 0.0%
---- Start  Loop 3 ----Mon Jul 05 15:36:59 CEST 2021
add 4349 constraints (total number = 18619)
Optimize a model with 18619 rows, 16824 columns and 25416 nonzeros
Found heuristic solution: objective -0
Presolve removed 18619 rows and 16824 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-04)
Best objective -0.000000000000e+00, best bound -0.000000000000e+00, gap 0.0%
---- Start  Loop 4 ----Mon Jul 05 15:37:00 CEST 2021
add 5670 constraints (total number = 24289)
Optimize a model with 24289 rows, 20571 columns and 36756 nonzeros
Found heuristic solution: objective -0
Presolve removed 24289 rows and 20571 columns
Presolve time: 0.03s
Explored 0 nodes (0 simplex iterations) in 0.03 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective -0.000000000000e+00, best bound -0.000000000000e+00, gap 0.0%
---- Start  Loop 5 ----Mon Jul 05 15:37:01 CEST 2021
add 4896 constraints (total number = 29185)
Optimize a model with 29185 rows, 23624 columns and 46548 nonzeros
Found heuristic solution: objective -0
Presolve removed 29185 rows and 23624 columns
Presolve time: 0.03s
Explored 0 nodes (0 simplex iterations) in 0.05 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective -0.000000000000e+00, best bound -0.000000000000e+00, gap 0.0%
---- Start  Loop 6 ----Mon Jul 05 15:37:02 CEST 2021
add 2922 constraints (total number = 32107)
Optimize a model with 32107 rows, 25319 columns and 52392 nonzeros
Found heuristic solution: objective -0
Presolve removed 32107 rows and 25319 columns
Presolve time: 0.03s
Explored 0 nodes (0 simplex iterations) in 0.05 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective -0.000000000000e+00, best bound -0.000000000000e+00, gap 0.0%
---- Start  Loop 7 ----Mon Jul 05 15:37:04 CEST 2021
add 1171 constraints (total number = 33278)
Optimize a model with 33278 rows, 25977 columns and 54734 nonzeros
Found heuristic solution: objective -0
Presolve removed 33278 rows and 25977 columns
Presolve time: 0.04s
Explored 0 nodes (0 simplex iterations) in 0.06 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective -0.000000000000e+00, best bound -0.000000000000e+00, gap 0.0%
---- Start  Loop 8 ----Mon Jul 05 15:37:05 CEST 2021
add 396 constraints (total number = 33674)
Optimize a model with 33674 rows, 26191 columns and 55526 nonzeros
Found heuristic solution: objective -0
Presolve removed 33674 rows and 26191 columns
Presolve time: 0.04s
Explored 0 nodes (0 simplex iterations) in 0.06 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective -0.000000000000e+00, best bound -0.000000000000e+00, gap 0.0%
---- Start  Loop 9 ----Mon Jul 05 15:37:06 CEST 2021
add 96 constraints (total number = 33770)
Optimize a model with 33770 rows, 26241 columns and 55718 nonzeros
Found heuristic solution: objective -0
Presolve removed 33770 rows and 26241 columns
Presolve time: 0.04s
Explored 0 nodes (0 simplex iterations) in 0.06 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective -0.000000000000e+00, best bound -0.000000000000e+00, gap 0.0%
---- Start  Loop 10 ----Mon Jul 05 15:37:08 CEST 2021
add 8 constraints (total number = 33778)
Optimize a model with 33778 rows, 26245 columns and 55734 nonzeros
Found heuristic solution: objective -0
Presolve removed 33778 rows and 26245 columns
Presolve time: 0.04s
Explored 0 nodes (0 simplex iterations) in 0.08 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective -0.000000000000e+00, best bound -0.000000000000e+00, gap 0.0%
Dispose model
Dispose environment
Database connection terminated
Rockit runtime was 15161 milliseconds.
Finished!
Data & Web Science computational services

rockit process (v0.5.227)

ID: b01f1183-97cd-4227-a034-f0db110f5fca (complete)

date / time / ip

input information

result

log
