current bounds on the number of colors: 0 -- 209 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:10:37 2012 Optimize a model with 113153 rows, 22822 columns and 360568 nonzeros Presolve time: 0.38s Presolved: 113153 rows, 22822 columns, 360568 nonzeros Variable types: 0 continuous, 22822 integer (22822 binary) Root relaxation: objective 0.000000e+00, 618 iterations, 0.06 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 (1296 simplex iterations) in 0.70 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 -- 104 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:10:39 2012 Optimize a model with 56681 rows, 11954 columns and 180284 nonzeros Presolve time: 0.17s Presolved: 56681 rows, 11954 columns, 180284 nonzeros Variable types: 0 continuous, 11954 integer (11954 binary) Root relaxation: objective 0.000000e+00, 570 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 (1007 simplex iterations) in 0.28 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 -- 52 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:10:40 2012 Optimize a model with 28445 rows, 6520 columns and 90142 nonzeros Presolve time: 0.12s Presolved: 28445 rows, 6520 columns, 90142 nonzeros Variable types: 0 continuous, 6520 integer (6520 binary) Root relaxation: objective 0.000000e+00, 471 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 (882 simplex iterations) in 0.17 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 13:10:41 2012 Optimize a model with 14327 rows, 3803 columns and 45071 nonzeros Presolve time: 0.05s Presolved: 14327 rows, 3803 columns, 45071 nonzeros Variable types: 0 continuous, 3803 integer (3803 binary) Root relaxation: objective 0.000000e+00, 435 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 (845 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 -- 13 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:10:41 2012 Optimize a model with 6725 rows, 2340 columns and 20802 nonzeros Presolve time: 0.02s Presolved: 6725 rows, 2340 columns, 20802 nonzeros Variable types: 0 continuous, 2340 integer (2340 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2168 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 13:10:41 2012 Optimize a model with 3467 rows, 1713 columns and 10401 nonzeros Presolve time: 0.01s Presolved: 3467 rows, 1713 columns, 10401 nonzeros Variable types: 0 continuous, 1713 integer (1713 binary) Root relaxation: objective 0.000000e+00, 460 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 410 - 0.00000 - - 0s 0 0 0.00000 0 414 - 0.00000 - - 0s 0 0 0.00000 0 572 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 31 Zero half: 1311 Explored 0 nodes (9062 simplex iterations) in 1.57 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 13:10:43 2012 Optimize a model with 4553 rows, 1922 columns and 13868 nonzeros Presolve time: 0.01s Presolved: 4553 rows, 1922 columns, 13868 nonzeros Variable types: 0 continuous, 1922 integer (1922 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 392 - 0.00000 - - 0s 0 0 0.00000 0 400 - 0.00000 - - 0s 0 0 0.00000 0 402 - 0.00000 - - 1s 0 0 0.00000 0 504 - 0.00000 - - 1s 0 0 0.00000 0 386 - 0.00000 - - 2s 0 0 0.00000 0 386 - 0.00000 - - 2s 0 0 0.00000 0 374 - 0.00000 - - 3s 0 0 0.00000 0 376 - 0.00000 - - 4s 0 0 0.00000 0 376 - 0.00000 - - 4s 0 0 0.00000 0 374 - 0.00000 - - 5s 0 0 0.00000 0 370 - 0.00000 - - 6s 0 0 0.00000 0 366 - 0.00000 - - 7s 0 0 0.00000 0 362 - 0.00000 - - 7s 0 0 0.00000 0 360 - 0.00000 - - 8s 0 0 0.00000 0 358 - 0.00000 - - 9s 0 0 0.00000 0 354 - 0.00000 - - 9s 0 0 0.00000 0 352 - 0.00000 - - 10s 0 0 0.00000 0 350 - 0.00000 - - 11s 0 0 0.00000 0 353 - 0.00000 - - 12s 0 0 0.00000 0 353 - 0.00000 - - 12s 0 2 0.00000 0 353 - 0.00000 - - 13s 9 7 0.00000 6 497 - 0.00000 - 580 15s 372 19 0.00000 12 410 - 0.00000 - 153 20s 705 12 infeasible 15 - 0.00000 - 156 25s 805 28 0.00000 13 388 - 0.00000 - 159 32s 807 29 0.00000 8 382 - 0.00000 - 159 36s 809 30 0.00000 3 372 - 0.00000 - 158 40s 811 32 0.00000 9 358 - 0.00000 - 158 45s 813 33 0.00000 11 361 - 0.00000 - 157 50s 816 35 0.00000 8 314 - 0.00000 - 157 57s 819 37 0.00000 13 316 - 0.00000 - 156 60s 826 42 0.00000 17 491 - 0.00000 - 267 65s 895 36 0.00000 23 370 - 0.00000 - 271 70s 1029 40 0.00000 21 475 - 0.00000 - 276 75s 1168 41 0.00000 23 474 - 0.00000 - 284 80s 1296 33 infeasible 26 - 0.00000 - 291 85s 1410 25 infeasible 25 - 0.00000 - 298 90s 1518 11 0.00000 23 480 - 0.00000 - 306 95s 1625 8 infeasible 23 - 0.00000 - 311 100s 1759 4 infeasible 22 - 0.00000 - 311 105s Cutting planes: Gomory: 1 Clique: 1 Zero half: 28 Explored 1814 nodes (650489 simplex iterations) in 106.81 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 13:12:30 2012 Optimize a model with 5639 rows, 2131 columns and 17335 nonzeros Presolve time: 0.02s Presolved: 5639 rows, 2131 columns, 17335 nonzeros Variable types: 0 continuous, 2131 integer (2131 binary) Root relaxation: objective 0.000000e+00, 450 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 366 - 0.00000 - - 0s Cutting planes: Clique: 11 Zero half: 4 Explored 0 nodes (5364 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