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

Optimize a model with 65 rows, 43 columns and 203 nonzeros
Presolve time: 0.00s
Presolved: 65 rows, 43 columns, 203 nonzeros
Variable types: 0 continuous, 43 integer (43 binary)
Found heuristic solution: objective 17.0000000

Root relaxation: objective 0.000000e+00, 17 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   17.00000    0.00000   100%     -    0s
     0     0    0.70909    0   13   17.00000    0.70909  95.8%     -    0s
     0     0    0.81687    0   19   17.00000    0.81687  95.2%     -    0s
H    0     0                      15.0000000    0.81687  94.6%     -    0s
     0     0    0.90288    0   23   15.00000    0.90288  94.0%     -    0s
H    0     0                      13.0000000    0.90288  93.1%     -    0s
     0     0    1.10323    0   25   13.00000    1.10323  91.5%     -    0s
     0     0    1.14545    0   18   13.00000    1.14545  91.2%     -    0s
     0     0    1.18114    0   30   13.00000    1.18114  90.9%     -    0s
     0     0    1.30833    0   27   13.00000    1.30833  89.9%     -    0s
     0     0    1.39213    0   31   13.00000    1.39213  89.3%     -    0s
     0     0    1.52415    0   37   13.00000    1.52415  88.3%     -    0s
     0     0    1.52547    0   39   13.00000    1.52547  88.3%     -    0s
     0     0    1.52547    0   39   13.00000    1.52547  88.3%     -    0s
     0     2    1.55816    0   39   13.00000    1.55816  88.0%     -    0s
*   31     7               7      12.0000000    8.40000  30.0%  10.1    0s

Cutting planes:
  Gomory: 1
  Zero half: 20
  Mod-K: 1

Explored 43 nodes (524 simplex iterations) in 0.02 seconds
Thread count was 1 (of 16 available processors)

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