Gurobi 5.0.1 (linux64) logging started Mon Nov 19 09:27:14 2012

Optimize a model with 6795 rows, 165 columns and 13590 nonzeros
Presolve removed 4995 rows and 0 columns
Presolve time: 0.31s
Presolved: 1800 rows, 165 columns, 13478 nonzeros
Variable types: 0 continuous, 165 integer (165 binary)
Found heuristic solution: objective 7.0000000

Root relaxation: objective 1.994231e+01, 824 iterations, 0.08 seconds

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

     0     0   19.94231    0  162    7.00000   19.94231   185%     -    0s
H    0     0                       9.0000000   19.94231   122%     -    0s
     0     0   19.60530    0  162    9.00000   19.60530   118%     -    0s
     0     0   19.50349    0  165    9.00000   19.50349   117%     -    0s
     0     0   19.48582    0  165    9.00000   19.48582   117%     -    1s
     0     0   19.47162    0  165    9.00000   19.47162   116%     -    1s
     0     0   19.45679    0  165    9.00000   19.45679   116%     -    1s
     0     0   19.45241    0  165    9.00000   19.45241   116%     -    1s
     0     0   19.44465    0  165    9.00000   19.44465   116%     -    2s
     0     0   19.41965    0  165    9.00000   19.41965   116%     -    2s
     0     0   19.41184    0  165    9.00000   19.41184   116%     -    2s
     0     0   19.39012    0  165    9.00000   19.39012   115%     -    2s
     0     0   19.38665    0  165    9.00000   19.38665   115%     -    2s
     0     0   19.38620    0  165    9.00000   19.38620   115%     -    3s
H    0     0                      10.0000000   19.38620  93.9%     -    3s
     0     2   19.38579    0  165   10.00000   19.38579  93.9%     -    4s
    54    56   13.55202   54  106   10.00000   19.38558  93.9%   126    5s
   515   318   13.70185   19   75   10.00000   17.35127  73.5%  92.5   10s
   601   373   14.83175    5  165   10.00000   16.97267  69.7%  90.1   15s
   621   388   15.37013   20   86   10.00000   16.97267  69.7%   100   20s
   720   454   14.18950   70  105   10.00000   15.99692  60.0%   142   25s
  1371   492   12.92230   36   68   10.00000   14.53281  45.3%   103   30s
  1682   486   11.35963   26   44   10.00000   14.17589  41.8%  92.9   35s
  2144   614   11.06309   31   34   10.00000   13.76077  37.6%  82.8   40s
  2791   601     cutoff   32        10.00000   12.79702  28.0%  76.0   45s
  3816    45   11.08766   64   51   10.00000   11.30808  13.1%  63.8   50s

Cutting planes:
  Clique: 51

Explored 3873 nodes (245704 simplex iterations) in 50.06 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%