Gurobi 5.0.1 (linux64) logging started Mon Nov 19 06:46:42 2012 Optimize a model with 2212 rows, 94 columns and 4424 nonzeros Presolve removed 1616 rows and 0 columns Presolve time: 0.06s Presolved: 596 rows, 94 columns, 4049 nonzeros Variable types: 0 continuous, 94 integer (94 binary) Found heuristic solution: objective 6.0000000 Root relaxation: objective 1.338262e+01, 330 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 13.38262 0 91 6.00000 13.38262 123% - 0s H 0 0 7.0000000 13.38262 91.2% - 0s H 0 0 8.0000000 13.38262 67.3% - 0s 0 0 13.06732 0 91 8.00000 13.06732 63.3% - 0s H 0 0 9.0000000 13.06732 45.2% - 0s 0 0 12.98312 0 92 9.00000 12.98312 44.3% - 0s 0 0 12.95805 0 91 9.00000 12.95805 44.0% - 0s 0 0 12.93951 0 91 9.00000 12.93951 43.8% - 0s 0 0 12.90414 0 92 9.00000 12.90414 43.4% - 0s 0 0 12.89028 0 91 9.00000 12.89028 43.2% - 0s 0 0 12.87404 0 94 9.00000 12.87404 43.0% - 0s 0 0 12.86694 0 93 9.00000 12.86694 43.0% - 0s 0 0 12.86051 0 94 9.00000 12.86051 42.9% - 0s 0 0 12.85822 0 94 9.00000 12.85822 42.9% - 0s 0 0 12.85790 0 94 9.00000 12.85790 42.9% - 1s 0 0 12.85789 0 94 9.00000 12.85789 42.9% - 1s 0 2 12.85783 0 94 9.00000 12.85783 42.9% - 1s Cutting planes: Clique: 55 Zero half: 2 Explored 86 nodes (6477 simplex iterations) in 1.56 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%