Gurobi 5.0.1 (linux64) logging started Mon Nov 19 08:35:23 2012 Optimize a model with 6142 rows, 157 columns and 12284 nonzeros Presolve removed 4417 rows and 0 columns Presolve time: 0.27s Presolved: 1725 rows, 157 columns, 12690 nonzeros Variable types: 0 continuous, 157 integer (157 binary) Found heuristic solution: objective 7.0000000 Root relaxation: objective 1.939041e+01, 800 iterations, 0.07 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 19.39041 0 155 7.00000 19.39041 177% - 0s H 0 0 8.0000000 19.39041 142% - 0s 0 0 18.98761 0 157 8.00000 18.98761 137% - 0s 0 0 18.91668 0 157 8.00000 18.91668 136% - 0s H 0 0 9.0000000 18.91668 110% - 0s 0 0 18.86432 0 157 9.00000 18.86432 110% - 1s 0 0 18.80984 0 157 9.00000 18.80984 109% - 1s 0 0 18.79415 0 157 9.00000 18.79415 109% - 1s 0 0 18.78587 0 157 9.00000 18.78587 109% - 1s 0 0 18.76652 0 157 9.00000 18.76652 109% - 1s 0 0 18.75812 0 157 9.00000 18.75812 108% - 2s 0 0 18.74938 0 157 9.00000 18.74938 108% - 2s 0 0 18.74909 0 157 9.00000 18.74909 108% - 2s 0 0 18.74897 0 157 9.00000 18.74897 108% - 2s 0 0 18.74892 0 157 9.00000 18.74892 108% - 3s 0 2 18.74849 0 157 9.00000 18.74849 108% - 3s 99 91 13.83114 12 78 9.00000 18.66687 107% 117 5s H 600 364 10.0000000 16.49007 64.9% 82.2 13s 609 368 13.21123 23 157 10.00000 16.49007 64.9% 81.0 15s 648 396 16.49007 30 138 10.00000 16.49007 64.9% 107 20s 1158 439 11.80702 18 39 10.00000 14.62092 46.2% 100 25s 1639 404 13.60093 30 70 10.00000 13.81388 38.1% 83.7 30s 1952 423 11.75530 34 39 10.00000 13.36874 33.7% 79.3 35s 2725 216 cutoff 40 10.00000 11.83950 18.4% 70.0 40s Cutting planes: Clique: 57 Explored 3042 nodes (198483 simplex iterations) in 41.10 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%