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

Optimize a model with 5107 rows, 143 columns and 10214 nonzeros
Presolve removed 3656 rows and 0 columns
Presolve time: 0.20s
Presolved: 1451 rows, 143 columns, 10380 nonzeros
Variable types: 0 continuous, 143 integer (143 binary)
Found heuristic solution: objective 9.0000000

Root relaxation: objective 1.802164e+01, 638 iterations, 0.04 seconds

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

     0     0   18.02164    0  139    9.00000   18.02164   100%     -    0s
     0     0   17.65482    0  143    9.00000   17.65482  96.2%     -    0s
     0     0   17.57898    0  142    9.00000   17.57898  95.3%     -    0s
     0     0   17.52386    0  143    9.00000   17.52386  94.7%     -    0s
     0     0   17.48021    0  143    9.00000   17.48021  94.2%     -    1s
     0     0   17.43364    0  143    9.00000   17.43364  93.7%     -    1s
     0     0   17.42227    0  143    9.00000   17.42227  93.6%     -    1s
     0     0   17.41671    0  143    9.00000   17.41671  93.5%     -    1s
     0     0   17.41474    0  143    9.00000   17.41474  93.5%     -    1s
     0     0   17.41368    0  143    9.00000   17.41368  93.5%     -    2s
     0     0   17.41356    0  143    9.00000   17.41356  93.5%     -    2s
     0     0   17.41351    0  143    9.00000   17.41351  93.5%     -    2s
     0     2   17.41336    0  143    9.00000   17.41336  93.5%     -    3s
*  269   160              13      10.0000000   16.47509  64.8%  77.9    4s
   271   160   13.18803    9   67   10.00000   16.42402  64.2%  79.6    5s

Cutting planes:
  Clique: 127

Explored 938 nodes (69126 simplex iterations) in 9.85 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%