current bounds on the number of colors: 0 -- 213 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:33:23 2012 Optimize a model with 120629 rows, 23714 columns and 383826 nonzeros Presolve time: 0.41s Presolved: 120629 rows, 23714 columns, 383826 nonzeros Variable types: 0 continuous, 23714 integer (23714 binary) Root relaxation: objective 0.000000e+00, 562 iterations, 0.15 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 (1024 simplex iterations) in 0.73 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 14:33:26 2012 Optimize a model with 60421 rows, 12425 columns and 191913 nonzeros Presolve time: 0.18s Presolved: 60421 rows, 12425 columns, 191913 nonzeros Variable types: 0 continuous, 12425 integer (12425 binary) Root relaxation: objective 0.000000e+00, 726 iterations, 0.06 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.33 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 14:33:27 2012 Optimize a model with 29749 rows, 6674 columns and 94146 nonzeros Presolve time: 0.12s Presolved: 29749 rows, 6674 columns, 94146 nonzeros Variable types: 0 continuous, 6674 integer (6674 binary) Root relaxation: objective 0.000000e+00, 544 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 (989 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 14:33:27 2012 Optimize a model with 14981 rows, 3905 columns and 47073 nonzeros Presolve time: 0.05s Presolved: 14981 rows, 3905 columns, 47073 nonzeros Variable types: 0 continuous, 3905 integer (3905 binary) Root relaxation: objective 0.000000e+00, 444 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 (837 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 14:33:28 2012 Optimize a model with 7029 rows, 2414 columns and 21726 nonzeros Presolve time: 0.02s Presolved: 7029 rows, 2414 columns, 21726 nonzeros Variable types: 0 continuous, 2414 integer (2414 binary) Root relaxation: objective 0.000000e+00, 446 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 (2095 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:33:28 2012 Optimize a model with 3621 rows, 1775 columns and 10863 nonzeros Presolve time: 0.01s Presolved: 3621 rows, 1775 columns, 10863 nonzeros Variable types: 0 continuous, 1775 integer (1775 binary) Root relaxation: objective 0.000000e+00, 488 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 424 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5888 simplex iterations) in 0.93 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 14:33:29 2012 Optimize a model with 4757 rows, 1988 columns and 14484 nonzeros Presolve time: 0.01s Presolved: 4757 rows, 1988 columns, 14484 nonzeros Variable types: 0 continuous, 1988 integer (1988 binary) Root relaxation: objective 0.000000e+00, 481 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 406 - 0.00000 - - 0s 0 0 0.00000 0 412 - 0.00000 - - 1s 0 0 0.00000 0 486 - 0.00000 - - 1s 0 0 0.00000 0 408 - 0.00000 - - 2s 0 0 0.00000 0 410 - 0.00000 - - 3s 0 0 0.00000 0 400 - 0.00000 - - 4s 0 0 0.00000 0 400 - 0.00000 - - 4s 0 0 0.00000 0 403 - 0.00000 - - 5s 0 0 0.00000 0 399 - 0.00000 - - 6s 0 0 0.00000 0 409 - 0.00000 - - 7s 0 0 0.00000 0 399 - 0.00000 - - 7s 0 2 0.00000 0 398 - 0.00000 - - 8s 35 25 0.00000 12 510 - 0.00000 - 358 10s 263 83 0.00000 10 495 - 0.00000 - 235 15s 465 102 0.00000 17 464 - 0.00000 - 236 20s 604 121 0.00000 17 598 - 0.00000 - 221 26s 605 122 0.00000 15 404 - 0.00000 - 221 31s 607 123 0.00000 17 399 - 0.00000 - 220 36s 609 124 0.00000 12 385 - 0.00000 - 220 40s 611 126 0.00000 11 374 - 0.00000 - 219 45s 613 127 0.00000 17 385 - 0.00000 - 218 50s 615 128 0.00000 16 350 - 0.00000 - 218 57s 616 129 0.00000 15 374 - 0.00000 - 217 60s 622 133 0.00000 13 526 - 0.00000 - 375 65s 766 95 infeasible 28 - 0.00000 - 363 70s 921 36 infeasible 21 - 0.00000 - 353 75s 1014 3 infeasible 19 - 0.00000 - 362 80s Cutting planes: Zero half: 11 Explored 1108 nodes (453977 simplex iterations) in 83.87 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:34:53 2012 Optimize a model with 5893 rows, 2201 columns and 18105 nonzeros Presolve time: 0.02s Presolved: 5893 rows, 2201 columns, 18105 nonzeros Variable types: 0 continuous, 2201 integer (2201 binary) Root relaxation: objective 0.000000e+00, 453 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 336 - 0.00000 - - 0s 0 0 0.00000 0 419 - 0.00000 - - 1s * 0 0 0 0.0000000 0.00000 0.0% - 2s Explored 0 nodes (18313 simplex iterations) in 2.63 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