current bounds on the number of colors: 0 -- 216 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:46:27 2012 Optimize a model with 133488 rows, 24562 columns and 423144 nonzeros Presolve time: 0.47s Presolved: 133488 rows, 24562 columns, 423144 nonzeros Variable types: 0 continuous, 24562 integer (24562 binary) Root relaxation: objective 0.000000e+00, 561 iterations, 0.17 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 (1031 simplex iterations) in 0.82 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 -- 108 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:46:29 2012 Optimize a model with 66852 rows, 12898 columns and 211572 nonzeros Presolve time: 0.19s Presolved: 66852 rows, 12898 columns, 211572 nonzeros Variable types: 0 continuous, 12898 integer (12898 binary) Root relaxation: objective 0.000000e+00, 681 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 (1234 simplex iterations) in 0.37 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 -- 54 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:46:31 2012 Optimize a model with 33534 rows, 7066 columns and 105786 nonzeros Presolve time: 0.14s Presolved: 33534 rows, 7066 columns, 105786 nonzeros Variable types: 0 continuous, 7066 integer (7066 binary) Root relaxation: objective 0.000000e+00, 492 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 (916 simplex iterations) in 0.20 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 -- 27 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:46:31 2012 Optimize a model with 16258 rows, 4042 columns and 50934 nonzeros Presolve time: 0.05s Presolved: 16258 rows, 4042 columns, 50934 nonzeros Variable types: 0 continuous, 4042 integer (4042 binary) Root relaxation: objective 0.000000e+00, 449 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 (877 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 -- 13 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:46:31 2012 Optimize a model with 7620 rows, 2530 columns and 23508 nonzeros Presolve time: 0.02s Presolved: 7620 rows, 2530 columns, 23508 nonzeros Variable types: 0 continuous, 2530 integer (2530 binary) Root relaxation: objective 0.000000e+00, 468 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 (4709 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:46:32 2012 Optimize a model with 3918 rows, 1882 columns and 11754 nonzeros Presolve time: 0.01s Presolved: 3918 rows, 1882 columns, 11754 nonzeros Variable types: 0 continuous, 1882 integer (1882 binary) Root relaxation: objective 0.000000e+00, 526 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 326 - 0.00000 - - 0s 0 0 0.00000 0 516 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Explored 0 nodes (11386 simplex iterations) in 1.57 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:46:34 2012 Optimize a model with 5152 rows, 2098 columns and 15672 nonzeros Presolve time: 0.01s Presolved: 5152 rows, 2098 columns, 15672 nonzeros Variable types: 0 continuous, 2098 integer (2098 binary) Root relaxation: objective 0.000000e+00, 476 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 428 - 0.00000 - - 0s 0 0 0.00000 0 416 - 0.00000 - - 0s 0 0 0.00000 0 406 - 0.00000 - - 1s 0 0 0.00000 0 596 - 0.00000 - - 2s 0 0 0.00000 0 418 - 0.00000 - - 3s 0 0 0.00000 0 402 - 0.00000 - - 4s 0 0 0.00000 0 398 - 0.00000 - - 5s 0 0 0.00000 0 386 - 0.00000 - - 6s 0 0 0.00000 0 390 - 0.00000 - - 8s 0 0 0.00000 0 419 - 0.00000 - - 9s 0 0 0.00000 0 397 - 0.00000 - - 10s 0 0 0.00000 0 392 - 0.00000 - - 11s 0 0 0.00000 0 392 - 0.00000 - - 13s 0 0 0.00000 0 394 - 0.00000 - - 14s 0 0 0.00000 0 394 - 0.00000 - - 14s 0 2 0.00000 0 394 - 0.00000 - - 16s 77 19 infeasible 17 - 0.00000 - 394 20s 258 26 0.00000 16 501 - 0.00000 - 267 25s 408 26 infeasible 13 - 0.00000 - 267 30s 560 39 0.00000 17 380 - 0.00000 - 266 35s 703 40 0.00000 7 406 - 0.00000 - 266 41s 705 42 0.00000 8 384 - 0.00000 - 265 49s 706 42 0.00000 5 378 - 0.00000 - 265 52s 708 44 0.00000 16 382 - 0.00000 - 264 57s 709 44 0.00000 16 382 - 0.00000 - 264 60s 711 46 0.00000 10 393 - 0.00000 - 263 65s 719 49 0.00000 17 517 - 0.00000 - 341 70s 731 55 0.00000 22 523 - 0.00000 - 344 75s 788 43 infeasible 20 - 0.00000 - 355 80s 870 40 0.00000 29 515 - 0.00000 - 361 85s 940 40 infeasible 28 - 0.00000 - 371 90s 1015 33 infeasible 27 - 0.00000 - 377 95s 1092 50 infeasible 28 - 0.00000 - 383 100s 1167 43 0.00000 26 532 - 0.00000 - 389 105s 1242 46 infeasible 28 - 0.00000 - 395 110s 1309 45 0.00000 30 429 - 0.00000 - 399 115s 1384 42 infeasible 27 - 0.00000 - 403 120s 1454 38 infeasible 21 - 0.00000 - 408 125s 1515 35 infeasible 34 - 0.00000 - 414 130s 1570 34 infeasible 26 - 0.00000 - 419 135s 1633 27 0.00000 24 535 - 0.00000 - 425 140s 1693 19 infeasible 22 - 0.00000 - 429 145s 1760 16 infeasible 22 - 0.00000 - 432 150s 1849 13 0.00000 26 534 - 0.00000 - 432 155s 1917 11 infeasible 27 - 0.00000 - 435 160s 1994 6 0.00000 24 551 - 0.00000 - 437 165s Cutting planes: Zero half: 27 Explored 2049 nodes (982968 simplex iterations) in 168.92 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:49:23 2012 Optimize a model with 6386 rows, 2314 columns and 19590 nonzeros Presolve time: 0.02s Presolved: 6386 rows, 2314 columns, 19590 nonzeros Variable types: 0 continuous, 2314 integer (2314 binary) Root relaxation: objective 0.000000e+00, 466 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 420 - 0.00000 - - 0s 0 0 0.00000 0 390 - 0.00000 - - 0s 0 0 0.00000 0 525 - 0.00000 - - 2s 0 0 0.00000 0 568 - 0.00000 - - 2s 0 0 0.00000 0 536 - 0.00000 - - 3s 0 0 0.00000 0 347 - 0.00000 - - 4s 0 0 0.00000 0 528 - 0.00000 - - 5s 0 0 0.00000 0 489 - 0.00000 - - 6s 0 0 0.00000 0 540 - 0.00000 - - 7s 0 0 0.00000 0 519 - 0.00000 - - 8s 0 0 0.00000 0 556 - 0.00000 - - 10s 0 0 0.00000 0 556 - 0.00000 - - 10s 0 2 0.00000 0 556 - 0.00000 - - 12s 213 155 0.00000 34 345 - 0.00000 - 172 15s 605 340 0.00000 26 534 - 0.00000 - 123 20s 609 342 0.00000 38 507 - 0.00000 - 122 25s 615 346 infeasible 12 - 0.00000 - 196 30s * 825 258 56 0.0000000 0.00000 0.0% 189 32s Cutting planes: Gomory: 1 Zero half: 9 Explored 826 nodes (211497 simplex iterations) in 32.97 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% optimal solution found: number of colors: 5