Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:32:26 2012 Optimize a model with 5125 rows, 144 columns and 10250 nonzeros Presolve removed 3703 rows and 0 columns Presolve time: 0.20s Presolved: 1422 rows, 144 columns, 10220 nonzeros Variable types: 0 continuous, 144 integer (144 binary) Found heuristic solution: objective 7.0000000 Root relaxation: objective 1.852650e+01, 686 iterations, 0.04 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 18.52650 0 143 7.00000 18.52650 165% - 0s H 0 0 8.0000000 18.52650 132% - 0s 0 0 18.03827 0 144 8.00000 18.03827 125% - 0s 0 0 17.82328 0 142 8.00000 17.82328 123% - 0s 0 0 17.74171 0 142 8.00000 17.74171 122% - 0s 0 0 17.69057 0 142 8.00000 17.69057 121% - 1s H 0 0 9.0000000 17.69057 96.6% - 1s 0 0 17.67057 0 142 9.00000 17.67057 96.3% - 1s 0 0 17.65885 0 142 9.00000 17.65885 96.2% - 1s H 0 0 10.0000000 17.65885 76.6% - 1s 0 0 17.64836 0 142 10.00000 17.64836 76.5% - 1s 0 0 17.62941 0 143 10.00000 17.62941 76.3% - 1s 0 0 17.62521 0 142 10.00000 17.62521 76.3% - 2s 0 0 17.61807 0 142 10.00000 17.61807 76.2% - 2s 0 0 17.61740 0 142 10.00000 17.61740 76.2% - 2s 0 0 17.61725 0 142 10.00000 17.61725 76.2% - 2s 0 0 17.61718 0 142 10.00000 17.61718 76.2% - 2s 0 2 17.61703 0 142 10.00000 17.61703 76.2% - 3s 202 131 11.84254 10 45 10.00000 16.59667 66.0% 88.5 5s 802 166 11.26230 8 38 10.00000 12.92985 29.3% 75.8 10s Cutting planes: Clique: 156 Explored 1037 nodes (74783 simplex iterations) in 12.43 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%