rockit f21e8c9f-742a-42ee-8e90-3ed31fdbc994 | Research Group Data and Web Science

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

ID: f21e8c9f-742a-42ee-8e90-3ed31fdbc994 (complete)

State: complete / restart
date / time / ip

added:
2014-11-28 17:20:39
start:
2014-11-28 16:20:39
end:
2014-11-28 16:20:49
user IP:
134.155.86.105
input information

gap:
0.00000000010
inference:
map
input:
PCFMatching.ml
data:
Evidence_Model24.db
result

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

process created
java -Xmx4G -jar /opt/pycodi/core/systems/rockit/0.5.227/rockit.jar -data /opt/pycodi/core/data/f21e8c9f-742a-42ee-8e90-3ed31fdbc994/Evidence_Model24.db -gap 0.00000000010 -input /opt/pycodi/core/data/f21e8c9f-742a-42ee-8e90-3ed31fdbc994/PCFMatching.ml -output /opt/pycodi/core/data/f21e8c9f-742a-42ee-8e90-3ed31fdbc994/output.db -para /opt/pycodi/core/data/f21e8c9f-742a-42ee-8e90-3ed31fdbc994/rockit.properties
==== Start RockIt =====Fri Nov 28 17:20:39 CET 2014
-input /opt/pycodi/core/data/f21e8c9f-742a-42ee-8e90-3ed31fdbc994/PCFMatching.ml
-data /opt/pycodi/core/data/f21e8c9f-742a-42ee-8e90-3ed31fdbc994/Evidence_Model24.db
-output /opt/pycodi/core/data/f21e8c9f-742a-42ee-8e90-3ed31fdbc994/output.db
-para: use rockit.properties file.
-gap 1.0E-10
-debug output false
-use MAP inference
line 1459:69 no viable alternative at character .
line 1460:71 no viable alternative at character .
line 1461:65 no viable alternative at character .
line 1462:69 no viable alternative at character .
line 1463:83 no viable alternative at character .
line 1464:115 no viable alternative at character .
line 1465:75 no viable alternative at character .
line 1466:71 no viable alternative at character .
line 1467:91 no viable alternative at character .
===== Start Standard Grounder =====Fri Nov 28 17:20:41 CET 2014
.......PutDataIntoTables duration: 179
2 hidden Predicates
7 observed Predicates
6 number of formulas
7318 evidence atoms
===== Start Standard Solver =====Fri Nov 28 17:20:41 CET 2014
---- Start  Loop 0 ----Fri Nov 28 17:20:42 CET 2014
add 639 constraints (total number = 639)
Optimize a model with 639 rows, 7209 columns and 639 nonzeros
Found heuristic solution: objective 127.563
Presolve removed 639 rows and 7209 columns
Presolve time: 0.01s
Explored 0 nodes (0 simplex iterations) in 0.01 seconds
Thread count was 1 (of 2 available processors)
Optimal solution found (tolerance 1.00e-10)
Best objective 1.275626000000e+02, best bound 1.275626000000e+02, gap 0.0%
---- Start  Loop 1 ----Fri Nov 28 17:20:42 CET 2014
add 1027 constraints (total number = 1666)
Optimize a model with 1666 rows, 7209 columns and 3765 nonzeros
Found heuristic solution: objective 3.5692
Presolve removed 849 rows and 6326 columns
Presolve time: 0.01s
Presolved: 817 rows, 883 columns, 2505 nonzeros
MIP start did not produce a feasible solution
MIP start violates constraint R639 by 1.00
Variable types: 0 continuous, 883 integer (883 binary)
Root relaxation: objective 1.337953e+01, 22 iterations, 0.00 seconds
    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time
     0     0   13.37953    0   21    3.56920   13.37953   275%     -    0s
