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

Optimize a model with 4243 rows, 130 columns and 8486 nonzeros
Presolve removed 3068 rows and 0 columns
Presolve time: 0.14s
Presolved: 1175 rows, 130 columns, 8331 nonzeros
Variable types: 0 continuous, 130 integer (130 binary)
Found heuristic solution: objective 6.0000000

Root relaxation: objective 1.711839e+01, 543 iterations, 0.03 seconds

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

     0     0   17.11839    0  126    6.00000   17.11839   185%     -    0s
H    0     0                       7.0000000   17.11839   145%     -    0s
H    0     0                       8.0000000   17.11839   114%     -    0s
     0     0   16.45331    0  127    8.00000   16.45331   106%     -    0s
     0     0   16.32290    0  128    8.00000   16.32290   104%     -    0s
     0     0   16.24816    0  129    8.00000   16.24816   103%     -    0s
     0     0   16.22282    0  128    8.00000   16.22282   103%     -    0s
H    0     0                       9.0000000   16.22282  80.3%     -    0s
     0     0   16.20817    0  128    9.00000   16.20817  80.1%     -    1s
     0     0   16.19692    0  129    9.00000   16.19692  80.0%     -    1s
     0     0   16.19507    0  128    9.00000   16.19507  79.9%     -    1s
     0     0   16.19493    0  129    9.00000   16.19493  79.9%     -    1s
     0     0   16.19456    0  129    9.00000   16.19456  79.9%     -    1s
     0     0   16.19441    0  129    9.00000   16.19441  79.9%     -    2s
     0     2   16.19431    0  129    9.00000   16.19431  79.9%     -    2s
   515   204   10.88729   27   54    9.00000   13.15633  46.2%  64.6    5s

Cutting planes:
  Clique: 174

Explored 1038 nodes (57537 simplex iterations) in 7.98 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%