Gurobi 5.0.1 (linux64) logging started Mon Nov 19 08:12:49 2012 Optimize a model with 5941 rows, 153 columns and 11882 nonzeros Presolve removed 4357 rows and 0 columns Presolve time: 0.25s Presolved: 1584 rows, 153 columns, 11774 nonzeros Variable types: 0 continuous, 153 integer (153 binary) Found heuristic solution: objective 8.0000000 Root relaxation: objective 1.894633e+01, 738 iterations, 0.06 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 18.94633 0 149 8.00000 18.94633 137% - 0s H 0 0 10.0000000 18.94633 89.5% - 0s 0 0 18.30268 0 150 10.00000 18.30268 83.0% - 0s 0 0 18.15876 0 151 10.00000 18.15876 81.6% - 0s 0 0 18.06901 0 148 10.00000 18.06901 80.7% - 1s 0 0 18.05522 0 149 10.00000 18.05522 80.6% - 1s 0 0 18.02949 0 150 10.00000 18.02949 80.3% - 1s 0 0 18.01647 0 150 10.00000 18.01647 80.2% - 1s 0 0 17.99017 0 151 10.00000 17.99017 79.9% - 1s 0 0 17.97433 0 150 10.00000 17.97433 79.7% - 2s 0 0 17.93565 0 149 10.00000 17.93565 79.4% - 2s 0 0 17.89146 0 151 10.00000 17.89146 78.9% - 2s 0 0 17.83661 0 149 10.00000 17.83661 78.4% - 2s 0 0 17.81962 0 151 10.00000 17.81962 78.2% - 2s 0 0 17.79577 0 150 10.00000 17.79577 78.0% - 3s 0 0 17.77134 0 150 10.00000 17.77134 77.7% - 3s 0 0 17.76558 0 152 10.00000 17.76558 77.7% - 3s 0 0 17.75622 0 152 10.00000 17.75622 77.6% - 3s 0 0 17.74943 0 151 10.00000 17.74943 77.5% - 4s 0 0 17.74762 0 151 10.00000 17.74762 77.5% - 4s 0 0 17.74757 0 151 10.00000 17.74757 77.5% - 4s 0 0 17.74756 0 151 10.00000 17.74756 77.5% - 4s 0 2 17.74756 0 151 10.00000 17.74756 77.5% - 5s 494 255 cutoff 28 10.00000 15.42528 54.3% 85.8 10s 601 277 14.65544 30 151 10.00000 14.84662 48.5% 83.1 15s 640 305 12.84239 24 65 10.00000 14.84662 48.5% 100 20s 1169 327 11.25532 20 39 10.00000 13.97810 39.8% 93.8 25s 1588 282 12.18883 38 54 10.00000 13.15815 31.6% 81.9 30s 1964 198 cutoff 33 10.00000 12.03668 20.4% 76.0 35s Cutting planes: Clique: 86 Explored 2284 nodes (158798 simplex iterations) in 36.26 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%