current bounds on the number of colors: 0 -- 126 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:24:21 2012 Optimize a model with 51534 rows, 8754 columns and 162162 nonzeros Presolve time: 0.17s Presolved: 51534 rows, 8754 columns, 162162 nonzeros Variable types: 0 continuous, 8754 integer (8754 binary) Root relaxation: objective 0.000000e+00, 320 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 (608 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: 0 -- 63 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:24:22 2012 Optimize a model with 25422 rows, 4722 columns and 79794 nonzeros Presolve time: 0.11s Presolved: 25422 rows, 4722 columns, 79794 nonzeros Variable types: 0 continuous, 4722 integer (4722 binary) Root relaxation: objective 0.000000e+00, 304 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 (626 simplex iterations) in 0.17 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 -- 31 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:24:22 2012 Optimize a model with 12366 rows, 2706 columns and 38610 nonzeros Presolve time: 0.04s Presolved: 12366 rows, 2706 columns, 38610 nonzeros Variable types: 0 continuous, 2706 integer (2706 binary) Root relaxation: objective 0.000000e+00, 258 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 (543 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 -- 15 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:24:22 2012 Optimize a model with 5838 rows, 1698 columns and 18018 nonzeros Presolve time: 0.02s Presolved: 5838 rows, 1698 columns, 18018 nonzeros Variable types: 0 continuous, 1698 integer (1698 binary) Root relaxation: objective 0.000000e+00, 262 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 (1344 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:24:23 2012 Optimize a model with 2574 rows, 1194 columns and 7722 nonzeros Presolve time: 0.01s Presolved: 2574 rows, 1194 columns, 7722 nonzeros Variable types: 0 continuous, 1194 integer (1194 binary) Root relaxation: objective 0.000000e+00, 270 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 252 - 0.00000 - - 0s 0 0 0.00000 0 304 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4956 simplex iterations) in 0.65 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound 1.000000000000e+00, gap - current bounds on the number of colors: 3 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:24:23 2012 Optimize a model with 4206 rows, 1446 columns and 12870 nonzeros Presolve time: 0.01s Presolved: 4206 rows, 1446 columns, 12870 nonzeros Variable types: 0 continuous, 1446 integer (1446 binary) Root relaxation: objective 0.000000e+00, 276 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 197 - 0.00000 - - 0s 0 0 0.00000 0 211 - 0.00000 - - 1s 0 0 0.00000 0 317 - 0.00000 - - 1s 0 0 0.00000 0 290 - 0.00000 - - 1s 0 0 0.00000 0 299 - 0.00000 - - 2s 0 0 0.00000 0 322 - 0.00000 - - 2s 0 0 0.00000 0 322 - 0.00000 - - 2s 0 2 0.00000 0 322 - 0.00000 - - 3s 188 26 infeasible 21 - 0.00000 - 114 5s 605 37 0.00000 25 293 - 0.00000 - 107 11s 609 39 0.00000 20 255 - 0.00000 - 106 16s 676 58 0.00000 31 284 - 0.00000 - 167 20s 938 75 0.00000 26 265 - 0.00000 - 187 25s 1198 121 infeasible 30 - 0.00000 - 197 30s 1455 174 infeasible 30 - 0.00000 - 204 35s 1699 220 0.00000 20 284 - 0.00000 - 211 40s 1961 266 0.00000 24 285 - 0.00000 - 214 45s 2199 268 infeasible 32 - 0.00000 - 221 50s 2455 282 infeasible 30 - 0.00000 - 223 55s 2707 298 infeasible 32 - 0.00000 - 226 60s 2928 335 0.00000 29 262 - 0.00000 - 230 65s 3186 365 0.00000 28 308 - 0.00000 - 231 70s 3459 400 0.00000 32 202 - 0.00000 - 230 75s 3714 405 0.00000 23 218 - 0.00000 - 231 80s 3963 404 infeasible 28 - 0.00000 - 233 85s 4216 411 0.00000 28 270 - 0.00000 - 233 90s 4467 418 infeasible 30 - 0.00000 - 235 95s 4745 422 0.00000 30 270 - 0.00000 - 235 100s 5010 411 0.00000 30 289 - 0.00000 - 235 105s 5255 432 0.00000 28 277 - 0.00000 - 236 110s 5485 424 0.00000 25 308 - 0.00000 - 237 115s 5719 439 0.00000 22 307 - 0.00000 - 238 120s 5955 469 infeasible 32 - 0.00000 - 239 125s 6216 484 infeasible 33 - 0.00000 - 239 130s 6450 495 infeasible 31 - 0.00000 - 240 135s 6682 487 infeasible 30 - 0.00000 - 241 140s 6892 511 0.00000 27 284 - 0.00000 - 242 145s 7131 514 0.00000 26 269 - 0.00000 - 242 150s 7374 521 0.00000 27 276 - 0.00000 - 243 155s 7583 506 infeasible 28 - 0.00000 - 244 160s 7814 535 infeasible 26 - 0.00000 - 245 165s 8049 578 infeasible 28 - 0.00000 - 245 170s 8280 601 infeasible 29 - 0.00000 - 246 175s 8516 585 infeasible 30 - 0.00000 - 246 180s 8740 591 infeasible 24 - 0.00000 - 247 185s 8962 585 0.00000 27 276 - 0.00000 - 248 190s 9175 574 0.00000 28 285 - 0.00000 - 249 195s 9379 568 infeasible 34 - 0.00000 - 250 200s 9588 569 infeasible 32 - 0.00000 - 251 205s 9840 565 infeasible 30 - 0.00000 - 251 210s 10072 553 infeasible 29 - 0.00000 - 251 215s 10328 549 infeasible 31 - 0.00000 - 251 220s 10552 539 infeasible 33 - 0.00000 - 251 225s 10782 537 infeasible 28 - 0.00000 - 252 230s 11017 538 0.00000 31 271 - 0.00000 - 252 235s 11248 549 0.00000 29 275 - 0.00000 - 252 240s 11464 563 0.00000 29 226 - 0.00000 - 252 245s 11680 557 infeasible 34 - 0.00000 - 253 250s 11926 557 0.00000 34 280 - 0.00000 - 253 255s 12170 595 infeasible 30 - 0.00000 - 253 260s 12417 592 infeasible 33 - 0.00000 - 253 265s 12649 588 0.00000 28 208 - 0.00000 - 253 270s 12872 587 infeasible 28 - 0.00000 - 254 275s 13097 584 0.00000 31 250 - 0.00000 - 254 280s 13337 576 0.00000 26 229 - 0.00000 - 254 285s 13576 567 infeasible 26 - 0.00000 - 254 290s 13807 567 0.00000 26 265 - 0.00000 - 255 295s Cutting planes: Gomory: 1 Clique: 6 Zero half: 10 Explored 13876 nodes (3558872 simplex iterations) in 296.50 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - current bounds on the number of colors: 5 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:29:20 2012 Optimize a model with 5022 rows, 1572 columns and 15444 nonzeros Presolve time: 0.01s Presolved: 5022 rows, 1572 columns, 15444 nonzeros Variable types: 0 continuous, 1572 integer (1572 binary) Root relaxation: objective 0.000000e+00, 278 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 252 - 0.00000 - - 0s Explored 0 nodes (792 simplex iterations) in 0.04 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: 7