current bounds on the number of colors: 0 -- 192 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:57:45 2012 Optimize a model with 91008 rows, 19378 columns and 290880 nonzeros Presolve time: 0.30s Presolved: 91008 rows, 19378 columns, 290880 nonzeros Variable types: 0 continuous, 19378 integer (19378 binary) Root relaxation: objective 0.000000e+00, 803 iterations, 0.10 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 (1250 simplex iterations) in 0.54 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 -- 96 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:57:47 2012 Optimize a model with 45600 rows, 10162 columns and 145440 nonzeros Presolve time: 0.16s Presolved: 45600 rows, 10162 columns, 145440 nonzeros Variable types: 0 continuous, 10162 integer (10162 binary) Root relaxation: objective 0.000000e+00, 672 iterations, 0.05 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 (1118 simplex iterations) in 0.27 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 05:57:48 2012 Optimize a model with 22896 rows, 5554 columns and 72720 nonzeros Presolve time: 0.09s Presolved: 22896 rows, 5554 columns, 72720 nonzeros Variable types: 0 continuous, 5554 integer (5554 binary) Root relaxation: objective 0.000000e+00, 433 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 (1001 simplex iterations) in 0.16 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 05:57:48 2012 Optimize a model with 11544 rows, 3250 columns and 36360 nonzeros Presolve time: 0.04s Presolved: 11544 rows, 3250 columns, 36360 nonzeros Variable types: 0 continuous, 3250 integer (3250 binary) Root relaxation: objective 0.000000e+00, 408 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 (775 simplex iterations) in 0.06 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 05:57:48 2012 Optimize a model with 5868 rows, 2098 columns and 18180 nonzeros Presolve time: 0.02s Presolved: 5868 rows, 2098 columns, 18180 nonzeros Variable types: 0 continuous, 2098 integer (2098 binary) Root relaxation: objective 0.000000e+00, 409 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 (3101 simplex iterations) in 0.18 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 05:57:48 2012 Optimize a model with 3030 rows, 1522 columns and 9090 nonzeros Presolve time: 0.01s Presolved: 3030 rows, 1522 columns, 9090 nonzeros Variable types: 0 continuous, 1522 integer (1522 binary) Root relaxation: objective 0.000000e+00, 465 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 380 - 0.00000 - - 0s 0 0 0.00000 0 380 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5025 simplex iterations) in 0.66 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 05:57:49 2012 Optimize a model with 3976 rows, 1714 columns and 12120 nonzeros Presolve time: 0.01s Presolved: 3976 rows, 1714 columns, 12120 nonzeros Variable types: 0 continuous, 1714 integer (1714 binary) Root relaxation: objective 0.000000e+00, 442 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 376 - 0.00000 - - 0s 0 0 0.00000 0 366 - 0.00000 - - 0s 0 0 0.00000 0 352 - 0.00000 - - 1s 0 0 0.00000 0 350 - 0.00000 - - 1s 0 0 0.00000 0 510 - 0.00000 - - 1s 0 0 0.00000 0 330 - 0.00000 - - 2s 0 0 0.00000 0 332 - 0.00000 - - 2s 0 0 0.00000 0 331 - 0.00000 - - 3s 0 0 0.00000 0 322 - 0.00000 - - 3s 0 0 0.00000 0 320 - 0.00000 - - 4s 0 0 0.00000 0 336 - 0.00000 - - 5s 0 0 0.00000 0 318 - 0.00000 - - 5s 0 0 0.00000 0 318 - 0.00000 - - 6s 0 0 0.00000 0 318 - 0.00000 - - 6s 0 2 0.00000 0 318 - 0.00000 - - 7s 149 34 0.00000 17 349 - 0.00000 - 189 10s 521 48 0.00000 18 348 - 0.00000 - 185 15s 605 48 0.00000 9 346 - 0.00000 - 180 20s 609 50 0.00000 19 294 - 0.00000 - 179 26s 612 52 0.00000 16 284 - 0.00000 - 178 31s 614 54 0.00000 12 284 - 0.00000 - 178 35s 616 55 0.00000 19 310 - 0.00000 - 177 40s 620 58 0.00000 3 282 - 0.00000 - 176 45s 651 69 0.00000 29 338 - 0.00000 - 309 50s 795 78 0.00000 32 340 - 0.00000 - 306 55s 1012 133 infeasible 30 - 0.00000 - 293 60s 1186 169 0.00000 31 423 - 0.00000 - 291 65s 1374 177 infeasible 27 - 0.00000 - 289 70s 1547 184 0.00000 29 395 - 0.00000 - 292 75s 1706 185 infeasible 30 - 0.00000 - 293 80s 1877 178 infeasible 31 - 0.00000 - 294 85s 2058 185 0.00000 29 454 - 0.00000 - 293 90s 2231 176 0.00000 31 357 - 0.00000 - 294 95s 2424 181 infeasible 27 - 0.00000 - 294 100s 2594 167 0.00000 27 414 - 0.00000 - 295 105s 2788 185 infeasible 31 - 0.00000 - 294 110s 2976 193 0.00000 28 422 - 0.00000 - 293 115s 3171 202 infeasible 26 - 0.00000 - 292 120s 3366 199 infeasible 29 - 0.00000 - 292 125s 3529 188 infeasible 26 - 0.00000 - 294 130s 3699 182 infeasible 31 - 0.00000 - 295 135s 3880 165 0.00000 27 332 - 0.00000 - 295 140s 4055 152 0.00000 26 334 - 0.00000 - 296 145s 4221 144 infeasible 27 - 0.00000 - 297 150s 4386 139 infeasible 31 - 0.00000 - 298 155s 4558 145 infeasible 27 - 0.00000 - 299 160s 4708 141 infeasible 28 - 0.00000 - 301 165s 4863 126 infeasible 27 - 0.00000 - 302 170s 5017 102 0.00000 25 442 - 0.00000 - 303 175s 5180 83 0.00000 22 434 - 0.00000 - 304 180s 5374 75 0.00000 26 449 - 0.00000 - 303 185s 5548 59 infeasible 31 - 0.00000 - 303 190s 5699 42 infeasible 32 - 0.00000 - 305 195s 5858 35 0.00000 28 453 - 0.00000 - 305 200s 6018 29 infeasible 29 - 0.00000 - 306 205s 6167 24 infeasible 29 - 0.00000 - 307 210s 6311 12 0.00000 28 395 - 0.00000 - 308 215s Cutting planes: Zero half: 16 Explored 6360 nodes (2010327 simplex iterations) in 216.74 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:01:26 2012 Optimize a model with 4922 rows, 1906 columns and 15150 nonzeros Presolve time: 0.01s Presolved: 4922 rows, 1906 columns, 15150 nonzeros Variable types: 0 continuous, 1906 integer (1906 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 314 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4366 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% optimal solution found: number of colors: 5