Gurobi 5.0.1 (linux64) logging started Sat Nov 17 19:52:15 2012

Optimize a model with 45 rows, 33 columns and 143 nonzeros
Presolve time: 0.00s
Presolved: 45 rows, 33 columns, 143 nonzeros
Variable types: 0 continuous, 33 integer (33 binary)
Found heuristic solution: objective 9.0000000

Root relaxation: objective 0.000000e+00, 15 iterations, 0.00 seconds

    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time

     0     0    0.00000    0   11    9.00000    0.00000   100%     -    0s
     0     0    0.76364    0   13    9.00000    0.76364  91.5%     -    0s
     0     0    0.89091    0   16    9.00000    0.89091  90.1%     -    0s
     0     0    0.92727    0   14    9.00000    0.92727  89.7%     -    0s
     0     0    0.98182    0   14    9.00000    0.98182  89.1%     -    0s
     0     0    1.00035    0   23    9.00000    1.00035  88.9%     -    0s
H    0     0                       8.0000000    1.00035  87.5%     -    0s
     0     2    1.03636    0   23    8.00000    1.03636  87.0%     -    0s
*   13     2               4       7.0000000    3.54706  49.3%   9.2    0s

Cutting planes:
  Gomory: 1
  Zero half: 9

Explored 20 nodes (232 simplex iterations) in 0.01 seconds
Thread count was 1 (of 16 available processors)

Optimal solution found (tolerance 1.00e-04)
Best objective 7.000000000000e+00, best bound 7.000000000000e+00, gap 0.0%