Gurobi 5.0.1 (linux64) logging started Mon Nov 19 08:27:19 2012 Optimize a model with 6023 rows, 156 columns and 12046 nonzeros Presolve removed 4306 rows and 0 columns Presolve time: 0.25s Presolved: 1717 rows, 156 columns, 12467 nonzeros Variable types: 0 continuous, 156 integer (156 binary) Found heuristic solution: objective 8.0000000 Root relaxation: objective 1.960361e+01, 739 iterations, 0.06 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 19.60361 0 152 8.00000 19.60361 145% - 0s 0 0 19.08604 0 155 8.00000 19.08604 139% - 0s H 0 0 10.0000000 19.08604 90.9% - 0s 0 0 18.99862 0 156 10.00000 18.99862 90.0% - 0s 0 0 18.93885 0 155 10.00000 18.93885 89.4% - 1s 0 0 18.90101 0 154 10.00000 18.90101 89.0% - 1s 0 0 18.89465 0 155 10.00000 18.89465 88.9% - 1s 0 0 18.88281 0 156 10.00000 18.88281 88.8% - 1s 0 0 18.88257 0 156 10.00000 18.88257 88.8% - 1s 0 0 18.88257 0 156 10.00000 18.88257 88.8% - 2s 0 2 18.88236 0 156 10.00000 18.88236 88.8% - 2s 195 157 15.65564 5 85 10.00000 18.27735 82.8% 98.8 5s 601 344 13.36408 50 156 10.00000 15.83074 58.3% 88.6 12s 610 352 15.83074 12 154 10.00000 15.83074 58.3% 89.4 15s 701 409 11.23122 57 57 10.00000 15.74545 57.5% 127 20s H 970 328 11.0000000 15.08826 37.2% 115 22s 1395 238 13.06329 31 65 11.00000 13.38598 21.7% 97.2 25s Cutting planes: Clique: 51 Explored 1705 nodes (146877 simplex iterations) in 28.38 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 1.100000000000e+01, best bound 1.100000000000e+01, gap 0.0%