current bounds on the number of colors: 0 -- 139 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:19:57 2012 Optimize a model with 67621 rows, 10569 columns and 212037 nonzeros Presolve time: 0.20s Presolved: 67621 rows, 10569 columns, 212037 nonzeros Variable types: 0 continuous, 10569 integer (10569 binary) Root relaxation: objective 0.000000e+00, 359 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 (738 simplex iterations) in 0.38 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:19:59 2012 Optimize a model with 33391 rows, 5704 columns and 104482 nonzeros Presolve time: 0.16s Presolved: 33391 rows, 5704 columns, 104482 nonzeros Variable types: 0 continuous, 5704 integer (5704 binary) Root relaxation: objective 0.000000e+00, 332 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 (651 simplex iterations) in 0.24 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:19:59 2012 Optimize a model with 16765 rows, 3341 columns and 52241 nonzeros Presolve time: 0.06s Presolved: 16765 rows, 3341 columns, 52241 nonzeros Variable types: 0 continuous, 3341 integer (3341 binary) Root relaxation: objective 0.000000e+00, 397 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 (786 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:20:00 2012 Optimize a model with 7963 rows, 2090 columns and 24584 nonzeros Presolve time: 0.02s Presolved: 7963 rows, 2090 columns, 24584 nonzeros Variable types: 0 continuous, 2090 integer (2090 binary) Root relaxation: objective 0.000000e+00, 290 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 (1784 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:20:00 2012 Optimize a model with 4051 rows, 1534 columns and 12292 nonzeros Presolve time: 0.01s Presolved: 4051 rows, 1534 columns, 12292 nonzeros Variable types: 0 continuous, 1534 integer (1534 binary) Root relaxation: objective 0.000000e+00, 296 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 278 - 0.00000 - - 0s 0 0 0.00000 0 450 - 0.00000 - - 1s 0 0 0.00000 0 455 - 0.00000 - - 2s 0 0 0.00000 0 455 - 0.00000 - - 3s 0 0 0.00000 0 443 - 0.00000 - - 3s 0 0 0.00000 0 440 - 0.00000 - - 6s 0 0 0.00000 0 432 - 0.00000 - - 7s 0 0 0.00000 0 431 - 0.00000 - - 9s 0 0 0.00000 0 430 - 0.00000 - - 11s 0 0 0.00000 0 426 - 0.00000 - - 12s 0 0 0.00000 0 417 - 0.00000 - - 13s 0 0 0.00000 0 414 - 0.00000 - - 14s 0 0 0.00000 0 422 - 0.00000 - - 15s 0 0 0.00000 0 435 - 0.00000 - - 16s 0 0 0.00000 0 435 - 0.00000 - - 16s 0 2 0.00000 0 435 - 0.00000 - - 17s Cutting planes: Clique: 21 Zero half: 23 Explored 7 nodes (67101 simplex iterations) in 18.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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:20:18 2012 Optimize a model with 6007 rows, 1812 columns and 18438 nonzeros Presolve time: 0.02s Presolved: 6007 rows, 1812 columns, 18438 nonzeros Variable types: 0 continuous, 1812 integer (1812 binary) Root relaxation: objective 0.000000e+00, 296 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 187 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 17 Clique: 69 Zero half: 110 Explored 0 nodes (5392 simplex iterations) in 0.52 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:20:19 2012 Optimize a model with 5029 rows, 1673 columns and 15365 nonzeros Presolve time: 0.01s Presolved: 5029 rows, 1673 columns, 15365 nonzeros Variable types: 0 continuous, 1673 integer (1673 binary) Root relaxation: objective 0.000000e+00, 282 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 278 - 0.00000 - - 0s 0 0 0.00000 0 256 - 0.00000 - - 0s 0 0 0.00000 0 272 - 0.00000 - - 1s 0 0 0.00000 0 398 - 0.00000 - - 1s 0 0 0.00000 0 359 - 0.00000 - - 2s 0 0 0.00000 0 347 - 0.00000 - - 3s 0 0 0.00000 0 338 - 0.00000 - - 4s 0 0 0.00000 0 371 - 0.00000 - - 5s 0 0 0.00000 0 373 - 0.00000 - - 6s 0 0 0.00000 0 396 - 0.00000 - - 7s 0 0 0.00000 0 396 - 0.00000 - - 8s 0 2 0.00000 0 396 - 0.00000 - - 9s 16 16 0.00000 12 335 - 0.00000 - 463 10s 402 64 infeasible 28 - 0.00000 - 155 15s 604 78 0.00000 19 411 - 0.00000 - 155 20s 607 80 0.00000 14 341 - 0.00000 - 154 27s 609 81 0.00000 18 343 - 0.00000 - 154 31s 612 83 0.00000 14 435 - 0.00000 - 153 35s 658 102 0.00000 31 324 - 0.00000 - 239 40s 808 134 0.00000 31 329 - 0.00000 - 249 45s 964 136 infeasible 28 - 0.00000 - 259 50s 1106 150 0.00000 24 321 - 0.00000 - 270 55s 1265 169 infeasible 30 - 0.00000 - 273 60s 1418 178 0.00000 24 332 - 0.00000 - 279 65s 1568 218 infeasible 33 - 0.00000 - 282 70s 1715 245 0.00000 26 327 - 0.00000 - 286 75s 1851 253 infeasible 27 - 0.00000 - 290 80s 1992 288 0.00000 23 343 - 0.00000 - 294 85s 2121 297 infeasible 27 - 0.00000 - 299 90s 2261 307 infeasible 27 - 0.00000 - 302 95s 2396 310 infeasible 27 - 0.00000 - 305 100s 2524 316 0.00000 28 340 - 0.00000 - 308 105s 2674 316 infeasible 28 - 0.00000 - 309 110s 2808 328 infeasible 32 - 0.00000 - 311 115s 2946 340 infeasible 28 - 0.00000 - 313 120s 3078 354 infeasible 27 - 0.00000 - 314 125s 3210 362 0.00000 19 347 - 0.00000 - 316 130s 3354 384 infeasible 28 - 0.00000 - 317 135s 3498 412 infeasible 29 - 0.00000 - 317 140s 3616 398 infeasible 28 - 0.00000 - 320 145s 3743 399 infeasible 26 - 0.00000 - 322 150s 3903 427 0.00000 28 340 - 0.00000 - 322 155s 4041 437 infeasible 30 - 0.00000 - 323 160s 4185 459 0.00000 26 330 - 0.00000 - 324 165s 4317 459 infeasible 29 - 0.00000 - 326 170s 4439 449 0.00000 26 250 - 0.00000 - 327 175s 4571 443 infeasible 26 - 0.00000 - 328 180s 4703 445 0.00000 27 339 - 0.00000 - 329 185s 4827 443 0.00000 25 318 - 0.00000 - 330 190s 4967 437 infeasible 26 - 0.00000 - 331 195s 5097 433 infeasible 31 - 0.00000 - 332 200s 5223 427 0.00000 25 331 - 0.00000 - 333 205s 5357 425 infeasible 28 - 0.00000 - 334 210s 5482 426 infeasible 28 - 0.00000 - 335 215s 5611 423 0.00000 26 317 - 0.00000 - 336 220s 5756 418 infeasible 26 - 0.00000 - 336 225s 5888 424 0.00000 31 337 - 0.00000 - 337 230s 6001 419 0.00000 28 326 - 0.00000 - 338 235s 6121 401 0.00000 24 325 - 0.00000 - 339 240s 6255 387 0.00000 27 323 - 0.00000 - 339 245s 6399 397 infeasible 29 - 0.00000 - 339 250s 6535 403 0.00000 25 321 - 0.00000 - 339 255s 6660 388 infeasible 30 - 0.00000 - 340 260s 6788 390 infeasible 29 - 0.00000 - 341 265s 6928 404 0.00000 32 318 - 0.00000 - 341 270s 7041 405 infeasible 26 - 0.00000 - 341 275s Cutting planes: Clique: 8 Zero half: 5 Explored 7098 nodes (2466367 simplex iterations) in 277.15 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