Gurobi 5.0.1 (linux64) logging started Fri Nov 16 07:22:28 2012
Optimize a model with 11772 rows, 3782 columns and 38794 nonzeros
Presolve removed 2 rows and 2 columns
Presolve time: 0.31s
Presolved: 11770 rows, 3780 columns, 38408 nonzeros
Variable types: 0 continuous, 3780 integer (3780 binary)
Found heuristic solution: objective 61.0000000
Root relaxation: objective 2.000000e+00, 2733 iterations, 0.09 seconds
Nodes | Current Node | Objective Bounds | Work
Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time
0 0 2.00000 0 122 61.00000 2.00000 96.7% - 0s
H 0 0 45.0000000 2.00000 95.6% - 0s
H 0 0 5.0000000 2.00000 60.0% - 0s
0 0 2.66667 0 399 5.00000 2.66667 46.7% - 1s
0 0 2.68605 0 3355 5.00000 2.68605 46.3% - 2s
0 0 2.68605 0 3274 5.00000 2.68605 46.3% - 3s
0 0 2.68605 0 3280 5.00000 2.68605 46.3% - 4s
0 0 2.68605 0 2876 5.00000 2.68605 46.3% - 6s
0 0 2.68605 0 2873 5.00000 2.68605 46.3% - 7s
0 0 2.68605 0 2901 5.00000 2.68605 46.3% - 8s
0 0 2.68605 0 2943 5.00000 2.68605 46.3% - 9s
0 0 2.68605 0 2940 5.00000 2.68605 46.3% - 10s
0 0 2.68605 0 2949 5.00000 2.68605 46.3% - 12s
0 0 2.68605 0 2878 5.00000 2.68605 46.3% - 13s
0 1 3.00000 0 2878 5.00000 3.00000 40.0% - 20s
* 25 5 22 4.0000000 3.00000 25.0% 502 21s
Cutting planes:
Clique: 194
Zero half: 18
Explored 35 nodes (48912 simplex iterations) in 22.10 seconds
Thread count was 1 (of 16 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 4.000000000000e+00, best bound 4.000000000000e+00, gap 0.0%