Gurobi 5.0.1 (linux64) logging started Mon Nov 19 06:44:35 2012 Optimize a model with 1558 rows, 80 columns and 3116 nonzeros Presolve removed 1109 rows and 0 columns Presolve time: 0.04s Presolved: 449 rows, 80 columns, 2754 nonzeros Variable types: 0 continuous, 80 integer (80 binary) Found heuristic solution: objective 7.0000000 Root relaxation: objective 1.253661e+01, 241 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 12.53661 0 76 7.00000 12.53661 79.1% - 0s 0 0 12.24576 0 79 7.00000 12.24576 74.9% - 0s H 0 0 8.0000000 12.24576 53.1% - 0s 0 0 12.19091 0 79 8.00000 12.19091 52.4% - 0s 0 0 12.16237 0 80 8.00000 12.16237 52.0% - 0s H 0 0 9.0000000 12.16237 35.1% - 0s 0 0 12.15951 0 80 9.00000 12.15951 35.1% - 0s 0 0 12.15921 0 80 9.00000 12.15921 35.1% - 0s 0 0 12.15200 0 80 9.00000 12.15200 35.0% - 0s 0 0 12.13734 0 80 9.00000 12.13734 34.9% - 0s 0 0 12.12623 0 80 9.00000 12.12623 34.7% - 0s 0 0 12.12592 0 80 9.00000 12.12592 34.7% - 0s 0 0 12.12408 0 80 9.00000 12.12408 34.7% - 0s 0 2 12.12363 0 80 9.00000 12.12363 34.7% - 0s Cutting planes: Gomory: 1 Clique: 31 Zero half: 7 Explored 37 nodes (2716 simplex iterations) in 0.67 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 9.000000000000e+00, best bound 9.000000000000e+00, gap 0.0%