Data & Web Science
computational services
systems
processes
docs & api
< prev
|
next >
rockit process
(v0.5.227)
ID: 645db9b7-5f62-4b4f-a1a8-7b46b83e59e0
(
error
)
State:
error
/
restart
date / time / ip
added:
2021-04-08 10:52:10
start:
2021-04-08 10:52:10
user IP:
130.236.88.53
input information
gap:
0.01
inference:
map
input:
rule.txt
data:
t.txt
log
process created java -Xmx8G -jar /home/timo/app/core/systems/rockit/0.5.227/rockit.jar -data /home/timo/app/core/data/645db9b7-5f62-4b4f-a1a8-7b46b83e59e0/t.txt -gap 0.01 -input /home/timo/app/core/data/645db9b7-5f62-4b4f-a1a8-7b46b83e59e0/rule.txt -output /home/timo/app/core/data/645db9b7-5f62-4b4f-a1a8-7b46b83e59e0/output.db -para /home/timo/app/core/data/645db9b7-5f62-4b4f-a1a8-7b46b83e59e0/rockit.properties ==== Start RockIt =====Thu Apr 08 10:52:10 CEST 2021 -input /home/timo/app/core/data/645db9b7-5f62-4b4f-a1a8-7b46b83e59e0/rule.txt -data /home/timo/app/core/data/645db9b7-5f62-4b4f-a1a8-7b46b83e59e0/t.txt -output /home/timo/app/core/data/645db9b7-5f62-4b4f-a1a8-7b46b83e59e0/output.db -para: use rockit.properties file. -gap 0.01 -debug output false -use MAP inference line 67:18 missing . at derivedunsat ===== Start Standard Grounder =====Thu Apr 08 10:52:10 CEST 2021 ......PutDataIntoTables duration: 3 10 hidden Predicates 6 observed Predicates 29 number of formulas 21 evidence atoms ===== Start Standard Solver =====Thu Apr 08 10:52:10 CEST 2021 ---- Start Loop 0 ----Thu Apr 08 10:52:11 CEST 2021 add 33 constraints (total number = 33) Optimize a model with 33 rows, 45 columns and 45 nonzeros Found heuristic solution: objective -0 Presolve removed 33 rows and 45 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 ----Thu Apr 08 10:52:11 CEST 2021 add 6 constraints (total number = 39) Optimize a model with 39 rows, 51 columns and 51 nonzeros Found heuristic solution: objective -0 Presolve removed 39 rows and 51 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 ----Thu Apr 08 10:52:11 CEST 2021 add 2 constraints (total number = 41) Optimize a model with 41 rows, 52 columns and 55 nonzeros Presolve removed 38 rows and 50 columns Presolve time: 0.00s Explored 0 nodes (0 simplex iterations) in 0.00 seconds Thread count was 1 (of 8 available processors) Model is infeasible Best objective -, best bound -, gap - Computing Irreducible Inconsistent Subsystem (IIS)... Constraints Bounds Runtime Min Max Min Max ------------------------------------------------ 0 41 0 104 0s IIS computed: 3 constraints, 0 bounds Exception in thread "main" com.googlecode.rockit.exception.ILPInfeasibleException: The actual model is infeasible. The IIS has been written in the file iis.ilp. at com.googlecode.rockit.conn.ilp.GurobiConnector.optimizeILP(GurobiConnector.java:212) at com.googlecode.rockit.conn.ilp.ILPConnector.solve(ILPConnector.java:517) at com.googlecode.rockit.app.solver.StandardSolver.runCuttingPlaneInference(StandardSolver.java:377) at com.googlecode.rockit.app.solver.StandardSolver.solve(StandardSolver.java:239) at com.googlecode.rockit.app.Main.doMapState(Main.java:211) at com.googlecode.rockit.app.Main.doMain(Main.java:166) at com.googlecode.rockit.app.Main.main(Main.java:89) An unexpected error occured!
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