current bounds on the number of colors: 0 -- 176 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:08:01 2012 Optimize a model with 67496 rows, 16253 columns and 217448 nonzeros Presolve time: 0.21s Presolved: 67496 rows, 16253 columns, 217448 nonzeros Variable types: 0 continuous, 16253 integer (16253 binary) Root relaxation: objective 0.000000e+00, 722 iterations, 0.07 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1102 simplex iterations) in 0.38 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0% current bounds on the number of colors: 0 -- 88 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:08:03 2012 Optimize a model with 33836 rows, 8509 columns and 108724 nonzeros Presolve time: 0.15s Presolved: 33836 rows, 8509 columns, 108724 nonzeros Variable types: 0 continuous, 8509 integer (8509 binary) Root relaxation: objective 0.000000e+00, 546 iterations, 0.02 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (938 simplex iterations) in 0.22 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0% current bounds on the number of colors: 0 -- 44 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:08:03 2012 Optimize a model with 17006 rows, 4637 columns and 54362 nonzeros Presolve time: 0.07s Presolved: 17006 rows, 4637 columns, 54362 nonzeros Variable types: 0 continuous, 4637 integer (4637 binary) Root relaxation: objective 0.000000e+00, 406 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (726 simplex iterations) in 0.10 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0% current bounds on the number of colors: 0 -- 22 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:08:03 2012 Optimize a model with 8591 rows, 2701 columns and 27181 nonzeros Presolve time: 0.03s Presolved: 8591 rows, 2701 columns, 27181 nonzeros Variable types: 0 continuous, 2701 integer (2701 binary) Root relaxation: objective 0.000000e+00, 366 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (700 simplex iterations) in 0.05 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0% current bounds on the number of colors: 0 -- 11 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:08:04 2012 Optimize a model with 4001 rows, 1645 columns and 12355 nonzeros Presolve time: 0.01s Presolved: 4001 rows, 1645 columns, 12355 nonzeros Variable types: 0 continuous, 1645 integer (1645 binary) Root relaxation: objective 0.000000e+00, 382 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1790 simplex iterations) in 0.07 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0% current bounds on the number of colors: 0 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:08:04 2012 Optimize a model with 1706 rows, 1117 columns and 4942 nonzeros Presolve removed 176 rows and 176 columns Presolve time: 0.00s Presolved: 1530 rows, 941 columns, 4590 nonzeros Variable types: 0 continuous, 941 integer (941 binary) Root relaxation: objective 0.000000e+00, 191 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 176 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (739 simplex iterations) in 0.02 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound 1.000000000000e+00, gap - current bounds on the number of colors: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:08:04 2012 Optimize a model with 2471 rows, 1293 columns and 7413 nonzeros Presolve time: 0.01s Presolved: 2471 rows, 1293 columns, 7413 nonzeros Variable types: 0 continuous, 1293 integer (1293 binary) Root relaxation: objective 0.000000e+00, 412 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 352 - 0.00000 - - 0s 0 0 0.00000 0 348 - 0.00000 - - 0s 0 0 0.00000 0 437 - 0.00000 - - 0s 0 0 0.00000 0 483 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 1 Clique: 1 Zero half: 437 Explored 0 nodes (7507 simplex iterations) in 1.05 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound 1.000000000000e+00, gap - current bounds on the number of colors: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:08:05 2012 Optimize a model with 3236 rows, 1469 columns and 9884 nonzeros Presolve time: 0.01s Presolved: 3236 rows, 1469 columns, 9884 nonzeros Variable types: 0 continuous, 1469 integer (1469 binary) Root relaxation: objective 0.000000e+00, 382 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 340 - 0.00000 - - 0s 0 0 0.00000 0 326 - 0.00000 - - 0s 0 0 0.00000 0 322 - 0.00000 - - 0s 0 0 0.00000 0 318 - 0.00000 - - 0s 0 0 0.00000 0 452 - 0.00000 - - 0s 0 0 0.00000 0 405 - 0.00000 - - 1s 0 0 0.00000 0 399 - 0.00000 - - 1s 0 0 0.00000 0 379 - 0.00000 - - 2s 0 0 0.00000 0 395 - 0.00000 - - 2s 0 0 0.00000 0 395 - 0.00000 - - 3s 0 2 0.00000 0 395 - 0.00000 - - 3s 276 62 0.00000 20 286 - 0.00000 - 97.7 5s 608 70 0.00000 17 272 - 0.00000 - 78.0 10s 614 74 0.00000 16 236 - 0.00000 - 77.2 15s 625 81 0.00000 15 274 - 0.00000 - 175 20s 1143 254 infeasible 30 - 0.00000 - 154 25s 1795 428 infeasible 35 - 0.00000 - 149 30s 2439 588 0.00000 28 334 - 0.00000 - 146 35s 3062 663 infeasible 35 - 0.00000 - 147 40s 3656 757 infeasible 31 - 0.00000 - 147 45s 4215 868 infeasible 32 - 0.00000 - 149 50s 4907 982 0.00000 30 266 - 0.00000 - 148 55s 5561 1066 infeasible 36 - 0.00000 - 148 60s 6174 1145 0.00000 34 258 - 0.00000 - 148 65s 6777 1174 0.00000 28 258 - 0.00000 - 150 70s 7398 1227 infeasible 31 - 0.00000 - 150 75s 8037 1284 infeasible 32 - 0.00000 - 150 80s 8698 1365 0.00000 32 284 - 0.00000 - 150 85s 9352 1389 infeasible 41 - 0.00000 - 150 90s 9988 1431 infeasible 30 - 0.00000 - 150 95s 10611 1476 infeasible 34 - 0.00000 - 150 100s 11244 1561 0.00000 33 286 - 0.00000 - 151 105s 11834 1553 0.00000 28 278 - 0.00000 - 152 110s 12482 1577 0.00000 34 264 - 0.00000 - 151 115s 13073 1576 infeasible 32 - 0.00000 - 152 120s 13684 1589 infeasible 30 - 0.00000 - 152 125s 14278 1619 infeasible 31 - 0.00000 - 153 130s 14858 1663 infeasible 34 - 0.00000 - 153 135s 15435 1680 infeasible 31 - 0.00000 - 154 140s 16047 1692 0.00000 32 282 - 0.00000 - 154 145s 16654 1691 infeasible 34 - 0.00000 - 154 150s 17281 1688 0.00000 30 319 - 0.00000 - 154 155s 17911 1712 infeasible 38 - 0.00000 - 154 160s 18555 1714 infeasible 38 - 0.00000 - 154 165s 19136 1749 infeasible 32 - 0.00000 - 155 170s 19760 1761 infeasible 39 - 0.00000 - 155 175s 20404 1787 0.00000 33 284 - 0.00000 - 155 180s 21009 1768 infeasible 28 - 0.00000 - 155 185s 21588 1755 infeasible 28 - 0.00000 - 155 190s 22223 1774 infeasible 29 - 0.00000 - 155 195s 22873 1804 infeasible 42 - 0.00000 - 155 200s 23493 1784 infeasible 30 - 0.00000 - 155 205s 24093 1774 0.00000 28 292 - 0.00000 - 155 210s 24737 1794 infeasible 33 - 0.00000 - 155 215s 25411 1786 infeasible 37 - 0.00000 - 155 220s 25983 1774 infeasible 35 - 0.00000 - 155 225s 26565 1798 infeasible 32 - 0.00000 - 156 230s 27144 1807 infeasible 30 - 0.00000 - 156 235s 27724 1793 0.00000 28 310 - 0.00000 - 156 240s 28299 1770 0.00000 39 292 - 0.00000 - 156 245s 28901 1804 infeasible 31 - 0.00000 - 156 250s 29458 1817 0.00000 28 288 - 0.00000 - 157 255s 30046 1821 infeasible 35 - 0.00000 - 157 260s 30608 1795 infeasible 33 - 0.00000 - 157 265s 31211 1798 infeasible 31 - 0.00000 - 157 270s 31757 1784 0.00000 30 306 - 0.00000 - 158 275s 32334 1781 0.00000 27 300 - 0.00000 - 158 280s 32907 1768 infeasible 34 - 0.00000 - 158 285s 33537 1782 infeasible 32 - 0.00000 - 158 290s Cutting planes: Zero half: 11 Explored 34112 nodes (5411753 simplex iterations) in 294.95 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - optimal solution found: number of colors: 5