Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:12:06 2012 Optimize a model with 4407 rows, 134 columns and 8814 nonzeros Presolve removed 3127 rows and 0 columns Presolve time: 0.17s Presolved: 1280 rows, 134 columns, 9204 nonzeros Variable types: 0 continuous, 134 integer (134 binary) Found heuristic solution: objective 7.0000000 Root relaxation: objective 1.750746e+01, 615 iterations, 0.04 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 17.50746 0 132 7.00000 17.50746 150% - 0s H 0 0 8.0000000 17.50746 119% - 0s 0 0 17.11271 0 133 8.00000 17.11271 114% - 0s 0 0 17.05230 0 134 8.00000 17.05230 113% - 0s H 0 0 9.0000000 17.05230 89.5% - 0s 0 0 16.99674 0 134 9.00000 16.99674 88.9% - 0s 0 0 16.97416 0 134 9.00000 16.97416 88.6% - 0s 0 0 16.96774 0 134 9.00000 16.96774 88.5% - 1s 0 0 16.94284 0 134 9.00000 16.94284 88.3% - 1s H 0 0 10.0000000 16.94284 69.4% - 1s 0 0 16.93869 0 134 10.00000 16.93869 69.4% - 1s 0 0 16.93175 0 133 10.00000 16.93175 69.3% - 1s 0 0 16.92586 0 134 10.00000 16.92586 69.3% - 1s 0 0 16.92489 0 134 10.00000 16.92489 69.2% - 2s 0 0 16.91948 0 134 10.00000 16.91948 69.2% - 2s 0 0 16.91413 0 134 10.00000 16.91413 69.1% - 2s 0 0 16.91385 0 134 10.00000 16.91385 69.1% - 2s 0 2 16.91271 0 134 10.00000 16.91271 69.1% - 3s 258 109 12.70755 13 66 10.00000 15.30107 53.0% 81.0 5s Cutting planes: Clique: 88 Explored 671 nodes (48873 simplex iterations) in 7.46 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%