Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:10:07 2012 Optimize a model with 4322 rows, 132 columns and 8644 nonzeros Presolve removed 3087 rows and 0 columns Presolve time: 0.17s Presolved: 1235 rows, 132 columns, 8947 nonzeros Variable types: 0 continuous, 132 integer (132 binary) Found heuristic solution: objective 8.0000000 Root relaxation: objective 1.716318e+01, 646 iterations, 0.03 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 17.16318 0 129 8.00000 17.16318 115% - 0s 0 0 16.77972 0 132 8.00000 16.77972 110% - 0s H 0 0 9.0000000 16.77972 86.4% - 0s 0 0 16.71064 0 132 9.00000 16.71064 85.7% - 0s 0 0 16.67184 0 132 9.00000 16.67184 85.2% - 0s 0 0 16.65738 0 132 9.00000 16.65738 85.1% - 0s 0 0 16.64999 0 132 9.00000 16.64999 85.0% - 1s 0 0 16.64904 0 132 9.00000 16.64904 85.0% - 1s 0 2 16.64665 0 132 9.00000 16.64665 85.0% - 1s 578 242 10.78163 28 55 9.00000 13.36942 48.5% 68.0 5s H 600 173 10.0000000 13.35703 33.6% 67.0 7s 634 195 13.35703 24 116 10.00000 13.35703 33.6% 77.7 10s Cutting planes: Clique: 47 Explored 1225 nodes (82976 simplex iterations) in 12.63 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%