current bounds on the number of colors: 0 -- 214 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:16:48 2012 Optimize a model with 124762 rows, 24062 columns and 396542 nonzeros Presolve time: 0.43s Presolved: 124762 rows, 24062 columns, 396542 nonzeros Variable types: 0 continuous, 24062 integer (24062 binary) Root relaxation: objective 0.000000e+00, 533 iterations, 0.15 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 (983 simplex iterations) in 0.76 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 -- 107 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:16:50 2012 Optimize a model with 61906 rows, 12506 columns and 196418 nonzeros Presolve time: 0.18s Presolved: 61906 rows, 12506 columns, 196418 nonzeros Variable types: 0 continuous, 12506 integer (12506 binary) Root relaxation: objective 0.000000e+00, 822 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 (1370 simplex iterations) in 0.34 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 -- 53 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:16:51 2012 Optimize a model with 30478 rows, 6728 columns and 96356 nonzeros Presolve time: 0.13s Presolved: 30478 rows, 6728 columns, 96356 nonzeros Variable types: 0 continuous, 6728 integer (6728 binary) Root relaxation: objective 0.000000e+00, 492 iterations, 0.02 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 (894 simplex iterations) in 0.19 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 -- 26 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:16:52 2012 Optimize a model with 15346 rows, 3946 columns and 48178 nonzeros Presolve time: 0.05s Presolved: 15346 rows, 3946 columns, 48178 nonzeros Variable types: 0 continuous, 3946 integer (3946 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (868 simplex iterations) in 0.09 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 -- 13 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:16:52 2012 Optimize a model with 7198 rows, 2448 columns and 22236 nonzeros Presolve time: 0.02s Presolved: 7198 rows, 2448 columns, 22236 nonzeros Variable types: 0 continuous, 2448 integer (2448 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 (3050 simplex iterations) in 0.22 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 15:16:52 2012 Optimize a model with 3706 rows, 1806 columns and 11118 nonzeros Presolve time: 0.01s Presolved: 3706 rows, 1806 columns, 11118 nonzeros Variable types: 0 continuous, 1806 integer (1806 binary) Root relaxation: objective 0.000000e+00, 482 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 422 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Explored 0 nodes (9975 simplex iterations) in 1.16 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 15:16:54 2012 Optimize a model with 4870 rows, 2020 columns and 14824 nonzeros Presolve time: 0.01s Presolved: 4870 rows, 2020 columns, 14824 nonzeros Variable types: 0 continuous, 2020 integer (2020 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.00000 0 424 - 0.00000 - - 0s 0 0 0.00000 0 418 - 0.00000 - - 0s 0 0 0.00000 0 416 - 0.00000 - - 1s 0 0 0.00000 0 597 - 0.00000 - - 1s 0 0 0.00000 0 422 - 0.00000 - - 3s 0 0 0.00000 0 419 - 0.00000 - - 4s 0 0 0.00000 0 408 - 0.00000 - - 5s 0 0 0.00000 0 414 - 0.00000 - - 6s 0 0 0.00000 0 410 - 0.00000 - - 7s 0 0 0.00000 0 406 - 0.00000 - - 8s 0 0 0.00000 0 406 - 0.00000 - - 9s 0 0 0.00000 0 400 - 0.00000 - - 10s 0 0 0.00000 0 410 - 0.00000 - - 10s 0 0 0.00000 0 396 - 0.00000 - - 12s 0 0 0.00000 0 401 - 0.00000 - - 13s 0 0 0.00000 0 401 - 0.00000 - - 13s 0 2 0.00000 0 400 - 0.00000 - - 14s 8 8 0.00000 5 400 - 0.00000 - 640 15s 248 54 0.00000 22 429 - 0.00000 - 208 20s 457 65 0.00000 16 486 - 0.00000 - 213 25s 703 87 0.00000 15 416 - 0.00000 - 202 30s 705 89 0.00000 17 388 - 0.00000 - 202 35s 708 91 0.00000 22 380 - 0.00000 - 201 41s 710 92 0.00000 13 374 - 0.00000 - 200 46s 711 93 0.00000 16 381 - 0.00000 - 200 50s 775 111 infeasible 23 - 0.00000 - 288 55s 919 87 infeasible 31 - 0.00000 - 289 60s 1013 72 infeasible 26 - 0.00000 - 300 65s 1128 89 0.00000 25 402 - 0.00000 - 307 70s 1250 87 infeasible 27 - 0.00000 - 312 75s 1342 79 infeasible 27 - 0.00000 - 321 80s 1452 79 infeasible 24 - 0.00000 - 326 85s 1545 70 infeasible 21 - 0.00000 - 334 90s 1656 69 infeasible 28 - 0.00000 - 336 95s 1743 56 infeasible 24 - 0.00000 - 342 100s 1841 58 0.00000 21 527 - 0.00000 - 346 105s 1936 53 0.00000 30 474 - 0.00000 - 350 110s 2043 48 infeasible 26 - 0.00000 - 352 115s 2130 35 0.00000 25 516 - 0.00000 - 357 120s 2207 18 infeasible 22 - 0.00000 - 363 125s 2302 11 infeasible 25 - 0.00000 - 365 130s 2415 12 infeasible 28 - 0.00000 - 365 135s 2558 29 infeasible 28 - 0.00000 - 362 140s 2683 12 infeasible 23 - 0.00000 - 361 145s 2790 13 0.00000 27 407 - 0.00000 - 361 150s Cutting planes: Gomory: 1 Zero half: 19 Explored 2880 nodes (1119645 simplex iterations) in 154.32 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 15:19:28 2012 Optimize a model with 6034 rows, 2234 columns and 18530 nonzeros Presolve time: 0.02s Presolved: 6034 rows, 2234 columns, 18530 nonzeros Variable types: 0 continuous, 2234 integer (2234 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 412 - 0.00000 - - 0s 0 0 0.00000 0 388 - 0.00000 - - 1s 0 0 0.00000 0 313 - 0.00000 - - 2s H 0 0 0.0000000 0.00000 0.0% - 2s Explored 0 nodes (18420 simplex iterations) in 2.86 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