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

Optimize a model with 1277 rows, 71 columns and 2554 nonzeros
Presolve removed 921 rows and 0 columns
Presolve time: 0.02s
Presolved: 356 rows, 71 columns, 2211 nonzeros
Variable types: 0 continuous, 71 integer (71 binary)
Found heuristic solution: objective 6.0000000

Root relaxation: objective 1.106620e+01, 242 iterations, 0.01 seconds

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

     0     0   11.06620    0   66    6.00000   11.06620  84.4%     -    0s
H    0     0                       7.0000000   11.06620  58.1%     -    0s
     0     0   10.84764    0   69    7.00000   10.84764  55.0%     -    0s
     0     0   10.80009    0   69    7.00000   10.80009  54.3%     -    0s
     0     0   10.77494    0   69    7.00000   10.77494  53.9%     -    0s
     0     0   10.76969    0   69    7.00000   10.76969  53.9%     -    0s
     0     0   10.76534    0   69    7.00000   10.76534  53.8%     -    0s
     0     0   10.75885    0   68    7.00000   10.75885  53.7%     -    0s
     0     0   10.71746    0   70    7.00000   10.71746  53.1%     -    0s
     0     0   10.69766    0   69    7.00000   10.69766  52.8%     -    0s
     0     0   10.67836    0   68    7.00000   10.67836  52.5%     -    0s
     0     0   10.66341    0   69    7.00000   10.66341  52.3%     -    0s
     0     0   10.65903    0   69    7.00000   10.65903  52.3%     -    0s
     0     0   10.65865    0   69    7.00000   10.65865  52.3%     -    0s
     0     2   10.65783    0   69    7.00000   10.65783  52.3%     -    0s
*   24     6               3       9.0000000   10.43204  15.9%  48.1    0s

Cutting planes:
  Clique: 31
  Zero half: 8

Explored 31 nodes (1847 simplex iterations) in 0.35 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%