current bounds on the number of colors: 0 -- 139 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:53:21 2012 Optimize a model with 65551 rows, 10539 columns and 205827 nonzeros Presolve time: 0.20s Presolved: 65551 rows, 10539 columns, 205827 nonzeros Variable types: 0 continuous, 10539 integer (10539 binary) Root relaxation: objective 0.000000e+00, 347 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 (782 simplex iterations) in 0.40 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 -- 69 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:53:22 2012 Optimize a model with 32371 rows, 5674 columns and 101422 nonzeros Presolve time: 0.15s Presolved: 32371 rows, 5674 columns, 101422 nonzeros Variable types: 0 continuous, 5674 integer (5674 binary) Root relaxation: objective 0.000000e+00, 421 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 (790 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 -- 34 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:53:23 2012 Optimize a model with 16255 rows, 3311 columns and 50711 nonzeros Presolve time: 0.06s Presolved: 16255 rows, 3311 columns, 50711 nonzeros Variable types: 0 continuous, 3311 integer (3311 binary) Root relaxation: objective 0.000000e+00, 284 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 (574 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:53:23 2012 Optimize a model with 7723 rows, 2060 columns and 23864 nonzeros Presolve time: 0.02s Presolved: 7723 rows, 2060 columns, 23864 nonzeros Variable types: 0 continuous, 2060 integer (2060 binary) Root relaxation: objective 0.000000e+00, 294 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 (1062 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:53:23 2012 Optimize a model with 3931 rows, 1504 columns and 11932 nonzeros Presolve time: 0.01s Presolved: 3931 rows, 1504 columns, 11932 nonzeros Variable types: 0 continuous, 1504 integer (1504 binary) Root relaxation: objective 0.000000e+00, 292 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 278 - 0.00000 - - 0s 0 0 0.00000 0 276 - 0.00000 - - 0s 0 0 0.00000 0 432 - 0.00000 - - 1s 0 0 0.00000 0 423 - 0.00000 - - 2s 0 0 0.00000 0 428 - 0.00000 - - 2s 0 0 0.00000 0 421 - 0.00000 - - 3s 0 0 0.00000 0 414 - 0.00000 - - 5s 0 0 0.00000 0 414 - 0.00000 - - 6s 0 0 0.00000 0 414 - 0.00000 - - 7s 0 2 0.00000 0 414 - 0.00000 - - 8s Cutting planes: Clique: 9 Zero half: 15 Explored 17 nodes (32606 simplex iterations) in 9.27 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:53:33 2012 Optimize a model with 5827 rows, 1782 columns and 17898 nonzeros Presolve time: 0.02s Presolved: 5827 rows, 1782 columns, 17898 nonzeros Variable types: 0 continuous, 1782 integer (1782 binary) Root relaxation: objective 0.000000e+00, 299 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 195 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4010 simplex iterations) in 0.36 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:53:33 2012 Optimize a model with 4879 rows, 1643 columns and 14915 nonzeros Presolve time: 0.01s Presolved: 4879 rows, 1643 columns, 14915 nonzeros Variable types: 0 continuous, 1643 integer (1643 binary) Root relaxation: objective 0.000000e+00, 298 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 276 - 0.00000 - - 0s 0 0 0.00000 0 290 - 0.00000 - - 0s 0 0 0.00000 0 349 - 0.00000 - - 1s 0 0 0.00000 0 396 - 0.00000 - - 1s 0 0 0.00000 0 301 - 0.00000 - - 3s 0 0 0.00000 0 291 - 0.00000 - - 4s 0 0 0.00000 0 330 - 0.00000 - - 4s 0 0 0.00000 0 326 - 0.00000 - - 5s 0 0 0.00000 0 344 - 0.00000 - - 6s 0 0 0.00000 0 328 - 0.00000 - - 7s 0 0 0.00000 0 324 - 0.00000 - - 8s 0 0 0.00000 0 366 - 0.00000 - - 9s 0 0 0.00000 0 366 - 0.00000 - - 9s 0 2 0.00000 0 366 - 0.00000 - - 10s 339 30 0.00000 26 212 - 0.00000 - 146 15s 760 31 infeasible 23 - 0.00000 - 146 20s 815 44 0.00000 13 383 - 0.00000 - 143 25s 818 46 0.00000 10 365 - 0.00000 - 143 31s 820 47 0.00000 12 356 - 0.00000 - 143 35s 822 48 0.00000 23 340 - 0.00000 - 142 40s 825 50 0.00000 23 324 - 0.00000 - 142 46s 829 53 0.00000 13 364 - 0.00000 - 141 50s 963 86 infeasible 32 - 0.00000 - 216 55s 1137 132 0.00000 29 330 - 0.00000 - 227 60s 1294 161 0.00000 30 314 - 0.00000 - 237 65s 1461 170 0.00000 30 316 - 0.00000 - 244 70s 1629 180 0.00000 31 326 - 0.00000 - 250 75s 1781 194 infeasible 34 - 0.00000 - 257 80s 1944 193 infeasible 34 - 0.00000 - 262 85s 2106 197 infeasible 27 - 0.00000 - 266 90s 2240 187 infeasible 27 - 0.00000 - 272 95s 2413 190 0.00000 25 318 - 0.00000 - 274 100s 2564 181 infeasible 29 - 0.00000 - 278 105s 2699 174 infeasible 32 - 0.00000 - 282 110s 2855 172 infeasible 31 - 0.00000 - 285 115s 2994 175 0.00000 25 266 - 0.00000 - 288 120s 3149 180 0.00000 27 316 - 0.00000 - 290 125s 3327 182 0.00000 31 298 - 0.00000 - 290 130s 3502 201 infeasible 35 - 0.00000 - 290 135s 3680 223 infeasible 30 - 0.00000 - 290 140s 3814 205 infeasible 26 - 0.00000 - 293 145s 3968 215 infeasible 35 - 0.00000 - 294 150s 4125 216 0.00000 27 312 - 0.00000 - 295 155s 4279 210 infeasible 29 - 0.00000 - 296 160s 4415 200 infeasible 35 - 0.00000 - 298 165s 4577 208 infeasible 33 - 0.00000 - 299 170s 4727 204 infeasible 28 - 0.00000 - 300 175s 4893 206 0.00000 31 312 - 0.00000 - 301 180s 5056 207 infeasible 30 - 0.00000 - 301 185s 5203 202 infeasible 33 - 0.00000 - 302 190s 5350 199 infeasible 29 - 0.00000 - 303 195s 5499 220 0.00000 29 312 - 0.00000 - 304 200s 5640 225 0.00000 34 314 - 0.00000 - 305 205s 5794 215 infeasible 33 - 0.00000 - 306 210s 5956 217 infeasible 30 - 0.00000 - 306 215s 6098 215 infeasible 29 - 0.00000 - 307 220s 6233 210 0.00000 30 337 - 0.00000 - 309 225s 6383 210 0.00000 30 322 - 0.00000 - 309 230s 6537 236 infeasible 31 - 0.00000 - 310 235s 6710 259 0.00000 30 303 - 0.00000 - 310 240s 6879 278 0.00000 26 347 - 0.00000 - 309 245s 7049 290 0.00000 32 246 - 0.00000 - 309 250s 7203 290 0.00000 33 335 - 0.00000 - 309 255s 7374 291 infeasible 32 - 0.00000 - 309 260s 7523 286 infeasible 33 - 0.00000 - 310 265s 7672 281 infeasible 31 - 0.00000 - 310 270s 7821 264 infeasible 30 - 0.00000 - 311 275s 7966 255 infeasible 34 - 0.00000 - 311 280s 8124 245 infeasible 29 - 0.00000 - 311 285s Cutting planes: Clique: 3 Zero half: 19 Explored 8183 nodes (2596474 simplex iterations) in 286.54 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - optimal solution found: number of colors: 6