current bounds on the number of colors: 0 -- 211 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:52:29 2012 Optimize a model with 116236 rows, 23260 columns and 370230 nonzeros Presolve time: 0.40s Presolved: 116236 rows, 23260 columns, 370230 nonzeros Variable types: 0 continuous, 23260 integer (23260 binary) Root relaxation: objective 0.000000e+00, 866 iterations, 0.11 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 (1560 simplex iterations) in 0.78 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 -- 105 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:52:31 2012 Optimize a model with 57671 rows, 12077 columns and 183352 nonzeros Presolve time: 0.18s Presolved: 57671 rows, 12077 columns, 183352 nonzeros Variable types: 0 continuous, 12077 integer (12077 binary) Root relaxation: objective 0.000000e+00, 641 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 (1137 simplex iterations) in 0.30 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 -- 52 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:52:32 2012 Optimize a model with 28941 rows, 6591 columns and 91676 nonzeros Presolve time: 0.12s Presolved: 28941 rows, 6591 columns, 91676 nonzeros Variable types: 0 continuous, 6591 integer (6591 binary) Root relaxation: objective 0.000000e+00, 502 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 (940 simplex iterations) in 0.18 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:52:33 2012 Optimize a model with 14576 rows, 3848 columns and 45838 nonzeros Presolve time: 0.05s Presolved: 14576 rows, 3848 columns, 45838 nonzeros Variable types: 0 continuous, 3848 integer (3848 binary) Root relaxation: objective 0.000000e+00, 437 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 (857 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 -- 13 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:52:33 2012 Optimize a model with 6841 rows, 2371 columns and 21156 nonzeros Presolve time: 0.02s Presolved: 6841 rows, 2371 columns, 21156 nonzeros Variable types: 0 continuous, 2371 integer (2371 binary) Root relaxation: objective 0.000000e+00, 445 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 (1983 simplex iterations) in 0.13 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:52:33 2012 Optimize a model with 3526 rows, 1738 columns and 10578 nonzeros Presolve time: 0.01s Presolved: 3526 rows, 1738 columns, 10578 nonzeros Variable types: 0 continuous, 1738 integer (1738 binary) Root relaxation: objective 0.000000e+00, 490 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 416 - 0.00000 - - 0s 0 0 0.00000 0 422 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5707 simplex iterations) in 0.86 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:52:34 2012 Optimize a model with 4631 rows, 1949 columns and 14104 nonzeros Presolve time: 0.01s Presolved: 4631 rows, 1949 columns, 14104 nonzeros Variable types: 0 continuous, 1949 integer (1949 binary) Root relaxation: objective 0.000000e+00, 469 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 412 - 0.00000 - - 0s 0 0 0.00000 0 445 - 0.00000 - - 1s 0 0 0.00000 0 486 - 0.00000 - - 1s 0 0 0.00000 0 376 - 0.00000 - - 2s 0 0 0.00000 0 380 - 0.00000 - - 3s 0 0 0.00000 0 382 - 0.00000 - - 4s 0 0 0.00000 0 374 - 0.00000 - - 5s 0 0 0.00000 0 370 - 0.00000 - - 5s 0 0 0.00000 0 368 - 0.00000 - - 6s 0 0 0.00000 0 362 - 0.00000 - - 7s 0 0 0.00000 0 368 - 0.00000 - - 8s 0 0 0.00000 0 368 - 0.00000 - - 8s 0 2 0.00000 0 368 - 0.00000 - - 9s 11 11 0.00000 8 399 - 0.00000 - 506 10s 407 35 0.00000 21 388 - 0.00000 - 172 15s 615 45 0.00000 17 360 - 0.00000 - 152 22s 617 46 0.00000 17 358 - 0.00000 - 152 27s 618 47 0.00000 18 383 - 0.00000 - 152 30s 620 48 0.00000 16 377 - 0.00000 - 151 35s 622 49 0.00000 11 339 - 0.00000 - 151 40s 624 51 0.00000 10 375 - 0.00000 - 150 45s 626 52 0.00000 19 437 - 0.00000 - 150 51s 632 56 0.00000 14 445 - 0.00000 - 299 55s 667 59 infeasible 24 - 0.00000 - 299 60s 791 37 infeasible 27 - 0.00000 - 303 65s 920 28 infeasible 26 - 0.00000 - 310 70s 1062 34 infeasible 25 - 0.00000 - 313 75s 1205 51 infeasible 34 - 0.00000 - 315 80s 1332 50 infeasible 28 - 0.00000 - 319 85s 1452 68 0.00000 27 380 - 0.00000 - 323 90s 1579 69 0.00000 24 426 - 0.00000 - 326 95s 1703 67 infeasible 27 - 0.00000 - 328 100s 1826 62 0.00000 19 499 - 0.00000 - 331 105s 1942 56 0.00000 24 420 - 0.00000 - 335 110s 2048 50 0.00000 23 490 - 0.00000 - 338 115s 2190 40 0.00000 24 451 - 0.00000 - 337 120s 2316 32 0.00000 19 449 - 0.00000 - 339 125s 2445 31 infeasible 31 - 0.00000 - 340 130s 2570 24 infeasible 27 - 0.00000 - 342 135s 2692 24 0.00000 28 466 - 0.00000 - 344 140s 2797 5 infeasible 24 - 0.00000 - 347 145s Cutting planes: Zero half: 13 Explored 2825 nodes (1040842 simplex iterations) in 146.26 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 13:55:01 2012 Optimize a model with 5736 rows, 2160 columns and 17630 nonzeros Presolve time: 0.02s Presolved: 5736 rows, 2160 columns, 17630 nonzeros Variable types: 0 continuous, 2160 integer (2160 binary) Root relaxation: objective 0.000000e+00, 458 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 394 - 0.00000 - - 0s 0 0 0.00000 0 388 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 1s Explored 0 nodes (9011 simplex iterations) in 1.03 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