Gurobi 5.0.1 (linux64) logging started Mon Nov 19 06:45:25 2012 Optimize a model with 1838 rows, 87 columns and 3676 nonzeros Presolve removed 1307 rows and 0 columns Presolve time: 0.04s Presolved: 531 rows, 87 columns, 3440 nonzeros Variable types: 0 continuous, 87 integer (87 binary) Found heuristic solution: objective 6.0000000 Root relaxation: objective 1.325799e+01, 273 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 13.25799 0 77 6.00000 13.25799 121% - 0s H 0 0 7.0000000 13.25799 89.4% - 0s H 0 0 8.0000000 13.25799 65.7% - 0s 0 0 12.65443 0 85 8.00000 12.65443 58.2% - 0s 0 0 12.60819 0 83 8.00000 12.60819 57.6% - 0s 0 0 12.59296 0 83 8.00000 12.59296 57.4% - 0s 0 0 12.57173 0 85 8.00000 12.57173 57.1% - 0s 0 0 12.55963 0 86 8.00000 12.55963 57.0% - 0s 0 0 12.54691 0 85 8.00000 12.54691 56.8% - 0s 0 0 12.53425 0 85 8.00000 12.53425 56.7% - 0s H 0 0 9.0000000 12.53425 39.3% - 0s 0 0 12.53363 0 85 9.00000 12.53363 39.3% - 0s 0 2 12.53224 0 85 9.00000 12.53224 39.2% - 0s Cutting planes: Clique: 60 Zero half: 2 Explored 74 nodes (4798 simplex iterations) in 0.72 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%