Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:06:24 2012 Optimize a model with 4129 rows, 129 columns and 8258 nonzeros Presolve removed 2997 rows and 0 columns Presolve time: 0.14s Presolved: 1132 rows, 129 columns, 8053 nonzeros Variable types: 0 continuous, 129 integer (129 binary) Found heuristic solution: objective 8.0000000 Root relaxation: objective 1.719851e+01, 538 iterations, 0.03 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 17.19851 0 125 8.00000 17.19851 115% - 0s H 0 0 9.0000000 17.19851 91.1% - 0s 0 0 16.74205 0 125 9.00000 16.74205 86.0% - 0s 0 0 16.66175 0 127 9.00000 16.66175 85.1% - 0s 0 0 16.56227 0 127 9.00000 16.56227 84.0% - 0s 0 0 16.54666 0 127 9.00000 16.54666 83.9% - 0s 0 0 16.53920 0 127 9.00000 16.53920 83.8% - 1s 0 0 16.52731 0 127 9.00000 16.52731 83.6% - 1s 0 0 16.52558 0 128 9.00000 16.52558 83.6% - 1s 0 0 16.49943 0 127 9.00000 16.49943 83.3% - 1s 0 0 16.49833 0 127 9.00000 16.49833 83.3% - 1s 0 0 16.49504 0 127 9.00000 16.49504 83.3% - 2s 0 0 16.49416 0 127 9.00000 16.49416 83.3% - 2s 0 0 16.49389 0 127 9.00000 16.49389 83.3% - 2s 0 2 16.49012 0 127 9.00000 16.49012 83.2% - 3s 402 197 11.17779 19 57 9.00000 13.98545 55.4% 65.9 5s H 530 146 10.0000000 13.14472 31.4% 63.9 5s Cutting planes: Clique: 136 Explored 747 nodes (44657 simplex iterations) in 6.45 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 1.000000000000e+01, best bound 1.000000000000e+01, gap 0.0%