current bounds on the number of colors: 0 -- 211 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:48:34 2012 Optimize a model with 119806 rows, 23294 columns and 380940 nonzeros Presolve time: 0.41s Presolved: 119806 rows, 23294 columns, 380940 nonzeros Variable types: 0 continuous, 23294 integer (23294 binary) Root relaxation: objective 0.000000e+00, 560 iterations, 0.15 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 (995 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% current bounds on the number of colors: 0 -- 105 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:48:36 2012 Optimize a model with 59439 rows, 12111 columns and 188656 nonzeros Presolve time: 0.18s Presolved: 59439 rows, 12111 columns, 188656 nonzeros Variable types: 0 continuous, 12111 integer (12111 binary) Root relaxation: objective 0.000000e+00, 570 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 (972 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 -- 52 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:48:37 2012 Optimize a model with 29825 rows, 6625 columns and 94328 nonzeros Presolve time: 0.12s Presolved: 29825 rows, 6625 columns, 94328 nonzeros Variable types: 0 continuous, 6625 integer (6625 binary) Root relaxation: objective 0.000000e+00, 476 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 (873 simplex iterations) in 0.18 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 13:48:38 2012 Optimize a model with 15018 rows, 3882 columns and 47164 nonzeros Presolve time: 0.05s Presolved: 15018 rows, 3882 columns, 47164 nonzeros Variable types: 0 continuous, 3882 integer (3882 binary) Root relaxation: objective 0.000000e+00, 447 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 (845 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 13:48:38 2012 Optimize a model with 7045 rows, 2405 columns and 21768 nonzeros Presolve time: 0.02s Presolved: 7045 rows, 2405 columns, 21768 nonzeros Variable types: 0 continuous, 2405 integer (2405 binary) Root relaxation: objective 0.000000e+00, 459 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 (2245 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:48:38 2012 Optimize a model with 3628 rows, 1772 columns and 10884 nonzeros Presolve time: 0.01s Presolved: 3628 rows, 1772 columns, 10884 nonzeros Variable types: 0 continuous, 1772 integer (1772 binary) Root relaxation: objective 0.000000e+00, 466 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 330 - 0.00000 - - 0s 0 0 0.00000 0 418 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Explored 0 nodes (7661 simplex iterations) in 1.08 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 13:48:40 2012 Optimize a model with 4767 rows, 1983 columns and 14512 nonzeros Presolve time: 0.01s Presolved: 4767 rows, 1983 columns, 14512 nonzeros Variable types: 0 continuous, 1983 integer (1983 binary) Root relaxation: objective 0.000000e+00, 468 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 418 - 0.00000 - - 0s 0 0 0.00000 0 408 - 0.00000 - - 0s 0 0 0.00000 0 435 - 0.00000 - - 1s 0 0 0.00000 0 572 - 0.00000 - - 2s 0 0 0.00000 0 382 - 0.00000 - - 4s 0 0 0.00000 0 378 - 0.00000 - - 4s 0 0 0.00000 0 372 - 0.00000 - - 5s 0 0 0.00000 0 375 - 0.00000 - - 6s 0 0 0.00000 0 372 - 0.00000 - - 7s 0 0 0.00000 0 366 - 0.00000 - - 8s 0 0 0.00000 0 364 - 0.00000 - - 9s 0 0 0.00000 0 352 - 0.00000 - - 10s 0 0 0.00000 0 344 - 0.00000 - - 11s 0 0 0.00000 0 359 - 0.00000 - - 12s 0 0 0.00000 0 450 - 0.00000 - - 14s 0 0 0.00000 0 342 - 0.00000 - - 15s 0 2 0.00000 0 342 - 0.00000 - - 16s 80 30 0.00000 8 446 - 0.00000 - 292 20s 312 52 0.00000 21 438 - 0.00000 - 225 25s 542 63 0.00000 15 366 - 0.00000 - 217 30s 747 55 0.00000 16 496 - 0.00000 - 222 35s 811 67 0.00000 9 360 - 0.00000 - 222 44s 812 67 0.00000 16 363 - 0.00000 - 221 47s 813 68 0.00000 14 368 - 0.00000 - 221 51s 815 69 0.00000 9 349 - 0.00000 - 221 57s 817 71 0.00000 4 338 - 0.00000 - 220 62s 818 71 0.00000 14 356 - 0.00000 - 220 65s 825 76 0.00000 12 478 - 0.00000 - 307 70s 840 76 0.00000 14 443 - 0.00000 - 309 75s 946 49 infeasible 22 - 0.00000 - 311 80s 1031 11 0.00000 14 502 - 0.00000 - 323 85s 1119 9 infeasible 22 - 0.00000 - 333 90s 1218 6 0.00000 14 522 - 0.00000 - 339 95s Cutting planes: Clique: 1 Zero half: 17 Explored 1233 nodes (507968 simplex iterations) in 96.14 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 13:50:16 2012 Optimize a model with 5906 rows, 2194 columns and 18140 nonzeros Presolve time: 0.02s Presolved: 5906 rows, 2194 columns, 18140 nonzeros Variable types: 0 continuous, 2194 integer (2194 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 398 - 0.00000 - - 0s 0 0 0.00000 0 443 - 0.00000 - - 1s 0 0 0.00000 0 492 - 0.00000 - - 2s 0 0 0.00000 0 502 - 0.00000 - - 2s 0 0 0.00000 0 498 - 0.00000 - - 3s 0 0 0.00000 0 484 - 0.00000 - - 4s 0 0 0.00000 0 433 - 0.00000 - - 5s 0 0 0.00000 0 446 - 0.00000 - - 6s 0 0 0.00000 0 499 - 0.00000 - - 7s 0 0 0.00000 0 491 - 0.00000 - - 8s 0 2 0.00000 0 491 - 0.00000 - - 9s 68 53 infeasible 50 - 0.00000 - 135 10s * 154 3 63 0.0000000 0.00000 0.0% 85.6 10s Cutting planes: Clique: 1 Zero half: 13 Explored 155 nodes (58626 simplex iterations) in 10.18 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