Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:11:08 2012 Optimize a model with 4411 rows, 133 columns and 8822 nonzeros Presolve removed 3149 rows and 0 columns Presolve time: 0.15s Presolved: 1262 rows, 133 columns, 8848 nonzeros Variable types: 0 continuous, 133 integer (133 binary) Found heuristic solution: objective 6.0000000 Root relaxation: objective 1.724406e+01, 566 iterations, 0.03 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 17.24406 0 128 6.00000 17.24406 187% - 0s H 0 0 8.0000000 17.24406 116% - 0s 0 0 16.76624 0 132 8.00000 16.76624 110% - 0s 0 0 16.69617 0 132 8.00000 16.69617 109% - 0s 0 0 16.63767 0 133 8.00000 16.63767 108% - 0s H 0 0 9.0000000 16.63767 84.9% - 0s 0 0 16.60821 0 133 9.00000 16.60821 84.5% - 1s 0 0 16.59773 0 133 9.00000 16.59773 84.4% - 1s 0 0 16.55979 0 133 9.00000 16.55979 84.0% - 1s 0 0 16.52484 0 133 9.00000 16.52484 83.6% - 1s 0 0 16.52363 0 133 9.00000 16.52363 83.6% - 1s 0 0 16.52186 0 133 9.00000 16.52186 83.6% - 2s 0 0 16.51998 0 133 9.00000 16.51998 83.6% - 2s 0 0 16.51894 0 133 9.00000 16.51894 83.5% - 2s 0 0 16.51784 0 133 9.00000 16.51784 83.5% - 2s 0 0 16.51741 0 133 9.00000 16.51741 83.5% - 2s 0 2 16.51451 0 133 9.00000 16.51451 83.5% - 3s H 166 97 10.0000000 15.83681 58.4% 76.7 4s 293 115 12.86406 17 70 10.00000 14.43432 44.3% 78.2 5s Cutting planes: Clique: 137 Explored 540 nodes (39510 simplex iterations) in 6.27 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%