Data & Web Science
computational services
systems
processes
docs & api
< prev
|
next >
rockit process
(v0.5.227)
ID: 99bcd933-fd1a-4767-98d1-595150e70031
(
canceled
)
State:
canceled
/
restart
date / time / ip
added:
2021-07-05 21:31:49
start:
2021-07-05 21:31:49
user IP:
130.236.70.123
input information
gap:
default
inference:
map
input:
srule.txt
data:
fol.txt
log
process created java -Xmx8G -jar /home/timo/app/core/systems/rockit/0.5.227/rockit.jar -data /home/timo/app/core/data/99bcd933-fd1a-4767-98d1-595150e70031/fol.txt -gap -1 -input /home/timo/app/core/data/99bcd933-fd1a-4767-98d1-595150e70031/srule.txt -output /home/timo/app/core/data/99bcd933-fd1a-4767-98d1-595150e70031/output.db -para /home/timo/app/core/data/99bcd933-fd1a-4767-98d1-595150e70031/rockit.properties ==== Start RockIt =====Mon Jul 05 21:31:49 CEST 2021 -input /home/timo/app/core/data/99bcd933-fd1a-4767-98d1-595150e70031/srule.txt -data /home/timo/app/core/data/99bcd933-fd1a-4767-98d1-595150e70031/fol.txt -output /home/timo/app/core/data/99bcd933-fd1a-4767-98d1-595150e70031/output.db -para: use rockit.properties file. -gap: use gurobi standard gap. -debug output false -use MAP inference ===== Start Standard Grounder =====Mon Jul 05 21:31:50 CEST 2021 .....PutDataIntoTables duration: 139 16 hidden Predicates 5 observed Predicates 5 number of formulas 7093 evidence atoms ===== Start Standard Solver =====Mon Jul 05 21:31:50 CEST 2021 ---- Start Loop 0 ----Mon Jul 05 21:31:51 CEST 2021 add 3795 constraints (total number = 3795) Optimize a model with 3795 rows, 3795 columns and 3795 nonzeros Found heuristic solution: objective -0 Presolve removed 3795 rows and 3795 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 21:31:52 CEST 2021 add 4207 constraints (total number = 8002) Optimize a model with 8002 rows, 7879 columns and 8002 nonzeros Found heuristic solution: objective -0 Presolve removed 8002 rows and 7879 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-04) Best objective -0.000000000000e+00, best bound -0.000000000000e+00, gap 0.0% ---- Start Loop 2 ----Mon Jul 05 21:31:53 CEST 2021 add 12205 constraints (total number = 20207) Optimize a model with 20207 rows, 15029 columns and 36319 nonzeros Found heuristic solution: objective -0 Presolve removed 20207 rows and 15029 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-04) Best objective -0.000000000000e+00, best bound -0.000000000000e+00, gap 0.0% CANCELED BY USER
restart option:
Restart this process.
Create a new process.
version of rockit:
0.5.227 (last selection)
0.4.276
0.4.257
0.4.253
0.4.236
0.4.234
0.3.233
0.3.230
0.3.228
0.3
0.1