current bounds on the number of colors: 0 -- 190 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:07:14 2012 Optimize a model with 84170 rows, 18934 columns and 269990 nonzeros Presolve time: 0.27s Presolved: 84170 rows, 18934 columns, 269990 nonzeros Variable types: 0 continuous, 18934 integer (18934 binary) Root relaxation: objective 0.000000e+00, 800 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 (1238 simplex iterations) in 0.49 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 -- 95 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:07:15 2012 Optimize a model with 41738 rows, 9814 columns and 133574 nonzeros Presolve time: 0.15s Presolved: 41738 rows, 9814 columns, 133574 nonzeros Variable types: 0 continuous, 9814 integer (9814 binary) Root relaxation: objective 0.000000e+00, 563 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 (927 simplex iterations) in 0.23 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 05:07:16 2012 Optimize a model with 20522 rows, 5254 columns and 65366 nonzeros Presolve time: 0.08s Presolved: 20522 rows, 5254 columns, 65366 nonzeros Variable types: 0 continuous, 5254 integer (5254 binary) Root relaxation: objective 0.000000e+00, 405 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 (744 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 05:07:17 2012 Optimize a model with 9914 rows, 2974 columns and 31262 nonzeros Presolve time: 0.03s Presolved: 9914 rows, 2974 columns, 31262 nonzeros Variable types: 0 continuous, 2974 integer (2974 binary) Root relaxation: objective 0.000000e+00, 389 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 (753 simplex iterations) in 0.05 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 05:07:17 2012 Optimize a model with 4610 rows, 1834 columns and 14210 nonzeros Presolve time: 0.01s Presolved: 4610 rows, 1834 columns, 14210 nonzeros Variable types: 0 continuous, 1834 integer (1834 binary) Root relaxation: objective 0.000000e+00, 411 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 332 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2129 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:07:17 2012 Optimize a model with 1958 rows, 1264 columns and 5684 nonzeros Presolve removed 190 rows and 190 columns Presolve time: 0.00s Presolved: 1768 rows, 1074 columns, 5304 nonzeros Variable types: 0 continuous, 1074 integer (1074 binary) Root relaxation: objective 0.000000e+00, 197 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 190 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (813 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 05:07:17 2012 Optimize a model with 2842 rows, 1454 columns and 8526 nonzeros Presolve time: 0.01s Presolved: 2842 rows, 1454 columns, 8526 nonzeros Variable types: 0 continuous, 1454 integer (1454 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.00000 0 374 - 0.00000 - - 0s 0 0 0.00000 0 382 - 0.00000 - - 0s 0 0 0.00000 0 374 - 0.00000 - - 0s 0 0 0.00000 0 537 - 0.00000 - - 1s 0 0 0.00000 0 533 - 0.00000 - - 1s 0 0 0.00000 0 528 - 0.00000 - - 2s 0 0 0.00000 0 488 - 0.00000 - - 4s 0 0 0.00000 0 535 - 0.00000 - - 5s 0 0 0.00000 0 537 - 0.00000 - - 5s 0 0 0.00000 0 380 - 0.00000 - - 6s 0 0 0.00000 0 500 - 0.00000 - - 7s 0 0 0.00000 0 500 - 0.00000 - - 7s 0 2 0.00000 0 500 - 0.00000 - - 7s Cutting planes: Gomory: 1 Clique: 1 Zero half: 49 Explored 3 nodes (38389 simplex iterations) in 7.96 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: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:07:25 2012 Optimize a model with 3726 rows, 1644 columns and 11368 nonzeros Presolve time: 0.01s Presolved: 3726 rows, 1644 columns, 11368 nonzeros Variable types: 0 continuous, 1644 integer (1644 binary) Root relaxation: objective 0.000000e+00, 420 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 358 - 0.00000 - - 0s 0 0 0.00000 0 360 - 0.00000 - - 0s 0 0 0.00000 0 350 - 0.00000 - - 0s 0 0 0.00000 0 422 - 0.00000 - - 0s 0 0 0.00000 0 344 - 0.00000 - - 1s 0 0 0.00000 0 326 - 0.00000 - - 1s 0 0 0.00000 0 330 - 0.00000 - - 2s 0 0 0.00000 0 324 - 0.00000 - - 2s 0 0 0.00000 0 326 - 0.00000 - - 2s 0 0 0.00000 0 314 - 0.00000 - - 3s 0 0 0.00000 0 314 - 0.00000 - - 3s 0 0 0.00000 0 310 - 0.00000 - - 4s 0 0 0.00000 0 308 - 0.00000 - - 4s 0 0 0.00000 0 304 - 0.00000 - - 4s 0 0 0.00000 0 302 - 0.00000 - - 5s 0 0 0.00000 0 304 - 0.00000 - - 5s 0 0 0.00000 0 304 - 0.00000 - - 5s 0 2 0.00000 0 304 - 0.00000 - - 6s 604 203 0.00000 15 489 - 0.00000 - 91.2 10s 609 206 0.00000 19 300 - 0.00000 - 90.5 15s 613 209 0.00000 19 284 - 0.00000 - 89.9 20s 932 192 infeasible 26 - 0.00000 - 170 25s 1489 260 0.00000 29 333 - 0.00000 - 161 30s 1991 294 infeasible 31 - 0.00000 - 163 35s 2482 339 infeasible 34 - 0.00000 - 165 40s 2978 385 0.00000 27 326 - 0.00000 - 165 45s 3553 446 infeasible 35 - 0.00000 - 162 50s 4142 479 0.00000 31 330 - 0.00000 - 160 55s 4667 504 infeasible 25 - 0.00000 - 161 60s 5225 526 0.00000 25 326 - 0.00000 - 160 65s 5852 559 0.00000 28 316 - 0.00000 - 158 70s 6413 584 infeasible 28 - 0.00000 - 157 75s 6929 602 infeasible 29 - 0.00000 - 158 80s 7482 599 infeasible 26 - 0.00000 - 158 85s 8026 611 0.00000 31 316 - 0.00000 - 158 90s 8536 619 infeasible 29 - 0.00000 - 158 95s 9048 649 infeasible 36 - 0.00000 - 159 100s 9615 660 0.00000 28 332 - 0.00000 - 159 105s 10196 723 infeasible 29 - 0.00000 - 158 110s 10733 726 0.00000 27 326 - 0.00000 - 158 115s 11255 740 0.00000 30 320 - 0.00000 - 158 120s 11868 749 infeasible 27 - 0.00000 - 158 125s 12367 756 0.00000 32 320 - 0.00000 - 158 130s 12809 766 0.00000 33 321 - 0.00000 - 159 135s 13318 753 infeasible 33 - 0.00000 - 160 140s 13816 745 0.00000 30 328 - 0.00000 - 160 145s 14373 752 0.00000 27 304 - 0.00000 - 160 150s 14873 738 0.00000 26 336 - 0.00000 - 160 155s 15407 752 infeasible 26 - 0.00000 - 160 160s 15924 775 0.00000 21 344 - 0.00000 - 160 165s 16483 796 infeasible 31 - 0.00000 - 160 170s 17032 825 infeasible 29 - 0.00000 - 160 175s 17549 794 infeasible 30 - 0.00000 - 160 180s 18069 804 0.00000 28 310 - 0.00000 - 160 185s 18579 784 infeasible 30 - 0.00000 - 160 190s 19081 798 0.00000 31 349 - 0.00000 - 161 195s 19608 765 infeasible 28 - 0.00000 - 161 200s 20108 755 infeasible 27 - 0.00000 - 161 205s 20655 748 infeasible 33 - 0.00000 - 161 210s 21184 733 infeasible 35 - 0.00000 - 161 215s 21725 718 0.00000 22 328 - 0.00000 - 161 220s 22246 713 infeasible 27 - 0.00000 - 161 225s 22777 706 0.00000 22 310 - 0.00000 - 161 230s 23350 691 0.00000 24 324 - 0.00000 - 161 235s 23883 716 infeasible 28 - 0.00000 - 161 240s 24409 696 0.00000 26 324 - 0.00000 - 161 245s 24913 672 0.00000 27 336 - 0.00000 - 161 250s 25444 655 infeasible 25 - 0.00000 - 161 255s 25972 651 0.00000 29 312 - 0.00000 - 161 260s 26476 609 0.00000 25 330 - 0.00000 - 161 265s 26962 603 infeasible 33 - 0.00000 - 161 270s 27492 577 0.00000 26 334 - 0.00000 - 161 275s 27952 595 0.00000 33 328 - 0.00000 - 162 280s 28459 594 0.00000 28 330 - 0.00000 - 162 285s Cutting planes: Gomory: 1 Zero half: 15 Explored 28673 nodes (4691966 simplex iterations) in 287.13 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