current bounds on the number of colors: 0 -- 191 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:41:03 2012 Optimize a model with 88731 rows, 19077 columns and 283765 nonzeros Presolve time: 0.28s Presolved: 88731 rows, 19077 columns, 283765 nonzeros Variable types: 0 continuous, 19077 integer (19077 binary) Root relaxation: objective 0.000000e+00, 742 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 (1194 simplex iterations) in 0.50 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 -- 95 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:41:05 2012 Optimize a model with 43995 rows, 9909 columns and 140389 nonzeros Presolve time: 0.15s Presolved: 43995 rows, 9909 columns, 140389 nonzeros Variable types: 0 continuous, 9909 integer (9909 binary) Root relaxation: objective 0.000000e+00, 604 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 (1117 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 -- 47 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:41:05 2012 Optimize a model with 21627 rows, 5325 columns and 68701 nonzeros Presolve time: 0.09s Presolved: 21627 rows, 5325 columns, 68701 nonzeros Variable types: 0 continuous, 5325 integer (5325 binary) Root relaxation: objective 0.000000e+00, 480 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 (898 simplex iterations) in 0.13 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 -- 23 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:41:06 2012 Optimize a model with 10443 rows, 3033 columns and 32857 nonzeros Presolve time: 0.03s Presolved: 10443 rows, 3033 columns, 32857 nonzeros Variable types: 0 continuous, 3033 integer (3033 binary) Root relaxation: objective 0.000000e+00, 394 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 (761 simplex iterations) in 0.06 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 05:41:06 2012 Optimize a model with 4851 rows, 1887 columns and 14935 nonzeros Presolve time: 0.01s Presolved: 4851 rows, 1887 columns, 14935 nonzeros Variable types: 0 continuous, 1887 integer (1887 binary) Root relaxation: objective 0.000000e+00, 414 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 348 - 0.00000 - - 0s 0 0 0.00000 0 318 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (6932 simplex iterations) in 0.69 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 05:41:07 2012 Optimize a model with 2055 rows, 1314 columns and 5974 nonzeros Presolve removed 191 rows and 191 columns Presolve time: 0.01s Presolved: 1864 rows, 1123 columns, 5592 nonzeros Variable types: 0 continuous, 1123 integer (1123 binary) Root relaxation: objective 0.000000e+00, 204 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 191 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (818 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 05:41:07 2012 Optimize a model with 2987 rows, 1505 columns and 8961 nonzeros Presolve time: 0.01s Presolved: 2987 rows, 1505 columns, 8961 nonzeros Variable types: 0 continuous, 1505 integer (1505 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 380 - 0.00000 - - 0s 0 0 0.00000 0 380 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5041 simplex iterations) in 0.66 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 05:41:08 2012 Optimize a model with 3919 rows, 1696 columns and 11948 nonzeros Presolve time: 0.01s Presolved: 3919 rows, 1696 columns, 11948 nonzeros Variable types: 0 continuous, 1696 integer (1696 binary) Root relaxation: objective 0.000000e+00, 430 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 364 - 0.00000 - - 0s 0 0 0.00000 0 352 - 0.00000 - - 0s 0 0 0.00000 0 368 - 0.00000 - - 0s 0 0 0.00000 0 473 - 0.00000 - - 1s 0 0 0.00000 0 492 - 0.00000 - - 1s 0 0 0.00000 0 492 - 0.00000 - - 2s 0 0 0.00000 0 488 - 0.00000 - - 3s 0 0 0.00000 0 480 - 0.00000 - - 4s 0 0 0.00000 0 431 - 0.00000 - - 5s 0 0 0.00000 0 456 - 0.00000 - - 5s 0 0 0.00000 0 456 - 0.00000 - - 6s 0 2 0.00000 0 456 - 0.00000 - - 7s 345 75 0.00000 25 322 - 0.00000 - 130 10s 903 86 0.00000 18 368 - 0.00000 - 131 15s 907 89 0.00000 15 340 - 0.00000 - 130 20s 909 90 0.00000 9 324 - 0.00000 - 130 25s 912 92 0.00000 17 298 - 0.00000 - 129 30s 915 94 0.00000 3 307 - 0.00000 - 129 35s 918 96 0.00000 23 327 - 0.00000 - 128 41s 1033 123 0.00000 19 330 - 0.00000 - 222 45s 1287 127 0.00000 26 437 - 0.00000 - 225 50s 1522 140 infeasible 26 - 0.00000 - 230 55s 1694 138 0.00000 25 342 - 0.00000 - 240 60s 1896 160 0.00000 26 358 - 0.00000 - 245 65s 2087 141 0.00000 23 342 - 0.00000 - 250 70s 2284 140 0.00000 26 388 - 0.00000 - 254 75s 2487 149 infeasible 24 - 0.00000 - 257 80s 2687 157 0.00000 28 348 - 0.00000 - 259 85s 2885 157 infeasible 24 - 0.00000 - 261 90s 3053 149 infeasible 26 - 0.00000 - 265 95s 3238 122 infeasible 25 - 0.00000 - 267 100s 3436 140 infeasible 27 - 0.00000 - 268 105s 3639 161 0.00000 26 330 - 0.00000 - 269 110s 3831 163 infeasible 26 - 0.00000 - 271 115s 4007 175 0.00000 31 446 - 0.00000 - 272 120s 4188 178 infeasible 34 - 0.00000 - 274 125s 4344 166 0.00000 22 421 - 0.00000 - 276 130s 4539 179 infeasible 29 - 0.00000 - 277 135s 4734 164 infeasible 27 - 0.00000 - 277 140s 4932 194 infeasible 28 - 0.00000 - 278 145s 5117 195 0.00000 24 348 - 0.00000 - 278 150s 5286 198 infeasible 27 - 0.00000 - 280 155s 5491 205 infeasible 23 - 0.00000 - 280 160s 5682 182 0.00000 26 408 - 0.00000 - 281 165s 5853 177 infeasible 28 - 0.00000 - 282 170s 6033 175 infeasible 26 - 0.00000 - 283 175s 6225 155 0.00000 27 344 - 0.00000 - 284 180s 6383 129 infeasible 23 - 0.00000 - 285 185s 6532 114 infeasible 27 - 0.00000 - 287 190s 6704 110 0.00000 25 436 - 0.00000 - 287 195s 6871 97 0.00000 23 400 - 0.00000 - 289 200s 7038 96 0.00000 25 382 - 0.00000 - 290 205s 7207 89 infeasible 26 - 0.00000 - 290 210s 7373 79 infeasible 22 - 0.00000 - 291 215s 7521 63 infeasible 36 - 0.00000 - 292 220s 7672 66 infeasible 27 - 0.00000 - 294 225s 7832 62 0.00000 26 393 - 0.00000 - 294 230s 7995 47 infeasible 27 - 0.00000 - 295 235s 8159 41 0.00000 25 458 - 0.00000 - 296 240s 8300 26 0.00000 27 369 - 0.00000 - 297 245s 8485 25 infeasible 26 - 0.00000 - 297 250s 8639 23 infeasible 27 - 0.00000 - 298 255s 8798 16 infeasible 28 - 0.00000 - 298 260s 8959 15 infeasible 29 - 0.00000 - 299 265s 9113 13 infeasible 23 - 0.00000 - 300 270s Cutting planes: Zero half: 18 Explored 9231 nodes (2809669 simplex iterations) in 274.31 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