Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:27:52 2012 Optimize a model with 4985 rows, 142 columns and 9970 nonzeros Presolve removed 3572 rows and 0 columns Presolve time: 0.19s Presolved: 1413 rows, 142 columns, 10031 nonzeros Variable types: 0 continuous, 142 integer (142 binary) Found heuristic solution: objective 9.0000000 Root relaxation: objective 1.826095e+01, 675 iterations, 0.04 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 18.26095 0 140 9.00000 18.26095 103% - 0s 0 0 17.85447 0 141 9.00000 17.85447 98.4% - 0s 0 0 17.76430 0 142 9.00000 17.76430 97.4% - 0s 0 0 17.70600 0 142 9.00000 17.70600 96.7% - 0s 0 0 17.66996 0 142 9.00000 17.66996 96.3% - 1s 0 0 17.62942 0 142 9.00000 17.62942 95.9% - 1s 0 0 17.61431 0 142 9.00000 17.61431 95.7% - 1s 0 0 17.60146 0 142 9.00000 17.60146 95.6% - 1s 0 0 17.58944 0 142 9.00000 17.58944 95.4% - 1s 0 0 17.56663 0 142 9.00000 17.56663 95.2% - 2s 0 0 17.56430 0 142 9.00000 17.56430 95.2% - 2s 0 0 17.56165 0 142 9.00000 17.56165 95.1% - 2s 0 0 17.56015 0 142 9.00000 17.56015 95.1% - 2s 0 0 17.55963 0 142 9.00000 17.55963 95.1% - 2s 0 0 17.55893 0 142 9.00000 17.55893 95.1% - 3s 0 2 17.55822 0 142 9.00000 17.55822 95.1% - 3s 183 145 13.10594 9 68 9.00000 16.85340 87.3% 86.2 5s H 189 129 10.0000000 16.85340 68.5% 84.8 5s 601 221 12.86667 13 142 10.00000 13.92743 39.3% 75.4 10s 690 274 cutoff 51 10.00000 13.92743 39.3% 103 15s 1540 135 11.70659 21 41 10.00000 12.02795 20.3% 72.8 20s Cutting planes: Clique: 58 Explored 1810 nodes (120041 simplex iterations) in 22.79 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%