current bounds on the number of colors: 0 -- 136 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:21:04 2012 Optimize a model with 64532 rows, 10195 columns and 202436 nonzeros Presolve time: 0.19s Presolved: 64532 rows, 10195 columns, 202436 nonzeros Variable types: 0 continuous, 10195 integer (10195 binary) Root relaxation: objective 0.000000e+00, 343 iterations, 0.07 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 (643 simplex iterations) in 0.35 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 -- 68 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:21:05 2012 Optimize a model with 32334 rows, 5571 columns and 101218 nonzeros Presolve time: 0.15s Presolved: 32334 rows, 5571 columns, 101218 nonzeros Variable types: 0 continuous, 5571 integer (5571 binary) Root relaxation: objective 0.000000e+00, 322 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 (624 simplex iterations) in 0.22 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 -- 34 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:21:06 2012 Optimize a model with 16235 rows, 3259 columns and 50609 nonzeros Presolve time: 0.05s Presolved: 16235 rows, 3259 columns, 50609 nonzeros Variable types: 0 continuous, 3259 integer (3259 binary) Root relaxation: objective 0.000000e+00, 275 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 (725 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:21:06 2012 Optimize a model with 7712 rows, 2035 columns and 23816 nonzeros Presolve time: 0.02s Presolved: 7712 rows, 2035 columns, 23816 nonzeros Variable types: 0 continuous, 2035 integer (2035 binary) Root relaxation: objective 0.000000e+00, 294 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 (1134 simplex iterations) in 0.07 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:21:06 2012 Optimize a model with 3924 rows, 1491 columns and 11908 nonzeros Presolve time: 0.01s Presolved: 3924 rows, 1491 columns, 11908 nonzeros Variable types: 0 continuous, 1491 integer (1491 binary) Root relaxation: objective 0.000000e+00, 297 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 264 - 0.00000 - - 0s 0 0 0.00000 0 180 - 0.00000 - - 0s 0 0 0.00000 0 439 - 0.00000 - - 1s 0 0 0.00000 0 436 - 0.00000 - - 2s 0 0 0.00000 0 444 - 0.00000 - - 2s 0 0 0.00000 0 434 - 0.00000 - - 3s 0 0 0.00000 0 432 - 0.00000 - - 4s 0 0 0.00000 0 419 - 0.00000 - - 5s 0 0 0.00000 0 421 - 0.00000 - - 6s 0 0 0.00000 0 421 - 0.00000 - - 7s 0 0 0.00000 0 418 - 0.00000 - - 8s 0 0 0.00000 0 415 - 0.00000 - - 9s 0 0 0.00000 0 423 - 0.00000 - - 11s 0 0 0.00000 0 416 - 0.00000 - - 12s 0 0 0.00000 0 430 - 0.00000 - - 12s 0 0 0.00000 0 425 - 0.00000 - - 13s 0 2 0.00000 0 425 - 0.00000 - - 14s Cutting planes: Clique: 28 Zero half: 15 Explored 11 nodes (55972 simplex iterations) in 14.67 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:21:21 2012 Optimize a model with 5818 rows, 1763 columns and 17862 nonzeros Presolve time: 0.02s Presolved: 5818 rows, 1763 columns, 17862 nonzeros Variable types: 0 continuous, 1763 integer (1763 binary) Root relaxation: objective 0.000000e+00, 306 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 175 - 0.00000 - - 0s 0 0 0.00000 0 227 - 0.00000 - - 0s 0 0 0.00000 0 118 - 0.00000 - - 1s 0 0 0.00000 0 176 - 0.00000 - - 1s * 0 0 0 0.0000000 0.00000 0.0% - 1s Cutting planes: Clique: 13 Zero half: 26 Explored 0 nodes (12946 simplex iterations) in 1.52 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:21:23 2012 Optimize a model with 4871 rows, 1627 columns and 14885 nonzeros Presolve time: 0.01s Presolved: 4871 rows, 1627 columns, 14885 nonzeros Variable types: 0 continuous, 1627 integer (1627 binary) Root relaxation: objective 0.000000e+00, 280 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 270 - 0.00000 - - 0s 0 0 0.00000 0 250 - 0.00000 - - 0s 0 0 0.00000 0 363 - 0.00000 - - 1s 0 0 0.00000 0 372 - 0.00000 - - 1s 0 0 0.00000 0 323 - 0.00000 - - 2s 0 0 0.00000 0 285 - 0.00000 - - 3s 0 0 0.00000 0 284 - 0.00000 - - 4s 0 0 0.00000 0 289 - 0.00000 - - 5s 0 0 0.00000 0 290 - 0.00000 - - 6s 0 0 0.00000 0 300 - 0.00000 - - 7s 0 0 0.00000 0 295 - 0.00000 - - 7s 0 2 0.00000 0 295 - 0.00000 - - 8s 65 21 0.00000 21 310 - 0.00000 - 203 10s 413 26 0.00000 23 324 - 0.00000 - 168 15s 799 24 0.00000 23 228 - 0.00000 - 160 20s 1190 18 0.00000 15 307 - 0.00000 - 156 25s 1584 21 0.00000 13 327 - 0.00000 - 153 30s 1613 27 0.00000 5 258 - 0.00000 - 153 36s 1616 29 0.00000 2 306 - 0.00000 - 153 40s 1621 34 0.00000 13 348 - 0.00000 - 174 46s 1632 40 0.00000 18 343 - 0.00000 - 175 50s 1724 24 0.00000 25 332 - 0.00000 - 184 55s 1848 26 0.00000 25 325 - 0.00000 - 196 60s 1987 29 infeasible 29 - 0.00000 - 206 65s 2105 25 infeasible 23 - 0.00000 - 214 70s 2244 30 0.00000 25 343 - 0.00000 - 221 75s 2377 29 0.00000 28 301 - 0.00000 - 228 80s 2515 25 0.00000 26 308 - 0.00000 - 235 85s 2659 15 0.00000 26 313 - 0.00000 - 241 90s 2804 24 0.00000 22 330 - 0.00000 - 245 95s 2961 21 0.00000 24 321 - 0.00000 - 249 100s 3111 13 infeasible 23 - 0.00000 - 253 105s 3255 15 infeasible 30 - 0.00000 - 256 110s 3404 12 0.00000 26 301 - 0.00000 - 259 115s 3564 10 0.00000 22 332 - 0.00000 - 262 120s 3693 19 infeasible 29 - 0.00000 - 266 125s 3834 30 infeasible 33 - 0.00000 - 269 130s 3982 28 infeasible 24 - 0.00000 - 271 135s 4100 18 infeasible 26 - 0.00000 - 275 140s 4233 25 0.00000 29 318 - 0.00000 - 278 145s 4375 21 infeasible 27 - 0.00000 - 280 150s 4502 28 0.00000 31 321 - 0.00000 - 282 155s 4627 25 0.00000 26 328 - 0.00000 - 285 160s 4762 18 infeasible 29 - 0.00000 - 287 165s 4909 25 0.00000 28 333 - 0.00000 - 288 170s 5037 23 0.00000 25 349 - 0.00000 - 291 175s 5168 22 infeasible 26 - 0.00000 - 293 180s 5288 12 infeasible 27 - 0.00000 - 295 185s 5404 6 infeasible 24 - 0.00000 - 298 190s 5528 10 infeasible 27 - 0.00000 - 300 195s 5657 17 infeasible 23 - 0.00000 - 301 200s 5774 16 infeasible 26 - 0.00000 - 303 205s 5896 14 infeasible 26 - 0.00000 - 305 210s 6025 19 infeasible 29 - 0.00000 - 307 215s 6158 18 infeasible 30 - 0.00000 - 308 220s 6274 14 0.00000 25 328 - 0.00000 - 309 225s 6410 16 infeasible 29 - 0.00000 - 310 230s 6536 12 infeasible 26 - 0.00000 - 312 235s 6665 7 infeasible 24 - 0.00000 - 313 240s 6787 7 infeasible 27 - 0.00000 - 314 245s 6920 4 infeasible 26 - 0.00000 - 315 250s Cutting planes: Clique: 7 Zero half: 12 Explored 6977 nodes (2239639 simplex iterations) in 252.04 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 6