Gurobi 5.0.1 (linux64) logging started Mon Nov 19 08:00:05 2012 Optimize a model with 5691 rows, 151 columns and 11382 nonzeros Presolve removed 4123 rows and 0 columns Presolve time: 0.23s Presolved: 1568 rows, 151 columns, 11426 nonzeros Variable types: 0 continuous, 151 integer (151 binary) Found heuristic solution: objective 7.0000000 Root relaxation: objective 1.885573e+01, 727 iterations, 0.06 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 18.85573 0 150 7.00000 18.85573 169% - 0s H 0 0 9.0000000 18.85573 110% - 0s 0 0 18.51206 0 151 9.00000 18.51206 106% - 0s 0 0 18.45146 0 151 9.00000 18.45146 105% - 0s 0 0 18.42057 0 151 9.00000 18.42057 105% - 1s 0 0 18.36178 0 151 9.00000 18.36178 104% - 1s 0 0 18.33142 0 151 9.00000 18.33142 104% - 1s 0 0 18.28888 0 150 9.00000 18.28888 103% - 1s 0 0 18.26494 0 150 9.00000 18.26494 103% - 1s 0 0 18.26115 0 150 9.00000 18.26115 103% - 2s 0 0 18.25771 0 150 9.00000 18.25771 103% - 2s 0 0 18.25594 0 150 9.00000 18.25594 103% - 2s 0 0 18.25583 0 150 9.00000 18.25583 103% - 2s 0 2 18.25506 0 150 9.00000 18.25506 103% - 3s 173 149 10.82920 28 62 9.00000 17.88050 98.7% 90.6 5s H 600 343 10.0000000 15.84696 58.5% 76.9 10s 640 372 13.53643 28 69 10.00000 15.84696 58.5% 93.8 15s 1233 421 cutoff 24 10.00000 13.85855 38.6% 86.8 20s 1686 323 11.37693 46 56 10.00000 12.93288 29.3% 77.6 25s Cutting planes: Clique: 57 Explored 2312 nodes (152918 simplex iterations) in 29.59 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%