Gurobi 5.0.1 (linux64) logging started Mon Nov 19 06:44:42 2012 Optimize a model with 1606 rows, 81 columns and 3212 nonzeros Presolve removed 1163 rows and 0 columns Presolve time: 0.04s Presolved: 443 rows, 81 columns, 2826 nonzeros Variable types: 0 continuous, 81 integer (81 binary) Found heuristic solution: objective 7.0000000 Root relaxation: objective 1.226517e+01, 275 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 12.26517 0 76 7.00000 12.26517 75.2% - 0s 0 0 11.98493 0 77 7.00000 11.98493 71.2% - 0s H 0 0 8.0000000 11.98493 49.8% - 0s 0 0 11.89501 0 79 8.00000 11.89501 48.7% - 0s 0 0 11.85081 0 80 8.00000 11.85081 48.1% - 0s 0 0 11.84408 0 78 8.00000 11.84408 48.1% - 0s 0 0 11.84034 0 78 8.00000 11.84034 48.0% - 0s 0 0 11.83860 0 80 8.00000 11.83860 48.0% - 0s 0 0 11.83278 0 80 8.00000 11.83278 47.9% - 0s 0 0 11.83181 0 80 8.00000 11.83181 47.9% - 0s 0 0 11.82354 0 78 8.00000 11.82354 47.8% - 0s 0 0 11.82208 0 80 8.00000 11.82208 47.8% - 0s 0 0 11.82192 0 79 8.00000 11.82192 47.8% - 0s 0 0 11.82191 0 80 8.00000 11.82191 47.8% - 0s H 0 0 9.0000000 11.82191 31.4% - 0s 0 2 11.81903 0 80 9.00000 11.81903 31.3% - 0s Cutting planes: Clique: 40 Zero half: 6 Explored 31 nodes (2461 simplex iterations) in 0.61 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%