n-rockit f9f388fd-ac4b-415c-9d4e-f44804b08725 | Research Group Data and Web Science

< prev | next >

n-rockit process (v0.5.277)

ID: f9f388fd-ac4b-415c-9d4e-f44804b08725 (complete)

State: complete / restart

date / time / ip

added:

2016-02-11 16:15:28

start:

2016-02-11 15:15:28

end:

2016-02-11 15:15:32

user IP:

134.155.86.113

input information

inference:

map

input:

prog6.mln

data:

evidence6

result

file:

output.db

duration:

00:04 min

log

process created
java -Xmx8G -jar /opt/pycodi/core/systems/n-rockit/0.5.277/n-rockit.jar -data /opt/pycodi/core/data/f9f388fd-ac4b-415c-9d4e-f44804b08725/evidence6 -input /opt/pycodi/core/data/f9f388fd-ac4b-415c-9d4e-f44804b08725/prog6.mln -output /opt/pycodi/core/data/f9f388fd-ac4b-415c-9d4e-f44804b08725/output.db -para /opt/pycodi/core/data/f9f388fd-ac4b-415c-9d4e-f44804b08725/rockit.properties
==== Start RockIt =====Thu Feb 11 16:15:29 CET 2016
-input /opt/pycodi/core/data/f9f388fd-ac4b-415c-9d4e-f44804b08725/prog6.mln
-data /opt/pycodi/core/data/f9f388fd-ac4b-415c-9d4e-f44804b08725/evidence6
-output /opt/pycodi/core/data/f9f388fd-ac4b-415c-9d4e-f44804b08725/output.db
-para: use rockit.properties file.
-gap: use gurobi standard gap.
-debug output false
-use MAP inference
===== Start Standard Grounder =====Thu Feb 11 16:15:29 CET 2016
........PutDataIntoTables duration: 5
7 hidden Predicates
8 observed Predicates
8 number of formulas
108 evidence atoms
===== Start Standard Solver =====Thu Feb 11 16:15:30 CET 2016
---- Start  Loop 0 ----Thu Feb 11 16:15:30 CET 2016
add 18 constraints (total number = 18)
Optimize a model with 18 rows, 99 columns and 54 nonzeros
Found heuristic solution: objective 5004.39
Presolve removed 18 rows and 99 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 5.004386000000e+03, best bound 5.004386000000e+03, gap 0.0%
---- Start  Loop 1 ----Thu Feb 11 16:15:30 CET 2016
add 18 constraints (total number = 36)
Optimize a model with 36 rows, 99 columns and 108 nonzeros
Found heuristic solution: objective 5004.39
Presolve removed 36 rows and 99 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 5.004386000000e+03, best bound 5.004386000000e+03, gap 0.0%
---- Start  Loop 2 ----Thu Feb 11 16:15:31 CET 2016
add 47 constraints (total number = 83)
Optimize a model with 83 rows, 104 columns and 189 nonzeros
Found heuristic solution: objective 0.04
Presolve removed 83 rows and 104 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 5.004436000000e+03, best bound 5.004436000000e+03, gap 0.0%
---- Start  Loop 3 ----Thu Feb 11 16:15:31 CET 2016
add 25 constraints (total number = 108)
Optimize a model with 108 rows, 109 columns and 226 nonzeros
Found heuristic solution: objective 0.08
Presolve removed 108 rows and 109 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 5.004446000000e+03, best bound 5.004446000000e+03, gap 0.0%
---- Start  Loop 4 ----Thu Feb 11 16:15:31 CET 2016
add 1 constraints (total number = 109)
Optimize a model with 109 rows, 110 columns and 229 nonzeros
Found heuristic solution: objective 0.08
Presolve removed 109 rows and 110 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 5.004456000000e+03, best bound 5.004456000000e+03, gap 0.0%
---- Start  Loop 5 ----Thu Feb 11 16:15:31 CET 2016
add 3 constraints (total number = 112)
Optimize a model with 112 rows, 112 columns and 236 nonzeros
Found heuristic solution: objective 0.1
Presolve removed 112 rows and 112 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 5.004466000000e+03, best bound 5.004466000000e+03, gap 0.0%
Dispose model
Dispose environment
Database connection terminated
Rockit runtime was 2978 milliseconds.
Finished!

Data & Web Science computational services

n-rockit process (v0.5.277)

ID: f9f388fd-ac4b-415c-9d4e-f44804b08725 (complete)

date / time / ip

input information

result

log