Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:28:52 2012 Optimize a model with 5058 rows, 142 columns and 10116 nonzeros Presolve removed 3690 rows and 0 columns Presolve time: 0.21s Presolved: 1368 rows, 142 columns, 10066 nonzeros Variable types: 0 continuous, 142 integer (142 binary) Found heuristic solution: objective 6.0000000 Root relaxation: objective 1.765541e+01, 632 iterations, 0.04 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 17.65541 0 138 6.00000 17.65541 194% - 0s H 0 0 7.0000000 17.65541 152% - 0s H 0 0 8.0000000 17.65541 121% - 0s 0 0 17.29805 0 140 8.00000 17.29805 116% - 0s H 0 0 9.0000000 17.29805 92.2% - 0s 0 0 17.27000 0 140 9.00000 17.27000 91.9% - 0s 0 0 17.24577 0 141 9.00000 17.24577 91.6% - 0s 0 0 17.21844 0 141 9.00000 17.21844 91.3% - 1s 0 0 17.17938 0 139 9.00000 17.17938 90.9% - 1s H 0 0 10.0000000 17.17938 71.8% - 1s 0 0 17.16247 0 139 10.00000 17.16247 71.6% - 1s 0 0 17.08527 0 142 10.00000 17.08527 70.9% - 1s 0 0 17.05531 0 142 10.00000 17.05531 70.6% - 1s 0 0 17.05066 0 142 10.00000 17.05066 70.5% - 2s 0 0 17.05037 0 142 10.00000 17.05037 70.5% - 2s 0 2 17.04802 0 142 10.00000 17.04802 70.5% - 2s 276 138 11.03276 19 53 10.00000 15.53065 55.3% 86.2 5s Cutting planes: Clique: 125 Explored 750 nodes (57000 simplex iterations) in 7.97 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%