Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:00:56 2012

Optimize a model with 3816 rows, 124 columns and 7632 nonzeros
Presolve removed 2749 rows and 0 columns
Presolve time: 0.14s
Presolved: 1067 rows, 124 columns, 7476 nonzeros
Variable types: 0 continuous, 124 integer (124 binary)
Found heuristic solution: objective 7.0000000

Root relaxation: objective 1.631494e+01, 570 iterations, 0.03 seconds

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

     0     0   16.31494    0  121    7.00000   16.31494   133%     -    0s
H    0     0                       9.0000000   16.31494  81.3%     -    0s
     0     0   16.07226    0  123    9.00000   16.07226  78.6%     -    0s
     0     0   16.02831    0  123    9.00000   16.02831  78.1%     -    0s
     0     0   15.97912    0  124    9.00000   15.97912  77.5%     -    0s
     0     0   15.95324    0  123    9.00000   15.95324  77.3%     -    0s
     0     0   15.94293    0  122    9.00000   15.94293  77.1%     -    0s
     0     0   15.92403    0  124    9.00000   15.92403  76.9%     -    1s
     0     0   15.91567    0  124    9.00000   15.91567  76.8%     -    1s
     0     0   15.90268    0  124    9.00000   15.90268  76.7%     -    1s
     0     0   15.90003    0  124    9.00000   15.90003  76.7%     -    1s
     0     0   15.89851    0  124    9.00000   15.89851  76.7%     -    1s
     0     2   15.89827    0  124    9.00000   15.89827  76.6%     -    2s
   641   121     cutoff   35         9.00000   11.79603  31.1%  57.6    5s

Cutting planes:
  Clique: 65
  Zero half: 1

Explored 811 nodes (45157 simplex iterations) in 5.95 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%