Gurobi 5.0.1 (linux64) logging started Fri Nov 16 07:16:00 2012 Optimize a model with 11712 rows, 3782 columns and 38674 nonzeros Presolve time: 0.10s Presolved: 11712 rows, 3782 columns, 38952 nonzeros Variable types: 0 continuous, 3782 integer (3782 binary) Found heuristic solution: objective 38.0000000 Root relaxation: objective 2.000000e+00, 3821 iterations, 0.13 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 2.00000 0 122 38.00000 2.00000 94.7% - 0s H 0 0 17.0000000 2.00000 88.2% - 0s H 0 0 5.0000000 2.00000 60.0% - 0s 0 0 2.00000 0 122 5.00000 2.00000 60.0% - 1s 0 0 2.00000 0 122 5.00000 2.00000 60.0% - 6s 0 0 2.00000 0 122 5.00000 2.00000 60.0% - 10s H 0 0 4.0000000 2.00000 50.0% - 10s 0 0 2.00000 0 122 4.00000 2.00000 50.0% - 15s 0 0 2.00000 0 122 4.00000 2.00000 50.0% - 19s 0 0 2.00000 0 122 4.00000 2.00000 50.0% - 23s 0 2 2.00000 0 122 4.00000 2.00000 50.0% - 34s 1 3 3.00000 1 703 4.00000 2.00000 50.0% 30500 43s 2 4 3.00000 1 678 4.00000 3.00000 25.0% 60316 78s 10 4 cutoff 5 4.00000 3.00000 25.0% 12702 80s 14 2 cutoff 3 4.00000 3.00000 25.0% 10334 85s 19 3 cutoff 5 4.00000 3.00000 25.0% 8355 90s 30 2 3.00000 2 211 4.00000 3.00000 25.0% 6000 95s Cutting planes: Clique: 163 Explored 51 nodes (247335 simplex iterations) in 95.65 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%