current bounds on the number of colors: 0 -- 203 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:22:42 2012 Optimize a model with 104132 rows, 21532 columns and 332290 nonzeros Presolve time: 0.35s Presolved: 104132 rows, 21532 columns, 332290 nonzeros Variable types: 0 continuous, 21532 integer (21532 binary) Root relaxation: objective 0.000000e+00, 797 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 (1277 simplex iterations) in 0.60 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 -- 101 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:22:44 2012 Optimize a model with 51653 rows, 11179 columns and 164500 nonzeros Presolve time: 0.17s Presolved: 51653 rows, 11179 columns, 164500 nonzeros Variable types: 0 continuous, 11179 integer (11179 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 (981 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 -- 50 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:22:44 2012 Optimize a model with 25928 rows, 6104 columns and 82250 nonzeros Presolve time: 0.11s Presolved: 25928 rows, 6104 columns, 82250 nonzeros Variable types: 0 continuous, 6104 integer (6104 binary) Root relaxation: objective 0.000000e+00, 475 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 (868 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 10:22:45 2012 Optimize a model with 12551 rows, 3465 columns and 39480 nonzeros Presolve time: 0.04s Presolved: 12551 rows, 3465 columns, 39480 nonzeros Variable types: 0 continuous, 3465 integer (3465 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (809 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 10:22:45 2012 Optimize a model with 6377 rows, 2247 columns and 19740 nonzeros Presolve time: 0.02s Presolved: 6377 rows, 2247 columns, 19740 nonzeros Variable types: 0 continuous, 2247 integer (2247 binary) Root relaxation: objective 0.000000e+00, 440 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 (2007 simplex iterations) in 0.10 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 10:22:45 2012 Optimize a model with 3290 rows, 1638 columns and 9870 nonzeros Presolve time: 0.01s Presolved: 3290 rows, 1638 columns, 9870 nonzeros Variable types: 0 continuous, 1638 integer (1638 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.00000 0 324 - 0.00000 - - 0s 0 0 0.00000 0 398 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (6384 simplex iterations) in 0.83 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 10:22:46 2012 Optimize a model with 4319 rows, 1841 columns and 13160 nonzeros Presolve time: 0.01s Presolved: 4319 rows, 1841 columns, 13160 nonzeros Variable types: 0 continuous, 1841 integer (1841 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.00000 0 382 - 0.00000 - - 0s 0 0 0.00000 0 390 - 0.00000 - - 0s 0 0 0.00000 0 358 - 0.00000 - - 1s 0 0 0.00000 0 456 - 0.00000 - - 1s 0 0 0.00000 0 342 - 0.00000 - - 2s 0 0 0.00000 0 346 - 0.00000 - - 3s 0 0 0.00000 0 345 - 0.00000 - - 3s 0 0 0.00000 0 370 - 0.00000 - - 4s 0 0 0.00000 0 322 - 0.00000 - - 5s 0 0 0.00000 0 326 - 0.00000 - - 6s 0 0 0.00000 0 326 - 0.00000 - - 6s 0 2 0.00000 0 326 - 0.00000 - - 7s 222 60 0.00000 12 356 - 0.00000 - 153 10s 601 110 0.00000 17 390 - 0.00000 - 157 15s 605 113 0.00000 11 350 - 0.00000 - 156 20s 608 115 0.00000 7 357 - 0.00000 - 155 26s 610 116 0.00000 17 310 - 0.00000 - 155 30s 613 118 0.00000 18 345 - 0.00000 - 154 37s 614 119 0.00000 17 355 - 0.00000 - 154 40s 639 125 infeasible 20 - 0.00000 - 278 45s 773 99 infeasible 28 - 0.00000 - 289 50s 893 59 0.00000 19 414 - 0.00000 - 303 55s 1038 35 infeasible 22 - 0.00000 - 306 60s 1174 27 infeasible 20 - 0.00000 - 312 65s 1297 30 0.00000 22 453 - 0.00000 - 318 70s 1431 26 0.00000 19 479 - 0.00000 - 322 75s 1545 14 infeasible 26 - 0.00000 - 328 80s 1671 28 0.00000 26 493 - 0.00000 - 331 85s 1809 32 0.00000 24 489 - 0.00000 - 331 90s 1928 45 infeasible 26 - 0.00000 - 334 95s 2051 32 infeasible 25 - 0.00000 - 337 100s 2164 39 0.00000 21 468 - 0.00000 - 340 105s 2278 29 0.00000 25 427 - 0.00000 - 343 110s 2425 54 0.00000 20 468 - 0.00000 - 342 115s 2548 57 infeasible 21 - 0.00000 - 344 120s 2691 54 0.00000 22 441 - 0.00000 - 343 125s 2806 39 infeasible 23 - 0.00000 - 346 130s 2921 22 infeasible 20 - 0.00000 - 348 135s 3047 22 0.00000 24 488 - 0.00000 - 349 140s 3199 22 infeasible 23 - 0.00000 - 348 145s 3323 16 infeasible 18 - 0.00000 - 349 150s 3451 12 infeasible 21 - 0.00000 - 349 155s 3578 9 infeasible 20 - 0.00000 - 350 160s 3697 8 infeasible 26 - 0.00000 - 351 165s Cutting planes: Zero half: 23 Explored 3792 nodes (1378610 simplex iterations) in 168.92 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 10:25:35 2012 Optimize a model with 5348 rows, 2044 columns and 16450 nonzeros Presolve time: 0.01s Presolved: 5348 rows, 2044 columns, 16450 nonzeros Variable types: 0 continuous, 2044 integer (2044 binary) Root relaxation: objective 0.000000e+00, 434 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 370 - 0.00000 - - 0s 0 0 0.00000 0 362 - 0.00000 - - 0s Cutting planes: Clique: 15 Zero half: 3 Explored 0 nodes (5288 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% optimal solution found: number of colors: 5