Gurobi 5.0.1 (linux64) logging started Mon Nov 19 06:45:59 2012 Optimize a model with 2014 rows, 90 columns and 4028 nonzeros Presolve removed 1424 rows and 0 columns Presolve time: 0.05s Presolved: 590 rows, 90 columns, 3940 nonzeros Variable types: 0 continuous, 90 integer (90 binary) Found heuristic solution: objective 6.0000000 Root relaxation: objective 1.300493e+01, 346 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 13.00493 0 84 6.00000 13.00493 117% - 0s H 0 0 7.0000000 13.00493 85.8% - 0s 0 0 12.68713 0 90 7.00000 12.68713 81.2% - 0s H 0 0 8.0000000 12.68713 58.6% - 0s 0 0 12.65488 0 90 8.00000 12.65488 58.2% - 0s 0 0 12.63678 0 90 8.00000 12.63678 58.0% - 0s 0 0 12.63176 0 90 8.00000 12.63176 57.9% - 0s 0 0 12.60817 0 90 8.00000 12.60817 57.6% - 0s 0 0 12.60204 0 89 8.00000 12.60204 57.5% - 0s 0 0 12.60012 0 89 8.00000 12.60012 57.5% - 0s 0 0 12.59340 0 90 8.00000 12.59340 57.4% - 0s 0 0 12.58220 0 88 8.00000 12.58220 57.3% - 0s H 0 0 9.0000000 12.58220 39.8% - 0s 0 0 12.56930 0 89 9.00000 12.56930 39.7% - 0s 0 0 12.56433 0 88 9.00000 12.56433 39.6% - 0s 0 0 12.56391 0 88 9.00000 12.56391 39.6% - 0s 0 0 12.56390 0 88 9.00000 12.56390 39.6% - 0s 0 2 12.56389 0 88 9.00000 12.56389 39.6% - 0s Cutting planes: Clique: 38 Zero half: 10 Explored 67 nodes (5313 simplex iterations) in 1.03 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%