Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:10:26 2012 Optimize a model with 4374 rows, 132 columns and 8748 nonzeros Presolve removed 3159 rows and 0 columns Presolve time: 0.16s Presolved: 1215 rows, 132 columns, 8739 nonzeros Variable types: 0 continuous, 132 integer (132 binary) Found heuristic solution: objective 6.0000000 Root relaxation: objective 1.724542e+01, 683 iterations, 0.03 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 17.24542 0 125 6.00000 17.24542 187% - 0s H 0 0 7.0000000 17.24542 146% - 0s H 0 0 8.0000000 17.24542 116% - 0s 0 0 16.54041 0 132 8.00000 16.54041 107% - 0s 0 0 16.48617 0 132 8.00000 16.48617 106% - 0s 0 0 16.47548 0 132 8.00000 16.47548 106% - 0s 0 0 16.42794 0 131 8.00000 16.42794 105% - 0s 0 0 16.40669 0 132 8.00000 16.40669 105% - 1s 0 0 16.39124 0 132 8.00000 16.39124 105% - 1s 0 0 16.35546 0 132 8.00000 16.35546 104% - 1s 0 0 16.33371 0 132 8.00000 16.33371 104% - 1s 0 0 16.32763 0 132 8.00000 16.32763 104% - 1s 0 0 16.32517 0 131 8.00000 16.32517 104% - 2s H 0 0 9.0000000 16.32517 81.4% - 2s 0 0 16.32107 0 131 9.00000 16.32107 81.3% - 2s 0 0 16.32079 0 132 9.00000 16.32079 81.3% - 2s 0 0 16.32076 0 132 9.00000 16.32076 81.3% - 2s 0 0 16.32076 0 132 9.00000 16.32076 81.3% - 2s 0 2 16.32069 0 132 9.00000 16.32069 81.3% - 3s 301 163 11.92205 16 59 9.00000 14.73492 63.7% 73.4 5s 611 244 12.81448 12 130 9.00000 12.81448 42.4% 64.8 10s 1393 205 cutoff 28 9.00000 11.78949 31.0% 64.8 15s Cutting planes: Clique: 56 Explored 1848 nodes (105239 simplex iterations) in 18.01 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 9.000000000000e+00, best bound 9.000000000000e+00, gap 0.0%