Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:33:31 2012 Optimize a model with 5209 rows, 144 columns and 10418 nonzeros Presolve removed 3813 rows and 0 columns Presolve time: 0.21s Presolved: 1396 rows, 144 columns, 10240 nonzeros Variable types: 0 continuous, 144 integer (144 binary) Found heuristic solution: objective 8.0000000 Root relaxation: objective 1.799048e+01, 671 iterations, 0.05 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 17.99048 0 141 8.00000 17.99048 125% - 0s 0 0 17.61475 0 143 8.00000 17.61475 120% - 0s 0 0 17.52905 0 142 8.00000 17.52905 119% - 0s H 0 0 9.0000000 17.52905 94.8% - 0s 0 0 17.47323 0 144 9.00000 17.47323 94.1% - 0s 0 0 17.44041 0 144 9.00000 17.44041 93.8% - 1s 0 0 17.41980 0 144 9.00000 17.41980 93.6% - 1s 0 0 17.39154 0 144 9.00000 17.39154 93.2% - 1s 0 0 17.38375 0 144 9.00000 17.38375 93.2% - 1s 0 0 17.37241 0 144 9.00000 17.37241 93.0% - 1s 0 0 17.31518 0 144 9.00000 17.31518 92.4% - 2s 0 0 17.30078 0 144 9.00000 17.30078 92.2% - 2s 0 0 17.28501 0 144 9.00000 17.28501 92.1% - 2s 0 0 17.27640 0 143 9.00000 17.27640 92.0% - 2s 0 0 17.26264 0 144 9.00000 17.26264 91.8% - 2s 0 0 17.25688 0 144 9.00000 17.25688 91.7% - 3s 0 0 17.25666 0 144 9.00000 17.25666 91.7% - 3s 0 0 17.25664 0 144 9.00000 17.25664 91.7% - 3s 0 2 17.25491 0 144 9.00000 17.25491 91.7% - 4s 92 86 10.96352 20 54 9.00000 17.12163 90.2% 92.6 5s 601 325 13.53047 4 144 9.00000 14.22051 58.0% 76.9 12s 626 344 12.87684 19 67 9.00000 14.22051 58.0% 84.9 15s 1303 381 cutoff 42 9.00000 13.02928 44.8% 80.0 20s 1997 453 10.19286 28 32 9.00000 12.18942 35.4% 64.5 25s Cutting planes: Clique: 55 Explored 2927 nodes (159895 simplex iterations) in 28.38 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 9.000000000000e+00, best bound 9.000000000000e+00, gap 0.0%