current bounds on the number of colors: 0 -- 209 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:55:04 2012 Optimize a model with 120537 rows, 22893 columns and 382720 nonzeros Presolve time: 0.41s Presolved: 120537 rows, 22893 columns, 382720 nonzeros Variable types: 0 continuous, 22893 integer (22893 binary) Root relaxation: objective 0.000000e+00, 547 iterations, 0.15 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 (965 simplex iterations) in 0.72 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 -- 104 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:55:06 2012 Optimize a model with 60373 rows, 12025 columns and 191360 nonzeros Presolve time: 0.18s Presolved: 60373 rows, 12025 columns, 191360 nonzeros Variable types: 0 continuous, 12025 integer (12025 binary) Root relaxation: objective 0.000000e+00, 656 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 (1189 simplex iterations) in 0.34 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 -- 52 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:55:07 2012 Optimize a model with 30291 rows, 6591 columns and 95680 nonzeros Presolve time: 0.13s Presolved: 30291 rows, 6591 columns, 95680 nonzeros Variable types: 0 continuous, 6591 integer (6591 binary) Root relaxation: objective 0.000000e+00, 502 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 (1157 simplex iterations) in 0.21 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 12:55:08 2012 Optimize a model with 15250 rows, 3874 columns and 47840 nonzeros Presolve time: 0.05s Presolved: 15250 rows, 3874 columns, 47840 nonzeros Variable types: 0 continuous, 3874 integer (3874 binary) Root relaxation: objective 0.000000e+00, 428 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 (1009 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 -- 13 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:55:08 2012 Optimize a model with 7151 rows, 2411 columns and 22080 nonzeros Presolve time: 0.02s Presolved: 7151 rows, 2411 columns, 22080 nonzeros Variable types: 0 continuous, 2411 integer (2411 binary) Root relaxation: objective 0.000000e+00, 467 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 (1779 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 12:55:08 2012 Optimize a model with 3680 rows, 1784 columns and 11040 nonzeros Presolve time: 0.01s Presolved: 3680 rows, 1784 columns, 11040 nonzeros Variable types: 0 continuous, 1784 integer (1784 binary) Root relaxation: objective 0.000000e+00, 468 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 414 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5826 simplex iterations) in 0.86 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 12:55:09 2012 Optimize a model with 4837 rows, 1993 columns and 14720 nonzeros Presolve time: 0.01s Presolved: 4837 rows, 1993 columns, 14720 nonzeros Variable types: 0 continuous, 1993 integer (1993 binary) Root relaxation: objective 0.000000e+00, 450 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 408 - 0.00000 - - 0s 0 0 0.00000 0 408 - 0.00000 - - 0s 0 0 0.00000 0 421 - 0.00000 - - 1s 0 0 0.00000 0 542 - 0.00000 - - 1s 0 0 0.00000 0 378 - 0.00000 - - 3s 0 0 0.00000 0 378 - 0.00000 - - 4s 0 0 0.00000 0 383 - 0.00000 - - 5s 0 0 0.00000 0 372 - 0.00000 - - 6s 0 0 0.00000 0 370 - 0.00000 - - 6s 0 0 0.00000 0 366 - 0.00000 - - 7s 0 0 0.00000 0 375 - 0.00000 - - 8s 0 0 0.00000 0 396 - 0.00000 - - 9s 0 0 0.00000 0 395 - 0.00000 - - 10s 0 2 0.00000 0 395 - 0.00000 - - 11s 169 45 infeasible 24 - 0.00000 - 226 15s 432 58 0.00000 14 364 - 0.00000 - 200 20s 777 69 infeasible 16 - 0.00000 - 179 25s 907 80 0.00000 17 541 - 0.00000 - 178 30s 909 81 0.00000 10 368 - 0.00000 - 178 36s 911 83 0.00000 10 358 - 0.00000 - 177 40s 913 84 0.00000 18 385 - 0.00000 - 177 46s 914 85 0.00000 16 387 - 0.00000 - 177 50s 916 86 0.00000 15 338 - 0.00000 - 176 56s 919 88 0.00000 9 355 - 0.00000 - 176 60s 926 91 0.00000 14 537 - 0.00000 - 268 65s 961 90 0.00000 19 483 - 0.00000 - 273 70s 1056 71 infeasible 28 - 0.00000 - 282 75s 1160 33 0.00000 24 429 - 0.00000 - 291 80s 1256 23 infeasible 23 - 0.00000 - 301 85s 1340 19 infeasible 22 - 0.00000 - 310 90s 1436 9 infeasible 27 - 0.00000 - 316 95s 1535 8 0.00000 17 520 - 0.00000 - 321 100s 1612 5 infeasible 20 - 0.00000 - 328 105s 1708 9 infeasible 26 - 0.00000 - 332 110s 1791 6 0.00000 20 474 - 0.00000 - 338 115s 1856 7 0.00000 21 380 - 0.00000 - 344 120s 1931 8 0.00000 20 510 - 0.00000 - 351 125s 2035 2 infeasible 22 - 0.00000 - 352 130s Cutting planes: Gomory: 1 Zero half: 25 Explored 2044 nodes (783266 simplex iterations) in 130.54 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 12:57:20 2012 Optimize a model with 5994 rows, 2202 columns and 18400 nonzeros Presolve time: 0.02s Presolved: 5994 rows, 2202 columns, 18400 nonzeros Variable types: 0 continuous, 2202 integer (2202 binary) Root relaxation: objective 0.000000e+00, 462 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 207 - 0.00000 - - 0s 0 0 0.00000 0 353 - 0.00000 - - 1s 0 0 0.00000 0 379 - 0.00000 - - 2s 0 0 0.00000 0 501 - 0.00000 - - 2s 0 0 0.00000 0 460 - 0.00000 - - 4s 0 0 0.00000 0 485 - 0.00000 - - 4s 0 0 0.00000 0 485 - 0.00000 - - 5s * 0 0 0 0.0000000 0.00000 0.0% - 6s Cutting planes: Zero half: 26 Explored 1 nodes (34116 simplex iterations) in 6.37 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