Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:18:23 2012 Optimize a model with 4704 rows, 137 columns and 9408 nonzeros Presolve removed 3409 rows and 0 columns Presolve time: 0.17s Presolved: 1295 rows, 137 columns, 9198 nonzeros Variable types: 0 continuous, 137 integer (137 binary) Found heuristic solution: objective 8.0000000 Root relaxation: objective 1.753048e+01, 646 iterations, 0.04 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 17.53048 0 137 8.00000 17.53048 119% - 0s 0 0 17.18622 0 137 8.00000 17.18622 115% - 0s 0 0 17.08531 0 136 8.00000 17.08531 114% - 0s 0 0 16.98750 0 136 8.00000 16.98750 112% - 0s 0 0 16.93779 0 137 8.00000 16.93779 112% - 1s H 0 0 9.0000000 16.93779 88.2% - 1s 0 0 16.93180 0 137 9.00000 16.93180 88.1% - 1s 0 0 16.92340 0 137 9.00000 16.92340 88.0% - 1s 0 0 16.89265 0 137 9.00000 16.89265 87.7% - 1s 0 0 16.88905 0 137 9.00000 16.88905 87.7% - 1s 0 0 16.88847 0 137 9.00000 16.88847 87.6% - 2s 0 0 16.88750 0 137 9.00000 16.88750 87.6% - 2s 0 2 16.88449 0 137 9.00000 16.88449 87.6% - 2s 348 204 12.54827 14 58 9.00000 15.25233 69.5% 77.2 5s 611 284 13.65877 10 136 9.00000 13.65877 51.8% 69.2 10s 1277 328 11.13432 24 53 9.00000 12.73439 41.5% 72.3 15s * 1513 155 18 10.0000000 12.21450 22.1% 67.0 16s Cutting planes: Clique: 52 Explored 1750 nodes (107654 simplex iterations) in 17.78 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%