current bounds on the number of colors: 0 -- 212 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:59:41 2012 Optimize a model with 125822 rows, 23657 columns and 399302 nonzeros Presolve time: 0.43s Presolved: 125822 rows, 23657 columns, 399302 nonzeros Variable types: 0 continuous, 23657 integer (23657 binary) Root relaxation: objective 0.000000e+00, 557 iterations, 0.16 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 (984 simplex iterations) in 0.76 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 -- 106 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:59:44 2012 Optimize a model with 63017 rows, 12421 columns and 199651 nonzeros Presolve time: 0.18s Presolved: 63017 rows, 12421 columns, 199651 nonzeros Variable types: 0 continuous, 12421 integer (12421 binary) Root relaxation: objective 0.000000e+00, 644 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 (1376 simplex iterations) in 0.39 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 -- 53 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:59:45 2012 Optimize a model with 31022 rows, 6697 columns and 97942 nonzeros Presolve time: 0.13s Presolved: 31022 rows, 6697 columns, 97942 nonzeros Variable types: 0 continuous, 6697 integer (6697 binary) Root relaxation: objective 0.000000e+00, 514 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 (973 simplex iterations) in 0.19 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 -- 26 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:59:45 2012 Optimize a model with 15617 rows, 3941 columns and 48971 nonzeros Presolve time: 0.05s Presolved: 15617 rows, 3941 columns, 48971 nonzeros Variable types: 0 continuous, 3941 integer (3941 binary) Root relaxation: objective 0.000000e+00, 451 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 (1071 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 -- 13 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:59:46 2012 Optimize a model with 7322 rows, 2457 columns and 22602 nonzeros Presolve time: 0.02s Presolved: 7322 rows, 2457 columns, 22602 nonzeros Variable types: 0 continuous, 2457 integer (2457 binary) Root relaxation: objective 0.000000e+00, 457 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 (4541 simplex iterations) in 0.41 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 13:59:46 2012 Optimize a model with 3767 rows, 1821 columns and 11301 nonzeros Presolve time: 0.01s Presolved: 3767 rows, 1821 columns, 11301 nonzeros Variable types: 0 continuous, 1821 integer (1821 binary) Root relaxation: objective 0.000000e+00, 465 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 424 - 0.00000 - - 0s 0 0 0.00000 0 422 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5888 simplex iterations) in 0.95 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 13:59:47 2012 Optimize a model with 4952 rows, 2033 columns and 15068 nonzeros Presolve time: 0.01s Presolved: 4952 rows, 2033 columns, 15068 nonzeros Variable types: 0 continuous, 2033 integer (2033 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.00000 0 412 - 0.00000 - - 0s 0 0 0.00000 0 400 - 0.00000 - - 0s 0 0 0.00000 0 461 - 0.00000 - - 2s 0 0 0.00000 0 583 - 0.00000 - - 2s 0 0 0.00000 0 376 - 0.00000 - - 4s 0 0 0.00000 0 391 - 0.00000 - - 4s 0 0 0.00000 0 394 - 0.00000 - - 5s 0 0 0.00000 0 378 - 0.00000 - - 6s 0 0 0.00000 0 410 - 0.00000 - - 7s 0 0 0.00000 0 410 - 0.00000 - - 8s 0 2 0.00000 0 410 - 0.00000 - - 9s 12 12 0.00000 8 513 - 0.00000 - 669 10s 209 63 0.00000 18 410 - 0.00000 - 242 15s 457 75 0.00000 17 392 - 0.00000 - 206 20s 603 76 0.00000 11 461 - 0.00000 - 201 25s 605 78 0.00000 13 385 - 0.00000 - 200 32s 607 79 0.00000 13 368 - 0.00000 - 199 37s 608 80 0.00000 13 369 - 0.00000 - 199 40s 610 81 0.00000 15 358 - 0.00000 - 198 47s 611 82 0.00000 8 371 - 0.00000 - 198 50s 613 83 0.00000 2 360 - 0.00000 - 197 56s 614 84 0.00000 13 411 - 0.00000 - 197 60s 620 88 0.00000 13 518 - 0.00000 - 350 65s 627 92 0.00000 17 538 - 0.00000 - 352 70s 698 84 0.00000 21 515 - 0.00000 - 357 75s 779 56 infeasible 21 - 0.00000 - 365 80s 860 30 0.00000 25 408 - 0.00000 - 373 85s 933 23 infeasible 20 - 0.00000 - 382 90s 1006 18 0.00000 19 470 - 0.00000 - 389 95s 1076 10 infeasible 18 - 0.00000 - 393 100s 1144 6 infeasible 19 - 0.00000 - 400 105s Cutting planes: Gomory: 1 Clique: 2 Zero half: 19 Explored 1179 nodes (519213 simplex iterations) in 107.23 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 14:01:34 2012 Optimize a model with 6137 rows, 2245 columns and 18835 nonzeros Presolve time: 0.02s Presolved: 6137 rows, 2245 columns, 18835 nonzeros Variable types: 0 continuous, 2245 integer (2245 binary) Root relaxation: objective 0.000000e+00, 451 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 392 - 0.00000 - - 0s 0 0 0.00000 0 386 - 0.00000 - - 0s 0 0 0.00000 0 462 - 0.00000 - - 1s 0 0 0.00000 0 483 - 0.00000 - - 1s 0 0 0.00000 0 501 - 0.00000 - - 2s H 0 0 0.0000000 0.00000 0.0% - 2s Explored 0 nodes (17587 simplex iterations) in 2.74 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