Gurobi 5.0.1 (linux64) logging started Mon Nov 19 08:38:45 2012 Optimize a model with 6273 rows, 158 columns and 12546 nonzeros Presolve removed 4595 rows and 0 columns Presolve time: 0.27s Presolved: 1678 rows, 158 columns, 12522 nonzeros Variable types: 0 continuous, 158 integer (158 binary) Found heuristic solution: objective 8.0000000 Root relaxation: objective 1.896631e+01, 848 iterations, 0.07 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 18.96631 0 156 8.00000 18.96631 137% - 0s 0 0 18.49166 0 156 8.00000 18.49166 131% - 0s 0 0 18.44588 0 158 8.00000 18.44588 131% - 0s 0 0 18.41636 0 158 8.00000 18.41636 130% - 1s 0 0 18.39361 0 158 8.00000 18.39361 130% - 1s H 0 0 9.0000000 18.39361 104% - 1s 0 0 18.36925 0 157 9.00000 18.36925 104% - 1s 0 0 18.35208 0 158 9.00000 18.35208 104% - 1s 0 0 18.34788 0 158 9.00000 18.34788 104% - 1s 0 0 18.34364 0 158 9.00000 18.34364 104% - 2s 0 0 18.34363 0 158 9.00000 18.34363 104% - 2s 0 2 18.34283 0 158 9.00000 18.34283 104% - 3s 184 160 11.35885 26 59 9.00000 17.93160 99.2% 91.4 5s H 353 231 10.0000000 17.43464 74.3% 82.9 6s 601 349 12.60017 17 158 10.00000 16.14650 61.5% 83.9 11s 614 360 16.14650 17 155 10.00000 16.14650 61.5% 86.0 15s 768 404 11.02958 94 72 10.00000 15.09723 51.0% 125 20s 1459 366 11.68067 34 44 10.00000 13.75766 37.6% 89.7 25s 1695 324 cutoff 35 10.00000 13.30913 33.1% 84.3 30s 2402 139 cutoff 50 10.00000 11.68999 16.9% 71.7 35s Cutting planes: Clique: 57 Explored 2596 nodes (177096 simplex iterations) in 35.31 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%