n-rockit fab4b88e-6121-4762-9754-7c42ddba2033 | Research Group Data and Web Science

< prev | next >

n-rockit process (v0.5.277)

ID: fab4b88e-6121-4762-9754-7c42ddba2033 (complete)

State: complete / restart

date / time / ip

added:

2016-02-11 10:23:50

start:

2016-02-11 09:23:51

end:

2016-02-11 09:23:53

user IP:

134.155.245.223

input information

inference:

map

input:

prog5.mln

data:

evidences.db

result

file:

output.db

duration:

00:02 min

log

process created
java -Xmx8G -jar /opt/pycodi/core/systems/n-rockit/0.5.277/n-rockit.jar -data /opt/pycodi/core/data/fab4b88e-6121-4762-9754-7c42ddba2033/evidences.db -input /opt/pycodi/core/data/fab4b88e-6121-4762-9754-7c42ddba2033/prog5.mln -output /opt/pycodi/core/data/fab4b88e-6121-4762-9754-7c42ddba2033/output.db -para /opt/pycodi/core/data/fab4b88e-6121-4762-9754-7c42ddba2033/rockit.properties
==== Start RockIt =====Thu Feb 11 10:23:51 CET 2016
-input /opt/pycodi/core/data/fab4b88e-6121-4762-9754-7c42ddba2033/prog5.mln
-data /opt/pycodi/core/data/fab4b88e-6121-4762-9754-7c42ddba2033/evidences.db
-output /opt/pycodi/core/data/fab4b88e-6121-4762-9754-7c42ddba2033/output.db
-para: use rockit.properties file.
-gap: use gurobi standard gap.
-debug output false
-use MAP inference
line 36:54 no viable alternative at input .
===== Start Standard Grounder =====Thu Feb 11 10:23:51 CET 2016
........PutDataIntoTables duration: 6
7 hidden Predicates
8 observed Predicates
5 number of formulas
258 evidence atoms
===== Start Standard Solver =====Thu Feb 11 10:23:52 CET 2016
---- Start  Loop 0 ----Thu Feb 11 10:23:52 CET 2016
add 41 constraints (total number = 41)
Optimize a model with 41 rows, 413 columns and 301 nonzeros
Found heuristic solution: objective 12003.9
Presolve removed 41 rows and 413 columns
Presolve time: 0.00s
Explored 0 nodes (0 simplex iterations) in 0.00 seconds
Thread count was 1 (of 2 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 1.200393037200e+04, best bound 1.200393037200e+04, gap 0.0%
---- Start  Loop 1 ----Thu Feb 11 10:23:52 CET 2016
add 41 constraints (total number = 82)
Optimize a model with 82 rows, 413 columns and 602 nonzeros
Found heuristic solution: objective 12003.9
Presolve removed 82 rows and 413 columns
Presolve time: 0.00s
Explored 0 nodes (0 simplex iterations) in 0.00 seconds
Thread count was 1 (of 2 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 1.200393037200e+04, best bound 1.200393037200e+04, gap 0.0%
---- Start  Loop 2 ----Thu Feb 11 10:23:53 CET 2016
add 41 constraints (total number = 123)
Optimize a model with 123 rows, 413 columns and 643 nonzeros
Found heuristic solution: objective 12003.9
Presolve removed 123 rows and 413 columns
Presolve time: 0.00s
Explored 0 nodes (0 simplex iterations) in 0.00 seconds
Thread count was 1 (of 2 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 1.200393037200e+04, best bound 1.200393037200e+04, gap 0.0%
Dispose model
Dispose environment
Database connection terminated
Rockit runtime was 2077 milliseconds.
Finished!

Data & Web Science computational services

n-rockit process (v0.5.277)

ID: fab4b88e-6121-4762-9754-7c42ddba2033 (complete)

date / time / ip

input information

result

log