current bounds on the number of colors: 0 -- 139 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:33:21 2012 Optimize a model with 64861 rows, 10529 columns and 203757 nonzeros Presolve time: 0.19s Presolved: 64861 rows, 10529 columns, 203757 nonzeros Variable types: 0 continuous, 10529 integer (10529 binary) Root relaxation: objective 0.000000e+00, 373 iterations, 0.07 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 (686 simplex iterations) in 0.35 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 -- 69 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:33:22 2012 Optimize a model with 32031 rows, 5664 columns and 100402 nonzeros Presolve time: 0.15s Presolved: 32031 rows, 5664 columns, 100402 nonzeros Variable types: 0 continuous, 5664 integer (5664 binary) Root relaxation: objective 0.000000e+00, 366 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 (690 simplex iterations) in 0.23 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 -- 34 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:33:23 2012 Optimize a model with 16085 rows, 3301 columns and 50201 nonzeros Presolve time: 0.05s Presolved: 16085 rows, 3301 columns, 50201 nonzeros Variable types: 0 continuous, 3301 integer (3301 binary) Root relaxation: objective 0.000000e+00, 293 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 (596 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:33:23 2012 Optimize a model with 7643 rows, 2050 columns and 23624 nonzeros Presolve time: 0.02s Presolved: 7643 rows, 2050 columns, 23624 nonzeros Variable types: 0 continuous, 2050 integer (2050 binary) Root relaxation: objective 0.000000e+00, 289 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 (948 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:33:23 2012 Optimize a model with 3891 rows, 1494 columns and 11812 nonzeros Presolve time: 0.01s Presolved: 3891 rows, 1494 columns, 11812 nonzeros Variable types: 0 continuous, 1494 integer (1494 binary) Root relaxation: objective 0.000000e+00, 297 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 276 - 0.00000 - - 0s 0 0 0.00000 0 186 - 0.00000 - - 0s 0 0 0.00000 0 406 - 0.00000 - - 1s 0 0 0.00000 0 423 - 0.00000 - - 1s 0 0 0.00000 0 416 - 0.00000 - - 3s 0 0 0.00000 0 412 - 0.00000 - - 4s 0 0 0.00000 0 407 - 0.00000 - - 6s 0 0 0.00000 0 399 - 0.00000 - - 7s 0 0 0.00000 0 397 - 0.00000 - - 8s 0 0 0.00000 0 395 - 0.00000 - - 9s 0 0 0.00000 0 399 - 0.00000 - - 10s 0 0 0.00000 0 398 - 0.00000 - - 11s 0 0 0.00000 0 409 - 0.00000 - - 13s 0 0 0.00000 0 409 - 0.00000 - - 14s 0 0 0.00000 0 405 - 0.00000 - - 15s 0 0 0.00000 0 402 - 0.00000 - - 16s 0 0 0.00000 0 398 - 0.00000 - - 17s 0 0 0.00000 0 407 - 0.00000 - - 18s 0 0 0.00000 0 407 - 0.00000 - - 19s 0 2 0.00000 0 407 - 0.00000 - - 20s Cutting planes: Clique: 12 Zero half: 19 Explored 5 nodes (63934 simplex iterations) in 20.42 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 09:33:44 2012 Optimize a model with 5767 rows, 1772 columns and 17718 nonzeros Presolve time: 0.02s Presolved: 5767 rows, 1772 columns, 17718 nonzeros Variable types: 0 continuous, 1772 integer (1772 binary) Root relaxation: objective 0.000000e+00, 295 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 150 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3433 simplex iterations) in 0.27 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 09:33:44 2012 Optimize a model with 4829 rows, 1633 columns and 14765 nonzeros Presolve time: 0.01s Presolved: 4829 rows, 1633 columns, 14765 nonzeros Variable types: 0 continuous, 1633 integer (1633 binary) Root relaxation: objective 0.000000e+00, 288 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 276 - 0.00000 - - 0s 0 0 0.00000 0 233 - 0.00000 - - 0s 0 0 0.00000 0 364 - 0.00000 - - 1s 0 0 0.00000 0 374 - 0.00000 - - 1s 0 0 0.00000 0 365 - 0.00000 - - 2s 0 0 0.00000 0 371 - 0.00000 - - 3s 0 0 0.00000 0 386 - 0.00000 - - 3s 0 0 0.00000 0 386 - 0.00000 - - 4s 0 2 0.00000 0 386 - 0.00000 - - 5s 492 91 0.00000 29 273 - 0.00000 - 119 10s 705 108 0.00000 16 365 - 0.00000 - 117 15s 707 109 0.00000 3 359 - 0.00000 - 117 20s 710 111 0.00000 18 339 - 0.00000 - 116 25s 713 113 0.00000 25 343 - 0.00000 - 116 30s 838 128 infeasible 31 - 0.00000 - 189 35s 1029 92 infeasible 36 - 0.00000 - 207 40s 1227 100 infeasible 33 - 0.00000 - 217 45s 1403 112 0.00000 32 336 - 0.00000 - 228 50s 1596 131 0.00000 37 294 - 0.00000 - 234 55s 1785 150 infeasible 31 - 0.00000 - 239 60s 1999 164 infeasible 36 - 0.00000 - 240 65s 2178 169 infeasible 36 - 0.00000 - 246 70s 2376 163 0.00000 35 298 - 0.00000 - 249 75s 2582 171 0.00000 39 306 - 0.00000 - 250 80s 2749 166 infeasible 34 - 0.00000 - 254 85s 2952 179 0.00000 33 246 - 0.00000 - 256 90s 3154 195 infeasible 36 - 0.00000 - 256 95s 3338 209 0.00000 32 326 - 0.00000 - 258 100s 3523 206 0.00000 36 328 - 0.00000 - 260 105s 3689 204 0.00000 34 313 - 0.00000 - 263 110s 3867 208 0.00000 19 312 - 0.00000 - 265 115s 4104 235 infeasible 34 - 0.00000 - 264 120s 4275 232 infeasible 36 - 0.00000 - 266 125s 4462 237 infeasible 36 - 0.00000 - 267 130s 4663 262 0.00000 40 308 - 0.00000 - 267 135s 4857 260 infeasible 38 - 0.00000 - 268 140s 5053 268 0.00000 35 296 - 0.00000 - 269 145s 5251 274 infeasible 35 - 0.00000 - 270 150s 5445 318 0.00000 35 293 - 0.00000 - 270 155s 5628 345 infeasible 40 - 0.00000 - 270 160s 5827 396 infeasible 40 - 0.00000 - 271 165s 5999 372 infeasible 36 - 0.00000 - 272 170s 6172 377 infeasible 33 - 0.00000 - 273 175s 6342 401 infeasible 36 - 0.00000 - 274 180s 6531 436 0.00000 31 315 - 0.00000 - 274 185s 6711 436 infeasible 37 - 0.00000 - 274 190s 6872 425 0.00000 40 318 - 0.00000 - 275 195s 7047 428 0.00000 38 313 - 0.00000 - 276 200s 7227 422 infeasible 37 - 0.00000 - 277 205s 7401 414 0.00000 28 331 - 0.00000 - 278 210s 7596 417 0.00000 28 232 - 0.00000 - 278 215s 7784 441 infeasible 34 - 0.00000 - 278 220s 7959 450 0.00000 41 322 - 0.00000 - 279 225s 8148 463 0.00000 34 222 - 0.00000 - 279 230s 8306 457 infeasible 34 - 0.00000 - 280 235s 8467 452 infeasible 34 - 0.00000 - 281 240s 8636 451 infeasible 35 - 0.00000 - 282 245s 8851 470 infeasible 32 - 0.00000 - 281 250s 9037 474 0.00000 29 306 - 0.00000 - 282 255s 9203 480 infeasible 36 - 0.00000 - 282 260s 9373 474 infeasible 30 - 0.00000 - 283 265s 9576 519 0.00000 39 210 - 0.00000 - 283 270s 9778 507 infeasible 33 - 0.00000 - 283 275s Cutting planes: Clique: 4 Zero half: 13 Explored 9793 nodes (2797181 simplex iterations) in 275.59 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