Gurobi 5.0.1 (linux64) logging started Mon Nov 19 08:47:39 2012 Optimize a model with 6322 rows, 159 columns and 12644 nonzeros Presolve removed 4572 rows and 0 columns Presolve time: 0.28s Presolved: 1750 rows, 159 columns, 12952 nonzeros Variable types: 0 continuous, 159 integer (159 binary) Found heuristic solution: objective 7.0000000 Root relaxation: objective 1.940451e+01, 802 iterations, 0.07 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 19.40451 0 158 7.00000 19.40451 177% - 0s H 0 0 8.0000000 19.40451 143% - 0s 0 0 18.89942 0 158 8.00000 18.89942 136% - 0s 0 0 18.76459 0 159 8.00000 18.76459 135% - 0s 0 0 18.72655 0 158 8.00000 18.72655 134% - 1s H 0 0 9.0000000 18.72655 108% - 1s 0 0 18.67981 0 157 9.00000 18.67981 108% - 1s 0 0 18.66048 0 157 9.00000 18.66048 107% - 1s 0 0 18.64758 0 158 9.00000 18.64758 107% - 1s 0 0 18.63574 0 158 9.00000 18.63574 107% - 1s 0 0 18.63054 0 158 9.00000 18.63054 107% - 2s H 0 0 10.0000000 18.63054 86.3% - 2s 0 0 18.62237 0 158 10.00000 18.62237 86.2% - 2s 0 0 18.62029 0 158 10.00000 18.62029 86.2% - 2s 0 2 18.61841 0 158 10.00000 18.61841 86.2% - 3s 134 110 15.06847 3 79 10.00000 18.34697 83.5% 104 5s 601 363 13.63574 14 158 10.00000 15.97074 59.7% 83.6 12s 611 372 14.67018 13 84 10.00000 15.97074 59.7% 85.4 15s 692 426 14.45156 54 113 10.00000 14.94446 49.4% 125 20s 1390 406 11.44155 45 58 10.00000 13.95309 39.5% 93.4 25s 1666 354 cutoff 30 10.00000 13.54812 35.5% 86.9 30s 1995 372 11.57581 48 56 10.00000 12.94628 29.5% 81.4 35s Cutting planes: Clique: 64 Explored 2701 nodes (188640 simplex iterations) in 39.30 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%