current bounds on the number of colors: 0 -- 149 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:49:09 2012 Optimize a model with 80143 rows, 12107 columns and 251008 nonzeros Presolve time: 0.23s Presolved: 80143 rows, 12107 columns, 251008 nonzeros Variable types: 0 continuous, 12107 integer (12107 binary) Root relaxation: objective 0.000000e+00, 382 iterations, 0.09 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 (799 simplex iterations) in 0.45 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 -- 74 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:49:11 2012 Optimize a model with 40146 rows, 6594 columns and 125504 nonzeros Presolve time: 0.15s Presolved: 40146 rows, 6594 columns, 125504 nonzeros Variable types: 0 continuous, 6594 integer (6594 binary) Root relaxation: objective 0.000000e+00, 349 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 (685 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 -- 37 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:49:11 2012 Optimize a model with 19607 rows, 3763 columns and 61056 nonzeros Presolve time: 0.07s Presolved: 19607 rows, 3763 columns, 61056 nonzeros Variable types: 0 continuous, 3763 integer (3763 binary) Root relaxation: objective 0.000000e+00, 443 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 (894 simplex iterations) in 0.12 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 17:49:12 2012 Optimize a model with 9878 rows, 2422 columns and 30528 nonzeros Presolve time: 0.03s Presolved: 9878 rows, 2422 columns, 30528 nonzeros Variable types: 0 continuous, 2422 integer (2422 binary) Root relaxation: objective 0.000000e+00, 315 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 (1158 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:49:12 2012 Optimize a model with 4473 rows, 1677 columns and 13568 nonzeros Presolve time: 0.01s Presolved: 4473 rows, 1677 columns, 13568 nonzeros Variable types: 0 continuous, 1677 integer (1677 binary) Root relaxation: objective 0.000000e+00, 320 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 298 - 0.00000 - - 0s 0 0 0.00000 0 279 - 0.00000 - - 1s 0 0 0.00000 0 495 - 0.00000 - - 1s 0 0 0.00000 0 485 - 0.00000 - - 2s 0 0 0.00000 0 495 - 0.00000 - - 2s 0 0 0.00000 0 490 - 0.00000 - - 3s 0 0 0.00000 0 464 - 0.00000 - - 4s 0 0 0.00000 0 462 - 0.00000 - - 6s 0 0 0.00000 0 466 - 0.00000 - - 7s 0 0 0.00000 0 470 - 0.00000 - - 8s 0 0 0.00000 0 467 - 0.00000 - - 10s 0 0 0.00000 0 476 - 0.00000 - - 10s 0 0 0.00000 0 474 - 0.00000 - - 11s 0 2 0.00000 0 474 - 0.00000 - - 12s Cutting planes: Clique: 19 Zero half: 17 Explored 21 nodes (61440 simplex iterations) in 13.81 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 17:49:26 2012 Optimize a model with 6635 rows, 1975 columns and 20352 nonzeros Presolve time: 0.02s Presolved: 6635 rows, 1975 columns, 20352 nonzeros Variable types: 0 continuous, 1975 integer (1975 binary) Root relaxation: objective 0.000000e+00, 325 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 283 - 0.00000 - - 0s 0 0 0.00000 0 300 - 0.00000 - - 1s 0 0 0.00000 0 243 - 0.00000 - - 2s 0 0 0.00000 0 365 - 0.00000 - - 2s 0 0 0.00000 0 316 - 0.00000 - - 3s 0 0 0.00000 0 342 - 0.00000 - - 4s 0 0 0.00000 0 397 - 0.00000 - - 4s 0 0 0.00000 0 397 - 0.00000 - - 5s 0 2 0.00000 0 391 - 0.00000 - - 6s * 93 4 44 0.0000000 0.00000 0.0% 144 7s Cutting planes: Clique: 4 Zero half: 14 Explored 94 nodes (47935 simplex iterations) in 7.51 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 17:49:34 2012 Optimize a model with 5554 rows, 1826 columns and 16960 nonzeros Presolve time: 0.01s Presolved: 5554 rows, 1826 columns, 16960 nonzeros Variable types: 0 continuous, 1826 integer (1826 binary) Root relaxation: objective 0.000000e+00, 322 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 292 - 0.00000 - - 0s 0 0 0.00000 0 235 - 0.00000 - - 1s 0 0 0.00000 0 252 - 0.00000 - - 2s 0 0 0.00000 0 447 - 0.00000 - - 2s 0 0 0.00000 0 364 - 0.00000 - - 4s 0 0 0.00000 0 353 - 0.00000 - - 5s 0 0 0.00000 0 351 - 0.00000 - - 6s 0 0 0.00000 0 381 - 0.00000 - - 7s 0 0 0.00000 0 418 - 0.00000 - - 8s 0 0 0.00000 0 397 - 0.00000 - - 9s 0 0 0.00000 0 391 - 0.00000 - - 10s 0 0 0.00000 0 393 - 0.00000 - - 11s 0 0 0.00000 0 393 - 0.00000 - - 12s 0 2 0.00000 0 393 - 0.00000 - - 13s 25 25 0.00000 19 339 - 0.00000 - 417 15s 272 66 0.00000 16 262 - 0.00000 - 215 20s 588 90 0.00000 22 363 - 0.00000 - 181 25s 605 95 0.00000 6 238 - 0.00000 - 180 32s 607 96 0.00000 22 274 - 0.00000 - 179 36s 609 97 0.00000 24 421 - 0.00000 - 178 41s 612 99 0.00000 23 386 - 0.00000 - 178 46s 635 113 0.00000 25 382 - 0.00000 - 270 50s 750 115 infeasible 32 - 0.00000 - 285 55s 856 94 infeasible 35 - 0.00000 - 298 60s 960 79 0.00000 24 345 - 0.00000 - 308 65s 1089 122 0.00000 26 360 - 0.00000 - 312 70s 1202 133 infeasible 29 - 0.00000 - 318 75s 1334 167 0.00000 31 317 - 0.00000 - 319 80s 1461 188 infeasible 35 - 0.00000 - 322 85s 1573 200 infeasible 32 - 0.00000 - 326 90s 1695 208 infeasible 27 - 0.00000 - 329 95s 1813 208 infeasible 29 - 0.00000 - 331 100s 1932 217 0.00000 37 371 - 0.00000 - 332 105s 2072 251 0.00000 34 372 - 0.00000 - 331 110s 2178 271 infeasible 34 - 0.00000 - 334 115s 2301 292 0.00000 30 332 - 0.00000 - 336 120s 2421 294 0.00000 33 262 - 0.00000 - 338 125s 2519 312 infeasible 39 - 0.00000 - 342 130s 2632 335 0.00000 33 332 - 0.00000 - 344 135s 2758 355 infeasible 33 - 0.00000 - 344 140s 2887 372 0.00000 32 341 - 0.00000 - 343 145s 2992 371 0.00000 28 367 - 0.00000 - 345 150s 3106 379 infeasible 31 - 0.00000 - 347 155s 3247 404 0.00000 37 300 - 0.00000 - 345 160s 3378 409 infeasible 34 - 0.00000 - 345 165s 3492 421 infeasible 35 - 0.00000 - 346 170s 3600 415 infeasible 32 - 0.00000 - 348 175s 3720 425 infeasible 35 - 0.00000 - 349 180s 3836 451 0.00000 36 350 - 0.00000 - 349 185s 3946 467 infeasible 37 - 0.00000 - 350 190s 4057 472 0.00000 32 333 - 0.00000 - 351 195s 4176 491 infeasible 36 - 0.00000 - 351 200s 4283 512 0.00000 35 364 - 0.00000 - 352 205s 4394 541 infeasible 34 - 0.00000 - 353 210s 4503 546 infeasible 35 - 0.00000 - 354 215s 4617 566 infeasible 34 - 0.00000 - 354 220s 4731 584 0.00000 33 340 - 0.00000 - 355 225s 4847 592 0.00000 36 357 - 0.00000 - 356 230s 4959 596 infeasible 36 - 0.00000 - 356 235s 5059 598 infeasible 37 - 0.00000 - 358 240s 5163 600 infeasible 38 - 0.00000 - 359 245s 5282 623 0.00000 29 356 - 0.00000 - 359 250s 5390 629 0.00000 38 339 - 0.00000 - 360 255s 5490 625 infeasible 34 - 0.00000 - 361 260s 5595 634 infeasible 33 - 0.00000 - 362 265s 5699 626 0.00000 30 350 - 0.00000 - 363 270s Cutting planes: Gomory: 1 Clique: 5 Zero half: 4 Explored 5797 nodes (2166743 simplex iterations) in 274.10 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