current bounds on the number of colors: 0 -- 136 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:06:04 2012 Optimize a model with 60928 rows, 10142 columns and 191624 nonzeros Presolve time: 0.18s Presolved: 60928 rows, 10142 columns, 191624 nonzeros Variable types: 0 continuous, 10142 integer (10142 binary) Root relaxation: objective 0.000000e+00, 340 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 (651 simplex iterations) in 0.33 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:06:05 2012 Optimize a model with 30532 rows, 5518 columns and 95812 nonzeros Presolve time: 0.14s Presolved: 30532 rows, 5518 columns, 95812 nonzeros Variable types: 0 continuous, 5518 integer (5518 binary) Root relaxation: objective 0.000000e+00, 333 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 (710 simplex iterations) in 0.21 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:06:05 2012 Optimize a model with 15334 rows, 3206 columns and 47906 nonzeros Presolve time: 0.05s Presolved: 15334 rows, 3206 columns, 47906 nonzeros Variable types: 0 continuous, 3206 integer (3206 binary) Root relaxation: objective 0.000000e+00, 274 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 (544 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:06:06 2012 Optimize a model with 7288 rows, 1982 columns and 22544 nonzeros Presolve time: 0.02s Presolved: 7288 rows, 1982 columns, 22544 nonzeros Variable types: 0 continuous, 1982 integer (1982 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1175 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:06:06 2012 Optimize a model with 3712 rows, 1438 columns and 11272 nonzeros Presolve time: 0.01s Presolved: 3712 rows, 1438 columns, 11272 nonzeros Variable types: 0 continuous, 1438 integer (1438 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 270 - 0.00000 - - 0s 0 0 0.00000 0 274 - 0.00000 - - 0s 0 0 0.00000 0 414 - 0.00000 - - 1s 0 0 0.00000 0 424 - 0.00000 - - 1s 0 0 0.00000 0 403 - 0.00000 - - 3s 0 0 0.00000 0 414 - 0.00000 - - 4s 0 0 0.00000 0 407 - 0.00000 - - 5s 0 0 0.00000 0 402 - 0.00000 - - 7s 0 0 0.00000 0 397 - 0.00000 - - 8s 0 0 0.00000 0 395 - 0.00000 - - 9s 0 0 0.00000 0 390 - 0.00000 - - 10s 0 0 0.00000 0 408 - 0.00000 - - 11s 0 0 0.00000 0 413 - 0.00000 - - 12s 0 0 0.00000 0 409 - 0.00000 - - 13s 0 2 0.00000 0 409 - 0.00000 - - 14s Cutting planes: Clique: 13 Zero half: 23 Explored 13 nodes (52301 simplex iterations) in 14.56 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:06:21 2012 Optimize a model with 5500 rows, 1710 columns and 16908 nonzeros Presolve time: 0.01s Presolved: 5500 rows, 1710 columns, 16908 nonzeros Variable types: 0 continuous, 1710 integer (1710 binary) Root relaxation: objective 0.000000e+00, 291 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 162 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 5 Clique: 39 MIR: 2 Zero half: 57 Explored 0 nodes (3517 simplex iterations) in 0.29 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:06:21 2012 Optimize a model with 4606 rows, 1574 columns and 14090 nonzeros Presolve time: 0.01s Presolved: 4606 rows, 1574 columns, 14090 nonzeros Variable types: 0 continuous, 1574 integer (1574 binary) Root relaxation: objective 0.000000e+00, 284 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 174 - 0.00000 - - 0s 0 0 0.00000 0 196 - 0.00000 - - 0s 0 0 0.00000 0 337 - 0.00000 - - 1s 0 0 0.00000 0 371 - 0.00000 - - 1s 0 0 0.00000 0 291 - 0.00000 - - 2s 0 0 0.00000 0 341 - 0.00000 - - 2s 0 0 0.00000 0 270 - 0.00000 - - 3s 0 0 0.00000 0 308 - 0.00000 - - 4s 0 0 0.00000 0 308 - 0.00000 - - 4s 0 2 0.00000 0 308 - 0.00000 - - 5s 532 79 0.00000 22 220 - 0.00000 - 131 10s 613 88 0.00000 21 322 - 0.00000 - 128 16s 616 90 0.00000 19 324 - 0.00000 - 127 20s 620 93 0.00000 26 288 - 0.00000 - 127 25s 726 88 0.00000 27 283 - 0.00000 - 200 30s 965 99 infeasible 33 - 0.00000 - 208 35s 1194 178 0.00000 27 313 - 0.00000 - 213 40s 1410 236 0.00000 25 324 - 0.00000 - 221 45s 1634 290 0.00000 23 286 - 0.00000 - 224 50s 1854 310 0.00000 29 222 - 0.00000 - 229 55s 2062 332 infeasible 26 - 0.00000 - 233 60s 2290 350 infeasible 30 - 0.00000 - 236 65s 2529 369 infeasible 32 - 0.00000 - 237 70s 2761 361 infeasible 38 - 0.00000 - 240 75s 2951 361 0.00000 28 299 - 0.00000 - 243 80s 3166 424 0.00000 32 305 - 0.00000 - 244 85s 3360 418 0.00000 32 222 - 0.00000 - 247 90s 3542 410 infeasible 28 - 0.00000 - 250 95s 3712 416 infeasible 30 - 0.00000 - 254 100s 3929 421 infeasible 36 - 0.00000 - 255 105s 4131 417 0.00000 34 294 - 0.00000 - 256 110s 4343 423 infeasible 27 - 0.00000 - 257 115s 4557 429 0.00000 26 232 - 0.00000 - 258 120s 4771 425 infeasible 30 - 0.00000 - 258 125s 4954 420 0.00000 27 312 - 0.00000 - 260 130s 5163 433 infeasible 31 - 0.00000 - 261 135s 5351 441 0.00000 31 308 - 0.00000 - 262 140s 5552 472 0.00000 31 309 - 0.00000 - 263 145s 5754 468 0.00000 30 255 - 0.00000 - 263 150s 5944 462 infeasible 32 - 0.00000 - 264 155s 6145 503 0.00000 27 309 - 0.00000 - 265 160s 6356 510 infeasible 28 - 0.00000 - 265 165s 6581 511 infeasible 32 - 0.00000 - 265 170s 6773 495 infeasible 26 - 0.00000 - 266 175s 7002 518 infeasible 31 - 0.00000 - 266 180s 7203 525 infeasible 32 - 0.00000 - 266 185s 7388 530 0.00000 21 316 - 0.00000 - 267 190s 7568 520 0.00000 22 315 - 0.00000 - 268 195s 7768 520 infeasible 25 - 0.00000 - 269 200s 7972 516 infeasible 32 - 0.00000 - 269 205s 8165 493 0.00000 27 299 - 0.00000 - 270 210s 8343 489 0.00000 32 265 - 0.00000 - 271 215s 8544 498 infeasible 30 - 0.00000 - 271 220s 8786 536 infeasible 32 - 0.00000 - 271 225s 8989 543 0.00000 29 184 - 0.00000 - 271 230s 9217 599 0.00000 27 266 - 0.00000 - 271 235s 9423 601 infeasible 25 - 0.00000 - 271 240s 9639 619 0.00000 28 230 - 0.00000 - 271 245s 9849 609 infeasible 29 - 0.00000 - 271 250s 10058 608 infeasible 29 - 0.00000 - 272 255s 10286 624 infeasible 35 - 0.00000 - 271 260s 10491 645 infeasible 27 - 0.00000 - 272 265s 10718 640 infeasible 30 - 0.00000 - 271 270s 10922 652 infeasible 28 - 0.00000 - 272 275s 11104 644 infeasible 31 - 0.00000 - 272 280s Cutting planes: Gomory: 1 Clique: 5 Zero half: 28 Explored 11165 nodes (3072127 simplex iterations) in 281.62 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - optimal solution found: number of colors: 6