Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:09:51 2012 Optimize a model with 4381 rows, 132 columns and 8762 nonzeros Presolve removed 3162 rows and 0 columns Presolve time: 0.16s Presolved: 1219 rows, 132 columns, 8832 nonzeros Variable types: 0 continuous, 132 integer (132 binary) Found heuristic solution: objective 7.0000000 Root relaxation: objective 1.703497e+01, 643 iterations, 0.04 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 17.03497 0 131 7.00000 17.03497 143% - 0s H 0 0 8.0000000 17.03497 113% - 0s 0 0 16.59577 0 132 8.00000 16.59577 107% - 0s 0 0 16.48125 0 132 8.00000 16.48125 106% - 0s 0 0 16.42902 0 132 8.00000 16.42902 105% - 0s 0 0 16.40599 0 132 8.00000 16.40599 105% - 0s 0 0 16.38320 0 132 8.00000 16.38320 105% - 1s 0 0 16.38202 0 132 8.00000 16.38202 105% - 1s 0 0 16.38016 0 132 8.00000 16.38016 105% - 1s H 0 0 9.0000000 16.38016 82.0% - 1s 0 0 16.37892 0 132 9.00000 16.37892 82.0% - 1s 0 0 16.37686 0 132 9.00000 16.37686 82.0% - 1s 0 0 16.37569 0 132 9.00000 16.37569 82.0% - 2s 0 0 16.37555 0 132 9.00000 16.37555 82.0% - 2s 0 0 16.37553 0 132 9.00000 16.37553 82.0% - 2s 0 2 16.37500 0 132 9.00000 16.37500 81.9% - 2s 377 171 11.19222 17 57 9.00000 14.25310 58.4% 72.0 5s Cutting planes: Clique: 133 Explored 1009 nodes (61904 simplex iterations) in 9.27 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%