rockit ff392230-a1ad-4950-a168-1d9b13b80d43 | Research Group Data and Web Science

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

ID: ff392230-a1ad-4950-a168-1d9b13b80d43 (complete)

State: complete / restart
date / time / ip

added:
2014-11-27 15:18:53
start:
2014-11-27 14:18:53
end:
2014-11-27 14:19:01
user IP:
134.155.86.105
input information

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

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

process created
java -Xmx4G -jar /opt/pycodi/core/systems/rockit/0.5.227/rockit.jar -data /opt/pycodi/core/data/ff392230-a1ad-4950-a168-1d9b13b80d43/Evidence_Model11.db -gap 0.00000000010 -input /opt/pycodi/core/data/ff392230-a1ad-4950-a168-1d9b13b80d43/PCFMatching.ml -output /opt/pycodi/core/data/ff392230-a1ad-4950-a168-1d9b13b80d43/output.db -para /opt/pycodi/core/data/ff392230-a1ad-4950-a168-1d9b13b80d43/rockit.properties
==== Start RockIt =====Thu Nov 27 15:18:53 CET 2014
-input /opt/pycodi/core/data/ff392230-a1ad-4950-a168-1d9b13b80d43/PCFMatching.ml
-data /opt/pycodi/core/data/ff392230-a1ad-4950-a168-1d9b13b80d43/Evidence_Model11.db
-output /opt/pycodi/core/data/ff392230-a1ad-4950-a168-1d9b13b80d43/output.db
-para: use rockit.properties file.
-gap 1.0E-10
-debug output false
-use MAP inference
line 923:77 no viable alternative at character .
line 924:63 no viable alternative at character .
line 925:65 no viable alternative at character .
line 926:73 no viable alternative at character .
line 927:77 no viable alternative at character .
line 928:105 no viable alternative at character .
line 929:99 no viable alternative at character .
line 930:67 no viable alternative at character .
line 931:99 no viable alternative at character .
line 932:65 no viable alternative at character .
===== Start Standard Grounder =====Thu Nov 27 15:18:54 CET 2014
.......PutDataIntoTables duration: 91
2 hidden Predicates
7 observed Predicates
6 number of formulas
2818 evidence atoms
===== Start Standard Solver =====Thu Nov 27 15:18:55 CET 2014
---- Start  Loop 0 ----Thu Nov 27 15:18:55 CET 2014
add 380 constraints (total number = 380)
Optimize a model with 380 rows, 2736 columns and 380 nonzeros
Found heuristic solution: objective 49.009
Presolve removed 380 rows and 2736 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-10)
Best objective 4.900900000000e+01, best bound 4.900900000000e+01, gap 0.0%
---- Start  Loop 1 ----Thu Nov 27 15:18:55 CET 2014
add 1567 constraints (total number = 1947)
Optimize a model with 1947 rows, 2751 columns and 4994 nonzeros
Found heuristic solution: objective 1.4448
Presolve removed 707 rows and 1978 columns
Presolve time: 0.02s
Presolved: 1240 rows, 773 columns, 4233 nonzeros
MIP start did not produce a feasible solution
MIP start violates constraint R380 by 1.00
Variable types: 0 continuous, 773 integer (773 binary)
Root relaxation: objective 5.636775e+00, 31 iterations, 0.00 seconds
    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time
     0     0    5.63678    0   22    1.44480    5.63678   290%     -    0s
H    0     0                       3.3046000    5.63678  70.6%     -    0s
H    0     0                       3.4616000    5.63678  62.8%     -    0s
     0     0    5.61273    0   25    3.46160    5.61273  62.1%     -    0s
     0     0    5.60547    0   21    3.46160    5.60547  61.9%     -    0s
     0     0    5.59666    0   33    3.46160    5.59666  61.7%     -    0s
     0     0    5.57932    0   26    3.46160    5.57932  61.2%     -    0s
     0     0    5.56038    0   30    3.46160    5.56038  60.6%     -    0s
     0     0    5.55230    0   32    3.46160    5.55230  60.4%     -    0s
     0     0    5.54754    0   34    3.46160    5.54754  60.3%     -    0s
     0     0    5.53909    0   35    3.46160    5.53909  60.0%     -    0s
     0     0    5.53908    0   36    3.46160    5.53908  60.0%     -    0s
H    0     3                       4.0219000    5.53908  37.7%     -    0s
     0     3    5.53908    0   36    4.02190    5.53908  37.7%     -    0s
Cutting planes:
  Zero half: 17
Explored 2403 nodes (17305 simplex iterations) in 2.54 seconds
Thread count was 2 (of 2 available processors)
Optimal solution found (tolerance 1.00e-10)
Best objective 4.021900000000e+00, best bound 4.021900000000e+00, gap 0.0%
---- Start  Loop 2 ----Thu Nov 27 15:18:58 CET 2014
add 9 constraints (total number = 1956)
Optimize a model with 1956 rows, 2751 columns and 5003 nonzeros
Found heuristic solution: objective 1.4448
Presolve removed 716 rows and 1978 columns
Presolve time: 0.02s
Presolved: 1240 rows, 773 columns, 4233 nonzeros
Loaded MIP start with objective 4.0219
Variable types: 0 continuous, 773 integer (773 binary)
Root relaxation: objective 5.636775e+00, 31 iterations, 0.00 seconds
    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time
     0     0    5.63678    0   22    4.02190    5.63678  40.2%     -    0s
     0     0    5.61273    0   25    4.02190    5.61273  39.6%     -    0s
     0     0    5.60547    0   21    4.02190    5.60547  39.4%     -    0s
     0     0    5.59666    0   33    4.02190    5.59666  39.2%     -    0s
     0     0    5.57932    0   26    4.02190    5.57932  38.7%     -    0s
     0     0    5.56038    0   30    4.02190    5.56038  38.3%     -    0s
     0     0    5.55230    0   32    4.02190    5.55230  38.1%     -    0s
     0     0    5.54754    0   34    4.02190    5.54754  37.9%     -    0s
     0     0    5.53909    0   35    4.02190    5.53909  37.7%     -    0s
     0     0    5.53908    0   36    4.02190    5.53908  37.7%     -    0s
     0     3    5.53908    0   36    4.02190    5.53908  37.7%     -    0s
Cutting planes:
  Zero half: 17
Explored 2403 nodes (17305 simplex iterations) in 2.47 seconds
Thread count was 2 (of 2 available processors)
Optimal solution found (tolerance 1.00e-10)
Best objective 4.021900000000e+00, best bound 4.021900000000e+00, gap 0.0%
Dispose model
Dispose environment
Database connection terminated
Rockit runtime was 7662 milliseconds.
Finished!
Data & Web Science computational services

rockit process (v0.5.227)

ID: ff392230-a1ad-4950-a168-1d9b13b80d43 (complete)

date / time / ip

input information

result

log
