Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:00:05 2012 Optimize a model with 3751 rows, 123 columns and 7502 nonzeros Presolve removed 2714 rows and 0 columns Presolve time: 0.12s Presolved: 1037 rows, 123 columns, 7231 nonzeros Variable types: 0 continuous, 123 integer (123 binary) Found heuristic solution: objective 8.0000000 Root relaxation: objective 1.632238e+01, 533 iterations, 0.03 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 16.32238 0 117 8.00000 16.32238 104% - 0s H 0 0 9.0000000 16.32238 81.4% - 0s 0 0 15.90286 0 121 9.00000 15.90286 76.7% - 0s 0 0 15.81263 0 122 9.00000 15.81263 75.7% - 0s 0 0 15.77088 0 123 9.00000 15.77088 75.2% - 0s 0 0 15.76195 0 122 9.00000 15.76195 75.1% - 0s 0 0 15.71918 0 120 9.00000 15.71918 74.7% - 1s 0 0 15.68780 0 123 9.00000 15.68780 74.3% - 1s 0 0 15.67409 0 122 9.00000 15.67409 74.2% - 1s 0 0 15.66337 0 123 9.00000 15.66337 74.0% - 1s 0 0 15.65251 0 123 9.00000 15.65251 73.9% - 1s 0 0 15.64414 0 123 9.00000 15.64414 73.8% - 2s 0 0 15.64156 0 123 9.00000 15.64156 73.8% - 2s 0 0 15.63886 0 123 9.00000 15.63886 73.8% - 2s 0 0 15.63702 0 123 9.00000 15.63702 73.7% - 2s 0 0 15.63701 0 123 9.00000 15.63701 73.7% - 2s 0 2 15.63623 0 123 9.00000 15.63623 73.7% - 3s 392 147 cutoff 6 9.00000 12.76406 41.8% 66.4 5s Cutting planes: Clique: 100 Explored 788 nodes (44483 simplex iterations) in 7.16 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%