Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:31:06 2012 Optimize a model with 5060 rows, 143 columns and 10120 nonzeros Presolve removed 3587 rows and 0 columns Presolve time: 0.19s Presolved: 1473 rows, 143 columns, 10394 nonzeros Variable types: 0 continuous, 143 integer (143 binary) Found heuristic solution: objective 7.0000000 Root relaxation: objective 1.867396e+01, 684 iterations, 0.05 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 18.67396 0 142 7.00000 18.67396 167% - 0s H 0 0 8.0000000 18.67396 133% - 0s 0 0 18.20081 0 142 8.00000 18.20081 128% - 0s H 0 0 9.0000000 18.20081 102% - 0s 0 0 18.04502 0 141 9.00000 18.04502 101% - 0s 0 0 17.94450 0 143 9.00000 17.94450 99.4% - 0s 0 0 17.89473 0 143 9.00000 17.89473 98.8% - 1s 0 0 17.87004 0 143 9.00000 17.87004 98.6% - 1s 0 0 17.85059 0 143 9.00000 17.85059 98.3% - 1s 0 0 17.82778 0 143 9.00000 17.82778 98.1% - 1s 0 0 17.80635 0 141 9.00000 17.80635 97.8% - 1s 0 0 17.80028 0 143 9.00000 17.80028 97.8% - 2s 0 0 17.79309 0 142 9.00000 17.79309 97.7% - 2s 0 0 17.79145 0 143 9.00000 17.79145 97.7% - 2s 0 0 17.79134 0 143 9.00000 17.79134 97.7% - 2s 0 0 17.79132 0 143 9.00000 17.79132 97.7% - 3s 0 2 17.79008 0 143 9.00000 17.79008 97.7% - 3s * 180 130 12 10.0000000 17.33769 73.4% 77.6 4s 203 137 13.80667 6 73 10.00000 17.09570 71.0% 81.7 5s 601 254 11.97895 13 143 10.00000 14.31497 43.1% 75.1 10s 676 306 11.86366 44 58 10.00000 14.31497 43.1% 105 15s 1509 231 12.32566 32 60 10.00000 12.73772 27.4% 76.2 20s Cutting planes: Clique: 56 Explored 2057 nodes (133132 simplex iterations) in 24.43 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%