current bounds on the number of colors: 0 -- 216 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:55:59 2012 Optimize a model with 124956 rows, 24483 columns and 397548 nonzeros Presolve time: 0.44s Presolved: 124956 rows, 24483 columns, 397548 nonzeros Variable types: 0 continuous, 24483 integer (24483 binary) Root relaxation: objective 0.000000e+00, 555 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 (1020 simplex iterations) in 0.77 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 -- 108 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:56:01 2012 Optimize a model with 62586 rows, 12819 columns and 198774 nonzeros Presolve time: 0.18s Presolved: 62586 rows, 12819 columns, 198774 nonzeros Variable types: 0 continuous, 12819 integer (12819 binary) Root relaxation: objective 0.000000e+00, 669 iterations, 0.05 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 (1456 simplex iterations) in 0.37 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 -- 54 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:56:02 2012 Optimize a model with 31401 rows, 6987 columns and 99387 nonzeros Presolve time: 0.13s Presolved: 31401 rows, 6987 columns, 99387 nonzeros Variable types: 0 continuous, 6987 integer (6987 binary) Root relaxation: objective 0.000000e+00, 492 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 (933 simplex iterations) in 0.20 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 -- 27 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:56:03 2012 Optimize a model with 15231 rows, 3963 columns and 47853 nonzeros Presolve time: 0.05s Presolved: 15231 rows, 3963 columns, 47853 nonzeros Variable types: 0 continuous, 3963 integer (3963 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (835 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 15:56:03 2012 Optimize a model with 7146 rows, 2451 columns and 22086 nonzeros Presolve time: 0.02s Presolved: 7146 rows, 2451 columns, 22086 nonzeros Variable types: 0 continuous, 2451 integer (2451 binary) Root relaxation: objective 0.000000e+00, 469 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 (1762 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:56:03 2012 Optimize a model with 3681 rows, 1803 columns and 11043 nonzeros Presolve time: 0.01s Presolved: 3681 rows, 1803 columns, 11043 nonzeros Variable types: 0 continuous, 1803 integer (1803 binary) Root relaxation: objective 0.000000e+00, 463 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 432 - 0.00000 - - 0s 0 0 0.00000 0 426 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (6632 simplex iterations) in 0.99 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 15:56:04 2012 Optimize a model with 4836 rows, 2019 columns and 14724 nonzeros Presolve time: 0.01s Presolved: 4836 rows, 2019 columns, 14724 nonzeros Variable types: 0 continuous, 2019 integer (2019 binary) Root relaxation: objective 0.000000e+00, 486 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 414 - 0.00000 - - 0s 0 0 0.00000 0 410 - 0.00000 - - 1s 0 0 0.00000 0 510 - 0.00000 - - 1s 0 0 0.00000 0 404 - 0.00000 - - 2s 0 0 0.00000 0 402 - 0.00000 - - 3s 0 0 0.00000 0 394 - 0.00000 - - 4s 0 0 0.00000 0 390 - 0.00000 - - 5s 0 0 0.00000 0 405 - 0.00000 - - 6s 0 0 0.00000 0 386 - 0.00000 - - 7s 0 0 0.00000 0 382 - 0.00000 - - 8s 0 0 0.00000 0 382 - 0.00000 - - 8s 0 0 0.00000 0 378 - 0.00000 - - 9s 0 0 0.00000 0 366 - 0.00000 - - 10s 0 0 0.00000 0 364 - 0.00000 - - 11s 0 0 0.00000 0 393 - 0.00000 - - 12s 0 0 0.00000 0 353 - 0.00000 - - 13s 0 0 0.00000 0 355 - 0.00000 - - 14s 0 0 0.00000 0 355 - 0.00000 - - 15s 0 2 0.00000 0 355 - 0.00000 - - 16s 73 35 0.00000 16 525 - 0.00000 - 307 20s 266 54 0.00000 12 456 - 0.00000 - 246 25s 504 72 0.00000 13 398 - 0.00000 - 225 30s 736 68 infeasible 16 - 0.00000 - 222 35s 977 59 0.00000 13 404 - 0.00000 - 218 40s 1104 78 0.00000 10 588 - 0.00000 - 212 45s 1106 79 0.00000 26 396 - 0.00000 - 212 50s 1108 81 0.00000 2 396 - 0.00000 - 211 55s 1110 82 0.00000 10 388 - 0.00000 - 211 62s 1111 83 0.00000 15 381 - 0.00000 - 211 66s 1113 84 0.00000 26 350 - 0.00000 - 210 70s 1115 85 0.00000 15 348 - 0.00000 - 210 75s 1119 88 infeasible 15 - 0.00000 - 290 80s 1129 91 0.00000 20 404 - 0.00000 - 290 85s 1175 83 0.00000 22 408 - 0.00000 - 296 90s 1263 66 0.00000 30 451 - 0.00000 - 304 95s 1376 25 infeasible 30 - 0.00000 - 309 100s 1483 45 infeasible 32 - 0.00000 - 314 105s 1605 63 infeasible 28 - 0.00000 - 316 110s 1714 54 infeasible 30 - 0.00000 - 321 115s 1820 38 infeasible 28 - 0.00000 - 326 120s 1922 26 0.00000 33 516 - 0.00000 - 331 125s 2004 18 infeasible 28 - 0.00000 - 336 130s 2093 13 infeasible 24 - 0.00000 - 342 135s 2198 8 0.00000 24 470 - 0.00000 - 345 140s Cutting planes: Zero half: 26 Explored 2219 nodes (863266 simplex iterations) in 141.17 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 15:58:25 2012 Optimize a model with 5991 rows, 2235 columns and 18405 nonzeros Presolve time: 0.02s Presolved: 5991 rows, 2235 columns, 18405 nonzeros Variable types: 0 continuous, 2235 integer (2235 binary) Root relaxation: objective 0.000000e+00, 474 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 408 - 0.00000 - - 0s 0 0 0.00000 0 396 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 1s Explored 0 nodes (13953 simplex iterations) in 1.67 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