current bounds on the number of colors: 0 -- 200 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:05:27 2012 Optimize a model with 97900 rows, 20977 columns and 313100 nonzeros Presolve time: 0.32s Presolved: 97900 rows, 20977 columns, 313100 nonzeros Variable types: 0 continuous, 20977 integer (20977 binary) Root relaxation: objective 0.000000e+00, 744 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 (1195 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 -- 100 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:05:29 2012 Optimize a model with 49050 rows, 10977 columns and 156550 nonzeros Presolve time: 0.16s Presolved: 49050 rows, 10977 columns, 156550 nonzeros Variable types: 0 continuous, 10977 integer (10977 binary) Root relaxation: objective 0.000000e+00, 533 iterations, 0.03 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 (952 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 -- 50 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:05:30 2012 Optimize a model with 24625 rows, 5977 columns and 78275 nonzeros Presolve time: 0.10s Presolved: 24625 rows, 5977 columns, 78275 nonzeros Variable types: 0 continuous, 5977 integer (5977 binary) Root relaxation: objective 0.000000e+00, 455 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 (846 simplex iterations) in 0.15 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 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:05:30 2012 Optimize a model with 11924 rows, 3377 columns and 37572 nonzeros Presolve time: 0.04s Presolved: 11924 rows, 3377 columns, 37572 nonzeros Variable types: 0 continuous, 3377 integer (3377 binary) Root relaxation: objective 0.000000e+00, 422 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 (783 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:05:31 2012 Optimize a model with 6062 rows, 2177 columns and 18786 nonzeros Presolve time: 0.02s Presolved: 6062 rows, 2177 columns, 18786 nonzeros Variable types: 0 continuous, 2177 integer (2177 binary) Root relaxation: objective 0.000000e+00, 425 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 (1842 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:05:31 2012 Optimize a model with 3131 rows, 1577 columns and 9393 nonzeros Presolve time: 0.01s Presolved: 3131 rows, 1577 columns, 9393 nonzeros Variable types: 0 continuous, 1577 integer (1577 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 394 - 0.00000 - - 0s 0 0 0.00000 0 392 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5677 simplex iterations) in 0.75 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 09:05:32 2012 Optimize a model with 4108 rows, 1777 columns and 12524 nonzeros Presolve time: 0.01s Presolved: 4108 rows, 1777 columns, 12524 nonzeros Variable types: 0 continuous, 1777 integer (1777 binary) Root relaxation: objective 0.000000e+00, 449 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 388 - 0.00000 - - 0s 0 0 0.00000 0 380 - 0.00000 - - 0s 0 0 0.00000 0 468 - 0.00000 - - 0s 0 0 0.00000 0 376 - 0.00000 - - 1s 0 0 0.00000 0 372 - 0.00000 - - 2s 0 0 0.00000 0 366 - 0.00000 - - 2s 0 0 0.00000 0 366 - 0.00000 - - 3s 0 0 0.00000 0 358 - 0.00000 - - 3s 0 0 0.00000 0 362 - 0.00000 - - 4s 0 0 0.00000 0 354 - 0.00000 - - 5s 0 0 0.00000 0 364 - 0.00000 - - 5s 0 0 0.00000 0 356 - 0.00000 - - 6s 0 0 0.00000 0 350 - 0.00000 - - 6s 0 0 0.00000 0 348 - 0.00000 - - 7s 0 0 0.00000 0 371 - 0.00000 - - 8s 0 0 0.00000 0 355 - 0.00000 - - 8s 0 2 0.00000 0 355 - 0.00000 - - 8s 88 24 0.00000 12 402 - 0.00000 - 173 10s 576 100 0.00000 19 310 - 0.00000 - 148 15s 607 102 0.00000 10 355 - 0.00000 - 144 20s 611 105 0.00000 9 335 - 0.00000 - 143 26s 613 106 0.00000 11 318 - 0.00000 - 143 31s 615 107 0.00000 8 316 - 0.00000 - 142 35s 618 109 0.00000 12 328 - 0.00000 - 142 41s 764 123 0.00000 30 366 - 0.00000 - 269 45s 1007 73 infeasible 31 - 0.00000 - 267 50s 1257 127 infeasible 32 - 0.00000 - 263 55s 1515 169 0.00000 25 384 - 0.00000 - 260 60s 1731 143 infeasible 30 - 0.00000 - 265 65s 1958 128 infeasible 31 - 0.00000 - 267 70s 2187 109 0.00000 25 344 - 0.00000 - 269 75s 2435 115 infeasible 25 - 0.00000 - 267 80s 2687 107 0.00000 24 426 - 0.00000 - 266 85s 2929 87 infeasible 29 - 0.00000 - 266 90s 3159 95 0.00000 24 466 - 0.00000 - 266 95s 3378 74 infeasible 32 - 0.00000 - 268 100s 3601 89 infeasible 32 - 0.00000 - 268 105s 3826 94 infeasible 33 - 0.00000 - 269 110s 4062 104 0.00000 29 358 - 0.00000 - 268 115s 4292 96 0.00000 26 362 - 0.00000 - 268 120s 4520 102 infeasible 31 - 0.00000 - 268 125s 4808 100 infeasible 26 - 0.00000 - 266 130s 5058 102 0.00000 28 373 - 0.00000 - 266 135s 5301 99 0.00000 26 443 - 0.00000 - 265 140s 5529 95 0.00000 31 358 - 0.00000 - 266 145s 5736 80 infeasible 24 - 0.00000 - 266 150s 5953 57 infeasible 28 - 0.00000 - 267 155s 6169 57 0.00000 31 454 - 0.00000 - 268 160s 6365 43 infeasible 28 - 0.00000 - 269 165s 6584 40 infeasible 24 - 0.00000 - 269 170s 6845 51 infeasible 30 - 0.00000 - 268 175s 7115 47 infeasible 33 - 0.00000 - 268 180s 7336 42 0.00000 32 373 - 0.00000 - 268 185s 7587 37 infeasible 30 - 0.00000 - 268 190s 7811 33 infeasible 28 - 0.00000 - 268 195s 8028 24 0.00000 24 470 - 0.00000 - 269 200s 8230 14 infeasible 27 - 0.00000 - 269 205s 8473 15 infeasible 34 - 0.00000 - 269 210s 8732 4 infeasible 26 - 0.00000 - 268 215s Cutting planes: Gomory: 1 Zero half: 18 Explored 8843 nodes (2442736 simplex iterations) in 217.85 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 09:09:10 2012 Optimize a model with 5085 rows, 1977 columns and 15655 nonzeros Presolve time: 0.01s Presolved: 5085 rows, 1977 columns, 15655 nonzeros Variable types: 0 continuous, 1977 integer (1977 binary) Root relaxation: objective 0.000000e+00, 440 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 (5138 simplex iterations) in 0.44 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