current bounds on the number of colors: 0 -- 148 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:21:03 2012 Optimize a model with 81844 rows, 12056 columns and 256040 nonzeros Presolve time: 0.23s Presolved: 81844 rows, 12056 columns, 256040 nonzeros Variable types: 0 continuous, 12056 integer (12056 binary) Root relaxation: objective 0.000000e+00, 361 iterations, 0.09 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 (791 simplex iterations) in 0.45 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 -- 74 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:21:04 2012 Optimize a model with 40996 rows, 6580 columns and 128020 nonzeros Presolve time: 0.15s Presolved: 40996 rows, 6580 columns, 128020 nonzeros Variable types: 0 continuous, 6580 integer (6580 binary) Root relaxation: objective 0.000000e+00, 454 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 (856 simplex iterations) in 0.25 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 -- 37 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:21:05 2012 Optimize a model with 20020 rows, 3768 columns and 62280 nonzeros Presolve time: 0.07s Presolved: 20020 rows, 3768 columns, 62280 nonzeros Variable types: 0 continuous, 3768 integer (3768 binary) Root relaxation: objective 0.000000e+00, 426 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 (1016 simplex iterations) in 0.14 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 -- 18 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:21:05 2012 Optimize a model with 10084 rows, 2436 columns and 31140 nonzeros Presolve time: 0.03s Presolved: 10084 rows, 2436 columns, 31140 nonzeros Variable types: 0 continuous, 2436 integer (2436 binary) Root relaxation: objective 0.000000e+00, 309 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 (1156 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:21:05 2012 Optimize a model with 4564 rows, 1696 columns and 13840 nonzeros Presolve time: 0.01s Presolved: 4564 rows, 1696 columns, 13840 nonzeros Variable types: 0 continuous, 1696 integer (1696 binary) Root relaxation: objective 0.000000e+00, 316 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 192 - 0.00000 - - 0s 0 0 0.00000 0 190 - 0.00000 - - 1s 0 0 0.00000 0 468 - 0.00000 - - 2s 0 0 0.00000 0 487 - 0.00000 - - 3s 0 0 0.00000 0 474 - 0.00000 - - 4s 0 0 0.00000 0 482 - 0.00000 - - 5s 0 0 0.00000 0 474 - 0.00000 - - 6s 0 0 0.00000 0 464 - 0.00000 - - 7s 0 0 0.00000 0 477 - 0.00000 - - 8s 0 0 0.00000 0 481 - 0.00000 - - 9s 0 0 0.00000 0 481 - 0.00000 - - 10s 0 2 0.00000 0 481 - 0.00000 - - 11s Cutting planes: Clique: 28 Zero half: 14 Explored 9 nodes (56672 simplex iterations) in 12.00 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:21:17 2012 Optimize a model with 6772 rows, 1992 columns and 20760 nonzeros Presolve time: 0.02s Presolved: 6772 rows, 1992 columns, 20760 nonzeros Variable types: 0 continuous, 1992 integer (1992 binary) Root relaxation: objective 0.000000e+00, 314 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 213 - 0.00000 - - 0s 0 0 0.00000 0 240 - 0.00000 - - 0s 0 0 0.00000 0 239 - 0.00000 - - 2s 0 0 0.00000 0 391 - 0.00000 - - 2s 0 0 0.00000 0 191 - 0.00000 - - 3s 0 0 0.00000 0 224 - 0.00000 - - 3s 0 0 0.00000 0 232 - 0.00000 - - 4s 0 0 0.00000 0 263 - 0.00000 - - 5s 0 0 0.00000 0 289 - 0.00000 - - 5s 0 0 0.00000 0 289 - 0.00000 - - 6s 0 2 0.00000 0 289 - 0.00000 - - 7s * 148 2 45 0.0000000 0.00000 0.0% 102 9s Cutting planes: Clique: 15 Zero half: 12 Explored 149 nodes (56828 simplex iterations) in 9.20 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 17:21:27 2012 Optimize a model with 5668 rows, 1844 columns and 17300 nonzeros Presolve time: 0.01s Presolved: 5668 rows, 1844 columns, 17300 nonzeros Variable types: 0 continuous, 1844 integer (1844 binary) Root relaxation: objective 0.000000e+00, 314 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 296 - 0.00000 - - 0s 0 0 0.00000 0 248 - 0.00000 - - 1s 0 0 0.00000 0 425 - 0.00000 - - 2s 0 0 0.00000 0 429 - 0.00000 - - 2s 0 0 0.00000 0 416 - 0.00000 - - 3s 0 0 0.00000 0 407 - 0.00000 - - 5s 0 0 0.00000 0 401 - 0.00000 - - 6s 0 0 0.00000 0 272 - 0.00000 - - 7s 0 0 0.00000 0 254 - 0.00000 - - 8s 0 0 0.00000 0 248 - 0.00000 - - 9s 0 0 0.00000 0 258 - 0.00000 - - 10s 0 0 0.00000 0 250 - 0.00000 - - 11s 0 0 0.00000 0 316 - 0.00000 - - 12s 0 0 0.00000 0 351 - 0.00000 - - 13s 0 0 0.00000 0 351 - 0.00000 - - 14s 0 2 0.00000 0 351 - 0.00000 - - 15s 148 34 0.00000 23 255 - 0.00000 - 212 20s 384 29 infeasible 24 - 0.00000 - 197 25s 590 43 0.00000 23 350 - 0.00000 - 204 30s 606 48 0.00000 9 413 - 0.00000 - 202 35s 608 50 0.00000 4 401 - 0.00000 - 201 43s 609 50 0.00000 21 400 - 0.00000 - 201 45s 612 52 0.00000 14 305 - 0.00000 - 200 52s 613 53 0.00000 9 262 - 0.00000 - 200 55s 616 55 0.00000 12 284 - 0.00000 - 199 62s 617 56 0.00000 17 270 - 0.00000 - 198 65s 620 58 0.00000 17 285 - 0.00000 - 198 72s 622 59 0.00000 22 339 - 0.00000 - 197 75s 631 63 0.00000 15 383 - 0.00000 - 359 80s 667 75 infeasible 25 - 0.00000 - 357 85s 759 46 0.00000 29 279 - 0.00000 - 365 90s 851 28 infeasible 26 - 0.00000 - 372 95s 949 38 0.00000 27 362 - 0.00000 - 376 100s 1037 36 infeasible 31 - 0.00000 - 380 105s 1124 39 infeasible 29 - 0.00000 - 384 110s 1209 40 infeasible 34 - 0.00000 - 388 115s 1311 70 0.00000 30 382 - 0.00000 - 388 120s 1392 83 0.00000 25 352 - 0.00000 - 393 125s 1473 80 infeasible 28 - 0.00000 - 397 130s 1560 85 infeasible 33 - 0.00000 - 401 135s 1645 82 0.00000 23 362 - 0.00000 - 405 140s 1727 80 0.00000 26 377 - 0.00000 - 410 145s 1818 79 infeasible 28 - 0.00000 - 412 150s 1898 77 0.00000 23 400 - 0.00000 - 416 155s 1976 75 infeasible 27 - 0.00000 - 420 160s 2056 73 0.00000 29 354 - 0.00000 - 424 165s 2143 72 infeasible 33 - 0.00000 - 426 170s 2220 69 0.00000 25 376 - 0.00000 - 429 175s 2295 62 infeasible 31 - 0.00000 - 433 180s 2376 65 infeasible 34 - 0.00000 - 435 185s 2467 78 infeasible 26 - 0.00000 - 435 190s 2553 82 0.00000 24 362 - 0.00000 - 436 195s 2634 83 infeasible 30 - 0.00000 - 438 200s 2714 71 infeasible 25 - 0.00000 - 439 205s 2807 82 0.00000 29 368 - 0.00000 - 439 210s 2902 85 0.00000 26 357 - 0.00000 - 440 215s 2996 79 infeasible 28 - 0.00000 - 440 220s 3097 88 infeasible 32 - 0.00000 - 439 225s 3186 89 infeasible 28 - 0.00000 - 439 230s 3275 88 infeasible 28 - 0.00000 - 440 235s 3376 93 infeasible 29 - 0.00000 - 439 240s 3475 98 infeasible 23 - 0.00000 - 439 245s 3565 96 infeasible 28 - 0.00000 - 439 250s 3663 96 0.00000 31 346 - 0.00000 - 439 255s 3756 83 infeasible 27 - 0.00000 - 440 260s 3849 82 0.00000 23 358 - 0.00000 - 440 265s 3945 86 infeasible 26 - 0.00000 - 440 270s Cutting planes: Clique: 12 Zero half: 18 Explored 4015 nodes (1839282 simplex iterations) in 274.09 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