current bounds on the number of colors: 0 -- 198 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:18:54 2012 Optimize a model with 97020 rows, 20580 columns and 310068 nonzeros Presolve time: 0.32s Presolved: 97020 rows, 20580 columns, 310068 nonzeros Variable types: 0 continuous, 20580 integer (20580 binary) Root relaxation: objective 0.000000e+00, 754 iterations, 0.08 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.55 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 -- 99 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:18:55 2012 Optimize a model with 48120 rows, 10680 columns and 153468 nonzeros Presolve time: 0.16s Presolved: 48120 rows, 10680 columns, 153468 nonzeros Variable types: 0 continuous, 10680 integer (10680 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 (991 simplex iterations) in 0.26 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 -- 49 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:18:56 2012 Optimize a model with 23670 rows, 5730 columns and 75168 nonzeros Presolve time: 0.10s Presolved: 23670 rows, 5730 columns, 75168 nonzeros Variable types: 0 continuous, 5730 integer (5730 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (822 simplex iterations) in 0.14 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 -- 24 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:18:57 2012 Optimize a model with 11934 rows, 3354 columns and 37584 nonzeros Presolve time: 0.04s Presolved: 11934 rows, 3354 columns, 37584 nonzeros Variable types: 0 continuous, 3354 integer (3354 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 (821 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 08:18:57 2012 Optimize a model with 6066 rows, 2166 columns and 18792 nonzeros Presolve time: 0.02s Presolved: 6066 rows, 2166 columns, 18792 nonzeros Variable types: 0 continuous, 2166 integer (2166 binary) Root relaxation: objective 0.000000e+00, 443 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 (1495 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:18:57 2012 Optimize a model with 3132 rows, 1572 columns and 9396 nonzeros Presolve time: 0.01s Presolved: 3132 rows, 1572 columns, 9396 nonzeros Variable types: 0 continuous, 1572 integer (1572 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 308 - 0.00000 - - 0s 0 0 0.00000 0 378 - 0.00000 - - 0s 0 0 0.00000 0 532 - 0.00000 - - 1s 0 0 0.00000 0 552 - 0.00000 - - 1s 0 0 0.00000 0 534 - 0.00000 - - 2s 0 0 0.00000 0 541 - 0.00000 - - 3s 0 0 infeasible 0 - 0.10000 - - 3s Cutting planes: Zero half: 1211 Explored 0 nodes (18987 simplex iterations) in 3.76 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 08:19:01 2012 Optimize a model with 4110 rows, 1770 columns and 12528 nonzeros Presolve time: 0.01s Presolved: 4110 rows, 1770 columns, 12528 nonzeros Variable types: 0 continuous, 1770 integer (1770 binary) Root relaxation: objective 0.000000e+00, 451 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 374 - 0.00000 - - 0s 0 0 0.00000 0 344 - 0.00000 - - 1s 0 0 0.00000 0 340 - 0.00000 - - 1s 0 0 0.00000 0 536 - 0.00000 - - 1s 0 0 0.00000 0 338 - 0.00000 - - 2s 0 0 0.00000 0 340 - 0.00000 - - 2s 0 0 0.00000 0 330 - 0.00000 - - 3s 0 0 0.00000 0 330 - 0.00000 - - 3s 0 0 0.00000 0 332 - 0.00000 - - 4s 0 0 0.00000 0 332 - 0.00000 - - 4s 0 0 0.00000 0 332 - 0.00000 - - 5s 0 2 0.00000 0 332 - 0.00000 - - 5s 517 108 0.00000 24 391 - 0.00000 - 122 10s 606 130 0.00000 11 318 - 0.00000 - 120 16s 609 132 0.00000 25 287 - 0.00000 - 119 21s 612 134 0.00000 13 357 - 0.00000 - 119 27s 613 135 0.00000 11 297 - 0.00000 - 119 30s 616 137 0.00000 22 309 - 0.00000 - 118 36s 628 143 0.00000 19 383 - 0.00000 - 241 40s 759 164 0.00000 22 375 - 0.00000 - 244 45s 956 134 0.00000 30 379 - 0.00000 - 249 50s 1162 98 0.00000 31 360 - 0.00000 - 256 55s 1380 106 infeasible 32 - 0.00000 - 257 60s 1595 89 infeasible 24 - 0.00000 - 259 65s 1828 88 0.00000 22 379 - 0.00000 - 261 70s 2059 87 infeasible 28 - 0.00000 - 260 75s 2264 84 0.00000 28 364 - 0.00000 - 262 80s 2434 50 infeasible 25 - 0.00000 - 266 85s 2609 41 infeasible 26 - 0.00000 - 268 90s 2782 36 0.00000 19 330 - 0.00000 - 271 95s 2964 46 infeasible 23 - 0.00000 - 273 100s 3141 39 infeasible 28 - 0.00000 - 275 105s 3319 35 0.00000 25 438 - 0.00000 - 278 110s 3511 29 infeasible 27 - 0.00000 - 279 115s 3697 25 0.00000 30 468 - 0.00000 - 281 120s 3906 30 infeasible 28 - 0.00000 - 281 125s 4153 25 infeasible 29 - 0.00000 - 280 130s 4365 19 0.00000 21 356 - 0.00000 - 280 135s 4571 23 infeasible 30 - 0.00000 - 280 140s 4755 23 0.00000 26 366 - 0.00000 - 281 145s 4926 10 0.00000 24 360 - 0.00000 - 283 150s Cutting planes: Zero half: 7 Explored 4997 nodes (1453633 simplex iterations) in 152.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 08:21:33 2012 Optimize a model with 5088 rows, 1968 columns and 15660 nonzeros Presolve time: 0.01s Presolved: 5088 rows, 1968 columns, 15660 nonzeros Variable types: 0 continuous, 1968 integer (1968 binary) Root relaxation: objective 0.000000e+00, 421 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 186 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 1 Clique: 11 Zero half: 133 Explored 0 nodes (5133 simplex iterations) in 0.46 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