Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:02:30 2012 Optimize a model with 3893 rows, 126 columns and 7786 nonzeros Presolve removed 2787 rows and 0 columns Presolve time: 0.13s Presolved: 1106 rows, 126 columns, 7611 nonzeros Variable types: 0 continuous, 126 integer (126 binary) Found heuristic solution: objective 7.0000000 Root relaxation: objective 1.707282e+01, 584 iterations, 0.03 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 17.07282 0 121 7.00000 17.07282 144% - 0s H 0 0 8.0000000 17.07282 113% - 0s H 0 0 9.0000000 17.07282 89.7% - 0s 0 0 16.74443 0 122 9.00000 16.74443 86.0% - 0s 0 0 16.62678 0 124 9.00000 16.62678 84.7% - 0s 0 0 16.53929 0 122 9.00000 16.53929 83.8% - 0s 0 0 16.50770 0 123 9.00000 16.50770 83.4% - 0s 0 0 16.49269 0 122 9.00000 16.49269 83.3% - 1s 0 0 16.41399 0 125 9.00000 16.41399 82.4% - 1s 0 0 16.36671 0 124 9.00000 16.36671 81.9% - 1s 0 0 16.33433 0 124 9.00000 16.33433 81.5% - 1s 0 0 16.32916 0 124 9.00000 16.32916 81.4% - 1s 0 0 16.32832 0 125 9.00000 16.32832 81.4% - 1s 0 0 16.32687 0 124 9.00000 16.32687 81.4% - 2s 0 0 16.32565 0 124 9.00000 16.32565 81.4% - 2s H 0 0 10.0000000 16.32565 63.3% - 2s 0 0 16.32514 0 124 10.00000 16.32514 63.3% - 2s 0 2 16.32159 0 124 10.00000 16.32159 63.2% - 2s 427 67 cutoff 7 10.00000 12.57295 25.7% 71.9 5s Cutting planes: Clique: 146 Explored 501 nodes (35819 simplex iterations) in 5.28 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%