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%