H    0     0                       8.2513000   13.37953  62.2%     -    0s
H    0     0                      10.2722000   13.37953  30.2%     -    0s
     0     0   13.31708    0   25   10.27220   13.31708  29.6%     -    0s
     0     0   13.30848    0   26   10.27220   13.30848  29.6%     -    0s
     0     0   13.29690    0   23   10.27220   13.29690  29.4%     -    0s
     0     0   13.28191    0   37   10.27220   13.28191  29.3%     -    0s
     0     0   13.28119    0   35   10.27220   13.28119  29.3%     -    0s
     0     0   13.28060    0   35   10.27220   13.28060  29.3%     -    0s
     0     0   13.28046    0   36   10.27220   13.28046  29.3%     -    0s
     0     0   13.27985    0   35   10.27220   13.27985  29.3%     -    0s
     0     0   13.27898    0   25   10.27220   13.27898  29.3%     -    0s
     0     0   13.27788    0   34   10.27220   13.27788  29.3%     -    0s
     0     0   13.26512    0   41   10.27220   13.26512  29.1%     -    0s
     0     0   13.26483    0   42   10.27220   13.26483  29.1%     -    0s
     0     0   13.26449    0   42   10.27220   13.26449  29.1%     -    0s
     0     0   13.26447    0   42   10.27220   13.26447  29.1%     -    0s
     0     0   13.26447    0   42   10.27220   13.26447  29.1%     -    0s
H    0     5                      10.2861000   13.26447  29.0%     -    0s
     0     5   13.26447    0   42   10.28610   13.26447  29.0%     -    0s
Cutting planes:
  Gomory: 3
  Zero half: 11
Explored 6934 nodes (29912 simplex iterations) in 3.25 seconds
Thread count was 2 (of 2 available processors)
Optimal solution found (tolerance 1.00e-10)
Best objective 1.028610000000e+01, best bound 1.028610000000e+01, gap 0.0%
---- Start  Loop 2 ----Fri Nov 28 17:20:46 CET 2014
add 7 constraints (total number = 1673)
Optimize a model with 1673 rows, 7209 columns and 3772 nonzeros
Found heuristic solution: objective 3.5692
Presolve removed 856 rows and 6326 columns
Presolve time: 0.01s
Presolved: 817 rows, 883 columns, 2505 nonzeros
Loaded MIP start with objective 10.2861
Variable types: 0 continuous, 883 integer (883 binary)
Root relaxation: objective 1.337953e+01, 22 iterations, 0.00 seconds
    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time
     0     0   13.37953    0   21   10.28610   13.37953  30.1%     -    0s
     0     0   13.31708    0   25   10.28610   13.31708  29.5%     -    0s
     0     0   13.30848    0   26   10.28610   13.30848  29.4%     -    0s
     0     0   13.29690    0   23   10.28610   13.29690  29.3%     -    0s
     0     0   13.28191    0   37   10.28610   13.28191  29.1%     -    0s
     0     0   13.28119    0   35   10.28610   13.28119  29.1%     -    0s
     0     0   13.28060    0   35   10.28610   13.28060  29.1%     -    0s
     0     0   13.28046    0   36   10.28610   13.28046  29.1%     -    0s
     0     0   13.27985    0   35   10.28610   13.27985  29.1%     -    0s
     0     0   13.27898    0   25   10.28610   13.27898  29.1%     -    0s
     0     0   13.27788    0   34   10.28610   13.27788  29.1%     -    0s
     0     0   13.26512    0   41   10.28610   13.26512  29.0%     -    0s
     0     0   13.26483    0   42   10.28610   13.26483  29.0%     -    0s
     0     0   13.26449    0   42   10.28610   13.26449  29.0%     -    0s
     0     0   13.26447    0   42   10.28610   13.26447  29.0%     -    0s
     0     0   13.26447    0   42   10.28610   13.26447  29.0%     -    0s
     0     5   13.26447    0   42   10.28610   13.26447  29.0%     -    0s
Cutting planes:
  Gomory: 3
  Zero half: 11
Explored 6934 nodes (29911 simplex iterations) in 3.43 seconds
Thread count was 2 (of 2 available processors)
Optimal solution found (tolerance 1.00e-10)
Best objective 1.028610000000e+01, best bound 1.028610000000e+01, gap 0.0%
Dispose model
Dispose environment
Database connection terminated
Rockit runtime was 10068 milliseconds.
Finished!
Data & Web Science computational services

rockit process (v0.5.227)

ID: f21e8c9f-742a-42ee-8e90-3ed31fdbc994 (complete)

date / time / ip

input information

result

log
