current bounds on the number of colors: 0 -- 132 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:56:22 2012 Optimize a model with 57024 rows, 9574 columns and 179388 nonzeros Presolve time: 0.18s Presolved: 57024 rows, 9574 columns, 179388 nonzeros Variable types: 0 continuous, 9574 integer (9574 binary) Root relaxation: objective 0.000000e+00, 336 iterations, 0.06 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 (649 simplex iterations) in 0.32 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 -- 66 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:56:23 2012 Optimize a model with 28578 rows, 5218 columns and 89694 nonzeros Presolve time: 0.13s Presolved: 28578 rows, 5218 columns, 89694 nonzeros Variable types: 0 continuous, 5218 integer (5218 binary) Root relaxation: objective 0.000000e+00, 310 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 (625 simplex iterations) in 0.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: 0 -- 33 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:56:23 2012 Optimize a model with 13924 rows, 2974 columns and 43488 nonzeros Presolve time: 0.05s Presolved: 13924 rows, 2974 columns, 43488 nonzeros Variable types: 0 continuous, 2974 integer (2974 binary) Root relaxation: objective 0.000000e+00, 272 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 (560 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:56:23 2012 Optimize a model with 7028 rows, 1918 columns and 21744 nonzeros Presolve time: 0.02s Presolved: 7028 rows, 1918 columns, 21744 nonzeros Variable types: 0 continuous, 1918 integer (1918 binary) Root relaxation: objective 0.000000e+00, 290 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 (1010 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:56:24 2012 Optimize a model with 3580 rows, 1390 columns and 10872 nonzeros Presolve time: 0.01s Presolved: 3580 rows, 1390 columns, 10872 nonzeros Variable types: 0 continuous, 1390 integer (1390 binary) Root relaxation: objective 0.000000e+00, 299 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 258 - 0.00000 - - 0s 0 0 0.00000 0 262 - 0.00000 - - 0s 0 0 0.00000 0 406 - 0.00000 - - 1s 0 0 0.00000 0 415 - 0.00000 - - 1s 0 0 0.00000 0 402 - 0.00000 - - 2s 0 0 0.00000 0 396 - 0.00000 - - 3s 0 0 0.00000 0 392 - 0.00000 - - 4s 0 0 0.00000 0 392 - 0.00000 - - 5s 0 0 0.00000 0 387 - 0.00000 - - 6s 0 0 0.00000 0 386 - 0.00000 - - 7s 0 0 0.00000 0 385 - 0.00000 - - 8s 0 0 0.00000 0 386 - 0.00000 - - 9s 0 0 0.00000 0 386 - 0.00000 - - 10s 0 0 0.00000 0 386 - 0.00000 - - 10s 0 2 0.00000 0 386 - 0.00000 - - 11s Cutting planes: Clique: 29 Zero half: 22 Explored 39 nodes (51646 simplex iterations) in 12.99 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 03:56:37 2012 Optimize a model with 5304 rows, 1654 columns and 16308 nonzeros Presolve time: 0.01s Presolved: 5304 rows, 1654 columns, 16308 nonzeros Variable types: 0 continuous, 1654 integer (1654 binary) Root relaxation: objective 0.000000e+00, 282 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 114 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2259 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:56:37 2012 Optimize a model with 4442 rows, 1522 columns and 13590 nonzeros Presolve time: 0.01s Presolved: 4442 rows, 1522 columns, 13590 nonzeros Variable types: 0 continuous, 1522 integer (1522 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 258 - 0.00000 - - 0s 0 0 0.00000 0 229 - 0.00000 - - 0s 0 0 0.00000 0 360 - 0.00000 - - 1s 0 0 0.00000 0 373 - 0.00000 - - 1s 0 0 0.00000 0 344 - 0.00000 - - 2s 0 0 0.00000 0 336 - 0.00000 - - 3s 0 0 0.00000 0 337 - 0.00000 - - 3s 0 0 0.00000 0 339 - 0.00000 - - 4s 0 0 0.00000 0 302 - 0.00000 - - 5s 0 0 0.00000 0 333 - 0.00000 - - 5s 0 0 0.00000 0 333 - 0.00000 - - 5s 0 2 0.00000 0 333 - 0.00000 - - 6s 439 50 infeasible 20 - 0.00000 - 118 10s 1197 37 0.00000 19 251 - 0.00000 - 109 15s 1505 44 0.00000 13 303 - 0.00000 - 107 20s 1509 46 0.00000 19 263 - 0.00000 - 107 26s 1514 50 infeasible 11 - 0.00000 - 130 30s 1745 58 infeasible 29 - 0.00000 - 145 35s 1966 83 infeasible 33 - 0.00000 - 161 40s 2223 142 0.00000 24 290 - 0.00000 - 170 45s 2523 232 infeasible 33 - 0.00000 - 174 50s 2799 244 infeasible 34 - 0.00000 - 180 55s 3085 252 0.00000 23 326 - 0.00000 - 184 60s 3334 253 infeasible 33 - 0.00000 - 189 65s 3571 254 0.00000 25 232 - 0.00000 - 194 70s 3820 293 infeasible 34 - 0.00000 - 197 75s 4056 315 0.00000 33 236 - 0.00000 - 201 80s 4264 325 infeasible 34 - 0.00000 - 205 85s 4521 356 infeasible 32 - 0.00000 - 207 90s 4766 365 infeasible 32 - 0.00000 - 209 95s 4995 394 infeasible 31 - 0.00000 - 212 100s 5251 410 infeasible 33 - 0.00000 - 213 105s 5491 418 infeasible 31 - 0.00000 - 214 110s 5740 423 infeasible 41 - 0.00000 - 216 115s 6059 466 0.00000 33 239 - 0.00000 - 216 120s 6359 458 0.00000 36 296 - 0.00000 - 217 125s 6657 450 0.00000 30 226 - 0.00000 - 217 130s 6946 449 infeasible 35 - 0.00000 - 218 135s 7224 451 0.00000 31 279 - 0.00000 - 218 140s 7481 460 infeasible 38 - 0.00000 - 219 145s 7733 494 infeasible 42 - 0.00000 - 220 150s 7980 505 0.00000 33 282 - 0.00000 - 221 155s 8219 512 infeasible 37 - 0.00000 - 222 160s 8503 508 0.00000 32 294 - 0.00000 - 222 165s 8731 520 infeasible 36 - 0.00000 - 223 170s 8970 527 0.00000 29 273 - 0.00000 - 224 175s 9227 524 0.00000 34 294 - 0.00000 - 225 180s 9451 524 0.00000 41 238 - 0.00000 - 226 185s 9705 532 infeasible 39 - 0.00000 - 227 190s 9972 537 infeasible 34 - 0.00000 - 227 195s 10198 521 infeasible 34 - 0.00000 - 228 200s 10431 542 infeasible 36 - 0.00000 - 229 205s 10662 529 infeasible 27 - 0.00000 - 230 210s 10883 534 infeasible 31 - 0.00000 - 231 215s 11091 524 infeasible 30 - 0.00000 - 232 220s 11316 545 infeasible 38 - 0.00000 - 232 225s 11545 574 0.00000 32 291 - 0.00000 - 233 230s 11764 579 0.00000 31 298 - 0.00000 - 234 235s 11992 613 0.00000 33 274 - 0.00000 - 234 240s 12212 633 infeasible 29 - 0.00000 - 235 245s 12467 698 infeasible 31 - 0.00000 - 235 250s 12733 728 infeasible 34 - 0.00000 - 235 255s 12982 725 0.00000 30 282 - 0.00000 - 235 260s 13249 712 infeasible 35 - 0.00000 - 235 265s 13504 725 0.00000 36 228 - 0.00000 - 235 270s 13726 723 0.00000 28 282 - 0.00000 - 236 275s 13969 726 infeasible 32 - 0.00000 - 236 280s Cutting planes: Clique: 10 Zero half: 4 Explored 14155 nodes (3377826 simplex iterations) in 283.55 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