Gurobi 5.0.1 (linux64) logging started Fri Nov 16 12:16:38 2012
Optimize a model with 18576 rows, 5256 columns and 60696 nonzeros
Presolve time: 0.14s
Presolved: 18576 rows, 5256 columns, 60822 nonzeros
Variable types: 0 continuous, 5256 integer (5256 binary)
Found heuristic solution: objective 50.0000000
Root relaxation: objective 2.000000e+00, 11091 iterations, 2.71 seconds
Nodes | Current Node | Objective Bounds | Work
Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time
0 0 2.00000 0 144 50.00000 2.00000 96.0% - 3s
H 0 0 18.0000000 2.00000 88.9% - 3s
H 0 0 5.0000000 2.00000 60.0% - 3s
0 0 2.00000 0 144 5.00000 2.00000 60.0% - 3s
0 0 2.00000 0 144 5.00000 2.00000 60.0% - 4s
0 0 2.00000 0 144 5.00000 2.00000 60.0% - 5s
0 0 2.00000 0 144 5.00000 2.00000 60.0% - 5s
0 0 2.00000 0 144 5.00000 2.00000 60.0% - 6s
0 0 2.00000 0 144 5.00000 2.00000 60.0% - 6s
0 2 2.00000 0 144 5.00000 2.00000 60.0% - 9s
1 3 3.00000 1 648 5.00000 2.00000 60.0% 29415 20s
2 4 3.00000 1 407 5.00000 3.00000 40.0% 26084 29s
4 4 3.00000 2 140 5.00000 3.00000 40.0% 13642 30s
* 31 6 25 4.0000000 3.00000 25.0% 2316 34s
35 4 cutoff 5 4.00000 3.00000 25.0% 2249 35s
37 2 cutoff 4 4.00000 3.00000 25.0% 3102 44s
38 3 3.00000 2 363 4.00000 3.00000 25.0% 3108 45s
40 3 3.00000 3 138 4.00000 3.00000 25.0% 2980 52s
42 1 cutoff 4 4.00000 3.00000 25.0% 3407 57s
Cutting planes:
Clique: 41
Explored 44 nodes (156665 simplex iterations) in 57.46 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%