Gurobi 5.0.1 (linux64) logging started Mon Feb  4 16:11:21 2013

Optimize a model with 840 rows, 10133 columns and 527505 nonzeros
Presolve removed 47 rows and 881 columns
Presolve time: 1.33s
Presolved: 793 rows, 9252 columns, 516218 nonzeros
Variable types: 0 continuous, 9252 integer (9252 binary)
Found heuristic solution: objective 5813.0000000
Found heuristic solution: objective 4364.0000000

Root relaxation: objective 4.220333e+03, 2300 iterations, 0.47 seconds

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

     0     0 4220.33333    0   25 4364.00000 4220.33333  3.29%     -    1s
H    0     0                    4311.0000000 4220.33333  2.10%     -    2s
*    0     0               0    4232.0000000 4232.00000   0.0%     -    2s

Cutting planes:
  Clique: 1
  Zero half: 15

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

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