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

Optimize a model with 2494 rows, 101 columns and 4988 nonzeros
Presolve removed 1758 rows and 0 columns
Presolve time: 0.08s
Presolved: 736 rows, 101 columns, 4893 nonzeros
Variable types: 0 continuous, 101 integer (101 binary)
Found heuristic solution: objective 8.0000000

Root relaxation: objective 1.464199e+01, 465 iterations, 0.02 seconds

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

     0     0   14.64199    0   95    8.00000   14.64199  83.0%     -    0s
     0     0   14.33156    0   98    8.00000   14.33156  79.1%     -    0s
H    0     0                       9.0000000   14.33156  59.2%     -    0s
     0     0   14.30386    0  100    9.00000   14.30386  58.9%     -    0s
     0     0   14.28464    0  100    9.00000   14.28464  58.7%     -    0s
     0     0   14.27622    0  100    9.00000   14.27622  58.6%     -    0s
     0     0   14.27469    0  100    9.00000   14.27469  58.6%     -    0s
     0     0   14.27462    0  100    9.00000   14.27462  58.6%     -    0s
     0     2   14.27329    0  100    9.00000   14.27329  58.6%     -    0s

Cutting planes:
  Clique: 54
  Zero half: 4

Explored 239 nodes (15261 simplex iterations) in 1.64 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%