Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:02:21 2012 Optimize a model with 3951 rows, 125 columns and 7902 nonzeros Presolve removed 2841 rows and 0 columns Presolve time: 0.14s Presolved: 1110 rows, 125 columns, 7952 nonzeros Variable types: 0 continuous, 125 integer (125 binary) Found heuristic solution: objective 9.0000000 Root relaxation: objective 1.609474e+01, 573 iterations, 0.03 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 16.09474 0 124 9.00000 16.09474 78.8% - 0s 0 0 15.70182 0 123 9.00000 15.70182 74.5% - 0s 0 0 15.61521 0 125 9.00000 15.61521 73.5% - 0s H 0 0 10.0000000 15.61521 56.2% - 0s 0 0 15.59949 0 125 10.00000 15.59949 56.0% - 0s 0 0 15.57754 0 125 10.00000 15.57754 55.8% - 0s 0 0 15.56723 0 125 10.00000 15.56723 55.7% - 0s 0 0 15.55005 0 124 10.00000 15.55005 55.5% - 1s 0 0 15.53845 0 124 10.00000 15.53845 55.4% - 1s 0 0 15.53698 0 124 10.00000 15.53698 55.4% - 1s 0 0 15.53675 0 124 10.00000 15.53675 55.4% - 1s 0 2 15.53160 0 124 10.00000 15.53160 55.3% - 2s Cutting planes: Clique: 84 Zero half: 1 Explored 305 nodes (23485 simplex iterations) in 3.87 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%