Gurobi 5.0.1 (linux64) logging started Mon Nov 19 06:44:37 2012 Optimize a model with 1612 rows, 80 columns and 3224 nonzeros Presolve removed 1143 rows and 0 columns Presolve time: 0.04s Presolved: 469 rows, 80 columns, 3090 nonzeros Variable types: 0 continuous, 80 integer (80 binary) Found heuristic solution: objective 7.0000000 Root relaxation: objective 1.206221e+01, 268 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 12.06221 0 74 7.00000 12.06221 72.3% - 0s H 0 0 9.0000000 12.06221 34.0% - 0s 0 0 11.86612 0 75 9.00000 11.86612 31.8% - 0s 0 0 11.75877 0 78 9.00000 11.75877 30.7% - 0s 0 0 11.69279 0 79 9.00000 11.69279 29.9% - 0s 0 0 11.68604 0 79 9.00000 11.68604 29.8% - 0s 0 0 11.68230 0 80 9.00000 11.68230 29.8% - 0s 0 0 11.68195 0 80 9.00000 11.68195 29.8% - 0s 0 0 11.67087 0 78 9.00000 11.67087 29.7% - 0s 0 0 11.66368 0 80 9.00000 11.66368 29.6% - 0s 0 0 11.65985 0 80 9.00000 11.65985 29.6% - 0s 0 0 11.65694 0 78 9.00000 11.65694 29.5% - 0s 0 0 11.64875 0 79 9.00000 11.64875 29.4% - 0s 0 0 11.64531 0 79 9.00000 11.64531 29.4% - 0s 0 0 11.64447 0 79 9.00000 11.64447 29.4% - 0s 0 0 11.64446 0 79 9.00000 11.64446 29.4% - 0s 0 2 11.64279 0 79 9.00000 11.64279 29.4% - 0s Cutting planes: Clique: 36 Zero half: 6 Explored 28 nodes (2241 simplex iterations) in 0.68 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%