current bounds on the number of colors: 0 -- 169 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:46:47 2012 Optimize a model with 60817 rows, 14918 columns and 196140 nonzeros Presolve time: 0.18s Presolved: 60817 rows, 14918 columns, 196140 nonzeros Variable types: 0 continuous, 14918 integer (14918 binary) Root relaxation: objective 0.000000e+00, 602 iterations, 0.05 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 (953 simplex iterations) in 0.32 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 -- 84 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:46:48 2012 Optimize a model with 30493 rows, 7820 columns and 98070 nonzeros Presolve time: 0.14s Presolved: 30493 rows, 7820 columns, 98070 nonzeros Variable types: 0 continuous, 7820 integer (7820 binary) Root relaxation: objective 0.000000e+00, 423 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 (732 simplex iterations) in 0.20 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 -- 42 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:46:49 2012 Optimize a model with 15331 rows, 4271 columns and 49035 nonzeros Presolve time: 0.06s Presolved: 15331 rows, 4271 columns, 49035 nonzeros Variable types: 0 continuous, 4271 integer (4271 binary) Root relaxation: objective 0.000000e+00, 343 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 (639 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 -- 21 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:46:49 2012 Optimize a model with 7389 rows, 2412 columns and 23350 nonzeros Presolve time: 0.02s Presolved: 7389 rows, 2412 columns, 23350 nonzeros Variable types: 0 continuous, 2412 integer (2412 binary) Root relaxation: objective 0.000000e+00, 364 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 (683 simplex iterations) in 0.04 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 -- 10 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:46:49 2012 Optimize a model with 3779 rows, 1567 columns and 11675 nonzeros Presolve time: 0.01s Presolved: 3779 rows, 1567 columns, 11675 nonzeros Variable types: 0 continuous, 1567 integer (1567 binary) Root relaxation: objective 0.000000e+00, 364 iterations, 0.00 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 (2003 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:46:49 2012 Optimize a model with 1613 rows, 1060 columns and 4670 nonzeros Presolve removed 169 rows and 169 columns Presolve time: 0.00s Presolved: 1444 rows, 891 columns, 4332 nonzeros Variable types: 0 continuous, 891 integer (891 binary) Root relaxation: objective 0.000000e+00, 184 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 169 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (736 simplex iterations) in 0.02 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: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:46:49 2012 Optimize a model with 2335 rows, 1229 columns and 7005 nonzeros Presolve time: 0.01s Presolved: 2335 rows, 1229 columns, 7005 nonzeros Variable types: 0 continuous, 1229 integer (1229 binary) Root relaxation: objective 0.000000e+00, 388 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 334 - 0.00000 - - 0s 0 0 0.00000 0 363 - 0.00000 - - 0s 0 0 0.00000 0 464 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Gomory: 31 Zero half: 476 Explored 0 nodes (6939 simplex iterations) in 0.77 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:46:50 2012 Optimize a model with 3057 rows, 1398 columns and 9340 nonzeros Presolve time: 0.01s Presolved: 3057 rows, 1398 columns, 9340 nonzeros Variable types: 0 continuous, 1398 integer (1398 binary) Root relaxation: objective 0.000000e+00, 382 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 310 - 0.00000 - - 0s 0 0 0.00000 0 318 - 0.00000 - - 0s 0 0 0.00000 0 318 - 0.00000 - - 0s 0 0 0.00000 0 322 - 0.00000 - - 0s 0 0 0.00000 0 310 - 0.00000 - - 0s 0 0 0.00000 0 304 - 0.00000 - - 1s 0 0 0.00000 0 294 - 0.00000 - - 1s 0 0 0.00000 0 294 - 0.00000 - - 1s 0 0 0.00000 0 282 - 0.00000 - - 1s 0 0 0.00000 0 290 - 0.00000 - - 2s 0 0 0.00000 0 266 - 0.00000 - - 2s 0 0 0.00000 0 262 - 0.00000 - - 2s 0 0 0.00000 0 271 - 0.00000 - - 2s 0 0 0.00000 0 263 - 0.00000 - - 2s 0 0 0.00000 0 248 - 0.00000 - - 3s 0 0 0.00000 0 238 - 0.00000 - - 3s 0 0 0.00000 0 230 - 0.00000 - - 3s 0 0 0.00000 0 220 - 0.00000 - - 3s 0 0 0.00000 0 208 - 0.00000 - - 4s 0 0 0.00000 0 200 - 0.00000 - - 4s 0 0 0.00000 0 200 - 0.00000 - - 4s 0 0 0.00000 0 200 - 0.00000 - - 4s 0 2 0.00000 0 200 - 0.00000 - - 5s 615 49 0.00000 11 250 - 0.00000 - 79.9 10s 621 53 0.00000 18 334 - 0.00000 - 79.1 15s 681 69 0.00000 26 276 - 0.00000 - 157 20s 1248 65 0.00000 32 284 - 0.00000 - 157 25s 1802 89 0.00000 32 284 - 0.00000 - 160 30s 2386 91 0.00000 27 290 - 0.00000 - 161 35s 2945 110 infeasible 29 - 0.00000 - 161 40s 3475 152 0.00000 28 282 - 0.00000 - 163 45s 3988 153 0.00000 27 324 - 0.00000 - 165 50s 4530 113 infeasible 32 - 0.00000 - 166 55s 5090 109 0.00000 30 335 - 0.00000 - 167 60s 5618 107 infeasible 30 - 0.00000 - 168 65s 6137 110 0.00000 29 266 - 0.00000 - 168 70s 6707 112 0.00000 30 280 - 0.00000 - 168 75s 7243 112 infeasible 32 - 0.00000 - 168 80s 7839 122 infeasible 27 - 0.00000 - 167 85s 8410 115 infeasible 34 - 0.00000 - 167 90s 8947 84 infeasible 28 - 0.00000 - 167 95s 9494 97 infeasible 32 - 0.00000 - 167 100s 10073 86 infeasible 29 - 0.00000 - 166 105s 10604 91 0.00000 31 246 - 0.00000 - 167 110s 11242 111 infeasible 26 - 0.00000 - 166 115s 11906 101 infeasible 33 - 0.00000 - 165 120s 12532 131 infeasible 32 - 0.00000 - 164 125s 13160 107 0.00000 30 268 - 0.00000 - 164 130s 13743 80 infeasible 30 - 0.00000 - 164 135s 14311 74 infeasible 34 - 0.00000 - 164 140s 14890 83 infeasible 29 - 0.00000 - 164 145s 15448 75 0.00000 28 358 - 0.00000 - 164 150s 15938 63 infeasible 31 - 0.00000 - 164 155s 16446 63 0.00000 28 318 - 0.00000 - 165 160s 16990 55 infeasible 29 - 0.00000 - 165 165s 17514 43 infeasible 32 - 0.00000 - 165 170s 18040 31 infeasible 35 - 0.00000 - 165 175s 18532 17 0.00000 28 296 - 0.00000 - 166 180s 19002 11 infeasible 31 - 0.00000 - 166 185s Cutting planes: Zero half: 5 Explored 19122 nodes (3230335 simplex iterations) in 186.37 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5