current bounds on the number of colors: 0 -- 206 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:47:00 2012 Optimize a model with 112373 rows, 22307 columns and 357719 nonzeros Presolve time: 0.37s Presolved: 112373 rows, 22307 columns, 357719 nonzeros Variable types: 0 continuous, 22307 integer (22307 binary) Root relaxation: objective 0.000000e+00, 528 iterations, 0.14 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 (963 simplex iterations) in 0.66 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 -- 103 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:47:02 2012 Optimize a model with 55745 rows, 11595 columns and 177123 nonzeros Presolve time: 0.17s Presolved: 55745 rows, 11595 columns, 177123 nonzeros Variable types: 0 continuous, 11595 integer (11595 binary) Root relaxation: objective 0.000000e+00, 715 iterations, 0.06 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 (1215 simplex iterations) in 0.30 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 -- 51 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:47:03 2012 Optimize a model with 27431 rows, 6239 columns and 86825 nonzeros Presolve time: 0.11s Presolved: 27431 rows, 6239 columns, 86825 nonzeros Variable types: 0 continuous, 6239 integer (6239 binary) Root relaxation: objective 0.000000e+00, 454 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 (854 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 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:47:04 2012 Optimize a model with 13274 rows, 3561 columns and 41676 nonzeros Presolve time: 0.04s Presolved: 13274 rows, 3561 columns, 41676 nonzeros Variable types: 0 continuous, 3561 integer (3561 binary) Root relaxation: objective 0.000000e+00, 431 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 (840 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 11:47:04 2012 Optimize a model with 6740 rows, 2325 columns and 20838 nonzeros Presolve time: 0.02s Presolved: 6740 rows, 2325 columns, 20838 nonzeros Variable types: 0 continuous, 2325 integer (2325 binary) Root relaxation: objective 0.000000e+00, 454 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 120 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2677 simplex iterations) in 0.12 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 11:47:04 2012 Optimize a model with 3473 rows, 1707 columns and 10419 nonzeros Presolve time: 0.01s Presolved: 3473 rows, 1707 columns, 10419 nonzeros Variable types: 0 continuous, 1707 integer (1707 binary) Root relaxation: objective 0.000000e+00, 485 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 408 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5754 simplex iterations) in 0.79 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 11:47:05 2012 Optimize a model with 4562 rows, 1913 columns and 13892 nonzeros Presolve time: 0.01s Presolved: 4562 rows, 1913 columns, 13892 nonzeros Variable types: 0 continuous, 1913 integer (1913 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.00000 0 400 - 0.00000 - - 0s 0 0 0.00000 0 400 - 0.00000 - - 0s 0 0 0.00000 0 394 - 0.00000 - - 1s 0 0 0.00000 0 496 - 0.00000 - - 1s 0 0 0.00000 0 383 - 0.00000 - - 2s 0 0 0.00000 0 375 - 0.00000 - - 2s 0 0 0.00000 0 395 - 0.00000 - - 3s 0 0 0.00000 0 374 - 0.00000 - - 4s 0 0 0.00000 0 374 - 0.00000 - - 4s 0 0 0.00000 0 376 - 0.00000 - - 5s 0 0 0.00000 0 372 - 0.00000 - - 5s 0 2 0.00000 0 372 - 0.00000 - - 6s 274 44 0.00000 13 372 - 0.00000 - 165 10s 611 80 0.00000 16 578 - 0.00000 - 139 15s 613 81 0.00000 18 364 - 0.00000 - 138 20s 615 83 0.00000 14 364 - 0.00000 - 138 25s 618 85 0.00000 14 370 - 0.00000 - 137 30s 737 92 0.00000 25 405 - 0.00000 - 221 35s 914 66 0.00000 26 370 - 0.00000 - 233 40s 1078 44 infeasible 24 - 0.00000 - 244 45s 1227 41 infeasible 23 - 0.00000 - 255 50s 1402 64 infeasible 25 - 0.00000 - 260 55s 1540 48 infeasible 21 - 0.00000 - 269 60s 1718 80 0.00000 22 410 - 0.00000 - 270 65s 1870 76 infeasible 19 - 0.00000 - 273 70s 2010 82 infeasible 29 - 0.00000 - 278 75s 2171 81 0.00000 27 384 - 0.00000 - 280 80s 2350 78 0.00000 21 423 - 0.00000 - 280 85s 2543 95 0.00000 30 384 - 0.00000 - 280 90s 2731 93 infeasible 24 - 0.00000 - 279 95s 2875 91 infeasible 27 - 0.00000 - 283 100s 3070 85 infeasible 28 - 0.00000 - 282 105s 3211 86 infeasible 28 - 0.00000 - 285 110s 3381 72 0.00000 27 486 - 0.00000 - 285 115s 3536 65 infeasible 23 - 0.00000 - 287 120s 3711 60 0.00000 16 372 - 0.00000 - 288 125s 3869 62 infeasible 20 - 0.00000 - 288 130s 4011 68 infeasible 24 - 0.00000 - 291 135s 4165 52 infeasible 21 - 0.00000 - 292 140s 4327 60 0.00000 23 378 - 0.00000 - 292 145s 4467 56 0.00000 17 390 - 0.00000 - 294 150s 4623 54 0.00000 25 444 - 0.00000 - 294 155s 4770 45 infeasible 28 - 0.00000 - 295 160s 4902 45 infeasible 24 - 0.00000 - 297 165s 5046 33 infeasible 22 - 0.00000 - 298 170s 5197 24 infeasible 23 - 0.00000 - 298 175s 5333 16 infeasible 21 - 0.00000 - 300 180s 5474 13 0.00000 22 447 - 0.00000 - 301 185s 5609 16 0.00000 22 374 - 0.00000 - 302 190s 5751 12 infeasible 22 - 0.00000 - 302 195s 5920 3 infeasible 29 - 0.00000 - 302 200s Cutting planes: Gomory: 1 Zero half: 23 Explored 6050 nodes (1869551 simplex iterations) in 204.43 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 11:50:30 2012 Optimize a model with 5651 rows, 2119 columns and 17365 nonzeros Presolve time: 0.02s Presolved: 5651 rows, 2119 columns, 17365 nonzeros Variable types: 0 continuous, 2119 integer (2119 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 236 - 0.00000 - - 0s 0 0 0.00000 0 337 - 0.00000 - - 0s 0 0 0.00000 0 350 - 0.00000 - - 2s 0 0 0.00000 0 540 - 0.00000 - - 2s 0 0 0.00000 0 441 - 0.00000 - - 3s H 0 0 0.0000000 0.00000 0.0% - 3s Explored 0 nodes (18987 simplex iterations) in 3.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% optimal solution found: number of colors: 5