Gurobi 5.0.1 (linux64) logging started Mon Nov 19 06:45:20 2012 Optimize a model with 1849 rows, 86 columns and 3698 nonzeros Presolve removed 1316 rows and 0 columns Presolve time: 0.05s Presolved: 533 rows, 86 columns, 3438 nonzeros Variable types: 0 continuous, 86 integer (86 binary) Found heuristic solution: objective 6.0000000 Root relaxation: objective 1.266000e+01, 256 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 12.66000 0 83 6.00000 12.66000 111% - 0s H 0 0 7.0000000 12.66000 80.9% - 0s 0 0 12.28970 0 84 7.00000 12.28970 75.6% - 0s H 0 0 8.0000000 12.28970 53.6% - 0s 0 0 12.22476 0 85 8.00000 12.22476 52.8% - 0s 0 0 12.16814 0 85 8.00000 12.16814 52.1% - 0s 0 0 12.15142 0 85 8.00000 12.15142 51.9% - 0s 0 0 12.13145 0 85 8.00000 12.13145 51.6% - 0s H 0 0 9.0000000 12.13145 34.8% - 0s 0 0 12.12439 0 85 9.00000 12.12439 34.7% - 0s 0 0 12.12329 0 85 9.00000 12.12329 34.7% - 0s 0 0 12.12328 0 85 9.00000 12.12328 34.7% - 0s 0 2 12.12193 0 85 9.00000 12.12193 34.7% - 0s Cutting planes: Clique: 54 Zero half: 1 Explored 44 nodes (3172 simplex iterations) in 0.65 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%