Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:10:44 2012 Optimize a model with 4401 rows, 132 columns and 8802 nonzeros Presolve removed 3180 rows and 0 columns Presolve time: 0.15s Presolved: 1221 rows, 132 columns, 8656 nonzeros Variable types: 0 continuous, 132 integer (132 binary) Found heuristic solution: objective 8.0000000 Root relaxation: objective 1.718469e+01, 617 iterations, 0.03 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 17.18469 0 129 8.00000 17.18469 115% - 0s H 0 0 9.0000000 17.18469 90.9% - 0s 0 0 16.58244 0 130 9.00000 16.58244 84.2% - 0s 0 0 16.40898 0 129 9.00000 16.40898 82.3% - 0s 0 0 16.36801 0 129 9.00000 16.36801 81.9% - 0s 0 0 16.33203 0 130 9.00000 16.33203 81.5% - 0s 0 0 16.32312 0 130 9.00000 16.32312 81.4% - 1s 0 0 16.31942 0 130 9.00000 16.31942 81.3% - 1s 0 0 16.31884 0 130 9.00000 16.31884 81.3% - 1s 0 2 16.31854 0 130 9.00000 16.31854 81.3% - 1s * 569 153 6 10.0000000 12.94539 29.5% 63.4 4s 587 147 cutoff 32 10.00000 12.72591 27.3% 63.1 5s Cutting planes: Clique: 157 Explored 771 nodes (45312 simplex iterations) in 5.57 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%