current bounds on the number of colors: 0 -- 188 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:12:20 2012 Optimize a model with 82438 rows, 18547 columns and 264422 nonzeros Presolve time: 0.26s Presolved: 82438 rows, 18547 columns, 264422 nonzeros Variable types: 0 continuous, 18547 integer (18547 binary) Root relaxation: objective 0.000000e+00, 786 iterations, 0.09 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 (1246 simplex iterations) in 0.48 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 -- 94 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:12:21 2012 Optimize a model with 41313 rows, 9711 columns and 132211 nonzeros Presolve time: 0.15s Presolved: 41313 rows, 9711 columns, 132211 nonzeros Variable types: 0 continuous, 9711 integer (9711 binary) Root relaxation: objective 0.000000e+00, 671 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 (1104 simplex iterations) in 0.25 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 -- 47 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:12:22 2012 Optimize a model with 20313 rows, 5199 columns and 64699 nonzeros Presolve time: 0.08s Presolved: 20313 rows, 5199 columns, 64699 nonzeros Variable types: 0 continuous, 5199 integer (5199 binary) Root relaxation: objective 0.000000e+00, 416 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 (758 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 -- 23 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:12:22 2012 Optimize a model with 9813 rows, 2943 columns and 30943 nonzeros Presolve time: 0.03s Presolved: 9813 rows, 2943 columns, 30943 nonzeros Variable types: 0 continuous, 2943 integer (2943 binary) Root relaxation: objective 0.000000e+00, 409 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 (752 simplex iterations) in 0.06 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:12:22 2012 Optimize a model with 4563 rows, 1815 columns and 14065 nonzeros Presolve time: 0.01s Presolved: 4563 rows, 1815 columns, 14065 nonzeros Variable types: 0 continuous, 1815 integer (1815 binary) Root relaxation: objective 0.000000e+00, 414 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 178 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 5 Clique: 10 Zero half: 63 Explored 0 nodes (4504 simplex iterations) in 0.33 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:12:23 2012 Optimize a model with 1938 rows, 1251 columns and 5626 nonzeros Presolve removed 188 rows and 188 columns Presolve time: 0.00s Presolved: 1750 rows, 1063 columns, 5250 nonzeros Variable types: 0 continuous, 1063 integer (1063 binary) Root relaxation: objective 0.000000e+00, 192 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 188 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (808 simplex iterations) in 0.02 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: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:12:23 2012 Optimize a model with 2813 rows, 1439 columns and 8439 nonzeros Presolve time: 0.01s Presolved: 2813 rows, 1439 columns, 8439 nonzeros Variable types: 0 continuous, 1439 integer (1439 binary) Root relaxation: objective 0.000000e+00, 426 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 372 - 0.00000 - - 0s 0 0 0.00000 0 424 - 0.00000 - - 0s 0 0 0.00000 0 497 - 0.00000 - - 0s 0 0 0.00000 0 525 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Clique: 1 Zero half: 572 Explored 0 nodes (8917 simplex iterations) in 1.28 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:12:24 2012 Optimize a model with 3688 rows, 1627 columns and 11252 nonzeros Presolve time: 0.01s Presolved: 3688 rows, 1627 columns, 11252 nonzeros Variable types: 0 continuous, 1627 integer (1627 binary) Root relaxation: objective 0.000000e+00, 413 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 366 - 0.00000 - - 0s 0 0 0.00000 0 354 - 0.00000 - - 0s 0 0 0.00000 0 364 - 0.00000 - - 0s 0 0 0.00000 0 504 - 0.00000 - - 0s 0 0 0.00000 0 455 - 0.00000 - - 1s 0 0 0.00000 0 390 - 0.00000 - - 2s 0 0 0.00000 0 429 - 0.00000 - - 2s 0 0 0.00000 0 429 - 0.00000 - - 3s 0 2 0.00000 0 429 - 0.00000 - - 4s 81 43 infeasible 20 - 0.00000 - 204 5s 605 111 0.00000 19 352 - 0.00000 - 125 10s 609 113 0.00000 14 312 - 0.00000 - 124 15s 612 115 0.00000 19 347 - 0.00000 - 124 20s 615 117 0.00000 12 358 - 0.00000 - 123 25s 736 134 0.00000 30 406 - 0.00000 - 212 30s 1149 80 infeasible 32 - 0.00000 - 203 35s 1557 144 infeasible 32 - 0.00000 - 200 40s 1959 128 infeasible 32 - 0.00000 - 199 45s 2382 131 infeasible 36 - 0.00000 - 197 50s 2778 139 infeasible 38 - 0.00000 - 197 55s 3164 147 0.00000 30 332 - 0.00000 - 198 60s 3571 154 infeasible 36 - 0.00000 - 198 65s 3943 184 infeasible 33 - 0.00000 - 198 70s 4369 196 infeasible 33 - 0.00000 - 196 75s 4757 186 infeasible 37 - 0.00000 - 197 80s 5126 239 infeasible 36 - 0.00000 - 197 85s 5543 260 0.00000 36 342 - 0.00000 - 196 90s 5937 234 infeasible 38 - 0.00000 - 196 95s 6338 295 0.00000 36 332 - 0.00000 - 195 100s 6705 292 0.00000 34 334 - 0.00000 - 196 105s 7032 311 infeasible 37 - 0.00000 - 197 110s 7446 351 0.00000 33 334 - 0.00000 - 197 115s 7820 341 0.00000 34 357 - 0.00000 - 197 120s 8185 400 0.00000 35 308 - 0.00000 - 198 125s 8518 421 0.00000 35 399 - 0.00000 - 198 130s 8851 414 0.00000 42 326 - 0.00000 - 199 135s 9205 406 0.00000 31 320 - 0.00000 - 200 140s 9590 405 infeasible 33 - 0.00000 - 200 145s 9966 381 infeasible 42 - 0.00000 - 200 150s 10338 389 infeasible 34 - 0.00000 - 200 155s 10695 382 0.00000 29 330 - 0.00000 - 200 160s 11143 398 infeasible 34 - 0.00000 - 199 165s 11565 400 infeasible 38 - 0.00000 - 199 170s 11949 384 infeasible 35 - 0.00000 - 199 175s 12330 417 infeasible 35 - 0.00000 - 199 180s 12705 414 infeasible 35 - 0.00000 - 199 185s 13065 420 infeasible 36 - 0.00000 - 199 190s 13469 450 0.00000 37 306 - 0.00000 - 199 195s 13863 422 infeasible 38 - 0.00000 - 199 200s 14258 407 infeasible 31 - 0.00000 - 199 205s 14607 456 infeasible 33 - 0.00000 - 199 210s 14981 454 0.00000 33 332 - 0.00000 - 199 215s 15374 465 infeasible 39 - 0.00000 - 199 220s 15766 473 infeasible 35 - 0.00000 - 199 225s 16096 453 0.00000 37 336 - 0.00000 - 200 230s 16419 418 0.00000 34 397 - 0.00000 - 201 235s 16776 413 infeasible 33 - 0.00000 - 201 240s 17144 403 infeasible 38 - 0.00000 - 201 245s 17540 417 infeasible 43 - 0.00000 - 201 250s 17897 404 infeasible 39 - 0.00000 - 201 255s 18302 395 0.00000 35 330 - 0.00000 - 201 260s 18718 391 infeasible 36 - 0.00000 - 201 265s 19120 411 infeasible 34 - 0.00000 - 201 270s 19528 459 infeasible 35 - 0.00000 - 201 275s 19906 459 0.00000 32 316 - 0.00000 - 201 280s 20295 428 infeasible 37 - 0.00000 - 201 285s 20718 421 0.00000 27 330 - 0.00000 - 201 290s Cutting planes: Clique: 1 Zero half: 17 Explored 21032 nodes (4238734 simplex iterations) in 293.64 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - optimal solution found: number of colors: 5