current bounds on the number of colors: 0 -- 206 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:58:34 2012 Optimize a model with 110622 rows, 22290 columns and 352466 nonzeros Presolve time: 0.37s Presolved: 110622 rows, 22290 columns, 352466 nonzeros Variable types: 0 continuous, 22290 integer (22290 binary) Root relaxation: objective 0.000000e+00, 613 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 (1021 simplex iterations) in 0.59 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 -- 103 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:58:36 2012 Optimize a model with 54878 rows, 11578 columns and 174522 nonzeros Presolve time: 0.17s Presolved: 54878 rows, 11578 columns, 174522 nonzeros Variable types: 0 continuous, 11578 integer (11578 binary) Root relaxation: objective 0.000000e+00, 563 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 (971 simplex iterations) in 0.28 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 -- 51 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:58:37 2012 Optimize a model with 27006 rows, 6222 columns and 85550 nonzeros Presolve time: 0.11s Presolved: 27006 rows, 6222 columns, 85550 nonzeros Variable types: 0 continuous, 6222 integer (6222 binary) Root relaxation: objective 0.000000e+00, 429 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 (837 simplex iterations) in 0.16 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 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:58:37 2012 Optimize a model with 13070 rows, 3544 columns and 41064 nonzeros Presolve time: 0.04s Presolved: 13070 rows, 3544 columns, 41064 nonzeros Variable types: 0 continuous, 3544 integer (3544 binary) Root relaxation: objective 0.000000e+00, 429 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 (786 simplex iterations) in 0.07 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:58:37 2012 Optimize a model with 6638 rows, 2308 columns and 20532 nonzeros Presolve time: 0.02s Presolved: 6638 rows, 2308 columns, 20532 nonzeros Variable types: 0 continuous, 2308 integer (2308 binary) Root relaxation: objective 0.000000e+00, 440 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 (1396 simplex iterations) in 0.06 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 11:58:38 2012 Optimize a model with 3422 rows, 1690 columns and 10266 nonzeros Presolve time: 0.01s Presolved: 3422 rows, 1690 columns, 10266 nonzeros Variable types: 0 continuous, 1690 integer (1690 binary) Root relaxation: objective 0.000000e+00, 473 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 400 - 0.00000 - - 0s 0 0 0.00000 0 464 - 0.00000 - - 0s 0 0 0.00000 0 574 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 39 Zero half: 1388 Explored 0 nodes (9997 simplex iterations) in 1.76 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 11:58:39 2012 Optimize a model with 4494 rows, 1896 columns and 13688 nonzeros Presolve time: 0.01s Presolved: 4494 rows, 1896 columns, 13688 nonzeros Variable types: 0 continuous, 1896 integer (1896 binary) Root relaxation: objective 0.000000e+00, 441 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 366 - 0.00000 - - 0s 0 0 0.00000 0 368 - 0.00000 - - 1s 0 0 0.00000 0 538 - 0.00000 - - 1s 0 0 0.00000 0 346 - 0.00000 - - 2s 0 0 0.00000 0 354 - 0.00000 - - 3s 0 0 0.00000 0 346 - 0.00000 - - 4s 0 0 0.00000 0 358 - 0.00000 - - 5s 0 0 0.00000 0 338 - 0.00000 - - 6s 0 0 0.00000 0 345 - 0.00000 - - 6s 0 0 0.00000 0 330 - 0.00000 - - 7s 0 0 0.00000 0 338 - 0.00000 - - 8s 0 0 0.00000 0 338 - 0.00000 - - 9s 0 2 0.00000 0 338 - 0.00000 - - 10s 278 22 0.00000 15 425 - 0.00000 - 170 15s 627 17 0.00000 15 370 - 0.00000 - 166 20s 713 25 0.00000 9 532 - 0.00000 - 161 28s 714 25 0.00000 16 356 - 0.00000 - 160 31s 716 27 0.00000 9 354 - 0.00000 - 160 35s 718 28 0.00000 16 352 - 0.00000 - 160 40s 720 29 0.00000 14 338 - 0.00000 - 159 45s 724 34 0.00000 13 439 - 0.00000 - 250 50s 749 35 infeasible 23 - 0.00000 - 250 55s 860 19 infeasible 23 - 0.00000 - 260 60s 997 18 0.00000 19 372 - 0.00000 - 268 65s 1119 6 infeasible 24 - 0.00000 - 278 70s 1251 10 infeasible 23 - 0.00000 - 286 75s 1393 20 0.00000 22 390 - 0.00000 - 289 80s 1534 23 infeasible 31 - 0.00000 - 293 85s 1663 24 0.00000 25 475 - 0.00000 - 299 90s 1800 19 infeasible 27 - 0.00000 - 301 95s 1925 6 infeasible 26 - 0.00000 - 307 100s Cutting planes: Zero half: 7 Explored 1968 nodes (664837 simplex iterations) in 101.69 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 12:00:21 2012 Optimize a model with 5566 rows, 2102 columns and 17110 nonzeros Presolve time: 0.02s Presolved: 5566 rows, 2102 columns, 17110 nonzeros Variable types: 0 continuous, 2102 integer (2102 binary) Root relaxation: objective 0.000000e+00, 443 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 22 - 0.00000 - - 0s Cutting planes: Clique: 14 Zero half: 1 Explored 0 nodes (8368 simplex iterations) in 1.00 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