current bounds on the number of colors: 0 -- 199 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:30:44 2012 Optimize a model with 105040 rows, 20760 columns and 334224 nonzeros Presolve time: 0.35s Presolved: 105040 rows, 20760 columns, 334224 nonzeros Variable types: 0 continuous, 20760 integer (20760 binary) Root relaxation: objective 0.000000e+00, 512 iterations, 0.13 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 (936 simplex iterations) in 0.62 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 -- 99 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:30:46 2012 Optimize a model with 52090 rows, 10810 columns and 165424 nonzeros Presolve time: 0.17s Presolved: 52090 rows, 10810 columns, 165424 nonzeros Variable types: 0 continuous, 10810 integer (10810 binary) Root relaxation: objective 0.000000e+00, 584 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 (1028 simplex iterations) in 0.29 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 -- 49 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:30:47 2012 Optimize a model with 25615 rows, 5835 columns and 81024 nonzeros Presolve time: 0.10s Presolved: 25615 rows, 5835 columns, 81024 nonzeros Variable types: 0 continuous, 5835 integer (5835 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 (792 simplex iterations) in 0.15 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 -- 24 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:30:48 2012 Optimize a model with 12907 rows, 3447 columns and 40512 nonzeros Presolve time: 0.04s Presolved: 12907 rows, 3447 columns, 40512 nonzeros Variable types: 0 continuous, 3447 integer (3447 binary) Root relaxation: objective 0.000000e+00, 407 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 (783 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 08:30:48 2012 Optimize a model with 6553 rows, 2253 columns and 20256 nonzeros Presolve time: 0.02s Presolved: 6553 rows, 2253 columns, 20256 nonzeros Variable types: 0 continuous, 2253 integer (2253 binary) Root relaxation: objective 0.000000e+00, 422 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 (2457 simplex iterations) in 0.14 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 08:30:48 2012 Optimize a model with 3376 rows, 1656 columns and 10128 nonzeros Presolve time: 0.01s Presolved: 3376 rows, 1656 columns, 10128 nonzeros Variable types: 0 continuous, 1656 integer (1656 binary) Root relaxation: objective 0.000000e+00, 456 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 304 - 0.00000 - - 0s 0 0 0.00000 0 492 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Explored 0 nodes (11533 simplex iterations) in 1.34 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 08:30:50 2012 Optimize a model with 4435 rows, 1855 columns and 13504 nonzeros Presolve time: 0.01s Presolved: 4435 rows, 1855 columns, 13504 nonzeros Variable types: 0 continuous, 1855 integer (1855 binary) Root relaxation: objective 0.000000e+00, 432 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 384 - 0.00000 - - 0s 0 0 0.00000 0 384 - 0.00000 - - 0s 0 0 0.00000 0 372 - 0.00000 - - 1s 0 0 0.00000 0 462 - 0.00000 - - 1s 0 0 0.00000 0 364 - 0.00000 - - 2s 0 0 0.00000 0 368 - 0.00000 - - 3s 0 0 0.00000 0 360 - 0.00000 - - 4s 0 0 0.00000 0 360 - 0.00000 - - 4s 0 0 0.00000 0 360 - 0.00000 - - 5s 0 0 0.00000 0 360 - 0.00000 - - 5s 0 2 0.00000 0 360 - 0.00000 - - 6s 232 29 0.00000 12 368 - 0.00000 - 186 10s 568 25 0.00000 3 489 - 0.00000 - 173 15s 613 40 0.00000 9 358 - 0.00000 - 173 23s 615 41 0.00000 16 346 - 0.00000 - 172 27s 617 42 0.00000 10 342 - 0.00000 - 172 31s 619 44 0.00000 12 320 - 0.00000 - 171 36s 622 46 0.00000 8 314 - 0.00000 - 170 42s 624 47 0.00000 9 334 - 0.00000 - 170 47s 631 52 0.00000 12 403 - 0.00000 - 289 50s 678 47 0.00000 16 360 - 0.00000 - 295 55s 795 33 infeasible 17 - 0.00000 - 300 60s 939 61 infeasible 22 - 0.00000 - 301 65s 1061 47 infeasible 27 - 0.00000 - 307 70s 1210 62 0.00000 17 362 - 0.00000 - 308 75s 1331 45 0.00000 23 475 - 0.00000 - 315 80s 1439 33 infeasible 23 - 0.00000 - 322 85s 1546 32 0.00000 24 372 - 0.00000 - 327 90s 1669 19 infeasible 18 - 0.00000 - 329 95s 1776 6 infeasible 20 - 0.00000 - 334 100s Cutting planes: Zero half: 9 Explored 1787 nodes (635590 simplex iterations) in 100.44 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 08:32:30 2012 Optimize a model with 5494 rows, 2054 columns and 16880 nonzeros Presolve time: 0.02s Presolved: 5494 rows, 2054 columns, 16880 nonzeros Variable types: 0 continuous, 2054 integer (2054 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.00000 0 261 - 0.00000 - - 0s 0 0 0.00000 0 217 - 0.00000 - - 0s 0 0 0.00000 0 479 - 0.00000 - - 1s 0 0 0.00000 0 462 - 0.00000 - - 2s H 0 0 0.0000000 0.00000 0.0% - 2s Cutting planes: Gomory: 2 Zero half: 6 Explored 0 nodes (15761 simplex iterations) in 2.15 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