Gurobi 5.0.1 (linux64) logging started Fri Nov 16 14:39:35 2012
Optimize a model with 23324 rows, 5700 columns and 75298 nonzeros
Presolve removed 2 rows and 2 columns
Presolve time: 0.71s
Presolved: 23397 rows, 5698 columns, 80301 nonzeros
Variable types: 0 continuous, 5698 integer (5698 binary)
Found heuristic solution: objective 75.0000000
Root relaxation: objective 2.000000e+00, 4278 iterations, 0.19 seconds
Nodes | Current Node | Objective Bounds | Work
Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time
0 0 2.00000 0 150 75.00000 2.00000 97.3% - 1s
H 0 0 71.0000000 2.00000 97.2% - 1s
H 0 0 5.0000000 2.00000 60.0% - 1s
0 0 3.00000 0 711 5.00000 3.00000 40.0% - 9s
0 0 3.01389 0 4089 5.00000 3.01389 39.7% - 21s
0 0 3.01389 0 4090 5.00000 3.01389 39.7% - 27s
0 0 3.01389 0 4035 5.00000 3.01389 39.7% - 40s
0 0 3.01389 0 4048 5.00000 3.01389 39.7% - 52s
0 0 3.01389 0 4052 5.00000 3.01389 39.7% - 64s
0 0 3.01389 0 4071 5.00000 3.01389 39.7% - 77s
0 0 3.01389 0 4069 5.00000 3.01389 39.7% - 89s
0 0 3.01389 0 4069 5.00000 3.01389 39.7% - 101s
0 2 4.00000 0 4069 5.00000 4.00000 20.0% - 121s
56 13 4.00000 9 122 5.00000 4.00000 20.0% 635 125s
112 13 4.00000 11 124 5.00000 4.00000 20.0% 370 132s
575 20 4.00000 11 128 5.00000 4.00000 20.0% 148 135s
Cutting planes:
Clique: 237
Zero half: 8
Explored 770 nodes (313607 simplex iterations) in 139.06 seconds
Thread count was 1 (of 16 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 5.000000000000e+00, best bound 5.000000000000e+00, gap 0.0%