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

Optimize a model with 4270 rows, 131 columns and 8540 nonzeros
Presolve removed 3099 rows and 0 columns
Presolve time: 0.17s
Presolved: 1171 rows, 131 columns, 8666 nonzeros
Variable types: 0 continuous, 131 integer (131 binary)
Found heuristic solution: objective 6.0000000

Root relaxation: objective 1.686680e+01, 497 iterations, 0.03 seconds

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

     0     0   16.86680    0  125    6.00000   16.86680   181%     -    0s
H    0     0                       7.0000000   16.86680   141%     -    0s
H    0     0                       8.0000000   16.86680   111%     -    0s
     0     0   16.62766    0  129    8.00000   16.62766   108%     -    0s
     0     0   16.39669    0  130    8.00000   16.39669   105%     -    0s
H    0     0                       9.0000000   16.39669  82.2%     -    0s
     0     0   16.35028    0  131    9.00000   16.35028  81.7%     -    0s
     0     0   16.34283    0  131    9.00000   16.34283  81.6%     -    0s
     0     0   16.34010    0  131    9.00000   16.34010  81.6%     -    0s
     0     0   16.33996    0  131    9.00000   16.33996  81.6%     -    1s
     0     2   16.33385    0  131    9.00000   16.33385  81.5%     -    1s
   697   204   10.75084    5   34    9.00000   12.35783  37.3%  59.9    5s
H  979    61                      10.0000000   11.47273  14.7%  55.4    6s

Cutting planes:
  Clique: 75
  Zero half: 2

Explored 1041 nodes (55789 simplex iterations) in 6.61 seconds
Thread count was 1 (of 16 available processors)

Optimal solution found (tolerance 1.00e-04)
Best objective 1.000000000000e+01, best bound 1.000000000000e+01, gap 0.0%