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

Optimize a model with 5104 rows, 143 columns and 10208 nonzeros
Presolve removed 3680 rows and 0 columns
Presolve time: 0.21s
Presolved: 1424 rows, 143 columns, 10309 nonzeros
Variable types: 0 continuous, 143 integer (143 binary)
Found heuristic solution: objective 9.0000000

Root relaxation: objective 1.808697e+01, 741 iterations, 0.05 seconds

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

     0     0   18.08697    0  142    9.00000   18.08697   101%     -    0s
     0     0   17.64690    0  143    9.00000   17.64690  96.1%     -    0s
H    0     0                      10.0000000   17.64690  76.5%     -    0s
     0     0   17.49963    0  143   10.00000   17.49963  75.0%     -    0s
     0     0   17.38185    0  142   10.00000   17.38185  73.8%     -    0s
     0     0   17.33902    0  142   10.00000   17.33902  73.4%     -    1s
     0     0   17.32709    0  142   10.00000   17.32709  73.3%     -    1s
     0     0   17.32628    0  142   10.00000   17.32628  73.3%     -    1s
     0     0   17.32195    0  142   10.00000   17.32195  73.2%     -    1s
H    0     0                      11.0000000   17.32195  57.5%     -    1s
     0     0   17.32148    0  142   11.00000   17.32148  57.5%     -    1s
     0     0   17.32140    0  142   11.00000   17.32140  57.5%     -    2s
     0     2   17.32006    0  142   11.00000   17.32006  57.5%     -    2s
   249   101   12.57053   16   68   11.00000   15.39919  40.0%  94.3    5s

Cutting planes:
  Clique: 139

Explored 407 nodes (40280 simplex iterations) in 6.36 seconds
Thread count was 1 (of 16 available processors)

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