Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:13:48 2012 Optimize a model with 4532 rows, 135 columns and 9064 nonzeros Presolve removed 3254 rows and 0 columns Presolve time: 0.17s Presolved: 1278 rows, 135 columns, 9031 nonzeros Variable types: 0 continuous, 135 integer (135 binary) Found heuristic solution: objective 7.0000000 Root relaxation: objective 1.755100e+01, 612 iterations, 0.04 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 17.55100 0 132 7.00000 17.55100 151% - 0s H 0 0 8.0000000 17.55100 119% - 0s 0 0 16.96964 0 135 8.00000 16.96964 112% - 0s H 0 0 9.0000000 16.96964 88.6% - 0s 0 0 16.80484 0 134 9.00000 16.80484 86.7% - 0s 0 0 16.76107 0 133 9.00000 16.76107 86.2% - 0s 0 0 16.72150 0 134 9.00000 16.72150 85.8% - 1s 0 0 16.71073 0 134 9.00000 16.71073 85.7% - 1s 0 0 16.70095 0 134 9.00000 16.70095 85.6% - 1s 0 0 16.69973 0 134 9.00000 16.69973 85.6% - 1s 0 0 16.69743 0 134 9.00000 16.69743 85.5% - 1s 0 0 16.69687 0 134 9.00000 16.69687 85.5% - 2s 0 0 16.69672 0 134 9.00000 16.69672 85.5% - 2s H 0 0 10.0000000 16.69672 67.0% - 2s 0 0 16.69672 0 134 10.00000 16.69672 67.0% - 2s 0 2 16.69658 0 134 10.00000 16.69658 67.0% - 2s 351 143 12.16831 19 58 10.00000 14.39482 43.9% 77.2 5s Cutting planes: Clique: 185 Explored 678 nodes (50132 simplex iterations) in 6.86 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%