Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:21:10 2012 Optimize a model with 4814 rows, 138 columns and 9628 nonzeros Presolve removed 3454 rows and 0 columns Presolve time: 0.17s Presolved: 1360 rows, 138 columns, 9761 nonzeros Variable types: 0 continuous, 138 integer (138 binary) Found heuristic solution: objective 8.0000000 Root relaxation: objective 1.795691e+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.95691 0 129 8.00000 17.95691 124% - 0s 0 0 17.25834 0 136 8.00000 17.25834 116% - 0s 0 0 17.18657 0 137 8.00000 17.18657 115% - 0s H 0 0 9.0000000 17.18657 91.0% - 0s 0 0 17.08738 0 138 9.00000 17.08738 89.9% - 0s 0 0 17.02896 0 138 9.00000 17.02896 89.2% - 1s 0 0 16.99585 0 137 9.00000 16.99585 88.8% - 1s 0 0 16.96084 0 137 9.00000 16.96084 88.5% - 1s 0 0 16.95700 0 137 9.00000 16.95700 88.4% - 1s 0 0 16.95462 0 137 9.00000 16.95462 88.4% - 1s 0 0 16.95054 0 137 9.00000 16.95054 88.3% - 1s 0 0 16.94552 0 137 9.00000 16.94552 88.3% - 2s 0 0 16.94519 0 137 9.00000 16.94519 88.3% - 2s 0 0 16.94485 0 137 9.00000 16.94485 88.3% - 2s 0 0 16.94483 0 137 9.00000 16.94483 88.3% - 2s 0 2 16.94423 0 137 9.00000 16.94423 88.3% - 3s H 193 123 10.0000000 16.19124 61.9% 74.4 4s 298 150 11.22836 20 59 10.00000 15.51178 55.1% 74.5 5s Cutting planes: Clique: 203 Explored 693 nodes (49857 simplex iterations) in 7.38 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%