Gurobi 5.0.1 (linux64) logging started Mon Nov 19 08:29:44 2012 Optimize a model with 6090 rows, 157 columns and 12180 nonzeros Presolve removed 4418 rows and 0 columns Presolve time: 0.27s Presolved: 1672 rows, 157 columns, 12024 nonzeros Variable types: 0 continuous, 157 integer (157 binary) Found heuristic solution: objective 7.0000000 Root relaxation: objective 1.931402e+01, 835 iterations, 0.07 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 19.31402 0 153 7.00000 19.31402 176% - 0s H 0 0 8.0000000 19.31402 141% - 0s 0 0 18.87745 0 156 8.00000 18.87745 136% - 0s H 0 0 10.0000000 18.87745 88.8% - 0s 0 0 18.79810 0 157 10.00000 18.79810 88.0% - 0s 0 0 18.75335 0 157 10.00000 18.75335 87.5% - 1s 0 0 18.73564 0 157 10.00000 18.73564 87.4% - 1s 0 0 18.71102 0 157 10.00000 18.71102 87.1% - 1s 0 0 18.70832 0 157 10.00000 18.70832 87.1% - 1s 0 0 18.70655 0 157 10.00000 18.70655 87.1% - 1s 0 0 18.69937 0 157 10.00000 18.69937 87.0% - 2s 0 0 18.69655 0 157 10.00000 18.69655 87.0% - 2s 0 0 18.69509 0 157 10.00000 18.69509 87.0% - 2s 0 0 18.69415 0 157 10.00000 18.69415 86.9% - 2s 0 2 18.69322 0 157 10.00000 18.69322 86.9% - 3s 144 120 11.89514 20 57 10.00000 18.37074 83.7% 95.6 5s 601 328 12.25270 17 157 10.00000 15.97987 59.8% 84.9 12s 611 337 15.97987 11 156 10.00000 15.97987 59.8% 85.5 15s 708 399 cutoff 59 10.00000 15.38974 53.9% 126 20s 1463 376 12.70556 27 64 10.00000 14.11689 41.2% 87.9 25s 1769 327 12.90237 25 65 10.00000 13.49842 35.0% 81.6 30s 2479 361 11.95675 54 58 10.00000 12.44242 24.4% 71.5 35s Cutting planes: Clique: 43 Explored 3092 nodes (195263 simplex iterations) in 37.79 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%