current bounds on the number of colors: 0 -- 201 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:41:13 2012 Optimize a model with 103401 rows, 21132 columns and 329700 nonzeros Presolve time: 0.34s Presolved: 103401 rows, 21132 columns, 329700 nonzeros Variable types: 0 continuous, 21132 integer (21132 binary) Root relaxation: objective 0.000000e+00, 939 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 (1414 simplex iterations) in 0.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% current bounds on the number of colors: 0 -- 100 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:41:15 2012 Optimize a model with 51801 rows, 11082 columns and 164850 nonzeros Presolve time: 0.17s Presolved: 51801 rows, 11082 columns, 164850 nonzeros Variable types: 0 continuous, 11082 integer (11082 binary) Root relaxation: objective 0.000000e+00, 691 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 (1217 simplex iterations) in 0.31 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 -- 50 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:41:16 2012 Optimize a model with 26001 rows, 6057 columns and 82425 nonzeros Presolve time: 0.11s Presolved: 26001 rows, 6057 columns, 82425 nonzeros Variable types: 0 continuous, 6057 integer (6057 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (876 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 09:41:17 2012 Optimize a model with 12585 rows, 3444 columns and 39564 nonzeros Presolve time: 0.04s Presolved: 12585 rows, 3444 columns, 39564 nonzeros Variable types: 0 continuous, 3444 integer (3444 binary) Root relaxation: objective 0.000000e+00, 417 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 (801 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 09:41:17 2012 Optimize a model with 6393 rows, 2238 columns and 19782 nonzeros Presolve time: 0.02s Presolved: 6393 rows, 2238 columns, 19782 nonzeros Variable types: 0 continuous, 2238 integer (2238 binary) Root relaxation: objective 0.000000e+00, 419 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 (1939 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:41:17 2012 Optimize a model with 3297 rows, 1635 columns and 9891 nonzeros Presolve time: 0.01s Presolved: 3297 rows, 1635 columns, 9891 nonzeros Variable types: 0 continuous, 1635 integer (1635 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 304 - 0.00000 - - 0s 0 0 0.00000 0 390 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (7564 simplex iterations) in 0.92 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 09:41:18 2012 Optimize a model with 4329 rows, 1836 columns and 13188 nonzeros Presolve time: 0.01s Presolved: 4329 rows, 1836 columns, 13188 nonzeros Variable types: 0 continuous, 1836 integer (1836 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 392 - 0.00000 - - 0s 0 0 0.00000 0 388 - 0.00000 - - 0s 0 0 0.00000 0 384 - 0.00000 - - 1s 0 0 0.00000 0 389 - 0.00000 - - 1s 0 0 0.00000 0 376 - 0.00000 - - 1s 0 0 0.00000 0 370 - 0.00000 - - 2s 0 0 0.00000 0 368 - 0.00000 - - 3s 0 0 0.00000 0 370 - 0.00000 - - 3s 0 0 0.00000 0 370 - 0.00000 - - 3s 0 0 0.00000 0 372 - 0.00000 - - 4s 0 0 0.00000 0 372 - 0.00000 - - 4s 0 2 0.00000 0 372 - 0.00000 - - 5s 388 48 0.00000 12 362 - 0.00000 - 167 10s 703 69 0.00000 22 384 - 0.00000 - 175 15s 706 71 0.00000 7 366 - 0.00000 - 174 20s 708 73 0.00000 22 358 - 0.00000 - 173 25s 711 75 0.00000 11 375 - 0.00000 - 173 31s 713 76 0.00000 10 340 - 0.00000 - 172 35s 716 78 0.00000 11 484 - 0.00000 - 171 42s 738 89 infeasible 22 - 0.00000 - 282 45s 964 38 infeasible 22 - 0.00000 - 273 50s 1176 36 infeasible 25 - 0.00000 - 274 55s 1388 18 infeasible 22 - 0.00000 - 274 60s 1554 4 infeasible 24 - 0.00000 - 279 65s 1743 17 infeasible 32 - 0.00000 - 279 70s 1928 16 0.00000 26 407 - 0.00000 - 280 75s 2111 25 0.00000 24 456 - 0.00000 - 280 80s 2299 29 infeasible 31 - 0.00000 - 281 85s 2493 25 0.00000 21 486 - 0.00000 - 280 90s 2694 32 infeasible 32 - 0.00000 - 279 95s 2870 16 0.00000 28 362 - 0.00000 - 281 100s 3058 16 infeasible 27 - 0.00000 - 281 105s 3227 7 infeasible 22 - 0.00000 - 283 110s 3390 4 0.00000 23 412 - 0.00000 - 284 115s Cutting planes: Gomory: 1 Zero half: 13 Explored 3471 nodes (1023449 simplex iterations) in 117.55 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 09:43:16 2012 Optimize a model with 5361 rows, 2037 columns and 16485 nonzeros Presolve time: 0.02s Presolved: 5361 rows, 2037 columns, 16485 nonzeros Variable types: 0 continuous, 2037 integer (2037 binary) Root relaxation: objective 0.000000e+00, 442 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 283 - 0.00000 - - 0s 0 0 0.00000 0 386 - 0.00000 - - 1s * 0 0 0 0.0000000 0.00000 0.0% - 1s Explored 0 nodes (11627 simplex iterations) in 1.43 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