current bounds on the number of colors: 0 -- 147 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:16:01 2012 Optimize a model with 74315 rows, 11747 columns and 233235 nonzeros Presolve time: 0.21s Presolved: 74315 rows, 11747 columns, 233235 nonzeros Variable types: 0 continuous, 11747 integer (11747 binary) Root relaxation: objective 0.000000e+00, 352 iterations, 0.08 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 (688 simplex iterations) in 0.40 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 -- 73 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:16:03 2012 Optimize a model with 36723 rows, 6308 columns and 115020 nonzeros Presolve time: 0.16s Presolved: 36723 rows, 6308 columns, 115020 nonzeros Variable types: 0 continuous, 6308 integer (6308 binary) Root relaxation: objective 0.000000e+00, 463 iterations, 0.04 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 (890 simplex iterations) in 0.25 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 -- 36 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:16:03 2012 Optimize a model with 18435 rows, 3662 columns and 57510 nonzeros Presolve time: 0.06s Presolved: 18435 rows, 3662 columns, 57510 nonzeros Variable types: 0 continuous, 3662 integer (3662 binary) Root relaxation: objective 0.000000e+00, 451 iterations, 0.02 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 (867 simplex iterations) in 0.11 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 -- 18 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:16:04 2012 Optimize a model with 9291 rows, 2339 columns and 28755 nonzeros Presolve time: 0.03s Presolved: 9291 rows, 2339 columns, 28755 nonzeros Variable types: 0 continuous, 2339 integer (2339 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (973 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:16:04 2012 Optimize a model with 4211 rows, 1604 columns and 12780 nonzeros Presolve time: 0.01s Presolved: 4211 rows, 1604 columns, 12780 nonzeros Variable types: 0 continuous, 1604 integer (1604 binary) Root relaxation: objective 0.000000e+00, 326 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 290 - 0.00000 - - 0s 0 0 0.00000 0 263 - 0.00000 - - 0s 0 0 0.00000 0 483 - 0.00000 - - 1s 0 0 0.00000 0 467 - 0.00000 - - 1s 0 0 0.00000 0 472 - 0.00000 - - 2s 0 0 0.00000 0 465 - 0.00000 - - 2s 0 0 0.00000 0 462 - 0.00000 - - 3s 0 0 0.00000 0 448 - 0.00000 - - 6s 0 0 0.00000 0 436 - 0.00000 - - 8s 0 0 0.00000 0 437 - 0.00000 - - 9s 0 0 0.00000 0 435 - 0.00000 - - 11s 0 0 0.00000 0 432 - 0.00000 - - 12s 0 0 0.00000 0 424 - 0.00000 - - 14s 0 0 0.00000 0 422 - 0.00000 - - 15s 0 0 0.00000 0 422 - 0.00000 - - 16s 0 0 0.00000 0 439 - 0.00000 - - 17s 0 0 0.00000 0 439 - 0.00000 - - 18s 0 2 0.00000 0 439 - 0.00000 - - 19s Cutting planes: Clique: 13 Zero half: 13 Explored 5 nodes (65309 simplex iterations) in 19.39 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:16:23 2012 Optimize a model with 6243 rows, 1898 columns and 19170 nonzeros Presolve time: 0.02s Presolved: 6243 rows, 1898 columns, 19170 nonzeros Variable types: 0 continuous, 1898 integer (1898 binary) Root relaxation: objective 0.000000e+00, 304 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 167 - 0.00000 - - 0s 0 0 0.00000 0 154 - 0.00000 - - 0s 0 0 0.00000 0 196 - 0.00000 - - 1s 0 0 0.00000 0 208 - 0.00000 - - 1s 0 0 0.00000 0 130 - 0.00000 - - 2s 0 0 0.00000 0 88 - 0.00000 - - 2s * 0 0 0 0.0000000 0.00000 0.0% - 3s Cutting planes: Clique: 5 Zero half: 36 Explored 0 nodes (26849 simplex iterations) in 3.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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:16:27 2012 Optimize a model with 5227 rows, 1751 columns and 15975 nonzeros Presolve time: 0.01s Presolved: 5227 rows, 1751 columns, 15975 nonzeros Variable types: 0 continuous, 1751 integer (1751 binary) Root relaxation: objective 0.000000e+00, 307 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 288 - 0.00000 - - 0s 0 0 0.00000 0 209 - 0.00000 - - 0s 0 0 0.00000 0 350 - 0.00000 - - 1s 0 0 0.00000 0 392 - 0.00000 - - 2s 0 0 0.00000 0 383 - 0.00000 - - 2s 0 0 0.00000 0 363 - 0.00000 - - 4s 0 0 0.00000 0 265 - 0.00000 - - 5s 0 0 0.00000 0 222 - 0.00000 - - 6s 0 0 0.00000 0 226 - 0.00000 - - 7s 0 0 0.00000 0 231 - 0.00000 - - 8s 0 0 0.00000 0 234 - 0.00000 - - 8s 0 0 0.00000 0 228 - 0.00000 - - 9s 0 0 0.00000 0 224 - 0.00000 - - 10s 0 0 0.00000 0 222 - 0.00000 - - 11s 0 0 0.00000 0 220 - 0.00000 - - 12s 0 0 0.00000 0 315 - 0.00000 - - 12s 0 0 0.00000 0 315 - 0.00000 - - 13s 0 2 0.00000 0 315 - 0.00000 - - 14s 2 3 0.00000 1 358 - 0.00000 - 1510 15s 223 51 infeasible 20 - 0.00000 - 199 20s 517 77 infeasible 28 - 0.00000 - 184 25s 803 74 0.00000 16 350 - 0.00000 - 173 31s 806 76 0.00000 16 323 - 0.00000 - 172 37s 808 78 0.00000 15 316 - 0.00000 - 172 41s 811 80 0.00000 26 237 - 0.00000 - 171 46s 813 81 0.00000 11 335 - 0.00000 - 171 50s 825 85 0.00000 18 355 - 0.00000 - 237 55s 897 105 infeasible 38 - 0.00000 - 241 60s 1020 73 infeasible 26 - 0.00000 - 255 65s 1148 73 infeasible 28 - 0.00000 - 267 70s 1265 84 0.00000 24 334 - 0.00000 - 278 75s 1372 87 0.00000 29 273 - 0.00000 - 290 80s 1480 81 0.00000 34 361 - 0.00000 - 298 85s 1609 94 infeasible 30 - 0.00000 - 303 90s 1736 97 infeasible 29 - 0.00000 - 308 95s 1871 98 0.00000 24 308 - 0.00000 - 312 100s 2000 91 0.00000 28 250 - 0.00000 - 318 105s 2162 111 infeasible 35 - 0.00000 - 318 110s 2328 105 0.00000 31 364 - 0.00000 - 318 115s 2468 109 infeasible 37 - 0.00000 - 320 120s 2630 105 0.00000 38 361 - 0.00000 - 319 125s 2744 105 infeasible 30 - 0.00000 - 323 130s 2879 118 0.00000 31 339 - 0.00000 - 325 135s 3019 128 infeasible 25 - 0.00000 - 326 140s 3174 159 0.00000 31 332 - 0.00000 - 326 145s 3294 139 infeasible 29 - 0.00000 - 330 150s 3409 126 infeasible 27 - 0.00000 - 333 155s 3520 121 infeasible 27 - 0.00000 - 337 160s 3655 126 infeasible 36 - 0.00000 - 337 165s 3782 127 infeasible 27 - 0.00000 - 339 170s 3902 125 infeasible 27 - 0.00000 - 341 175s 4025 124 infeasible 33 - 0.00000 - 343 180s 4151 122 0.00000 25 364 - 0.00000 - 345 185s 4274 135 infeasible 40 - 0.00000 - 346 190s 4393 144 0.00000 35 355 - 0.00000 - 348 195s 4518 141 infeasible 31 - 0.00000 - 349 200s 4663 136 infeasible 28 - 0.00000 - 349 205s 4794 129 infeasible 29 - 0.00000 - 350 210s 4926 125 0.00000 33 342 - 0.00000 - 351 215s 5037 112 infeasible 31 - 0.00000 - 352 220s 5144 119 infeasible 34 - 0.00000 - 354 225s 5272 117 infeasible 38 - 0.00000 - 354 230s 5398 115 infeasible 32 - 0.00000 - 355 235s 5521 114 infeasible 38 - 0.00000 - 356 240s 5641 114 0.00000 28 376 - 0.00000 - 357 245s 5759 120 infeasible 30 - 0.00000 - 358 250s 5873 118 0.00000 33 357 - 0.00000 - 359 255s 5998 115 infeasible 30 - 0.00000 - 359 260s 6120 141 0.00000 34 342 - 0.00000 - 360 265s 6249 144 0.00000 32 343 - 0.00000 - 360 270s Cutting planes: Clique: 4 Zero half: 9 Explored 6325 nodes (2366851 simplex iterations) in 273.25 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