current bounds on the number of colors: 0 -- 196 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:36:33 2012 Optimize a model with 96922 rows, 20195 columns and 309386 nonzeros Presolve time: 0.32s Presolved: 96922 rows, 20195 columns, 309386 nonzeros Variable types: 0 continuous, 20195 integer (20195 binary) Root relaxation: objective 0.000000e+00, 852 iterations, 0.12 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 (1329 simplex iterations) in 0.59 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 -- 98 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:36:34 2012 Optimize a model with 48559 rows, 10591 columns and 154693 nonzeros Presolve time: 0.16s Presolved: 48559 rows, 10591 columns, 154693 nonzeros Variable types: 0 continuous, 10591 integer (10591 binary) Root relaxation: objective 0.000000e+00, 570 iterations, 0.04 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 (1014 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 -- 49 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:36:35 2012 Optimize a model with 23884 rows, 5691 columns and 75768 nonzeros Presolve time: 0.10s Presolved: 23884 rows, 5691 columns, 75768 nonzeros Variable types: 0 continuous, 5691 integer (5691 binary) Root relaxation: objective 0.000000e+00, 415 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 (782 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 07:36:36 2012 Optimize a model with 12040 rows, 3339 columns and 37884 nonzeros Presolve time: 0.04s Presolved: 12040 rows, 3339 columns, 37884 nonzeros Variable types: 0 continuous, 3339 integer (3339 binary) Root relaxation: objective 0.000000e+00, 402 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 (1007 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:36:36 2012 Optimize a model with 6118 rows, 2163 columns and 18942 nonzeros Presolve time: 0.02s Presolved: 6118 rows, 2163 columns, 18942 nonzeros Variable types: 0 continuous, 2163 integer (2163 binary) Root relaxation: objective 0.000000e+00, 432 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 (1479 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 07:36:36 2012 Optimize a model with 3157 rows, 1575 columns and 9471 nonzeros Presolve time: 0.01s Presolved: 3157 rows, 1575 columns, 9471 nonzeros Variable types: 0 continuous, 1575 integer (1575 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.00000 0 302 - 0.00000 - - 0s 0 0 0.00000 0 384 - 0.00000 - - 0s 0 0 0.00000 0 531 - 0.00000 - - 0s 0 0 0.00000 0 543 - 0.00000 - - 1s 0 0 0.00000 0 534 - 0.00000 - - 2s 0 0 0.00000 0 533 - 0.00000 - - 3s 0 0 infeasible 0 - 0.10000 - - 3s Cutting planes: Clique: 1 Zero half: 1251 Explored 0 nodes (17109 simplex iterations) in 3.52 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 07:36:40 2012 Optimize a model with 4144 rows, 1771 columns and 12628 nonzeros Presolve time: 0.01s Presolved: 4144 rows, 1771 columns, 12628 nonzeros Variable types: 0 continuous, 1771 integer (1771 binary) Root relaxation: objective 0.000000e+00, 452 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 384 - 0.00000 - - 0s 0 0 0.00000 0 378 - 0.00000 - - 0s 0 0 0.00000 0 382 - 0.00000 - - 0s 0 0 0.00000 0 476 - 0.00000 - - 1s 0 0 0.00000 0 362 - 0.00000 - - 2s 0 0 0.00000 0 366 - 0.00000 - - 2s 0 0 0.00000 0 366 - 0.00000 - - 2s 0 0 0.00000 0 358 - 0.00000 - - 3s 0 0 0.00000 0 358 - 0.00000 - - 3s 0 0 0.00000 0 358 - 0.00000 - - 4s 0 2 0.00000 0 358 - 0.00000 - - 5s 351 106 infeasible 21 - 0.00000 - 181 10s 605 164 0.00000 28 378 - 0.00000 - 171 17s 607 165 0.00000 22 350 - 0.00000 - 170 21s 610 167 0.00000 6 328 - 0.00000 - 169 26s 612 168 0.00000 28 316 - 0.00000 - 169 30s 615 170 0.00000 25 306 - 0.00000 - 168 35s 618 172 0.00000 16 290 - 0.00000 - 167 41s 661 181 0.00000 23 398 - 0.00000 - 310 45s 847 125 infeasible 29 - 0.00000 - 307 50s 1027 61 infeasible 23 - 0.00000 - 303 55s 1205 20 infeasible 23 - 0.00000 - 303 60s 1398 29 0.00000 26 354 - 0.00000 - 301 65s 1629 40 infeasible 27 - 0.00000 - 294 70s 1835 34 infeasible 26 - 0.00000 - 293 75s 2026 31 0.00000 26 455 - 0.00000 - 294 80s 2237 26 infeasible 23 - 0.00000 - 292 85s 2447 28 0.00000 23 437 - 0.00000 - 290 90s 2648 21 infeasible 28 - 0.00000 - 288 95s Cutting planes: Gomory: 1 Zero half: 14 Explored 2798 nodes (841917 simplex iterations) in 99.17 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 07:38:19 2012 Optimize a model with 5131 rows, 1967 columns and 15785 nonzeros Presolve time: 0.01s Presolved: 5131 rows, 1967 columns, 15785 nonzeros Variable types: 0 continuous, 1967 integer (1967 binary) Root relaxation: objective 0.000000e+00, 433 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 190 - 0.00000 - - 0s 0 0 0.00000 0 368 - 0.00000 - - 0s Cutting planes: Clique: 3 Explored 0 nodes (8801 simplex iterations) in 0.92 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