Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:29:08 2012 Optimize a model with 5047 rows, 142 columns and 10094 nonzeros Presolve removed 3652 rows and 0 columns Presolve time: 0.20s Presolved: 1395 rows, 142 columns, 9998 nonzeros Variable types: 0 continuous, 142 integer (142 binary) Found heuristic solution: objective 7.0000000 Root relaxation: objective 1.833026e+01, 577 iterations, 0.04 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 18.33026 0 139 7.00000 18.33026 162% - 0s 0 0 17.70503 0 142 7.00000 17.70503 153% - 0s H 0 0 8.0000000 17.70503 121% - 0s 0 0 17.61005 0 142 8.00000 17.61005 120% - 0s H 0 0 9.0000000 17.61005 95.7% - 0s 0 0 17.54520 0 142 9.00000 17.54520 94.9% - 0s 0 0 17.52763 0 142 9.00000 17.52763 94.8% - 1s 0 0 17.49539 0 142 9.00000 17.49539 94.4% - 1s 0 0 17.46385 0 141 9.00000 17.46385 94.0% - 1s 0 0 17.44275 0 140 9.00000 17.44275 93.8% - 1s 0 0 17.43480 0 141 9.00000 17.43480 93.7% - 1s 0 0 17.42656 0 142 9.00000 17.42656 93.6% - 2s 0 0 17.42463 0 142 9.00000 17.42463 93.6% - 2s 0 2 17.42203 0 142 9.00000 17.42203 93.6% - 2s * 144 97 13 10.0000000 17.10228 71.0% 87.6 4s 282 149 12.77245 12 68 10.00000 15.92455 59.2% 84.8 5s 606 191 12.59035 14 142 10.00000 13.60559 36.1% 77.8 10s 847 219 13.12381 19 69 10.00000 13.60559 36.1% 98.1 15s Cutting planes: Clique: 60 Explored 1640 nodes (114567 simplex iterations) in 17.91 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%