Gurobi 5.0.1 (linux64) logging started Mon Nov 19 06:50:19 2012

Optimize a model with 2769 rows, 106 columns and 5538 nonzeros
Presolve removed 1943 rows and 0 columns
Presolve time: 0.09s
Presolved: 826 rows, 106 columns, 5586 nonzeros
Variable types: 0 continuous, 106 integer (106 binary)
Found heuristic solution: objective 7.0000000

Root relaxation: objective 1.498390e+01, 512 iterations, 0.02 seconds

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

     0     0   14.98390    0  100    7.00000   14.98390   114%     -    0s
H    0     0                       8.0000000   14.98390  87.3%     -    0s
     0     0   14.42632    0  106    8.00000   14.42632  80.3%     -    0s
     0     0   14.39660    0  105    8.00000   14.39660  80.0%     -    0s
     0     0   14.33732    0  105    8.00000   14.33732  79.2%     -    0s
     0     0   14.32087    0  106    8.00000   14.32087  79.0%     -    0s
     0     0   14.31803    0  106    8.00000   14.31803  79.0%     -    0s
     0     0   14.31586    0  106    8.00000   14.31586  78.9%     -    1s
     0     0   14.31410    0  106    8.00000   14.31410  78.9%     -    1s
     0     0   14.31346    0  106    8.00000   14.31346  78.9%     -    1s
     0     0   14.31327    0  106    8.00000   14.31327  78.9%     -    1s
     0     0   14.31305    0  106    8.00000   14.31305  78.9%     -    1s
H    0     0                       9.0000000   14.31305  59.0%     -    1s
     0     2   14.31285    0  106    9.00000   14.31285  59.0%     -    1s

Cutting planes:
  Clique: 104

Explored 259 nodes (15647 simplex iterations) in 2.69 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%