current bounds on the number of colors: 0 -- 203 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:29:13 2012 Optimize a model with 106354 rows, 21554 columns and 338956 nonzeros Presolve time: 0.35s Presolved: 106354 rows, 21554 columns, 338956 nonzeros Variable types: 0 continuous, 21554 integer (21554 binary) Root relaxation: objective 0.000000e+00, 744 iterations, 0.09 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 (1395 simplex iterations) in 0.68 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 -- 101 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:29:15 2012 Optimize a model with 52753 rows, 11201 columns and 167800 nonzeros Presolve time: 0.16s Presolved: 52753 rows, 11201 columns, 167800 nonzeros Variable types: 0 continuous, 11201 integer (11201 binary) Root relaxation: objective 0.000000e+00, 546 iterations, 0.03 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 (1003 simplex iterations) in 0.26 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 10:29:16 2012 Optimize a model with 26478 rows, 6126 columns and 83900 nonzeros Presolve time: 0.11s Presolved: 26478 rows, 6126 columns, 83900 nonzeros Variable types: 0 continuous, 6126 integer (6126 binary) Root relaxation: objective 0.000000e+00, 475 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 (907 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 10:29:17 2012 Optimize a model with 12815 rows, 3487 columns and 40272 nonzeros Presolve time: 0.04s Presolved: 12815 rows, 3487 columns, 40272 nonzeros Variable types: 0 continuous, 3487 integer (3487 binary) Root relaxation: objective 0.000000e+00, 416 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 (790 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 10:29:17 2012 Optimize a model with 6509 rows, 2269 columns and 20136 nonzeros Presolve time: 0.02s Presolved: 6509 rows, 2269 columns, 20136 nonzeros Variable types: 0 continuous, 2269 integer (2269 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 (2379 simplex iterations) in 0.11 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 10:29:17 2012 Optimize a model with 3356 rows, 1660 columns and 10068 nonzeros Presolve time: 0.01s Presolved: 3356 rows, 1660 columns, 10068 nonzeros Variable types: 0 continuous, 1660 integer (1660 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 402 - 0.00000 - - 0s 0 0 0.00000 0 404 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5841 simplex iterations) in 0.78 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 10:29:18 2012 Optimize a model with 4407 rows, 1863 columns and 13424 nonzeros Presolve time: 0.01s Presolved: 4407 rows, 1863 columns, 13424 nonzeros Variable types: 0 continuous, 1863 integer (1863 binary) Root relaxation: objective 0.000000e+00, 427 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 388 - 0.00000 - - 0s 0 0 0.00000 0 392 - 0.00000 - - 0s 0 0 0.00000 0 398 - 0.00000 - - 1s 0 0 0.00000 0 480 - 0.00000 - - 1s 0 0 0.00000 0 387 - 0.00000 - - 2s 0 0 0.00000 0 366 - 0.00000 - - 3s 0 0 0.00000 0 370 - 0.00000 - - 4s 0 0 0.00000 0 360 - 0.00000 - - 4s 0 0 0.00000 0 356 - 0.00000 - - 5s 0 0 0.00000 0 365 - 0.00000 - - 6s 0 0 0.00000 0 352 - 0.00000 - - 7s 0 0 0.00000 0 362 - 0.00000 - - 8s 0 0 0.00000 0 355 - 0.00000 - - 8s 0 0 0.00000 0 354 - 0.00000 - - 9s 0 0 0.00000 0 352 - 0.00000 - - 10s 0 0 0.00000 0 346 - 0.00000 - - 11s 0 0 0.00000 0 340 - 0.00000 - - 12s 0 0 0.00000 0 340 - 0.00000 - - 13s 0 0 0.00000 0 340 - 0.00000 - - 13s 0 2 0.00000 0 340 - 0.00000 - - 14s 9 7 0.00000 5 497 - 0.00000 - 528 15s 378 79 0.00000 16 425 - 0.00000 - 168 20s 703 118 0.00000 17 398 - 0.00000 - 166 26s 705 120 0.00000 24 368 - 0.00000 - 165 30s 708 122 0.00000 21 346 - 0.00000 - 165 35s 711 124 0.00000 15 530 - 0.00000 - 164 42s 713 125 0.00000 22 524 - 0.00000 - 164 45s 715 126 0.00000 17 510 - 0.00000 - 163 51s 717 128 0.00000 24 482 - 0.00000 - 163 56s 721 132 0.00000 16 495 - 0.00000 - 267 60s 835 106 infeasible 26 - 0.00000 - 280 65s 942 76 0.00000 27 474 - 0.00000 - 294 70s 1061 41 0.00000 28 445 - 0.00000 - 304 75s 1180 22 infeasible 25 - 0.00000 - 313 80s 1310 12 infeasible 27 - 0.00000 - 317 85s 1437 5 0.00000 25 506 - 0.00000 - 321 90s 1568 10 infeasible 28 - 0.00000 - 324 95s 1677 9 0.00000 26 434 - 0.00000 - 330 100s 1793 9 infeasible 27 - 0.00000 - 333 105s 1924 12 0.00000 25 465 - 0.00000 - 335 110s Cutting planes: Gomory: 4 Clique: 2 Zero half: 11 Explored 1959 nodes (749360 simplex iterations) in 111.51 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 10:31:10 2012 Optimize a model with 5458 rows, 2066 columns and 16780 nonzeros Presolve time: 0.02s Presolved: 5458 rows, 2066 columns, 16780 nonzeros Variable types: 0 continuous, 2066 integer (2066 binary) Root relaxation: objective 0.000000e+00, 436 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 388 - 0.00000 - - 0s 0 0 0.00000 0 376 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (6842 simplex iterations) in 0.72 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