Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:37:50 2012 Optimize a model with 5221 rows, 145 columns and 10442 nonzeros Presolve removed 3769 rows and 0 columns Presolve time: 0.21s Presolved: 1452 rows, 145 columns, 10530 nonzeros Variable types: 0 continuous, 145 integer (145 binary) Found heuristic solution: objective 7.0000000 Root relaxation: objective 1.838136e+01, 708 iterations, 0.05 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 18.38136 0 141 7.00000 18.38136 163% - 0s H 0 0 8.0000000 18.38136 130% - 0s 0 0 17.81799 0 144 8.00000 17.81799 123% - 0s 0 0 17.73597 0 144 8.00000 17.73597 122% - 0s 0 0 17.67575 0 143 8.00000 17.67575 121% - 0s 0 0 17.64748 0 143 8.00000 17.64748 121% - 1s 0 0 17.62364 0 144 8.00000 17.62364 120% - 1s H 0 0 9.0000000 17.62364 95.8% - 1s 0 0 17.60373 0 144 9.00000 17.60373 95.6% - 1s 0 0 17.60007 0 144 9.00000 17.60007 95.6% - 1s 0 0 17.59981 0 143 9.00000 17.59981 95.6% - 1s 0 0 17.59972 0 144 9.00000 17.59972 95.6% - 2s 0 2 17.59937 0 144 9.00000 17.59937 95.5% - 2s H 269 166 10.0000000 16.57822 65.8% 72.1 4s 309 182 12.18456 14 70 10.00000 16.19475 61.9% 75.5 5s 609 245 12.72353 46 144 10.00000 14.11017 41.1% 77.3 10s 756 281 11.36878 23 40 10.00000 14.11017 41.1% 105 15s 1606 157 11.79310 23 41 10.00000 12.02425 20.2% 74.8 20s Cutting planes: Clique: 48 Explored 1847 nodes (126178 simplex iterations) in 22.85 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%