current bounds on the number of colors: 0 -- 133 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:37:15 2012 Optimize a model with 56629 rows, 9634 columns and 178266 nonzeros Presolve time: 0.18s Presolved: 56629 rows, 9634 columns, 178266 nonzeros Variable types: 0 continuous, 9634 integer (9634 binary) Root relaxation: objective 0.000000e+00, 343 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 (656 simplex iterations) in 0.31 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 04:37:16 2012 Optimize a model with 28381 rows, 5245 columns and 89133 nonzeros Presolve time: 0.13s Presolved: 28381 rows, 5245 columns, 89133 nonzeros Variable types: 0 continuous, 5245 integer (5245 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 (610 simplex iterations) in 0.19 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 04:37:17 2012 Optimize a model with 13829 rows, 2984 columns and 43216 nonzeros Presolve time: 0.05s Presolved: 13829 rows, 2984 columns, 43216 nonzeros Variable types: 0 continuous, 2984 integer (2984 binary) Root relaxation: objective 0.000000e+00, 268 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 (709 simplex iterations) in 0.09 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 04:37:17 2012 Optimize a model with 6981 rows, 1920 columns and 21608 nonzeros Presolve time: 0.02s Presolved: 6981 rows, 1920 columns, 21608 nonzeros Variable types: 0 continuous, 1920 integer (1920 binary) Root relaxation: objective 0.000000e+00, 273 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 (881 simplex iterations) in 0.05 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 04:37:17 2012 Optimize a model with 3557 rows, 1388 columns and 10804 nonzeros Presolve time: 0.01s Presolved: 3557 rows, 1388 columns, 10804 nonzeros Variable types: 0 continuous, 1388 integer (1388 binary) Root relaxation: objective 0.000000e+00, 303 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 186 - 0.00000 - - 0s 0 0 0.00000 0 266 - 0.00000 - - 0s 0 0 0.00000 0 408 - 0.00000 - - 1s 0 0 0.00000 0 402 - 0.00000 - - 1s 0 0 0.00000 0 394 - 0.00000 - - 2s 0 0 0.00000 0 391 - 0.00000 - - 2s 0 0 0.00000 0 402 - 0.00000 - - 2s 0 0 0.00000 0 396 - 0.00000 - - 3s 0 0 0.00000 0 399 - 0.00000 - - 4s 0 0 0.00000 0 392 - 0.00000 - - 5s 0 0 0.00000 0 391 - 0.00000 - - 6s 0 0 0.00000 0 390 - 0.00000 - - 7s 0 0 0.00000 0 400 - 0.00000 - - 8s 0 0 0.00000 0 387 - 0.00000 - - 8s 0 0 0.00000 0 388 - 0.00000 - - 9s 0 0 0.00000 0 388 - 0.00000 - - 9s 0 2 0.00000 0 388 - 0.00000 - - 10s Cutting planes: Clique: 10 Zero half: 19 Explored 13 nodes (45154 simplex iterations) in 11.25 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 04:37:28 2012 Optimize a model with 5269 rows, 1654 columns and 16206 nonzeros Presolve time: 0.01s Presolved: 5269 rows, 1654 columns, 16206 nonzeros Variable types: 0 continuous, 1654 integer (1654 binary) Root relaxation: objective 0.000000e+00, 287 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 165 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3260 simplex iterations) in 0.28 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 04:37:29 2012 Optimize a model with 4413 rows, 1521 columns and 13505 nonzeros Presolve time: 0.01s Presolved: 4413 rows, 1521 columns, 13505 nonzeros Variable types: 0 continuous, 1521 integer (1521 binary) Root relaxation: objective 0.000000e+00, 272 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 258 - 0.00000 - - 0s 0 0 0.00000 0 260 - 0.00000 - - 0s 0 0 0.00000 0 279 - 0.00000 - - 1s 0 0 0.00000 0 305 - 0.00000 - - 1s 0 0 0.00000 0 248 - 0.00000 - - 1s 0 0 0.00000 0 272 - 0.00000 - - 2s 0 0 0.00000 0 288 - 0.00000 - - 3s 0 0 0.00000 0 344 - 0.00000 - - 3s 0 0 0.00000 0 344 - 0.00000 - - 4s 0 2 0.00000 0 344 - 0.00000 - - 4s 28 20 0.00000 17 193 - 0.00000 - 214 5s 603 72 0.00000 27 279 - 0.00000 - 106 10s 608 76 0.00000 14 278 - 0.00000 - 106 15s 738 76 infeasible 28 - 0.00000 - 157 20s 1043 114 0.00000 26 245 - 0.00000 - 172 25s 1365 156 0.00000 31 270 - 0.00000 - 183 30s 1687 164 infeasible 29 - 0.00000 - 190 35s 1994 185 0.00000 26 228 - 0.00000 - 194 40s 2310 227 0.00000 26 259 - 0.00000 - 196 45s 2607 228 0.00000 26 278 - 0.00000 - 201 50s 2918 261 infeasible 29 - 0.00000 - 202 55s 3182 279 infeasible 29 - 0.00000 - 205 60s 3428 311 0.00000 29 232 - 0.00000 - 209 65s 3721 320 0.00000 31 272 - 0.00000 - 211 70s 4013 320 0.00000 33 226 - 0.00000 - 213 75s 4298 337 0.00000 28 216 - 0.00000 - 214 80s 4612 387 0.00000 30 224 - 0.00000 - 214 85s 4911 408 0.00000 25 263 - 0.00000 - 214 90s 5205 444 infeasible 33 - 0.00000 - 214 95s 5481 462 infeasible 32 - 0.00000 - 216 100s 5752 465 infeasible 26 - 0.00000 - 217 105s 6019 476 infeasible 26 - 0.00000 - 218 110s 6280 479 0.00000 20 318 - 0.00000 - 219 115s 6544 521 infeasible 29 - 0.00000 - 220 120s 6806 533 0.00000 28 268 - 0.00000 - 221 125s 7089 524 infeasible 25 - 0.00000 - 222 130s 7375 522 0.00000 23 166 - 0.00000 - 222 135s 7657 560 0.00000 29 282 - 0.00000 - 222 140s 7965 568 infeasible 33 - 0.00000 - 222 145s 8238 609 infeasible 28 - 0.00000 - 223 150s 8531 596 0.00000 30 251 - 0.00000 - 223 155s 8791 616 0.00000 24 288 - 0.00000 - 224 160s 9097 666 0.00000 31 210 - 0.00000 - 223 165s 9353 678 0.00000 28 286 - 0.00000 - 224 170s 9635 688 0.00000 31 297 - 0.00000 - 224 175s 9913 720 0.00000 32 241 - 0.00000 - 224 180s 10231 708 infeasible 26 - 0.00000 - 224 185s 10491 706 infeasible 26 - 0.00000 - 225 190s 10743 742 infeasible 28 - 0.00000 - 225 195s 10996 745 infeasible 28 - 0.00000 - 226 200s 11277 776 0.00000 25 292 - 0.00000 - 226 205s 11549 794 infeasible 27 - 0.00000 - 226 210s 11811 800 0.00000 21 299 - 0.00000 - 227 215s 12059 804 0.00000 27 272 - 0.00000 - 228 220s 12323 806 0.00000 28 212 - 0.00000 - 228 225s 12571 792 0.00000 30 263 - 0.00000 - 229 230s 12842 799 infeasible 31 - 0.00000 - 229 235s 13087 774 0.00000 28 278 - 0.00000 - 229 240s 13358 765 0.00000 27 277 - 0.00000 - 230 245s 13619 768 0.00000 29 290 - 0.00000 - 230 250s 13890 757 infeasible 34 - 0.00000 - 230 255s 14190 751 infeasible 28 - 0.00000 - 230 260s 14497 750 infeasible 31 - 0.00000 - 230 265s 14754 759 infeasible 24 - 0.00000 - 230 270s 14968 753 infeasible 28 - 0.00000 - 231 275s 15229 748 infeasible 25 - 0.00000 - 232 280s 15500 737 0.00000 28 291 - 0.00000 - 232 285s Cutting planes: Gomory: 1 Clique: 6 Zero half: 13 Explored 15508 nodes (3622998 simplex iterations) in 285.15 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