current bounds on the number of colors: 0 -- 208 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:48:20 2012 Optimize a model with 113464 rows, 22721 columns and 361400 nonzeros Presolve time: 0.39s Presolved: 113464 rows, 22721 columns, 361400 nonzeros Variable types: 0 continuous, 22721 integer (22721 binary) Root relaxation: objective 0.000000e+00, 817 iterations, 0.11 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 (1316 simplex iterations) in 0.67 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 12:48:22 2012 Optimize a model with 56836 rows, 11905 columns and 180700 nonzeros Presolve time: 0.17s Presolved: 56836 rows, 11905 columns, 180700 nonzeros Variable types: 0 continuous, 11905 integer (11905 binary) Root relaxation: objective 0.000000e+00, 719 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 (1185 simplex iterations) in 0.30 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 12:48:23 2012 Optimize a model with 28522 rows, 6497 columns and 90350 nonzeros Presolve time: 0.12s Presolved: 28522 rows, 6497 columns, 90350 nonzeros Variable types: 0 continuous, 6497 integer (6497 binary) Root relaxation: objective 0.000000e+00, 491 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 (909 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 12:48:23 2012 Optimize a model with 14365 rows, 3793 columns and 45175 nonzeros Presolve time: 0.05s Presolved: 14365 rows, 3793 columns, 45175 nonzeros Variable types: 0 continuous, 3793 integer (3793 binary) Root relaxation: objective 0.000000e+00, 420 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 (815 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 12:48:23 2012 Optimize a model with 6742 rows, 2337 columns and 20850 nonzeros Presolve time: 0.02s Presolved: 6742 rows, 2337 columns, 20850 nonzeros Variable types: 0 continuous, 2337 integer (2337 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1789 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:48:24 2012 Optimize a model with 3475 rows, 1713 columns and 10425 nonzeros Presolve time: 0.01s Presolved: 3475 rows, 1713 columns, 10425 nonzeros Variable types: 0 continuous, 1713 integer (1713 binary) Root relaxation: objective 0.000000e+00, 473 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 408 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (6419 simplex iterations) in 0.82 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 12:48:25 2012 Optimize a model with 4564 rows, 1921 columns and 13900 nonzeros Presolve time: 0.01s Presolved: 4564 rows, 1921 columns, 13900 nonzeros Variable types: 0 continuous, 1921 integer (1921 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.00000 0 412 - 0.00000 - - 0s 0 0 0.00000 0 394 - 0.00000 - - 0s 0 0 0.00000 0 384 - 0.00000 - - 1s 0 0 0.00000 0 388 - 0.00000 - - 1s 0 0 0.00000 0 378 - 0.00000 - - 2s 0 0 0.00000 0 377 - 0.00000 - - 3s 0 0 0.00000 0 372 - 0.00000 - - 4s 0 0 0.00000 0 372 - 0.00000 - - 4s 0 0 0.00000 0 368 - 0.00000 - - 5s 0 0 0.00000 0 373 - 0.00000 - - 6s 0 0 0.00000 0 356 - 0.00000 - - 7s 0 0 0.00000 0 357 - 0.00000 - - 7s 0 0 0.00000 0 354 - 0.00000 - - 7s 0 2 0.00000 0 354 - 0.00000 - - 8s 71 25 infeasible 13 - 0.00000 - 210 10s 545 88 0.00000 18 379 - 0.00000 - 148 15s 705 98 0.00000 4 368 - 0.00000 - 151 22s 706 98 0.00000 18 368 - 0.00000 - 151 25s 708 100 0.00000 15 372 - 0.00000 - 151 30s 711 102 0.00000 9 354 - 0.00000 - 150 36s 715 104 infeasible 12 - 0.00000 - 235 40s 842 103 infeasible 30 - 0.00000 - 248 45s 998 77 0.00000 25 475 - 0.00000 - 256 50s 1160 92 0.00000 24 388 - 0.00000 - 263 55s 1326 120 0.00000 22 499 - 0.00000 - 267 60s 1504 116 infeasible 24 - 0.00000 - 270 65s 1671 143 infeasible 28 - 0.00000 - 275 70s 1810 142 infeasible 27 - 0.00000 - 282 75s 1970 146 infeasible 27 - 0.00000 - 286 80s 2114 162 0.00000 23 370 - 0.00000 - 289 85s 2260 152 infeasible 27 - 0.00000 - 292 90s 2406 178 0.00000 25 447 - 0.00000 - 294 95s 2537 189 infeasible 28 - 0.00000 - 298 100s 2698 210 infeasible 29 - 0.00000 - 298 105s 2850 226 infeasible 30 - 0.00000 - 300 110s 3007 227 infeasible 25 - 0.00000 - 300 115s 3141 223 infeasible 25 - 0.00000 - 304 120s 3288 214 infeasible 29 - 0.00000 - 305 125s 3411 209 infeasible 24 - 0.00000 - 308 130s 3543 219 infeasible 28 - 0.00000 - 310 135s 3704 244 0.00000 25 402 - 0.00000 - 310 140s 3838 236 infeasible 24 - 0.00000 - 312 145s 3979 235 infeasible 24 - 0.00000 - 313 150s 4104 224 infeasible 25 - 0.00000 - 316 155s 4235 225 infeasible 34 - 0.00000 - 317 160s 4411 197 infeasible 27 - 0.00000 - 317 165s 4533 193 infeasible 23 - 0.00000 - 319 170s 4679 183 0.00000 25 382 - 0.00000 - 319 175s 4809 167 infeasible 24 - 0.00000 - 321 180s 4948 160 infeasible 29 - 0.00000 - 322 185s 5084 144 infeasible 29 - 0.00000 - 322 190s 5238 146 0.00000 22 388 - 0.00000 - 322 195s 5379 141 infeasible 24 - 0.00000 - 323 200s 5500 134 0.00000 23 458 - 0.00000 - 325 205s 5641 135 infeasible 31 - 0.00000 - 325 210s 5775 119 0.00000 28 465 - 0.00000 - 326 215s 5903 113 0.00000 26 408 - 0.00000 - 327 220s 6038 90 infeasible 28 - 0.00000 - 328 225s 6175 83 0.00000 24 497 - 0.00000 - 328 230s 6304 72 infeasible 29 - 0.00000 - 329 235s 6437 63 0.00000 26 382 - 0.00000 - 329 240s 6570 58 0.00000 20 491 - 0.00000 - 330 245s 6694 56 0.00000 25 441 - 0.00000 - 331 250s 6818 36 infeasible 24 - 0.00000 - 332 255s 6947 39 0.00000 22 378 - 0.00000 - 332 260s 7084 36 infeasible 26 - 0.00000 - 333 265s 7203 25 infeasible 25 - 0.00000 - 333 270s 7329 11 infeasible 27 - 0.00000 - 334 275s Cutting planes: Clique: 1 Zero half: 29 Explored 7375 nodes (2523950 simplex iterations) in 277.14 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 12:53:02 2012 Optimize a model with 5653 rows, 2129 columns and 17375 nonzeros Presolve time: 0.02s Presolved: 5653 rows, 2129 columns, 17375 nonzeros Variable types: 0 continuous, 2129 integer (2129 binary) Root relaxation: objective 0.000000e+00, 437 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 225 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3256 simplex iterations) in 0.26 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