Gurobi 5.0.1 (linux64) logging started Mon Nov 19 06:52:49 2012 Optimize a model with 3043 rows, 111 columns and 6086 nonzeros Presolve removed 2123 rows and 0 columns Presolve time: 0.11s Presolved: 920 rows, 111 columns, 6390 nonzeros Variable types: 0 continuous, 111 integer (111 binary) Found heuristic solution: objective 6.0000000 Root relaxation: objective 1.522977e+01, 433 iterations, 0.02 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 15.22977 0 107 6.00000 15.22977 154% - 0s H 0 0 7.0000000 15.22977 118% - 0s H 0 0 8.0000000 15.22977 90.4% - 0s 0 0 14.79407 0 107 8.00000 14.79407 84.9% - 0s H 0 0 9.0000000 14.79407 64.4% - 0s 0 0 14.76217 0 109 9.00000 14.76217 64.0% - 0s 0 0 14.75149 0 109 9.00000 14.75149 63.9% - 0s 0 0 14.74862 0 110 9.00000 14.74862 63.9% - 0s 0 0 14.74835 0 110 9.00000 14.74835 63.9% - 0s 0 0 14.74224 0 110 9.00000 14.74224 63.8% - 1s 0 0 14.73932 0 110 9.00000 14.73932 63.8% - 1s H 0 0 10.0000000 14.73932 47.4% - 1s 0 0 14.73908 0 110 10.00000 14.73908 47.4% - 1s 0 2 14.73868 0 110 10.00000 14.73868 47.4% - 1s Cutting planes: Clique: 69 Zero half: 3 Explored 152 nodes (12780 simplex iterations) in 2.54 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 1.000000000000e+01, best bound 1.000000000000e+01, gap 0.0%