current bounds on the number of colors: 0 -- 127 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:50:04 2012 Optimize a model with 50590 rows, 8802 columns and 159390 nonzeros Presolve time: 0.17s Presolved: 50590 rows, 8802 columns, 159390 nonzeros Variable types: 0 continuous, 8802 integer (8802 binary) Root relaxation: objective 0.000000e+00, 316 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 (606 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:50:05 2012 Optimize a model with 24958 rows, 4738 columns and 78430 nonzeros Presolve time: 0.11s Presolved: 24958 rows, 4738 columns, 78430 nonzeros Variable types: 0 continuous, 4738 integer (4738 binary) Root relaxation: objective 0.000000e+00, 302 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 Thu Dec 13 23:50:05 2012 Optimize a model with 12142 rows, 2706 columns and 37950 nonzeros Presolve time: 0.04s Presolved: 12142 rows, 2706 columns, 37950 nonzeros Variable types: 0 continuous, 2706 integer (2706 binary) Root relaxation: objective 0.000000e+00, 256 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 (498 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 -- 15 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:50:05 2012 Optimize a model with 5734 rows, 1690 columns and 17710 nonzeros Presolve time: 0.02s Presolved: 5734 rows, 1690 columns, 17710 nonzeros Variable types: 0 continuous, 1690 integer (1690 binary) Root relaxation: objective 0.000000e+00, 263 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 (1636 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:50:06 2012 Optimize a model with 2530 rows, 1182 columns and 7590 nonzeros Presolve time: 0.01s Presolved: 2530 rows, 1182 columns, 7590 nonzeros Variable types: 0 continuous, 1182 integer (1182 binary) Root relaxation: objective 0.000000e+00, 278 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 0 0 0.00000 0 248 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4258 simplex iterations) in 0.52 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:50:06 2012 Optimize a model with 4132 rows, 1436 columns and 12650 nonzeros Presolve time: 0.01s Presolved: 4132 rows, 1436 columns, 12650 nonzeros Variable types: 0 continuous, 1436 integer (1436 binary) Root relaxation: objective 0.000000e+00, 281 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 0 0 0.00000 0 251 - 0.00000 - - 0s 0 0 0.00000 0 200 - 0.00000 - - 1s 0 0 0.00000 0 282 - 0.00000 - - 1s 0 0 0.00000 0 182 - 0.00000 - - 1s 0 0 0.00000 0 194 - 0.00000 - - 1s 0 0 0.00000 0 172 - 0.00000 - - 2s 0 0 0.00000 0 160 - 0.00000 - - 2s 0 0 0.00000 0 160 - 0.00000 - - 2s 0 0 0.00000 0 162 - 0.00000 - - 3s 0 0 0.00000 0 178 - 0.00000 - - 3s 0 0 0.00000 0 177 - 0.00000 - - 4s 0 2 0.00000 0 174 - 0.00000 - - 4s 6 4 0.00000 4 273 - 0.00000 - 382 5s 678 69 infeasible 33 - 0.00000 - 109 10s 1503 97 0.00000 24 200 - 0.00000 - 100 15s 1509 101 0.00000 14 234 - 0.00000 - 100 20s 1514 105 0.00000 16 134 - 0.00000 - 100 25s 1525 112 0.00000 17 312 - 0.00000 - 133 30s 1732 114 infeasible 41 - 0.00000 - 142 35s 2017 120 infeasible 35 - 0.00000 - 154 40s 2322 175 0.00000 27 271 - 0.00000 - 163 45s 2649 214 infeasible 34 - 0.00000 - 167 50s 2968 259 0.00000 39 202 - 0.00000 - 172 55s 3337 292 0.00000 35 209 - 0.00000 - 175 60s 3660 277 infeasible 37 - 0.00000 - 178 65s 3981 310 infeasible 41 - 0.00000 - 181 70s 4262 299 infeasible 34 - 0.00000 - 185 75s 4592 333 0.00000 33 216 - 0.00000 - 187 80s 4913 370 0.00000 35 268 - 0.00000 - 189 85s 5212 381 0.00000 30 283 - 0.00000 - 191 90s 5520 423 0.00000 29 218 - 0.00000 - 193 95s 5832 455 infeasible 34 - 0.00000 - 195 100s 6189 466 0.00000 34 272 - 0.00000 - 195 105s 6570 495 infeasible 37 - 0.00000 - 195 110s 6906 501 0.00000 34 261 - 0.00000 - 197 115s 7231 530 0.00000 33 264 - 0.00000 - 197 120s 7586 543 0.00000 35 258 - 0.00000 - 198 125s 7901 576 infeasible 37 - 0.00000 - 199 130s 8202 581 infeasible 38 - 0.00000 - 201 135s 8520 587 infeasible 31 - 0.00000 - 202 140s 8835 596 0.00000 32 225 - 0.00000 - 202 145s 9150 581 infeasible 36 - 0.00000 - 203 150s 9458 567 infeasible 33 - 0.00000 - 205 155s 9786 577 0.00000 36 273 - 0.00000 - 205 160s 10111 570 infeasible 39 - 0.00000 - 206 165s 10401 584 0.00000 34 279 - 0.00000 - 207 170s 10728 573 infeasible 32 - 0.00000 - 207 175s 11022 567 0.00000 29 224 - 0.00000 - 208 180s 11350 571 infeasible 34 - 0.00000 - 209 185s 11673 568 infeasible 39 - 0.00000 - 209 190s 11976 575 infeasible 34 - 0.00000 - 210 195s 12289 582 infeasible 37 - 0.00000 - 210 200s 12595 584 infeasible 31 - 0.00000 - 211 205s 12894 597 infeasible 30 - 0.00000 - 211 210s 13197 596 0.00000 30 204 - 0.00000 - 212 215s 13524 595 infeasible 33 - 0.00000 - 212 220s 13890 611 infeasible 37 - 0.00000 - 212 225s 14215 602 infeasible 31 - 0.00000 - 212 230s 14507 610 0.00000 31 255 - 0.00000 - 213 235s 14847 610 0.00000 36 228 - 0.00000 - 213 240s 15185 616 0.00000 40 208 - 0.00000 - 213 245s 15525 618 infeasible 36 - 0.00000 - 213 250s 15830 605 infeasible 39 - 0.00000 - 214 255s 16126 599 infeasible 33 - 0.00000 - 214 260s 16416 595 infeasible 34 - 0.00000 - 214 265s 16718 615 infeasible 38 - 0.00000 - 215 270s 17008 603 infeasible 34 - 0.00000 - 215 275s 17288 607 infeasible 36 - 0.00000 - 216 280s 17618 617 infeasible 38 - 0.00000 - 216 285s 17987 660 infeasible 35 - 0.00000 - 216 290s 18356 651 infeasible 31 - 0.00000 - 216 295s Cutting planes: Clique: 1 Zero half: 6 Explored 18478 nodes (4019708 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 Thu Dec 13 23:55:03 2012 Optimize a model with 4933 rows, 1563 columns and 15180 nonzeros Presolve time: 0.01s Presolved: 4933 rows, 1563 columns, 15180 nonzeros Variable types: 0 continuous, 1563 integer (1563 binary) Root relaxation: objective 0.000000e+00, 265 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 (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