Gurobi 5.0.1 (linux64) logging started Fri Nov 16 01:33:53 2012
Optimize a model with 5628 rows, 812 columns and 17584 nonzeros
Presolve time: 0.06s
Presolved: 5628 rows, 812 columns, 25896 nonzeros
Variable types: 0 continuous, 812 integer (812 binary)
Found heuristic solution: objective 16.0000000
Root relaxation: objective 2.000000e+00, 877 iterations, 0.04 seconds
Nodes | Current Node | Objective Bounds | Work
Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time
0 0 2.00000 0 56 16.00000 2.00000 87.5% - 0s
H 0 0 9.0000000 2.00000 77.8% - 0s
0 0 2.00000 0 56 9.00000 2.00000 77.8% - 0s
H 0 0 8.0000000 2.00000 75.0% - 0s
0 0 2.00000 0 56 8.00000 2.00000 75.0% - 0s
0 0 2.00000 0 56 8.00000 2.00000 75.0% - 0s
0 0 2.00000 0 56 8.00000 2.00000 75.0% - 1s
0 0 2.00000 0 56 8.00000 2.00000 75.0% - 1s
0 0 2.00000 0 56 8.00000 2.00000 75.0% - 1s
H 0 0 7.0000000 2.00000 71.4% - 2s
0 2 2.00000 0 56 7.00000 2.00000 71.4% - 2s
45 27 6.00000 13 34 7.00000 3.00000 57.1% 418 5s
234 71 6.00000 7 89 7.00000 5.00000 28.6% 259 10s
404 106 5.28571 10 77 7.00000 5.00000 28.6% 227 15s
601 150 6.00000 12 56 7.00000 5.00000 28.6% 213 20s
611 158 6.00000 10 93 7.00000 6.00000 14.3% 228 25s
617 162 6.00000 26 129 7.00000 6.00000 14.3% 247 30s
655 155 6.00000 34 54 7.00000 6.00000 14.3% 245 35s
Cutting planes:
Clique: 1
Explored 676 nodes (174988 simplex iterations) in 35.98 seconds
Thread count was 1 (of 16 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 7.000000000000e+00, best bound 7.000000000000e+00, gap 0.0%