current bounds on the number of colors: 0 -- 194 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:32:35 2012 Optimize a model with 91859 rows, 19763 columns and 293813 nonzeros Presolve time: 0.30s Presolved: 91859 rows, 19763 columns, 293813 nonzeros Variable types: 0 continuous, 19763 integer (19763 binary) Root relaxation: objective 0.000000e+00, 745 iterations, 0.08 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 (1182 simplex iterations) in 0.51 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 -- 97 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:32:37 2012 Optimize a model with 45554 rows, 10257 columns and 145392 nonzeros Presolve time: 0.16s Presolved: 45554 rows, 10257 columns, 145392 nonzeros Variable types: 0 continuous, 10257 integer (10257 binary) Root relaxation: objective 0.000000e+00, 609 iterations, 0.04 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 (1023 simplex iterations) in 0.26 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 -- 48 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:32:37 2012 Optimize a model with 22874 rows, 5601 columns and 72696 nonzeros Presolve time: 0.09s Presolved: 22874 rows, 5601 columns, 72696 nonzeros Variable types: 0 continuous, 5601 integer (5601 binary) Root relaxation: objective 0.000000e+00, 461 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 (830 simplex iterations) in 0.14 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 -- 24 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:32:38 2012 Optimize a model with 11534 rows, 3273 columns and 36348 nonzeros Presolve time: 0.04s Presolved: 11534 rows, 3273 columns, 36348 nonzeros Variable types: 0 continuous, 3273 integer (3273 binary) Root relaxation: objective 0.000000e+00, 410 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 (1015 simplex iterations) in 0.08 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:32:38 2012 Optimize a model with 5864 rows, 2109 columns and 18174 nonzeros Presolve time: 0.02s Presolved: 5864 rows, 2109 columns, 18174 nonzeros Variable types: 0 continuous, 2109 integer (2109 binary) Root relaxation: objective 0.000000e+00, 424 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 (1780 simplex iterations) in 0.09 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:32:38 2012 Optimize a model with 3029 rows, 1527 columns and 9087 nonzeros Presolve time: 0.01s Presolved: 3029 rows, 1527 columns, 9087 nonzeros Variable types: 0 continuous, 1527 integer (1527 binary) Root relaxation: objective 0.000000e+00, 441 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 388 - 0.00000 - - 0s 0 0 0.00000 0 386 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5453 simplex iterations) in 0.62 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:32:39 2012 Optimize a model with 3974 rows, 1721 columns and 12116 nonzeros Presolve time: 0.01s Presolved: 3974 rows, 1721 columns, 12116 nonzeros Variable types: 0 continuous, 1721 integer (1721 binary) Root relaxation: objective 0.000000e+00, 421 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 364 - 0.00000 - - 0s 0 0 0.00000 0 366 - 0.00000 - - 0s 0 0 0.00000 0 366 - 0.00000 - - 0s 0 0 0.00000 0 372 - 0.00000 - - 0s 0 0 0.00000 0 360 - 0.00000 - - 1s 0 0 0.00000 0 353 - 0.00000 - - 2s 0 0 0.00000 0 379 - 0.00000 - - 2s 0 0 0.00000 0 298 - 0.00000 - - 3s 0 0 0.00000 0 298 - 0.00000 - - 4s 0 0 0.00000 0 297 - 0.00000 - - 4s 0 0 0.00000 0 288 - 0.00000 - - 5s 0 0 0.00000 0 278 - 0.00000 - - 5s 0 0 0.00000 0 287 - 0.00000 - - 6s 0 0 0.00000 0 299 - 0.00000 - - 6s 0 0 0.00000 0 278 - 0.00000 - - 7s 0 2 0.00000 0 278 - 0.00000 - - 7s 204 14 0.00000 15 334 - 0.00000 - 153 10s 800 21 0.00000 18 339 - 0.00000 - 130 15s 907 35 0.00000 10 320 - 0.00000 - 125 21s 910 37 0.00000 4 328 - 0.00000 - 124 25s 913 39 0.00000 15 272 - 0.00000 - 124 31s 915 40 0.00000 17 301 - 0.00000 - 123 35s 919 43 0.00000 18 321 - 0.00000 - 123 40s 953 52 infeasible 28 - 0.00000 - 204 45s 1218 63 infeasible 30 - 0.00000 - 206 50s 1510 93 0.00000 22 346 - 0.00000 - 209 55s 1770 83 infeasible 28 - 0.00000 - 215 60s 2018 79 infeasible 28 - 0.00000 - 219 65s 2253 86 0.00000 32 348 - 0.00000 - 224 70s 2499 78 infeasible 28 - 0.00000 - 227 75s 2718 43 infeasible 29 - 0.00000 - 232 80s 2938 49 infeasible 25 - 0.00000 - 236 85s 3186 49 infeasible 25 - 0.00000 - 238 90s 3423 34 infeasible 27 - 0.00000 - 240 95s 3660 25 infeasible 27 - 0.00000 - 241 100s 3901 34 infeasible 32 - 0.00000 - 243 105s 4146 37 infeasible 33 - 0.00000 - 245 110s 4386 29 infeasible 30 - 0.00000 - 246 115s 4625 44 0.00000 27 342 - 0.00000 - 248 120s 4847 40 infeasible 25 - 0.00000 - 249 125s 5093 30 infeasible 20 - 0.00000 - 251 130s 5337 30 infeasible 28 - 0.00000 - 252 135s 5564 43 infeasible 21 - 0.00000 - 253 140s 5775 24 0.00000 24 348 - 0.00000 - 255 145s 5970 7 0.00000 21 415 - 0.00000 - 257 150s Cutting planes: Zero half: 17 Explored 6080 nodes (1630786 simplex iterations) in 153.16 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - current bounds on the number of colors: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:35:12 2012 Optimize a model with 4919 rows, 1915 columns and 15145 nonzeros Presolve time: 0.01s Presolved: 4919 rows, 1915 columns, 15145 nonzeros Variable types: 0 continuous, 1915 integer (1915 binary) Root relaxation: objective 0.000000e+00, 434 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 146 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3527 simplex iterations) in 0.25 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% optimal solution found: number of colors: 5