Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:05:22 2012 Optimize a model with 4127 rows, 128 columns and 8254 nonzeros Presolve removed 2959 rows and 0 columns Presolve time: 0.14s Presolved: 1168 rows, 128 columns, 8373 nonzeros Variable types: 0 continuous, 128 integer (128 binary) Found heuristic solution: objective 7.0000000 Root relaxation: objective 1.659853e+01, 552 iterations, 0.03 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 16.59853 0 124 7.00000 16.59853 137% - 0s H 0 0 8.0000000 16.59853 107% - 0s 0 0 16.04028 0 126 8.00000 16.04028 101% - 0s 0 0 15.94055 0 127 8.00000 15.94055 99.3% - 0s 0 0 15.86647 0 128 8.00000 15.86647 98.3% - 0s H 0 0 9.0000000 15.86647 76.3% - 0s 0 0 15.82768 0 128 9.00000 15.82768 75.9% - 0s 0 0 15.79300 0 126 9.00000 15.79300 75.5% - 1s 0 0 15.77840 0 127 9.00000 15.77840 75.3% - 1s 0 0 15.77165 0 127 9.00000 15.77165 75.2% - 1s 0 0 15.76736 0 128 9.00000 15.76736 75.2% - 1s 0 0 15.75504 0 128 9.00000 15.75504 75.1% - 1s 0 0 15.75199 0 128 9.00000 15.75199 75.0% - 1s 0 0 15.75143 0 128 9.00000 15.75143 75.0% - 2s 0 0 15.75000 0 128 9.00000 15.75000 75.0% - 2s 0 0 15.74972 0 128 9.00000 15.74972 75.0% - 2s 0 2 15.74893 0 128 9.00000 15.74893 75.0% - 2s * 255 108 16 10.0000000 14.35118 43.5% 74.3 4s 370 64 cutoff 12 10.00000 12.02797 20.3% 77.0 5s Cutting planes: Clique: 133 Explored 435 nodes (31244 simplex iterations) in 5.13 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%