Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:01:02 2012

Optimize a model with 3879 rows, 124 columns and 7758 nonzeros
Presolve removed 2756 rows and 0 columns
Presolve time: 0.13s
Presolved: 1123 rows, 124 columns, 7938 nonzeros
Variable types: 0 continuous, 124 integer (124 binary)
Found heuristic solution: objective 7.0000000

Root relaxation: objective 1.625389e+01, 586 iterations, 0.03 seconds

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

     0     0   16.25389    0  120    7.00000   16.25389   132%     -    0s
H    0     0                       8.0000000   16.25389   103%     -    0s
     0     0   15.81672    0  124    8.00000   15.81672  97.7%     -    0s
     0     0   15.71752    0  123    8.00000   15.71752  96.5%     -    0s
     0     0   15.64393    0  123    8.00000   15.64393  95.5%     -    0s
     0     0   15.61620    0  123    8.00000   15.61620  95.2%     -    0s
H    0     0                       9.0000000   15.61620  73.5%     -    0s
     0     0   15.60568    0  123    9.00000   15.60568  73.4%     -    1s
     0     0   15.60313    0  123    9.00000   15.60313  73.4%     -    1s
     0     0   15.60125    0  124    9.00000   15.60125  73.3%     -    1s
     0     0   15.60117    0  124    9.00000   15.60117  73.3%     -    1s
     0     0   15.60108    0  124    9.00000   15.60108  73.3%     -    1s
     0     0   15.60107    0  124    9.00000   15.60107  73.3%     -    2s
     0     2   15.60104    0  124    9.00000   15.60104  73.3%     -    2s
   535    55     cutoff   16         9.00000   11.11957  23.6%  67.0    5s

Cutting planes:
  Clique: 122

Explored 593 nodes (38799 simplex iterations) in 5.14 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%