Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:20:38 2012 Optimize a model with 4776 rows, 138 columns and 9552 nonzeros Presolve removed 3493 rows and 0 columns Presolve time: 0.17s Presolved: 1283 rows, 138 columns, 9193 nonzeros Variable types: 0 continuous, 138 integer (138 binary) Found heuristic solution: objective 7.0000000 Root relaxation: objective 1.758519e+01, 648 iterations, 0.04 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 17.58519 0 134 7.00000 17.58519 151% - 0s H 0 0 8.0000000 17.58519 120% - 0s 0 0 17.07074 0 138 8.00000 17.07074 113% - 0s 0 0 16.99972 0 138 8.00000 16.99972 112% - 0s H 0 0 9.0000000 16.99972 88.9% - 0s 0 0 16.96072 0 138 9.00000 16.96072 88.5% - 0s 0 0 16.95270 0 138 9.00000 16.95270 88.4% - 1s 0 0 16.94470 0 138 9.00000 16.94470 88.3% - 1s 0 0 16.93593 0 138 9.00000 16.93593 88.2% - 1s 0 0 16.91168 0 138 9.00000 16.91168 87.9% - 1s 0 0 16.89830 0 138 9.00000 16.89830 87.8% - 1s 0 0 16.88494 0 138 9.00000 16.88494 87.6% - 2s 0 0 16.87854 0 138 9.00000 16.87854 87.5% - 2s 0 0 16.87836 0 138 9.00000 16.87836 87.5% - 2s 0 0 16.87834 0 138 9.00000 16.87834 87.5% - 2s 0 0 16.87831 0 138 9.00000 16.87831 87.5% - 2s H 0 0 10.0000000 16.87831 68.8% - 2s 0 2 16.87716 0 138 10.00000 16.87716 68.8% - 3s 276 139 11.75385 13 54 10.00000 15.37379 53.7% 78.1 5s Cutting planes: Clique: 132 Explored 722 nodes (51785 simplex iterations) in 7.51 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%