Gurobi 5.0.1 (linux64) logging started Mon Nov 19 08:22:00 2012 Optimize a model with 5971 rows, 155 columns and 11942 nonzeros Presolve removed 4333 rows and 0 columns Presolve time: 0.25s Presolved: 1638 rows, 155 columns, 12104 nonzeros Variable types: 0 continuous, 155 integer (155 binary) Found heuristic solution: objective 8.0000000 Root relaxation: objective 1.921952e+01, 768 iterations, 0.06 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 19.21952 0 155 8.00000 19.21952 140% - 0s 0 0 18.92831 0 155 8.00000 18.92831 137% - 0s H 0 0 9.0000000 18.92831 110% - 0s 0 0 18.87118 0 154 9.00000 18.87118 110% - 0s 0 0 18.84270 0 154 9.00000 18.84270 109% - 1s 0 0 18.83100 0 154 9.00000 18.83100 109% - 1s 0 0 18.81883 0 154 9.00000 18.81883 109% - 1s 0 0 18.81840 0 155 9.00000 18.81840 109% - 1s 0 0 18.81836 0 155 9.00000 18.81836 109% - 1s 0 2 18.81738 0 155 9.00000 18.81738 109% - 2s 275 225 14.50336 6 78 9.00000 17.82169 98.0% 82.3 5s * 284 197 11 10.0000000 17.82169 78.2% 81.3 5s 601 334 15.39825 27 155 10.00000 15.92990 59.3% 80.6 10s 633 357 13.97989 21 73 10.00000 15.92990 59.3% 95.2 15s 949 388 13.06972 24 67 10.00000 15.30169 53.0% 113 20s 1572 370 11.75342 24 44 10.00000 13.53789 35.4% 87.7 25s 1799 364 11.29400 28 40 10.00000 12.94010 29.4% 83.5 30s Cutting planes: Clique: 30 Explored 2666 nodes (178799 simplex iterations) in 34.19 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 1.000000000000e+01, best bound 1.000000000000e+01, gap 0.0%