Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:06:44 2012 Optimize a model with 4205 rows, 129 columns and 8410 nonzeros Presolve removed 3060 rows and 0 columns Presolve time: 0.15s Presolved: 1145 rows, 129 columns, 8417 nonzeros Variable types: 0 continuous, 129 integer (129 binary) Found heuristic solution: objective 8.0000000 Root relaxation: objective 1.688251e+01, 569 iterations, 0.03 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 16.88251 0 123 8.00000 16.88251 111% - 0s 0 0 16.27516 0 127 8.00000 16.27516 103% - 0s 0 0 16.12800 0 125 8.00000 16.12800 102% - 0s H 0 0 9.0000000 16.12800 79.2% - 0s 0 0 16.06708 0 128 9.00000 16.06708 78.5% - 0s 0 0 16.03801 0 127 9.00000 16.03801 78.2% - 0s 0 0 16.02918 0 126 9.00000 16.02918 78.1% - 1s 0 0 16.02076 0 126 9.00000 16.02076 78.0% - 1s 0 0 16.01608 0 126 9.00000 16.01608 78.0% - 1s 0 0 16.00514 0 127 9.00000 16.00514 77.8% - 1s H 0 0 10.0000000 16.00514 60.1% - 1s 0 0 16.00288 0 128 10.00000 16.00288 60.0% - 1s 0 0 16.00188 0 127 10.00000 16.00188 60.0% - 2s 0 0 16.00183 0 127 10.00000 16.00183 60.0% - 2s 0 0 16.00182 0 127 10.00000 16.00182 60.0% - 2s 0 0 16.00179 0 127 10.00000 16.00179 60.0% - 2s 0 2 15.99980 0 127 10.00000 15.99980 60.0% - 2s 329 47 cutoff 9 10.00000 12.39548 24.0% 81.9 5s Cutting planes: Clique: 169 Explored 379 nodes (30364 simplex iterations) in 5.19 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%