Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:20:45 2012 Optimize a model with 4723 rows, 138 columns and 9446 nonzeros Presolve removed 3401 rows and 0 columns Presolve time: 0.18s Presolved: 1322 rows, 138 columns, 9557 nonzeros Variable types: 0 continuous, 138 integer (138 binary) Found heuristic solution: objective 8.0000000 Root relaxation: objective 1.770681e+01, 656 iterations, 0.04 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 17.70681 0 135 8.00000 17.70681 121% - 0s H 0 0 9.0000000 17.70681 96.7% - 0s 0 0 17.13274 0 136 9.00000 17.13274 90.4% - 0s 0 0 16.94139 0 137 9.00000 16.94139 88.2% - 0s 0 0 16.90897 0 137 9.00000 16.90897 87.9% - 0s 0 0 16.88368 0 137 9.00000 16.88368 87.6% - 1s 0 0 16.84532 0 137 9.00000 16.84532 87.2% - 1s 0 0 16.84065 0 137 9.00000 16.84065 87.1% - 1s 0 0 16.80053 0 136 9.00000 16.80053 86.7% - 1s 0 0 16.79244 0 137 9.00000 16.79244 86.6% - 1s 0 0 16.78979 0 137 9.00000 16.78979 86.6% - 2s 0 0 16.78080 0 137 9.00000 16.78080 86.5% - 2s 0 0 16.77581 0 137 9.00000 16.77581 86.4% - 2s 0 0 16.77330 0 137 9.00000 16.77330 86.4% - 2s 0 0 16.77112 0 137 9.00000 16.77112 86.3% - 2s 0 0 16.77039 0 137 9.00000 16.77039 86.3% - 3s 0 0 16.77020 0 137 9.00000 16.77020 86.3% - 3s 0 2 16.76759 0 137 9.00000 16.76759 86.3% - 3s 207 158 12.50645 8 63 9.00000 16.06295 78.5% 77.9 5s H 302 158 10.0000000 15.44625 54.5% 73.9 5s Cutting planes: Clique: 150 Explored 757 nodes (53436 simplex iterations) in 8.67 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%