current bounds on the number of colors: 0 -- 212 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:07:11 2012 Optimize a model with 117448 rows, 23578 columns and 374180 nonzeros Presolve time: 0.41s Presolved: 117448 rows, 23578 columns, 374180 nonzeros Variable types: 0 continuous, 23578 integer (23578 binary) Root relaxation: objective 0.000000e+00, 842 iterations, 0.11 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 (1351 simplex iterations) in 0.70 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 -- 106 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:07:13 2012 Optimize a model with 58830 rows, 12342 columns and 187090 nonzeros Presolve time: 0.18s Presolved: 58830 rows, 12342 columns, 187090 nonzeros Variable types: 0 continuous, 12342 integer (12342 binary) Root relaxation: objective 0.000000e+00, 622 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 (1116 simplex iterations) in 0.31 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 -- 53 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:07:14 2012 Optimize a model with 28968 rows, 6618 columns and 91780 nonzeros Presolve time: 0.12s Presolved: 28968 rows, 6618 columns, 91780 nonzeros Variable types: 0 continuous, 6618 integer (6618 binary) Root relaxation: objective 0.000000e+00, 473 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 (867 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 -- 26 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:07:14 2012 Optimize a model with 14590 rows, 3862 columns and 45890 nonzeros Presolve time: 0.05s Presolved: 14590 rows, 3862 columns, 45890 nonzeros Variable types: 0 continuous, 3862 integer (3862 binary) Root relaxation: objective 0.000000e+00, 447 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 (823 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 -- 13 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:07:15 2012 Optimize a model with 6848 rows, 2378 columns and 21180 nonzeros Presolve time: 0.02s Presolved: 6848 rows, 2378 columns, 21180 nonzeros Variable types: 0 continuous, 2378 integer (2378 binary) Root relaxation: objective 0.000000e+00, 463 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 174 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2702 simplex iterations) in 0.13 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 14:07:15 2012 Optimize a model with 3530 rows, 1742 columns and 10590 nonzeros Presolve time: 0.01s Presolved: 3530 rows, 1742 columns, 10590 nonzeros Variable types: 0 continuous, 1742 integer (1742 binary) Root relaxation: objective 0.000000e+00, 476 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 422 - 0.00000 - - 0s 0 0 0.00000 0 422 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5778 simplex iterations) in 0.96 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 14:07:16 2012 Optimize a model with 4636 rows, 1954 columns and 14120 nonzeros Presolve time: 0.01s Presolved: 4636 rows, 1954 columns, 14120 nonzeros Variable types: 0 continuous, 1954 integer (1954 binary) Root relaxation: objective 0.000000e+00, 479 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 412 - 0.00000 - - 0s 0 0 0.00000 0 404 - 0.00000 - - 0s 0 0 0.00000 0 382 - 0.00000 - - 1s 0 0 0.00000 0 452 - 0.00000 - - 1s 0 0 0.00000 0 380 - 0.00000 - - 2s 0 0 0.00000 0 376 - 0.00000 - - 3s 0 0 0.00000 0 387 - 0.00000 - - 4s 0 0 0.00000 0 374 - 0.00000 - - 5s 0 0 0.00000 0 366 - 0.00000 - - 5s 0 0 0.00000 0 366 - 0.00000 - - 6s 0 0 0.00000 0 366 - 0.00000 - - 7s 0 0 0.00000 0 366 - 0.00000 - - 7s 0 2 0.00000 0 366 - 0.00000 - - 9s 24 16 0.00000 15 393 - 0.00000 - 384 10s 298 46 infeasible 24 - 0.00000 - 209 15s 538 98 0.00000 9 478 - 0.00000 - 206 20s 605 117 0.00000 15 400 - 0.00000 - 210 29s 606 117 0.00000 19 385 - 0.00000 - 210 31s 608 119 0.00000 10 372 - 0.00000 - 209 36s 610 120 0.00000 15 378 - 0.00000 - 209 41s 612 121 0.00000 22 396 - 0.00000 - 208 46s 613 122 0.00000 10 329 - 0.00000 - 208 50s 634 136 0.00000 19 509 - 0.00000 - 337 55s 752 113 0.00000 24 490 - 0.00000 - 339 60s 869 83 infeasible 22 - 0.00000 - 343 65s 1006 40 0.00000 20 380 - 0.00000 - 344 70s 1162 38 infeasible 19 - 0.00000 - 339 75s 1304 48 infeasible 24 - 0.00000 - 338 80s 1442 32 infeasible 23 - 0.00000 - 340 85s 1577 35 0.00000 24 419 - 0.00000 - 340 90s 1699 23 0.00000 16 515 - 0.00000 - 344 95s 1828 40 0.00000 29 437 - 0.00000 - 344 100s 1956 56 infeasible 29 - 0.00000 - 346 105s 2064 46 infeasible 29 - 0.00000 - 350 110s 2194 36 infeasible 30 - 0.00000 - 351 115s 2336 32 infeasible 28 - 0.00000 - 350 120s 2458 32 infeasible 22 - 0.00000 - 352 125s 2581 27 infeasible 24 - 0.00000 - 353 130s 2710 32 0.00000 17 404 - 0.00000 - 353 135s 2826 32 infeasible 24 - 0.00000 - 355 140s 2940 40 0.00000 22 386 - 0.00000 - 356 145s 3062 46 infeasible 27 - 0.00000 - 356 150s 3194 46 infeasible 24 - 0.00000 - 356 155s 3320 36 infeasible 23 - 0.00000 - 356 160s 3426 28 0.00000 25 475 - 0.00000 - 357 165s 3562 33 0.00000 25 425 - 0.00000 - 356 170s 3685 26 0.00000 24 482 - 0.00000 - 358 175s 3815 14 infeasible 24 - 0.00000 - 357 180s 3930 27 0.00000 19 508 - 0.00000 - 358 185s 4027 20 infeasible 21 - 0.00000 - 360 190s 4143 24 0.00000 22 516 - 0.00000 - 361 195s 4263 22 0.00000 21 360 - 0.00000 - 361 200s 4405 26 infeasible 24 - 0.00000 - 360 205s 4515 16 infeasible 25 - 0.00000 - 362 210s 4615 12 infeasible 23 - 0.00000 - 364 215s 4721 10 0.00000 21 504 - 0.00000 - 365 220s 4829 8 infeasible 23 - 0.00000 - 366 225s 4950 7 infeasible 24 - 0.00000 - 366 230s Cutting planes: Zero half: 11 Explored 4988 nodes (1880764 simplex iterations) in 231.84 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 14:11:08 2012 Optimize a model with 5742 rows, 2166 columns and 17650 nonzeros Presolve time: 0.02s Presolved: 5742 rows, 2166 columns, 17650 nonzeros Variable types: 0 continuous, 2166 integer (2166 binary) Root relaxation: objective 0.000000e+00, 459 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 392 - 0.00000 - - 0s 0 0 0.00000 0 376 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 1s Explored 0 nodes (10018 simplex iterations) in 1.11 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