current bounds on the number of colors: 0 -- 127 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:16:16 2012 Optimize a model with 51031 rows, 8809 columns and 160713 nonzeros Presolve time: 0.17s Presolved: 51031 rows, 8809 columns, 160713 nonzeros Variable types: 0 continuous, 8809 integer (8809 binary) Root relaxation: objective 0.000000e+00, 318 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 (609 simplex iterations) in 0.30 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 Fri Dec 14 00:16:17 2012 Optimize a model with 25175 rows, 4745 columns and 79081 nonzeros Presolve time: 0.11s Presolved: 25175 rows, 4745 columns, 79081 nonzeros Variable types: 0 continuous, 4745 integer (4745 binary) Root relaxation: objective 0.000000e+00, 303 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 (574 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 Fri Dec 14 00:16:18 2012 Optimize a model with 12247 rows, 2713 columns and 38265 nonzeros Presolve time: 0.04s Presolved: 12247 rows, 2713 columns, 38265 nonzeros Variable types: 0 continuous, 2713 integer (2713 binary) Root relaxation: objective 0.000000e+00, 261 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 (519 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 Fri Dec 14 00:16:18 2012 Optimize a model with 5783 rows, 1697 columns and 17857 nonzeros Presolve time: 0.02s Presolved: 5783 rows, 1697 columns, 17857 nonzeros Variable types: 0 continuous, 1697 integer (1697 binary) Root relaxation: objective 0.000000e+00, 265 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 (1680 simplex iterations) in 0.10 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 Fri Dec 14 00:16:18 2012 Optimize a model with 2551 rows, 1189 columns and 7653 nonzeros Presolve time: 0.01s Presolved: 2551 rows, 1189 columns, 7653 nonzeros Variable types: 0 continuous, 1189 integer (1189 binary) Root relaxation: objective 0.000000e+00, 277 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 226 - 0.00000 - - 0s 0 0 0.00000 0 254 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4102 simplex iterations) in 0.49 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 Fri Dec 14 00:16:18 2012 Optimize a model with 4167 rows, 1443 columns and 12755 nonzeros Presolve time: 0.01s Presolved: 4167 rows, 1443 columns, 12755 nonzeros Variable types: 0 continuous, 1443 integer (1443 binary) Root relaxation: objective 0.000000e+00, 262 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 240 - 0.00000 - - 0s 0 0 0.00000 0 206 - 0.00000 - - 0s 0 0 0.00000 0 232 - 0.00000 - - 0s 0 0 0.00000 0 324 - 0.00000 - - 1s 0 0 0.00000 0 187 - 0.00000 - - 1s 0 0 0.00000 0 237 - 0.00000 - - 2s 0 0 0.00000 0 269 - 0.00000 - - 2s 0 0 0.00000 0 310 - 0.00000 - - 2s 0 0 0.00000 0 310 - 0.00000 - - 3s 0 2 0.00000 0 310 - 0.00000 - - 3s 117 45 0.00000 19 212 - 0.00000 - 142 5s 803 67 0.00000 17 232 - 0.00000 - 103 10s 809 71 0.00000 19 182 - 0.00000 - 102 16s 870 96 0.00000 31 216 - 0.00000 - 145 20s 1202 123 0.00000 31 248 - 0.00000 - 160 25s 1503 186 0.00000 31 285 - 0.00000 - 171 30s 1805 234 infeasible 38 - 0.00000 - 179 35s 2071 260 infeasible 36 - 0.00000 - 188 40s 2409 318 0.00000 37 260 - 0.00000 - 190 45s 2714 313 infeasible 30 - 0.00000 - 194 50s 3072 363 infeasible 27 - 0.00000 - 194 55s 3376 397 0.00000 32 265 - 0.00000 - 196 60s 3655 444 0.00000 31 272 - 0.00000 - 199 65s 3908 467 infeasible 34 - 0.00000 - 203 70s 4185 502 infeasible 30 - 0.00000 - 205 75s 4461 494 0.00000 28 269 - 0.00000 - 208 80s 4770 481 infeasible 33 - 0.00000 - 209 85s 5044 485 infeasible 30 - 0.00000 - 211 90s 5322 503 0.00000 26 289 - 0.00000 - 212 95s 5607 524 infeasible 31 - 0.00000 - 213 100s 5896 539 infeasible 28 - 0.00000 - 214 105s 6163 566 0.00000 29 295 - 0.00000 - 215 110s 6423 556 0.00000 22 271 - 0.00000 - 217 115s 6742 551 0.00000 32 250 - 0.00000 - 216 120s 7046 555 infeasible 32 - 0.00000 - 217 125s 7313 556 0.00000 37 222 - 0.00000 - 218 130s 7550 529 0.00000 28 293 - 0.00000 - 220 135s 7823 514 infeasible 35 - 0.00000 - 221 140s 8087 504 0.00000 30 279 - 0.00000 - 222 145s 8357 516 0.00000 25 295 - 0.00000 - 222 150s 8612 507 infeasible 30 - 0.00000 - 223 155s 8885 504 infeasible 35 - 0.00000 - 224 160s 9117 490 infeasible 34 - 0.00000 - 225 165s 9389 498 infeasible 32 - 0.00000 - 226 170s 9639 522 0.00000 37 206 - 0.00000 - 227 175s 9900 517 infeasible 39 - 0.00000 - 227 180s 10141 502 0.00000 24 296 - 0.00000 - 228 185s 10395 538 infeasible 39 - 0.00000 - 229 190s 10633 512 infeasible 32 - 0.00000 - 230 195s 10889 502 infeasible 30 - 0.00000 - 230 200s 11139 478 infeasible 33 - 0.00000 - 231 205s 11454 487 infeasible 34 - 0.00000 - 230 210s 11707 472 0.00000 29 263 - 0.00000 - 231 215s 11975 472 0.00000 30 294 - 0.00000 - 231 220s 12218 465 infeasible 32 - 0.00000 - 232 225s 12469 452 infeasible 35 - 0.00000 - 232 230s 12734 453 infeasible 31 - 0.00000 - 233 235s 12998 453 0.00000 31 255 - 0.00000 - 233 240s 13303 496 0.00000 31 270 - 0.00000 - 233 245s 13584 483 infeasible 30 - 0.00000 - 233 250s 13831 448 infeasible 29 - 0.00000 - 233 255s 14077 428 infeasible 34 - 0.00000 - 234 260s 14353 424 infeasible 35 - 0.00000 - 234 265s 14614 419 0.00000 30 279 - 0.00000 - 234 270s 14860 403 infeasible 35 - 0.00000 - 235 275s 15133 391 infeasible 31 - 0.00000 - 235 280s 15424 390 infeasible 34 - 0.00000 - 235 285s 15672 386 0.00000 33 255 - 0.00000 - 235 290s 15911 371 infeasible 31 - 0.00000 - 236 295s Cutting planes: Clique: 2 Zero half: 12 Explored 15988 nodes (3804367 simplex iterations) in 296.64 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 Fri Dec 14 00:21:15 2012 Optimize a model with 4975 rows, 1570 columns and 15306 nonzeros Presolve time: 0.01s Presolved: 4975 rows, 1570 columns, 15306 nonzeros Variable types: 0 continuous, 1570 integer (1570 binary) Root relaxation: objective 0.000000e+00, 277 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 254 - 0.00000 - - 0s Explored 0 nodes (821 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