current bounds on the number of colors: 0 -- 212 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:13:02 2012 Optimize a model with 121476 rows, 23616 columns and 386264 nonzeros Presolve time: 0.42s Presolved: 121476 rows, 23616 columns, 386264 nonzeros Variable types: 0 continuous, 23616 integer (23616 binary) Root relaxation: objective 0.000000e+00, 571 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 (1012 simplex iterations) in 0.74 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 -- 106 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:13:05 2012 Optimize a model with 60844 rows, 12380 columns and 193132 nonzeros Presolve time: 0.17s Presolved: 60844 rows, 12380 columns, 193132 nonzeros Variable types: 0 continuous, 12380 integer (12380 binary) Root relaxation: objective 0.000000e+00, 571 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 (1270 simplex iterations) in 0.34 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:13:06 2012 Optimize a model with 29956 rows, 6656 columns and 94744 nonzeros Presolve time: 0.12s Presolved: 29956 rows, 6656 columns, 94744 nonzeros Variable types: 0 continuous, 6656 integer (6656 binary) Root relaxation: objective 0.000000e+00, 464 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 (851 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 14:13:06 2012 Optimize a model with 15084 rows, 3900 columns and 47372 nonzeros Presolve time: 0.05s Presolved: 15084 rows, 3900 columns, 47372 nonzeros Variable types: 0 continuous, 3900 integer (3900 binary) Root relaxation: objective 0.000000e+00, 445 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 (1059 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:13:06 2012 Optimize a model with 7076 rows, 2416 columns and 21864 nonzeros Presolve time: 0.02s Presolved: 7076 rows, 2416 columns, 21864 nonzeros Variable types: 0 continuous, 2416 integer (2416 binary) Root relaxation: objective 0.000000e+00, 472 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 (1729 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 14:13:07 2012 Optimize a model with 3644 rows, 1780 columns and 10932 nonzeros Presolve time: 0.01s Presolved: 3644 rows, 1780 columns, 10932 nonzeros Variable types: 0 continuous, 1780 integer (1780 binary) Root relaxation: objective 0.000000e+00, 478 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 422 - 0.00000 - - 0s 0 0 0.00000 0 593 - 0.00000 - - 1s 0 0 0.00000 0 605 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 2s Cutting planes: Zero half: 1445 Explored 0 nodes (10654 simplex iterations) in 2.32 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:13:09 2012 Optimize a model with 4788 rows, 1992 columns and 14576 nonzeros Presolve time: 0.01s Presolved: 4788 rows, 1992 columns, 14576 nonzeros Variable types: 0 continuous, 1992 integer (1992 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 408 - 0.00000 - - 0s 0 0 0.00000 0 400 - 0.00000 - - 1s 0 0 0.00000 0 556 - 0.00000 - - 1s 0 0 0.00000 0 390 - 0.00000 - - 2s 0 0 0.00000 0 400 - 0.00000 - - 3s 0 0 0.00000 0 390 - 0.00000 - - 4s 0 0 0.00000 0 397 - 0.00000 - - 5s 0 0 0.00000 0 398 - 0.00000 - - 6s 0 0 0.00000 0 390 - 0.00000 - - 6s 0 2 0.00000 0 388 - 0.00000 - - 8s 103 34 0.00000 15 360 - 0.00000 - 232 10s 363 108 0.00000 17 374 - 0.00000 - 204 15s 603 142 0.00000 17 400 - 0.00000 - 189 20s 605 144 0.00000 14 386 - 0.00000 - 188 26s 607 145 0.00000 11 376 - 0.00000 - 188 31s 609 146 0.00000 17 481 - 0.00000 - 187 39s 610 147 0.00000 6 514 - 0.00000 - 187 42s 611 148 0.00000 14 510 - 0.00000 - 186 46s 615 150 infeasible 10 - 0.00000 - 286 50s 745 131 infeasible 24 - 0.00000 - 286 55s 885 80 infeasible 18 - 0.00000 - 292 60s 1028 40 0.00000 21 459 - 0.00000 - 293 65s 1152 24 infeasible 17 - 0.00000 - 299 70s 1292 34 infeasible 28 - 0.00000 - 301 75s 1442 44 0.00000 24 474 - 0.00000 - 301 80s 1599 43 infeasible 29 - 0.00000 - 302 85s 1706 30 0.00000 20 480 - 0.00000 - 308 90s 1826 10 infeasible 22 - 0.00000 - 312 95s 1927 5 0.00000 17 478 - 0.00000 - 317 100s 2039 25 infeasible 23 - 0.00000 - 320 105s 2158 28 infeasible 22 - 0.00000 - 321 110s 2267 17 infeasible 22 - 0.00000 - 324 115s 2366 8 infeasible 26 - 0.00000 - 327 120s Cutting planes: Gomory: 3 Clique: 1 Zero half: 28 Explored 2433 nodes (846799 simplex iterations) in 123.31 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:15:13 2012 Optimize a model with 5932 rows, 2204 columns and 18220 nonzeros Presolve time: 0.02s Presolved: 5932 rows, 2204 columns, 18220 nonzeros Variable types: 0 continuous, 2204 integer (2204 binary) Root relaxation: objective 0.000000e+00, 454 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 366 - 0.00000 - - 0s 0 0 0.00000 0 428 - 0.00000 - - 1s 0 0 0.00000 0 452 - 0.00000 - - 1s 0 0 0.00000 0 450 - 0.00000 - - 2s * 0 0 0 0.0000000 0.00000 0.0% - 2s Cutting planes: Clique: 1 Zero half: 125 Explored 0 nodes (18066 simplex iterations) in 2.85 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