current bounds on the number of colors: 0 -- 186 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:31:28 2012 Optimize a model with 79887 rows, 18155 columns and 256401 nonzeros Presolve time: 0.25s Presolved: 79887 rows, 18155 columns, 256401 nonzeros Variable types: 0 continuous, 18155 integer (18155 binary) Root relaxation: objective 0.000000e+00, 789 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 (1216 simplex iterations) in 0.46 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 -- 93 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:31:29 2012 Optimize a model with 39608 rows, 9413 columns and 126822 nonzeros Presolve time: 0.16s Presolved: 39608 rows, 9413 columns, 126822 nonzeros Variable types: 0 continuous, 9413 integer (9413 binary) Root relaxation: objective 0.000000e+00, 554 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 (958 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 -- 46 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:31:30 2012 Optimize a model with 19897 rows, 5135 columns and 63411 nonzeros Presolve time: 0.08s Presolved: 19897 rows, 5135 columns, 63411 nonzeros Variable types: 0 continuous, 5135 integer (5135 binary) Root relaxation: objective 0.000000e+00, 432 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 (779 simplex iterations) in 0.12 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 -- 23 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:31:30 2012 Optimize a model with 9613 rows, 2903 columns and 30327 nonzeros Presolve time: 0.03s Presolved: 9613 rows, 2903 columns, 30327 nonzeros Variable types: 0 continuous, 2903 integer (2903 binary) Root relaxation: objective 0.000000e+00, 387 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 (698 simplex iterations) in 0.05 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:31:30 2012 Optimize a model with 4471 rows, 1787 columns and 13785 nonzeros Presolve time: 0.01s Presolved: 4471 rows, 1787 columns, 13785 nonzeros Variable types: 0 continuous, 1787 integer (1787 binary) Root relaxation: objective 0.000000e+00, 393 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 166 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4070 simplex iterations) in 0.30 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:31:31 2012 Optimize a model with 1900 rows, 1229 columns and 5514 nonzeros Presolve removed 186 rows and 186 columns Presolve time: 0.00s Presolved: 1714 rows, 1043 columns, 5142 nonzeros Variable types: 0 continuous, 1043 integer (1043 binary) Root relaxation: objective 0.000000e+00, 193 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 186 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (806 simplex iterations) in 0.02 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: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:31:31 2012 Optimize a model with 2757 rows, 1415 columns and 8271 nonzeros Presolve time: 0.01s Presolved: 2757 rows, 1415 columns, 8271 nonzeros Variable types: 0 continuous, 1415 integer (1415 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.00000 0 372 - 0.00000 - - 0s 0 0 0.00000 0 372 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4497 simplex iterations) in 0.53 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:31:32 2012 Optimize a model with 3614 rows, 1601 columns and 11028 nonzeros Presolve time: 0.01s Presolved: 3614 rows, 1601 columns, 11028 nonzeros Variable types: 0 continuous, 1601 integer (1601 binary) Root relaxation: objective 0.000000e+00, 412 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 356 - 0.00000 - - 0s 0 0 0.00000 0 358 - 0.00000 - - 0s 0 0 0.00000 0 336 - 0.00000 - - 0s 0 0 0.00000 0 340 - 0.00000 - - 0s 0 0 0.00000 0 322 - 0.00000 - - 1s 0 0 0.00000 0 314 - 0.00000 - - 1s 0 0 0.00000 0 310 - 0.00000 - - 1s 0 0 0.00000 0 310 - 0.00000 - - 2s 0 0 0.00000 0 312 - 0.00000 - - 2s 0 0 0.00000 0 300 - 0.00000 - - 2s 0 0 0.00000 0 298 - 0.00000 - - 3s 0 0 0.00000 0 310 - 0.00000 - - 3s 0 0 0.00000 0 310 - 0.00000 - - 3s 0 2 0.00000 0 310 - 0.00000 - - 4s 98 28 infeasible 14 - 0.00000 - 165 5s 605 97 0.00000 16 314 - 0.00000 - 114 10s 610 100 0.00000 17 277 - 0.00000 - 113 15s 614 103 0.00000 16 451 - 0.00000 - 112 20s 895 30 infeasible 22 - 0.00000 - 193 25s 1255 45 0.00000 17 326 - 0.00000 - 198 30s 1715 87 infeasible 27 - 0.00000 - 194 35s 2150 130 0.00000 24 318 - 0.00000 - 193 40s 2606 124 infeasible 32 - 0.00000 - 192 45s 3071 107 0.00000 26 316 - 0.00000 - 190 50s 3524 76 0.00000 31 336 - 0.00000 - 190 55s 3966 50 0.00000 26 352 - 0.00000 - 190 60s 4314 52 infeasible 32 - 0.00000 - 193 65s 4782 82 infeasible 24 - 0.00000 - 191 70s 5231 77 0.00000 23 330 - 0.00000 - 191 75s 5613 61 infeasible 23 - 0.00000 - 192 80s 5965 59 infeasible 30 - 0.00000 - 193 85s 6334 48 0.00000 22 304 - 0.00000 - 194 90s 6705 47 0.00000 26 334 - 0.00000 - 195 95s 7058 34 0.00000 21 412 - 0.00000 - 197 100s 7435 25 infeasible 27 - 0.00000 - 197 105s 7811 23 infeasible 25 - 0.00000 - 197 110s 8203 25 0.00000 21 312 - 0.00000 - 198 115s 8634 22 infeasible 22 - 0.00000 - 197 120s 9063 31 0.00000 28 310 - 0.00000 - 197 125s 9453 11 infeasible 24 - 0.00000 - 198 130s 9733 17 infeasible 26 - 0.00000 - 199 135s Explored 9915 nodes (2021741 simplex iterations) in 138.69 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5