Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:00:38 2012 Optimize a model with 3825 rows, 123 columns and 7650 nonzeros Presolve removed 2767 rows and 0 columns Presolve time: 0.14s Presolved: 1058 rows, 123 columns, 7611 nonzeros Variable types: 0 continuous, 123 integer (123 binary) Found heuristic solution: objective 7.0000000 Root relaxation: objective 1.621093e+01, 528 iterations, 0.02 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 16.21093 0 117 7.00000 16.21093 132% - 0s H 0 0 8.0000000 16.21093 103% - 0s 0 0 15.70529 0 122 8.00000 15.70529 96.3% - 0s 0 0 15.61191 0 122 8.00000 15.61191 95.1% - 0s 0 0 15.55424 0 122 8.00000 15.55424 94.4% - 0s 0 0 15.49416 0 122 8.00000 15.49416 93.7% - 0s 0 0 15.48283 0 121 8.00000 15.48283 93.5% - 1s 0 0 15.48118 0 121 8.00000 15.48118 93.5% - 1s 0 0 15.48073 0 122 8.00000 15.48073 93.5% - 1s 0 0 15.47921 0 120 8.00000 15.47921 93.5% - 1s 0 0 15.47902 0 120 8.00000 15.47902 93.5% - 1s 0 2 15.47771 0 120 8.00000 15.47771 93.5% - 2s * 339 166 22 9.0000000 13.98813 55.4% 58.7 3s 730 35 cutoff 17 9.00000 10.51314 16.8% 56.2 5s Cutting planes: Clique: 119 Explored 766 nodes (42536 simplex iterations) in 5.03 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%