rockit 2ffbecdb-7fdc-442e-bf52-ecb4a10d030d | Research Group Data and Web Science

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

ID: 2ffbecdb-7fdc-442e-bf52-ecb4a10d030d (complete)

State: complete / restart
date / time / ip

added:
2021-04-11 22:13:03
start:
2021-04-11 22:13:03
end:
2021-04-11 22:13:06
user IP:
83.252.225.163
input information

gap:
0.01
inference:
map
input:
newrule.txt
data:
tnew.txt
result

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

process created
java -Xmx8G -jar /home/timo/app/core/systems/rockit/0.5.227/rockit.jar -data /home/timo/app/core/data/2ffbecdb-7fdc-442e-bf52-ecb4a10d030d/tnew.txt -gap 0.01 -input /home/timo/app/core/data/2ffbecdb-7fdc-442e-bf52-ecb4a10d030d/newrule.txt -output /home/timo/app/core/data/2ffbecdb-7fdc-442e-bf52-ecb4a10d030d/output.db -para /home/timo/app/core/data/2ffbecdb-7fdc-442e-bf52-ecb4a10d030d/rockit.properties
==== Start RockIt =====Sun Apr 11 22:13:03 CEST 2021
-input /home/timo/app/core/data/2ffbecdb-7fdc-442e-bf52-ecb4a10d030d/newrule.txt
-data /home/timo/app/core/data/2ffbecdb-7fdc-442e-bf52-ecb4a10d030d/tnew.txt
-output /home/timo/app/core/data/2ffbecdb-7fdc-442e-bf52-ecb4a10d030d/output.db
-para: use rockit.properties file.
-gap 0.01
-debug output false
-use MAP inference
===== Start Standard Grounder =====Sun Apr 11 22:13:04 CEST 2021
............PutDataIntoTables duration: 24
3 hidden Predicates
12 observed Predicates
22 number of formulas
1438 evidence atoms
===== Start Standard Solver =====Sun Apr 11 22:13:04 CEST 2021
---- Start  Loop 0 ----Sun Apr 11 22:13:04 CEST 2021
add 96 constraints (total number = 96)
Optimize a model with 96 rows, 95 columns and 96 nonzeros
Found heuristic solution: objective -0
Presolve removed 96 rows and 95 columns
Presolve time: 0.00s
Explored 0 nodes (0 simplex iterations) in 0.00 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 ----Sun Apr 11 22:13:04 CEST 2021
add 114 constraints (total number = 210)
Optimize a model with 210 rows, 209 columns and 210 nonzeros
Found heuristic solution: objective -0
Presolve removed 210 rows and 209 columns
Presolve time: 0.00s
Explored 0 nodes (0 simplex iterations) in 0.00 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 ----Sun Apr 11 22:13:04 CEST 2021
add 129 constraints (total number = 339)
Optimize a model with 339 rows, 338 columns and 468 nonzeros
Found heuristic solution: objective -0
Presolve removed 339 rows and 338 columns
Presolve time: 0.00s
Explored 0 nodes (0 simplex iterations) in 0.00 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 ----Sun Apr 11 22:13:04 CEST 2021
add 237 constraints (total number = 576)
Optimize a model with 576 rows, 575 columns and 942 nonzeros
Found heuristic solution: objective -0
Presolve removed 576 rows and 575 columns
Presolve time: 0.00s
Explored 0 nodes (0 simplex iterations) in 0.00 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 ----Sun Apr 11 22:13:04 CEST 2021
add 285 constraints (total number = 861)
Optimize a model with 861 rows, 844 columns and 1512 nonzeros
Found heuristic solution: objective -0
Presolve removed 861 rows and 844 columns
Presolve time: 0.00s
Explored 0 nodes (0 simplex iterations) in 0.00 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 ----Sun Apr 11 22:13:04 CEST 2021
add 309 constraints (total number = 1170)
Optimize a model with 1170 rows, 1122 columns and 2130 nonzeros
Found heuristic solution: objective -0
Presolve removed 1170 rows and 1122 columns
Presolve time: 0.00s
Explored 0 nodes (0 simplex iterations) in 0.00 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 ----Sun Apr 11 22:13:05 CEST 2021
add 231 constraints (total number = 1401)
Optimize a model with 1401 rows, 1321 columns and 2592 nonzeros
Found heuristic solution: objective -0
Presolve removed 1401 rows and 1321 columns
Presolve time: 0.00s
Explored 0 nodes (0 simplex iterations) in 0.00 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 ----Sun Apr 11 22:13:05 CEST 2021
add 131 constraints (total number = 1532)
Optimize a model with 1532 rows, 1420 columns and 2854 nonzeros
Found heuristic solution: objective -0
Presolve removed 1532 rows and 1420 columns
Presolve time: 0.00s
Explored 0 nodes (0 simplex iterations) in 0.00 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 8 ----Sun Apr 11 22:13:05 CEST 2021
add 46 constraints (total number = 1578)
Optimize a model with 1578 rows, 1463 columns and 2946 nonzeros
Found heuristic solution: objective -0
Presolve removed 1578 rows and 1463 columns
Presolve time: 0.00s
Explored 0 nodes (0 simplex iterations) in 0.00 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 9 ----Sun Apr 11 22:13:05 CEST 2021
add 22 constraints (total number = 1600)
Optimize a model with 1600 rows, 1485 columns and 2990 nonzeros
Found heuristic solution: objective -0
Presolve removed 1600 rows and 1485 columns
Presolve time: 0.00s
Explored 0 nodes (0 simplex iterations) in 0.00 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 10 ----Sun Apr 11 22:13:05 CEST 2021
add 4 constraints (total number = 1604)
Optimize a model with 1604 rows, 1489 columns and 2998 nonzeros
Found heuristic solution: objective -0
Presolve removed 1604 rows and 1489 columns
Presolve time: 0.00s
Explored 0 nodes (0 simplex iterations) in 0.00 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 11 ----Sun Apr 11 22:13:05 CEST 2021
add 2 constraints (total number = 1606)
Optimize a model with 1606 rows, 1491 columns and 3002 nonzeros
Found heuristic solution: objective -0
Presolve removed 1606 rows and 1491 columns
Presolve time: 0.00s
Explored 0 nodes (0 simplex iterations) in 0.00 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 12 ----Sun Apr 11 22:13:06 CEST 2021
add 1 constraints (total number = 1607)
Optimize a model with 1607 rows, 1492 columns and 3004 nonzeros
Found heuristic solution: objective -0
Presolve removed 1607 rows and 1492 columns
Presolve time: 0.00s
Explored 0 nodes (0 simplex iterations) in 0.00 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 2839 milliseconds.
Finished!
Data & Web Science computational services

rockit process (v0.5.227)

ID: 2ffbecdb-7fdc-442e-bf52-ecb4a10d030d (complete)

date / time / ip

input information

result

log
