current bounds on the number of colors: 0 -- 180 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:48:47 2012 Optimize a model with 72990 rows, 17009 columns and 234630 nonzeros Presolve time: 0.23s Presolved: 72990 rows, 17009 columns, 234630 nonzeros Variable types: 0 continuous, 17009 integer (17009 binary) Root relaxation: objective 0.000000e+00, 685 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 (1066 simplex iterations) in 0.40 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 -- 90 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:48:48 2012 Optimize a model with 36585 rows, 8909 columns and 117315 nonzeros Presolve time: 0.15s Presolved: 36585 rows, 8909 columns, 117315 nonzeros Variable types: 0 continuous, 8909 integer (8909 binary) Root relaxation: objective 0.000000e+00, 510 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 (890 simplex iterations) in 0.23 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 -- 45 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:48:49 2012 Optimize a model with 17978 rows, 4769 columns and 57354 nonzeros Presolve time: 0.07s Presolved: 17978 rows, 4769 columns, 57354 nonzeros Variable types: 0 continuous, 4769 integer (4769 binary) Root relaxation: objective 0.000000e+00, 376 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 (709 simplex iterations) in 0.11 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 -- 22 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:48:49 2012 Optimize a model with 9079 rows, 2789 columns and 28677 nonzeros Presolve time: 0.03s Presolved: 9079 rows, 2789 columns, 28677 nonzeros Variable types: 0 continuous, 2789 integer (2789 binary) Root relaxation: objective 0.000000e+00, 389 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 (710 simplex iterations) in 0.05 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:48:49 2012 Optimize a model with 4225 rows, 1709 columns and 13035 nonzeros Presolve time: 0.01s Presolved: 4225 rows, 1709 columns, 13035 nonzeros Variable types: 0 continuous, 1709 integer (1709 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 326 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1754 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 Sat Dec 15 00:48:49 2012 Optimize a model with 1798 rows, 1169 columns and 5214 nonzeros Presolve removed 180 rows and 180 columns Presolve time: 0.00s Presolved: 1618 rows, 989 columns, 4854 nonzeros Variable types: 0 continuous, 989 integer (989 binary) Root relaxation: objective 0.000000e+00, 187 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 180 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (785 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 Sat Dec 15 00:48:49 2012 Optimize a model with 2607 rows, 1349 columns and 7821 nonzeros Presolve time: 0.01s Presolved: 2607 rows, 1349 columns, 7821 nonzeros Variable types: 0 continuous, 1349 integer (1349 binary) Root relaxation: objective 0.000000e+00, 397 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 358 - 0.00000 - - 0s 0 0 0.00000 0 356 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4613 simplex iterations) in 0.47 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 Sat Dec 15 00:48:50 2012 Optimize a model with 3416 rows, 1529 columns and 10428 nonzeros Presolve time: 0.01s Presolved: 3416 rows, 1529 columns, 10428 nonzeros Variable types: 0 continuous, 1529 integer (1529 binary) Root relaxation: objective 0.000000e+00, 410 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 342 - 0.00000 - - 0s 0 0 0.00000 0 328 - 0.00000 - - 0s 0 0 0.00000 0 318 - 0.00000 - - 0s 0 0 0.00000 0 428 - 0.00000 - - 0s 0 0 0.00000 0 404 - 0.00000 - - 1s 0 0 0.00000 0 376 - 0.00000 - - 2s 0 0 0.00000 0 383 - 0.00000 - - 2s 0 0 0.00000 0 392 - 0.00000 - - 2s 0 0 0.00000 0 380 - 0.00000 - - 3s 0 2 0.00000 0 380 - 0.00000 - - 3s 228 42 0.00000 20 320 - 0.00000 - 111 5s 813 52 0.00000 20 289 - 0.00000 - 107 10s 818 55 0.00000 16 366 - 0.00000 - 107 15s 1000 50 infeasible 32 - 0.00000 - 151 20s 1423 71 infeasible 30 - 0.00000 - 166 25s 1859 147 0.00000 33 343 - 0.00000 - 172 30s 2262 134 infeasible 34 - 0.00000 - 178 35s 2692 110 infeasible 36 - 0.00000 - 181 40s 3113 93 infeasible 31 - 0.00000 - 184 45s 3531 87 infeasible 32 - 0.00000 - 185 50s 3913 113 infeasible 26 - 0.00000 - 187 55s 4281 187 0.00000 24 369 - 0.00000 - 189 60s 4642 166 0.00000 29 302 - 0.00000 - 191 65s 5069 183 infeasible 27 - 0.00000 - 191 70s 5428 202 0.00000 23 362 - 0.00000 - 193 75s 5845 221 0.00000 29 316 - 0.00000 - 193 80s 6243 233 0.00000 30 310 - 0.00000 - 194 85s 6648 230 0.00000 31 296 - 0.00000 - 194 90s 7109 235 0.00000 22 408 - 0.00000 - 193 95s 7480 232 0.00000 22 352 - 0.00000 - 194 100s 7870 236 infeasible 28 - 0.00000 - 194 105s 8261 241 infeasible 24 - 0.00000 - 195 110s 8620 224 infeasible 24 - 0.00000 - 196 115s 8980 200 infeasible 27 - 0.00000 - 197 120s 9412 204 0.00000 27 308 - 0.00000 - 197 125s 9822 174 infeasible 33 - 0.00000 - 197 130s 10200 160 infeasible 30 - 0.00000 - 197 135s 10589 135 0.00000 29 374 - 0.00000 - 197 140s 10978 116 0.00000 26 378 - 0.00000 - 198 145s 11362 108 infeasible 29 - 0.00000 - 198 150s 11724 84 infeasible 29 - 0.00000 - 199 155s 12045 83 infeasible 25 - 0.00000 - 200 160s 12424 70 0.00000 30 380 - 0.00000 - 200 165s 12739 45 infeasible 27 - 0.00000 - 201 170s 13061 13 infeasible 25 - 0.00000 - 201 175s Cutting planes: Zero half: 16 Explored 13251 nodes (2695842 simplex iterations) in 177.69 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