Gurobi 5.0.1 (linux64) logging started Mon Nov 19 06:43:40 2012

Optimize a model with 1033 rows, 65 columns and 2066 nonzeros
Presolve removed 720 rows and 0 columns
Presolve time: 0.02s
Presolved: 313 rows, 65 columns, 1894 nonzeros
Variable types: 0 continuous, 65 integer (65 binary)
Found heuristic solution: objective 7.0000000

Root relaxation: objective 1.070244e+01, 155 iterations, 0.00 seconds

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

     0     0   10.70244    0   56    7.00000   10.70244  52.9%     -    0s
     0     0   10.30584    0   60    7.00000   10.30584  47.2%     -    0s
H    0     0                       8.0000000   10.30584  28.8%     -    0s
H    0     0                       9.0000000   10.30584  14.5%     -    0s
     0     0   10.27271    0   62    9.00000   10.27271  14.1%     -    0s
     0     0   10.26971    0   60    9.00000   10.26971  14.1%     -    0s
     0     0   10.26243    0   62    9.00000   10.26243  14.0%     -    0s
     0     0   10.23102    0   60    9.00000   10.23102  13.7%     -    0s
     0     0   10.20397    0   61    9.00000   10.20397  13.4%     -    0s
     0     0   10.19292    0   61    9.00000   10.19292  13.3%     -    0s
     0     0   10.18632    0   61    9.00000   10.18632  13.2%     -    0s
     0     0   10.17528    0   61    9.00000   10.17528  13.1%     -    0s
     0     0   10.17441    0   61    9.00000   10.17441  13.0%     -    0s
     0     0   10.17373    0   61    9.00000   10.17373  13.0%     -    0s
     0     2   10.17177    0   61    9.00000   10.17177  13.0%     -    0s

Cutting planes:
  Clique: 28
  Zero half: 2

Explored 3 nodes (453 simplex iterations) in 0.21 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%