current bounds on the number of colors: 0 -- 173 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:54:39 2012 Optimize a model with 65963 rows, 15643 columns and 212248 nonzeros Presolve time: 0.20s Presolved: 65963 rows, 15643 columns, 212248 nonzeros Variable types: 0 continuous, 15643 integer (15643 binary) Root relaxation: objective 0.000000e+00, 682 iterations, 0.07 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 (1053 simplex iterations) in 0.37 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 -- 86 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:54:40 2012 Optimize a model with 33068 rows, 8204 columns and 106124 nonzeros Presolve time: 0.14s Presolved: 33068 rows, 8204 columns, 106124 nonzeros Variable types: 0 continuous, 8204 integer (8204 binary) Root relaxation: objective 0.000000e+00, 551 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 (937 simplex iterations) in 0.22 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 -- 43 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:54:41 2012 Optimize a model with 16238 rows, 4398 columns and 51828 nonzeros Presolve time: 0.06s Presolved: 16238 rows, 4398 columns, 51828 nonzeros Variable types: 0 continuous, 4398 integer (4398 binary) Root relaxation: objective 0.000000e+00, 360 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 (671 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 -- 21 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:54:41 2012 Optimize a model with 7823 rows, 2495 columns and 24680 nonzeros Presolve time: 0.02s Presolved: 7823 rows, 2495 columns, 24680 nonzeros Variable types: 0 continuous, 2495 integer (2495 binary) Root relaxation: objective 0.000000e+00, 363 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 (685 simplex iterations) in 0.04 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 -- 10 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:54:41 2012 Optimize a model with 3998 rows, 1630 columns and 12340 nonzeros Presolve time: 0.01s Presolved: 3998 rows, 1630 columns, 12340 nonzeros Variable types: 0 continuous, 1630 integer (1630 binary) Root relaxation: objective 0.000000e+00, 402 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 (1535 simplex iterations) in 0.06 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 Fri Dec 14 21:54:41 2012 Optimize a model with 1703 rows, 1111 columns and 4936 nonzeros Presolve removed 173 rows and 173 columns Presolve time: 0.00s Presolved: 1530 rows, 938 columns, 4590 nonzeros Variable types: 0 continuous, 938 integer (938 binary) Root relaxation: objective 0.000000e+00, 182 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 173 - 0.00000 - - 0s Explored 0 nodes (736 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 Fri Dec 14 21:54:41 2012 Optimize a model with 2468 rows, 1284 columns and 7404 nonzeros Presolve time: 0.01s Presolved: 2468 rows, 1284 columns, 7404 nonzeros Variable types: 0 continuous, 1284 integer (1284 binary) Root relaxation: objective 0.000000e+00, 411 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 340 - 0.00000 - - 0s 0 0 0.00000 0 342 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3973 simplex iterations) in 0.42 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 Fri Dec 14 21:54:42 2012 Optimize a model with 3233 rows, 1457 columns and 9872 nonzeros Presolve time: 0.01s Presolved: 3233 rows, 1457 columns, 9872 nonzeros Variable types: 0 continuous, 1457 integer (1457 binary) Root relaxation: objective 0.000000e+00, 381 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 326 - 0.00000 - - 0s 0 0 0.00000 0 316 - 0.00000 - - 0s 0 0 0.00000 0 282 - 0.00000 - - 0s 0 0 0.00000 0 426 - 0.00000 - - 0s 0 0 0.00000 0 262 - 0.00000 - - 1s 0 0 0.00000 0 270 - 0.00000 - - 1s 0 0 0.00000 0 254 - 0.00000 - - 1s 0 0 0.00000 0 260 - 0.00000 - - 1s 0 0 0.00000 0 260 - 0.00000 - - 2s 0 0 0.00000 0 260 - 0.00000 - - 2s 0 2 0.00000 0 260 - 0.00000 - - 2s 451 83 0.00000 15 278 - 0.00000 - 108 5s 1105 119 0.00000 11 266 - 0.00000 - 105 10s 1111 123 0.00000 8 225 - 0.00000 - 105 15s 1117 127 infeasible 13 - 0.00000 - 144 20s 1410 68 infeasible 27 - 0.00000 - 150 25s 1854 48 0.00000 31 288 - 0.00000 - 159 30s 2343 117 infeasible 31 - 0.00000 - 161 35s 2766 120 0.00000 24 296 - 0.00000 - 166 40s 3183 93 infeasible 29 - 0.00000 - 171 45s 3615 177 infeasible 31 - 0.00000 - 173 50s 4083 235 0.00000 25 274 - 0.00000 - 174 55s 4521 273 infeasible 27 - 0.00000 - 176 60s 4968 296 0.00000 24 280 - 0.00000 - 178 65s 5417 283 0.00000 31 280 - 0.00000 - 180 70s 5859 253 infeasible 28 - 0.00000 - 181 75s 6321 267 infeasible 23 - 0.00000 - 182 80s 6784 296 infeasible 30 - 0.00000 - 182 85s 7233 293 infeasible 34 - 0.00000 - 183 90s 7675 267 infeasible 28 - 0.00000 - 184 95s 8135 255 infeasible 27 - 0.00000 - 185 100s 8541 267 infeasible 28 - 0.00000 - 186 105s 8948 252 0.00000 23 347 - 0.00000 - 187 110s 9358 246 infeasible 27 - 0.00000 - 187 115s 9825 233 0.00000 33 310 - 0.00000 - 187 120s 10302 248 infeasible 31 - 0.00000 - 187 125s 10770 224 infeasible 31 - 0.00000 - 187 130s 11176 236 0.00000 30 331 - 0.00000 - 188 135s 11548 220 infeasible 28 - 0.00000 - 189 140s 11969 231 infeasible 31 - 0.00000 - 189 145s 12379 237 infeasible 28 - 0.00000 - 190 150s 12808 242 infeasible 28 - 0.00000 - 190 155s 13232 202 0.00000 29 365 - 0.00000 - 191 160s 13612 184 0.00000 31 286 - 0.00000 - 191 165s 13960 164 infeasible 27 - 0.00000 - 192 170s 14317 137 infeasible 25 - 0.00000 - 193 175s 14709 105 0.00000 26 349 - 0.00000 - 193 180s 15053 79 infeasible 30 - 0.00000 - 194 185s 15396 42 0.00000 24 338 - 0.00000 - 195 190s 15763 5 0.00000 27 341 - 0.00000 - 195 195s Cutting planes: Gomory: 1 Zero half: 14 Explored 15871 nodes (3119248 simplex iterations) in 196.25 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