current bounds on the number of colors: 0 -- 208 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:34:02 2012 Optimize a model with 112632 rows, 22713 columns and 358904 nonzeros Presolve time: 0.38s Presolved: 112632 rows, 22713 columns, 358904 nonzeros Variable types: 0 continuous, 22713 integer (22713 binary) Root relaxation: objective 0.000000e+00, 923 iterations, 0.13 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 (1432 simplex iterations) in 0.68 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:34:04 2012 Optimize a model with 56420 rows, 11897 columns and 179452 nonzeros Presolve time: 0.17s Presolved: 56420 rows, 11897 columns, 179452 nonzeros Variable types: 0 continuous, 11897 integer (11897 binary) Root relaxation: objective 0.000000e+00, 720 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 (1205 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 -- 52 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:34:05 2012 Optimize a model with 28314 rows, 6489 columns and 89726 nonzeros Presolve time: 0.12s Presolved: 28314 rows, 6489 columns, 89726 nonzeros Variable types: 0 continuous, 6489 integer (6489 binary) Root relaxation: objective 0.000000e+00, 484 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 (894 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 12:34:06 2012 Optimize a model with 14261 rows, 3785 columns and 44863 nonzeros Presolve time: 0.05s Presolved: 14261 rows, 3785 columns, 44863 nonzeros Variable types: 0 continuous, 3785 integer (3785 binary) Root relaxation: objective 0.000000e+00, 435 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 (824 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 12:34:06 2012 Optimize a model with 6694 rows, 2329 columns and 20706 nonzeros Presolve time: 0.02s Presolved: 6694 rows, 2329 columns, 20706 nonzeros Variable types: 0 continuous, 2329 integer (2329 binary) Root relaxation: objective 0.000000e+00, 446 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 (2103 simplex iterations) in 0.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% current bounds on the number of colors: 0 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:34:06 2012 Optimize a model with 3451 rows, 1705 columns and 10353 nonzeros Presolve time: 0.01s Presolved: 3451 rows, 1705 columns, 10353 nonzeros Variable types: 0 continuous, 1705 integer (1705 binary) Root relaxation: objective 0.000000e+00, 488 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 (5316 simplex iterations) in 0.82 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:34:07 2012 Optimize a model with 4532 rows, 1913 columns and 13804 nonzeros Presolve time: 0.01s Presolved: 4532 rows, 1913 columns, 13804 nonzeros Variable types: 0 continuous, 1913 integer (1913 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 398 - 0.00000 - - 0s 0 0 0.00000 0 410 - 0.00000 - - 0s 0 0 0.00000 0 400 - 0.00000 - - 1s 0 0 0.00000 0 573 - 0.00000 - - 1s 0 0 0.00000 0 384 - 0.00000 - - 2s 0 0 0.00000 0 380 - 0.00000 - - 3s 0 0 0.00000 0 376 - 0.00000 - - 3s 0 0 0.00000 0 368 - 0.00000 - - 4s 0 0 0.00000 0 370 - 0.00000 - - 5s 0 0 0.00000 0 368 - 0.00000 - - 5s 0 0 0.00000 0 370 - 0.00000 - - 6s 0 0 0.00000 0 360 - 0.00000 - - 7s 0 0 0.00000 0 366 - 0.00000 - - 8s 0 0 0.00000 0 366 - 0.00000 - - 8s 0 2 0.00000 0 366 - 0.00000 - - 9s 14 12 0.00000 9 380 - 0.00000 - 396 10s 442 35 infeasible 15 - 0.00000 - 163 15s 825 42 0.00000 21 385 - 0.00000 - 161 20s 1148 57 infeasible 26 - 0.00000 - 170 25s 1205 54 0.00000 16 560 - 0.00000 - 167 33s 1206 54 0.00000 7 414 - 0.00000 - 167 36s 1208 56 0.00000 20 336 - 0.00000 - 167 40s 1210 57 0.00000 16 336 - 0.00000 - 167 45s 1212 58 0.00000 16 316 - 0.00000 - 166 50s 1214 60 0.00000 22 321 - 0.00000 - 166 55s 1217 62 0.00000 16 500 - 0.00000 - 166 62s 1220 64 infeasible 10 - 0.00000 - 238 65s 1227 68 0.00000 13 497 - 0.00000 - 238 70s 1317 46 0.00000 21 479 - 0.00000 - 246 75s 1449 18 0.00000 20 395 - 0.00000 - 253 80s 1590 19 infeasible 22 - 0.00000 - 259 85s 1746 41 0.00000 23 457 - 0.00000 - 264 90s 1916 59 infeasible 28 - 0.00000 - 267 95s 2072 45 0.00000 21 376 - 0.00000 - 272 100s 2206 43 infeasible 25 - 0.00000 - 278 105s 2348 57 infeasible 21 - 0.00000 - 280 110s 2490 47 infeasible 28 - 0.00000 - 284 115s 2629 58 infeasible 25 - 0.00000 - 288 120s 2753 54 0.00000 23 405 - 0.00000 - 293 125s 2882 57 0.00000 23 478 - 0.00000 - 297 130s 3007 50 0.00000 25 384 - 0.00000 - 300 135s 3172 49 infeasible 25 - 0.00000 - 302 140s 3335 44 0.00000 23 389 - 0.00000 - 304 145s 3472 35 infeasible 21 - 0.00000 - 307 150s 3641 44 0.00000 22 384 - 0.00000 - 307 155s 3794 41 0.00000 21 436 - 0.00000 - 308 160s 3943 36 infeasible 22 - 0.00000 - 309 165s 4089 32 infeasible 24 - 0.00000 - 311 170s 4243 30 infeasible 25 - 0.00000 - 311 175s 4409 28 infeasible 22 - 0.00000 - 311 180s 4569 38 infeasible 26 - 0.00000 - 312 185s 4735 44 0.00000 24 412 - 0.00000 - 312 190s 4892 35 infeasible 19 - 0.00000 - 312 195s 5019 38 0.00000 21 495 - 0.00000 - 314 200s 5156 31 0.00000 19 376 - 0.00000 - 315 205s 5319 40 infeasible 23 - 0.00000 - 315 210s 5461 24 infeasible 26 - 0.00000 - 316 215s 5608 19 infeasible 23 - 0.00000 - 316 220s 5759 10 infeasible 21 - 0.00000 - 316 225s 5891 10 infeasible 26 - 0.00000 - 318 230s 6023 14 0.00000 17 437 - 0.00000 - 319 235s 6168 9 infeasible 19 - 0.00000 - 320 240s 6309 6 0.00000 16 495 - 0.00000 - 320 245s Cutting planes: Gomory: 2 Zero half: 28 Explored 6364 nodes (2097526 simplex iterations) in 247.05 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:38:14 2012 Optimize a model with 5613 rows, 2121 columns and 17255 nonzeros Presolve time: 0.02s Presolved: 5613 rows, 2121 columns, 17255 nonzeros Variable types: 0 continuous, 2121 integer (2121 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 390 - 0.00000 - - 0s 0 0 0.00000 0 388 - 0.00000 - - 0s 0 0 0.00000 0 374 - 0.00000 - - 1s 0 0 0.00000 0 415 - 0.00000 - - 1s * 0 0 0 0.0000000 0.00000 0.0% - 1s Cutting planes: Gomory: 4 Clique: 1 Zero half: 281 Explored 0 nodes (14460 simplex iterations) in 1.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% optimal solution found: number of colors: 5