current bounds on the number of colors: 0 -- 186 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:16:31 2012 Optimize a model with 87234 rows, 18234 columns and 278442 nonzeros Presolve time: 0.28s Presolved: 87234 rows, 18234 columns, 278442 nonzeros Variable types: 0 continuous, 18234 integer (18234 binary) Root relaxation: objective 0.000000e+00, 742 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 (1329 simplex iterations) in 0.55 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:16:32 2012 Optimize a model with 43242 rows, 9492 columns and 137724 nonzeros Presolve time: 0.15s Presolved: 43242 rows, 9492 columns, 137724 nonzeros Variable types: 0 continuous, 9492 integer (9492 binary) Root relaxation: objective 0.000000e+00, 630 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 (1082 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 -- 46 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:16:33 2012 Optimize a model with 21714 rows, 5214 columns and 68862 nonzeros Presolve time: 0.09s Presolved: 21714 rows, 5214 columns, 68862 nonzeros Variable types: 0 continuous, 5214 integer (5214 binary) Root relaxation: objective 0.000000e+00, 428 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 (811 simplex iterations) in 0.13 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:16:33 2012 Optimize a model with 10482 rows, 2982 columns and 32934 nonzeros Presolve time: 0.03s Presolved: 10482 rows, 2982 columns, 32934 nonzeros Variable types: 0 continuous, 2982 integer (2982 binary) Root relaxation: objective 0.000000e+00, 400 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 (987 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:16:33 2012 Optimize a model with 4866 rows, 1866 columns and 14970 nonzeros Presolve time: 0.01s Presolved: 4866 rows, 1866 columns, 14970 nonzeros Variable types: 0 continuous, 1866 integer (1866 binary) Root relaxation: objective 0.000000e+00, 399 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 174 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2850 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:16:34 2012 Optimize a model with 2058 rows, 1308 columns and 5988 nonzeros Presolve removed 186 rows and 186 columns Presolve time: 0.01s Presolved: 1872 rows, 1122 columns, 5616 nonzeros Variable types: 0 continuous, 1122 integer (1122 binary) Root relaxation: objective 0.000000e+00, 198 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 Explored 0 nodes (804 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:16:34 2012 Optimize a model with 2994 rows, 1494 columns and 8982 nonzeros Presolve time: 0.01s Presolved: 2994 rows, 1494 columns, 8982 nonzeros Variable types: 0 continuous, 1494 integer (1494 binary) Root relaxation: objective 0.000000e+00, 410 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 379 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5202 simplex iterations) in 0.63 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:16:35 2012 Optimize a model with 3930 rows, 1680 columns and 11976 nonzeros Presolve time: 0.01s Presolved: 3930 rows, 1680 columns, 11976 nonzeros Variable types: 0 continuous, 1680 integer (1680 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 370 - 0.00000 - - 0s 0 0 0.00000 0 340 - 0.00000 - - 0s 0 0 0.00000 0 354 - 0.00000 - - 1s 0 0 0.00000 0 500 - 0.00000 - - 1s 0 0 0.00000 0 372 - 0.00000 - - 2s 0 0 0.00000 0 316 - 0.00000 - - 2s 0 0 0.00000 0 306 - 0.00000 - - 3s 0 0 0.00000 0 302 - 0.00000 - - 4s 0 0 0.00000 0 294 - 0.00000 - - 4s 0 0 0.00000 0 303 - 0.00000 - - 5s 0 0 0.00000 0 307 - 0.00000 - - 5s 0 0 0.00000 0 372 - 0.00000 - - 6s 0 0 0.00000 0 393 - 0.00000 - - 7s 0 0 0.00000 0 393 - 0.00000 - - 7s 0 2 0.00000 0 393 - 0.00000 - - 8s 150 28 infeasible 17 - 0.00000 - 136 10s 673 32 0.00000 15 302 - 0.00000 - 142 15s 905 68 0.00000 23 490 - 0.00000 - 145 22s 906 68 0.00000 6 348 - 0.00000 - 145 25s 910 71 0.00000 6 353 - 0.00000 - 144 31s 912 72 0.00000 6 323 - 0.00000 - 144 36s 914 74 0.00000 4 314 - 0.00000 - 143 40s 917 76 0.00000 23 456 - 0.00000 - 143 45s 1096 31 0.00000 23 326 - 0.00000 - 229 50s 1289 27 infeasible 28 - 0.00000 - 237 55s 1490 34 infeasible 25 - 0.00000 - 243 60s 1683 35 0.00000 26 322 - 0.00000 - 249 65s 1878 18 0.00000 22 425 - 0.00000 - 252 70s 2031 9 0.00000 21 432 - 0.00000 - 259 75s 2194 14 infeasible 28 - 0.00000 - 264 80s 2385 9 infeasible 28 - 0.00000 - 266 85s 2586 16 0.00000 23 429 - 0.00000 - 267 90s 2776 10 0.00000 22 435 - 0.00000 - 270 95s 2953 11 infeasible 25 - 0.00000 - 273 100s 3111 9 0.00000 23 375 - 0.00000 - 276 105s Cutting planes: Gomory: 1 Clique: 1 Zero half: 27 Explored 3191 nodes (941998 simplex iterations) in 107.68 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