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

Optimize a model with 1836 rows, 86 columns and 3672 nonzeros
Presolve removed 1296 rows and 0 columns
Presolve time: 0.04s
Presolved: 540 rows, 86 columns, 3507 nonzeros
Variable types: 0 continuous, 86 integer (86 binary)
Found heuristic solution: objective 6.0000000

Root relaxation: objective 1.292470e+01, 322 iterations, 0.01 seconds

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

     0     0   12.92470    0   82    6.00000   12.92470   115%     -    0s
H    0     0                       7.0000000   12.92470  84.6%     -    0s
     0     0   12.64074    0   85    7.00000   12.64074  80.6%     -    0s
H    0     0                       8.0000000   12.64074  58.0%     -    0s
     0     0   12.61213    0   86    8.00000   12.61213  57.7%     -    0s
     0     0   12.57701    0   86    8.00000   12.57701  57.2%     -    0s
     0     0   12.55754    0   85    8.00000   12.55754  57.0%     -    0s
     0     0   12.54180    0   84    8.00000   12.54180  56.8%     -    0s
     0     0   12.49824    0   84    8.00000   12.49824  56.2%     -    0s
     0     0   12.47568    0   84    8.00000   12.47568  55.9%     -    0s
     0     0   12.46817    0   84    8.00000   12.46817  55.9%     -    0s
     0     0   12.46550    0   84    8.00000   12.46550  55.8%     -    0s
     0     0   12.46425    0   84    8.00000   12.46425  55.8%     -    0s
     0     0   12.46423    0   84    8.00000   12.46423  55.8%     -    0s
     0     2   12.46231    0   84    8.00000   12.46231  55.8%     -    0s
*   33    19               5       9.0000000   12.32601  37.0%  57.8    0s

Cutting planes:
  Clique: 39
  Zero half: 2

Explored 67 nodes (4542 simplex iterations) in 0.87 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%