Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:16:36 2012 Optimize a model with 4643 rows, 136 columns and 9286 nonzeros Presolve removed 3348 rows and 0 columns Presolve time: 0.19s Presolved: 1295 rows, 136 columns, 9267 nonzeros Variable types: 0 continuous, 136 integer (136 binary) Found heuristic solution: objective 9.0000000 Root relaxation: objective 1.736012e+01, 666 iterations, 0.04 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 17.36012 0 134 9.00000 17.36012 92.9% - 0s 0 0 16.92910 0 136 9.00000 16.92910 88.1% - 0s 0 0 16.77233 0 135 9.00000 16.77233 86.4% - 0s 0 0 16.71221 0 134 9.00000 16.71221 85.7% - 0s 0 0 16.69980 0 134 9.00000 16.69980 85.6% - 1s 0 0 16.67318 0 134 9.00000 16.67318 85.3% - 1s 0 0 16.65680 0 135 9.00000 16.65680 85.1% - 1s 0 0 16.65205 0 135 9.00000 16.65205 85.0% - 1s 0 0 16.64060 0 136 9.00000 16.64060 84.9% - 1s 0 0 16.63421 0 136 9.00000 16.63421 84.8% - 2s 0 0 16.63411 0 136 9.00000 16.63411 84.8% - 2s 0 0 16.63385 0 136 9.00000 16.63385 84.8% - 2s 0 0 16.63378 0 136 9.00000 16.63378 84.8% - 2s 0 2 16.63344 0 136 9.00000 16.63344 84.8% - 3s 329 192 cutoff 24 9.00000 15.07365 67.5% 70.8 5s H 600 195 10.0000000 13.61782 36.2% 67.2 9s 611 199 12.19645 8 136 10.00000 13.61782 36.2% 66.0 10s 1156 97 11.51029 41 54 10.00000 11.93580 19.4% 72.7 15s Cutting planes: Clique: 49 Explored 1308 nodes (88631 simplex iterations) in 15.32 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%