Gurobi 5.0.1 (linux64) logging started Mon Nov 19 06:46:27 2012 Optimize a model with 2114 rows, 93 columns and 4228 nonzeros Presolve removed 1508 rows and 0 columns Presolve time: 0.06s Presolved: 606 rows, 93 columns, 3924 nonzeros Variable types: 0 continuous, 93 integer (93 binary) Found heuristic solution: objective 7.0000000 Root relaxation: objective 1.342671e+01, 382 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 13.42671 0 93 7.00000 13.42671 91.8% - 0s H 0 0 8.0000000 13.42671 67.8% - 0s H 0 0 9.0000000 13.42671 49.2% - 0s 0 0 13.24085 0 93 9.00000 13.24085 47.1% - 0s 0 0 13.17140 0 93 9.00000 13.17140 46.3% - 0s 0 0 13.16219 0 93 9.00000 13.16219 46.2% - 0s 0 0 13.14363 0 93 9.00000 13.14363 46.0% - 0s 0 0 13.13276 0 92 9.00000 13.13276 45.9% - 0s 0 0 13.13085 0 92 9.00000 13.13085 45.9% - 0s 0 0 13.13037 0 93 9.00000 13.13037 45.9% - 0s 0 0 13.12942 0 93 9.00000 13.12942 45.9% - 0s 0 2 13.12854 0 93 9.00000 13.12854 45.9% - 0s Cutting planes: Clique: 28 Zero half: 11 Explored 96 nodes (7060 simplex iterations) in 1.07 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%