Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:17:07 2012 Optimize a model with 4626 rows, 136 columns and 9252 nonzeros Presolve removed 3339 rows and 0 columns Presolve time: 0.17s Presolved: 1287 rows, 136 columns, 9204 nonzeros Variable types: 0 continuous, 136 integer (136 binary) Found heuristic solution: objective 8.0000000 Root relaxation: objective 1.756807e+01, 663 iterations, 0.04 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 17.56807 0 134 8.00000 17.56807 120% - 0s 0 0 17.12388 0 136 8.00000 17.12388 114% - 0s 0 0 17.06610 0 136 8.00000 17.06610 113% - 0s 0 0 17.00576 0 136 8.00000 17.00576 113% - 0s 0 0 16.95910 0 136 8.00000 16.95910 112% - 1s H 0 0 9.0000000 16.95910 88.4% - 1s 0 0 16.91179 0 136 9.00000 16.91179 87.9% - 1s 0 0 16.88855 0 136 9.00000 16.88855 87.7% - 1s 0 0 16.87296 0 136 9.00000 16.87296 87.5% - 1s 0 0 16.86616 0 136 9.00000 16.86616 87.4% - 1s 0 0 16.86432 0 136 9.00000 16.86432 87.4% - 2s 0 0 16.86429 0 136 9.00000 16.86429 87.4% - 2s 0 0 16.86420 0 136 9.00000 16.86420 87.4% - 2s 0 0 16.86414 0 136 9.00000 16.86414 87.4% - 2s 0 2 16.86327 0 136 9.00000 16.86327 87.4% - 3s 326 197 10.84718 18 50 9.00000 15.19495 68.8% 73.6 5s 611 299 13.46736 15 134 9.00000 13.46736 49.6% 67.1 10s 1174 357 11.84146 24 57 9.00000 12.86776 43.0% 74.9 15s 2127 203 10.00000 25 22 9.00000 11.00331 22.3% 57.1 20s Cutting planes: Clique: 50 Explored 2478 nodes (129016 simplex iterations) in 20.71 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 9.000000000000e+00, best bound 9.000000000000e+00, gap 0.0%