current bounds on the number of colors: 0 -- 214 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:54:12 2012 Optimize a model with 129684 rows, 24108 columns and 411308 nonzeros Presolve time: 0.45s Presolved: 129684 rows, 24108 columns, 411308 nonzeros Variable types: 0 continuous, 24108 integer (24108 binary) Root relaxation: objective 0.000000e+00, 560 iterations, 0.16 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 (1015 simplex iterations) in 0.81 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 -- 107 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:54:14 2012 Optimize a model with 64344 rows, 12552 columns and 203732 nonzeros Presolve time: 0.18s Presolved: 64344 rows, 12552 columns, 203732 nonzeros Variable types: 0 continuous, 12552 integer (12552 binary) Root relaxation: objective 0.000000e+00, 663 iterations, 0.08 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 (1191 simplex iterations) in 0.35 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:54:15 2012 Optimize a model with 31674 rows, 6774 columns and 99944 nonzeros Presolve time: 0.13s Presolved: 31674 rows, 6774 columns, 99944 nonzeros Variable types: 0 continuous, 6774 integer (6774 binary) Root relaxation: objective 0.000000e+00, 503 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 (924 simplex iterations) in 0.19 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:54:16 2012 Optimize a model with 15944 rows, 3992 columns and 49972 nonzeros Presolve time: 0.05s Presolved: 15944 rows, 3992 columns, 49972 nonzeros Variable types: 0 continuous, 3992 integer (3992 binary) Root relaxation: objective 0.000000e+00, 448 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 (832 simplex iterations) in 0.09 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:54:16 2012 Optimize a model with 7474 rows, 2494 columns and 23064 nonzeros Presolve time: 0.02s Presolved: 7474 rows, 2494 columns, 23064 nonzeros Variable types: 0 continuous, 2494 integer (2494 binary) Root relaxation: objective 0.000000e+00, 465 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 (3062 simplex iterations) in 0.23 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:54:16 2012 Optimize a model with 3844 rows, 1852 columns and 11532 nonzeros Presolve time: 0.01s Presolved: 3844 rows, 1852 columns, 11532 nonzeros Variable types: 0 continuous, 1852 integer (1852 binary) Root relaxation: objective 0.000000e+00, 498 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 422 - 0.00000 - - 0s 0 0 0.00000 0 428 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (6032 simplex iterations) in 0.95 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:54:17 2012 Optimize a model with 5054 rows, 2066 columns and 15376 nonzeros Presolve time: 0.01s Presolved: 5054 rows, 2066 columns, 15376 nonzeros Variable types: 0 continuous, 2066 integer (2066 binary) Root relaxation: objective 0.000000e+00, 487 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 420 - 0.00000 - - 0s 0 0 0.00000 0 414 - 0.00000 - - 0s 0 0 0.00000 0 399 - 0.00000 - - 2s 0 0 0.00000 0 571 - 0.00000 - - 2s 0 0 0.00000 0 390 - 0.00000 - - 4s 0 0 0.00000 0 395 - 0.00000 - - 5s 0 0 0.00000 0 384 - 0.00000 - - 6s 0 0 0.00000 0 384 - 0.00000 - - 8s 0 0 0.00000 0 390 - 0.00000 - - 9s 0 0 0.00000 0 384 - 0.00000 - - 10s 0 2 0.00000 0 384 - 0.00000 - - 11s 63 9 0.00000 9 538 - 0.00000 - 344 15s 215 14 0.00000 11 538 - 0.00000 - 279 20s 379 6 0.00000 10 555 - 0.00000 - 261 25s 535 6 0.00000 8 398 - 0.00000 - 256 30s 680 18 0.00000 11 501 - 0.00000 - 257 35s 819 6 infeasible 10 - 0.00000 - 261 40s 975 16 infeasible 23 - 0.00000 - 257 45s 1004 19 0.00000 0 626 - 0.00000 - 255 51s 1005 20 0.00000 0 392 - 0.00000 - 255 56s 1007 21 0.00000 0 392 - 0.00000 - 254 61s 1008 22 0.00000 0 388 - 0.00000 - 254 65s 1010 23 0.00000 0 385 - 0.00000 - 254 71s 1011 24 0.00000 0 386 - 0.00000 - 253 75s 1013 25 0.00000 0 370 - 0.00000 - 253 82s 1014 26 0.00000 0 381 - 0.00000 - 253 86s 1019 29 0.00000 16 563 - 0.00000 - 344 90s 1024 32 0.00000 18 554 - 0.00000 - 345 96s 1049 23 infeasible 23 - 0.00000 - 349 100s 1103 13 infeasible 27 - 0.00000 - 362 105s 1169 17 infeasible 24 - 0.00000 - 369 110s 1222 6 0.00000 20 526 - 0.00000 - 379 115s 1283 9 infeasible 28 - 0.00000 - 386 120s Cutting planes: Zero half: 15 Explored 1329 nodes (583266 simplex iterations) in 124.46 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:56:22 2012 Optimize a model with 6264 rows, 2280 columns and 19220 nonzeros Presolve time: 0.02s Presolved: 6264 rows, 2280 columns, 19220 nonzeros Variable types: 0 continuous, 2280 integer (2280 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 416 - 0.00000 - - 0s 0 0 0.00000 0 476 - 0.00000 - - 1s 0 0 0.00000 0 493 - 0.00000 - - 2s 0 0 0.00000 0 480 - 0.00000 - - 3s 0 0 0.00000 0 468 - 0.00000 - - 3s 0 0 0.00000 0 493 - 0.00000 - - 3s 0 0 0.00000 0 488 - 0.00000 - - 4s 0 0 0.00000 0 470 - 0.00000 - - 5s 0 0 0.00000 0 492 - 0.00000 - - 6s 0 0 0.00000 0 510 - 0.00000 - - 7s 0 0 0.00000 0 510 - 0.00000 - - 8s 0 2 0.00000 0 510 - 0.00000 - - 9s 11 11 0.00000 9 392 - 0.00000 - 534 10s 803 77 0.00000 24 493 - 0.00000 - 72.7 15s 810 82 0.00000 40 370 - 0.00000 - 72.1 20s 814 85 0.00000 36 366 - 0.00000 - 71.7 25s 822 90 0.00000 12 268 - 0.00000 - 130 30s 986 165 0.00000 23 423 - 0.00000 - 135 35s * 1101 0 48 0.0000000 0.00000 0.0% 139 36s Cutting planes: Gomory: 1 Zero half: 14 Explored 1102 nodes (193420 simplex iterations) in 36.79 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