current bounds on the number of colors: 0 -- 205 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:23:30 2012 Optimize a model with 107407 rows, 21961 columns and 342516 nonzeros Presolve time: 0.36s Presolved: 107407 rows, 21961 columns, 342516 nonzeros Variable types: 0 continuous, 21961 integer (21961 binary) Root relaxation: objective 0.000000e+00, 829 iterations, 0.12 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 (1357 simplex iterations) in 0.65 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 -- 102 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:23:32 2012 Optimize a model with 53806 rows, 11506 columns and 171258 nonzeros Presolve time: 0.17s Presolved: 53806 rows, 11506 columns, 171258 nonzeros Variable types: 0 continuous, 11506 integer (11506 binary) Root relaxation: objective 0.000000e+00, 550 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 (970 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 -- 51 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:23:33 2012 Optimize a model with 26480 rows, 6176 columns and 83950 nonzeros Presolve time: 0.11s Presolved: 26480 rows, 6176 columns, 83950 nonzeros Variable types: 0 continuous, 6176 integer (6176 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (852 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:23:33 2012 Optimize a model with 12817 rows, 3511 columns and 40296 nonzeros Presolve time: 0.04s Presolved: 12817 rows, 3511 columns, 40296 nonzeros Variable types: 0 continuous, 3511 integer (3511 binary) Root relaxation: objective 0.000000e+00, 424 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 (802 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:23:33 2012 Optimize a model with 6511 rows, 2281 columns and 20148 nonzeros Presolve time: 0.02s Presolved: 6511 rows, 2281 columns, 20148 nonzeros Variable types: 0 continuous, 2281 integer (2281 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1996 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 11:23:33 2012 Optimize a model with 3358 rows, 1666 columns and 10074 nonzeros Presolve time: 0.01s Presolved: 3358 rows, 1666 columns, 10074 nonzeros Variable types: 0 continuous, 1666 integer (1666 binary) Root relaxation: objective 0.000000e+00, 466 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 410 - 0.00000 - - 0s 0 0 0.00000 0 410 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5840 simplex iterations) in 0.77 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:23:34 2012 Optimize a model with 4409 rows, 1871 columns and 13432 nonzeros Presolve time: 0.01s Presolved: 4409 rows, 1871 columns, 13432 nonzeros Variable types: 0 continuous, 1871 integer (1871 binary) Root relaxation: objective 0.000000e+00, 437 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 396 - 0.00000 - - 0s 0 0 0.00000 0 418 - 0.00000 - - 1s 0 0 0.00000 0 490 - 0.00000 - - 1s 0 0 0.00000 0 346 - 0.00000 - - 2s 0 0 0.00000 0 340 - 0.00000 - - 3s 0 0 0.00000 0 352 - 0.00000 - - 4s 0 0 0.00000 0 332 - 0.00000 - - 4s 0 0 0.00000 0 332 - 0.00000 - - 5s 0 0 0.00000 0 350 - 0.00000 - - 6s 0 0 0.00000 0 436 - 0.00000 - - 7s 0 0 0.00000 0 390 - 0.00000 - - 8s 0 2 0.00000 0 328 - 0.00000 - - 9s 17 17 0.00000 13 456 - 0.00000 - 441 10s 374 30 infeasible 16 - 0.00000 - 186 15s 780 53 0.00000 24 320 - 0.00000 - 167 20s 805 56 0.00000 21 488 - 0.00000 - 166 27s 806 56 0.00000 13 511 - 0.00000 - 165 30s 808 58 0.00000 11 502 - 0.00000 - 165 35s 811 60 0.00000 11 502 - 0.00000 - 164 41s 870 51 infeasible 25 - 0.00000 - 222 45s 1022 31 0.00000 25 417 - 0.00000 - 237 50s 1163 58 0.00000 33 464 - 0.00000 - 249 55s 1301 74 infeasible 28 - 0.00000 - 260 60s 1437 114 infeasible 33 - 0.00000 - 268 65s 1583 122 0.00000 29 471 - 0.00000 - 274 70s 1710 127 infeasible 31 - 0.00000 - 282 75s 1850 125 infeasible 27 - 0.00000 - 288 80s 1980 131 infeasible 28 - 0.00000 - 294 85s 2109 118 infeasible 29 - 0.00000 - 299 90s 2237 128 infeasible 32 - 0.00000 - 303 95s 2370 125 infeasible 26 - 0.00000 - 307 100s 2507 118 infeasible 31 - 0.00000 - 309 105s 2656 115 infeasible 31 - 0.00000 - 311 110s 2772 111 0.00000 23 473 - 0.00000 - 315 115s 2910 109 0.00000 33 466 - 0.00000 - 317 120s 3054 113 infeasible 27 - 0.00000 - 317 125s 3183 110 0.00000 33 454 - 0.00000 - 320 130s 3313 102 0.00000 27 401 - 0.00000 - 322 135s 3422 87 0.00000 26 480 - 0.00000 - 326 140s 3547 68 infeasible 29 - 0.00000 - 328 145s 3667 88 0.00000 27 472 - 0.00000 - 331 150s 3802 93 infeasible 30 - 0.00000 - 331 155s 3961 88 infeasible 30 - 0.00000 - 330 160s 4108 97 infeasible 30 - 0.00000 - 330 165s 4248 89 0.00000 27 497 - 0.00000 - 330 170s 4373 76 infeasible 29 - 0.00000 - 332 175s 4510 65 infeasible 31 - 0.00000 - 333 180s 4631 52 infeasible 28 - 0.00000 - 334 185s 4760 45 0.00000 25 503 - 0.00000 - 335 190s 4880 45 infeasible 28 - 0.00000 - 336 195s 5002 41 infeasible 29 - 0.00000 - 337 200s 5120 25 infeasible 30 - 0.00000 - 338 205s 5243 26 0.00000 28 477 - 0.00000 - 339 210s 5372 11 0.00000 28 364 - 0.00000 - 340 215s 5515 6 infeasible 28 - 0.00000 - 340 220s Cutting planes: Gomory: 1 Clique: 1 Zero half: 23 Explored 5544 nodes (1941578 simplex iterations) in 221.03 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:27:15 2012 Optimize a model with 5460 rows, 2076 columns and 16790 nonzeros Presolve time: 0.01s Presolved: 5460 rows, 2076 columns, 16790 nonzeros Variable types: 0 continuous, 2076 integer (2076 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.00000 0 386 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 5 Clique: 177 MIR: 5 Zero half: 499 Explored 0 nodes (4906 simplex iterations) in 0.45 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