Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:00:22 2012 Optimize a model with 3736 rows, 123 columns and 7472 nonzeros Presolve removed 2647 rows and 0 columns Presolve time: 0.12s Presolved: 1089 rows, 123 columns, 7576 nonzeros Variable types: 0 continuous, 123 integer (123 binary) Found heuristic solution: objective 7.0000000 Root relaxation: objective 1.642680e+01, 498 iterations, 0.03 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 16.42680 0 119 7.00000 16.42680 135% - 0s H 0 0 8.0000000 16.42680 105% - 0s 0 0 15.98222 0 123 8.00000 15.98222 100% - 0s H 0 0 9.0000000 15.98222 77.6% - 0s 0 0 15.93029 0 122 9.00000 15.93029 77.0% - 0s 0 0 15.89355 0 122 9.00000 15.89355 76.6% - 0s 0 0 15.85558 0 121 9.00000 15.85558 76.2% - 0s 0 0 15.81473 0 118 9.00000 15.81473 75.7% - 0s 0 0 15.74359 0 122 9.00000 15.74359 74.9% - 1s 0 0 15.69717 0 122 9.00000 15.69717 74.4% - 1s 0 0 15.69049 0 122 9.00000 15.69049 74.3% - 1s 0 0 15.66619 0 121 9.00000 15.66619 74.1% - 1s 0 0 15.64981 0 122 9.00000 15.64981 73.9% - 1s 0 0 15.63516 0 122 9.00000 15.63516 73.7% - 2s 0 0 15.61572 0 120 9.00000 15.61572 73.5% - 2s 0 0 15.58611 0 121 9.00000 15.58611 73.2% - 2s 0 0 15.58455 0 121 9.00000 15.58455 73.2% - 2s 0 0 15.58330 0 121 9.00000 15.58330 73.1% - 2s 0 0 15.58296 0 120 9.00000 15.58296 73.1% - 2s 0 2 15.57744 0 120 9.00000 15.57744 73.1% - 3s 348 134 10.33753 25 52 9.00000 12.98449 44.3% 69.1 5s Cutting planes: Clique: 154 Explored 683 nodes (42831 simplex iterations) in 6.82 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 9.000000000000e+00, best bound 9.000000000000e+00, gap 0.0%