Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:01:54 2012 Optimize a model with 3943 rows, 125 columns and 7886 nonzeros Presolve removed 2827 rows and 0 columns Presolve time: 0.13s Presolved: 1116 rows, 125 columns, 7854 nonzeros Variable types: 0 continuous, 125 integer (125 binary) Found heuristic solution: objective 7.0000000 Root relaxation: objective 1.637543e+01, 551 iterations, 0.03 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 16.37543 0 124 7.00000 16.37543 134% - 0s H 0 0 8.0000000 16.37543 105% - 0s 0 0 16.09267 0 123 8.00000 16.09267 101% - 0s 0 0 15.93043 0 124 8.00000 15.93043 99.1% - 0s 0 0 15.87760 0 124 8.00000 15.87760 98.5% - 0s H 0 0 9.0000000 15.87760 76.4% - 0s 0 0 15.84967 0 124 9.00000 15.84967 76.1% - 0s 0 0 15.83279 0 125 9.00000 15.83279 75.9% - 1s 0 0 15.81105 0 125 9.00000 15.81105 75.7% - 1s 0 0 15.80172 0 125 9.00000 15.80172 75.6% - 1s 0 0 15.77980 0 125 9.00000 15.77980 75.3% - 1s 0 0 15.77660 0 125 9.00000 15.77660 75.3% - 1s 0 0 15.77427 0 125 9.00000 15.77427 75.3% - 1s 0 0 15.77427 0 125 9.00000 15.77427 75.3% - 2s 0 0 15.77427 0 125 9.00000 15.77427 75.3% - 2s 0 2 15.77328 0 125 9.00000 15.77328 75.3% - 2s 524 161 11.44844 8 36 9.00000 12.42669 38.1% 61.6 5s Cutting planes: Clique: 102 Explored 829 nodes (47889 simplex iterations) in 6.44 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%