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

Optimize a model with 562 rows, 49 columns and 1124 nonzeros
Presolve removed 377 rows and 0 columns
Presolve time: 0.01s
Presolved: 185 rows, 49 columns, 938 nonzeros
Variable types: 0 continuous, 49 integer (49 binary)
Found heuristic solution: objective 6.0000000

Root relaxation: objective 9.528465e+00, 119 iterations, 0.00 seconds

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

     0     0    9.52847    0   45    6.00000    9.52847  58.8%     -    0s
H    0     0                       7.0000000    9.52847  36.1%     -    0s
     0     0    9.31754    0   42    7.00000    9.31754  33.1%     -    0s
     0     0    9.20765    0   47    7.00000    9.20765  31.5%     -    0s
     0     0    9.17734    0   43    7.00000    9.17734  31.1%     -    0s
     0     0    9.14362    0   48    7.00000    9.14362  30.6%     -    0s
     0     0    9.12874    0   47    7.00000    9.12874  30.4%     -    0s
     0     0    9.11165    0   44    7.00000    9.11165  30.2%     -    0s
     0     0    9.10615    0   44    7.00000    9.10615  30.1%     -    0s
H    0     0                       8.0000000    9.10615  13.8%     -    0s
     0     0    9.08696    0   45    8.00000    9.08696  13.6%     -    0s
     0     0    9.06070    0   43    8.00000    9.06070  13.3%     -    0s
     0     0    9.04305    0   47    8.00000    9.04305  13.0%     -    0s
     0     0    9.01734    0   44    8.00000    9.01734  12.7%     -    0s
     0     0     cutoff    0         8.00000    8.99999  12.5%     -    0s

Cutting planes:
  Clique: 13
  Zero half: 9
  Mod-K: 1

Explored 0 nodes (352 simplex iterations) in 0.07 seconds
Thread count was 1 (of 16 available processors)

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