current bounds on the number of colors: 0 -- 138 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:04:57 2012 Optimize a model with 64446 rows, 10454 columns and 202446 nonzeros Presolve time: 0.19s Presolved: 64446 rows, 10454 columns, 202446 nonzeros Variable types: 0 continuous, 10454 integer (10454 binary) Root relaxation: objective 0.000000e+00, 334 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 (638 simplex iterations) in 0.35 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:04:58 2012 Optimize a model with 31826 rows, 5624 columns and 99756 nonzeros Presolve time: 0.14s Presolved: 31826 rows, 5624 columns, 99756 nonzeros Variable types: 0 continuous, 5624 integer (5624 binary) Root relaxation: objective 0.000000e+00, 383 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 (721 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 -- 34 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:04:59 2012 Optimize a model with 15982 rows, 3278 columns and 49878 nonzeros Presolve time: 0.05s Presolved: 15982 rows, 3278 columns, 49878 nonzeros Variable types: 0 continuous, 3278 integer (3278 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 (595 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:04:59 2012 Optimize a model with 7594 rows, 2036 columns and 23472 nonzeros Presolve time: 0.02s Presolved: 7594 rows, 2036 columns, 23472 nonzeros Variable types: 0 continuous, 2036 integer (2036 binary) Root relaxation: objective 0.000000e+00, 295 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 (748 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:04:59 2012 Optimize a model with 3866 rows, 1484 columns and 11736 nonzeros Presolve time: 0.01s Presolved: 3866 rows, 1484 columns, 11736 nonzeros Variable types: 0 continuous, 1484 integer (1484 binary) Root relaxation: objective 0.000000e+00, 289 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 274 - 0.00000 - - 0s 0 0 0.00000 0 270 - 0.00000 - - 0s 0 0 0.00000 0 443 - 0.00000 - - 1s 0 0 0.00000 0 444 - 0.00000 - - 2s 0 0 0.00000 0 434 - 0.00000 - - 3s 0 0 0.00000 0 430 - 0.00000 - - 4s 0 0 0.00000 0 428 - 0.00000 - - 6s 0 0 0.00000 0 421 - 0.00000 - - 6s 0 0 0.00000 0 420 - 0.00000 - - 7s 0 0 0.00000 0 418 - 0.00000 - - 9s 0 0 0.00000 0 416 - 0.00000 - - 10s 0 0 0.00000 0 428 - 0.00000 - - 11s 0 0 0.00000 0 417 - 0.00000 - - 11s 0 0 0.00000 0 410 - 0.00000 - - 13s 0 0 0.00000 0 406 - 0.00000 - - 14s 0 0 0.00000 0 406 - 0.00000 - - 15s 0 0 0.00000 0 402 - 0.00000 - - 16s 0 0 0.00000 0 403 - 0.00000 - - 17s 0 0 0.00000 0 403 - 0.00000 - - 18s 0 2 0.00000 0 403 - 0.00000 - - 19s 10 1 infeasible 4 - 0.00000 - 647 20s Cutting planes: Clique: 25 Zero half: 18 Explored 14 nodes (68929 simplex iterations) in 20.06 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:05:20 2012 Optimize a model with 5730 rows, 1760 columns and 17604 nonzeros Presolve time: 0.02s Presolved: 5730 rows, 1760 columns, 17604 nonzeros Variable types: 0 continuous, 1760 integer (1760 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 260 - 0.00000 - - 0s 0 0 0.00000 0 287 - 0.00000 - - 0s Cutting planes: Clique: 23 Zero half: 1 Explored 0 nodes (5047 simplex iterations) in 0.62 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:05:20 2012 Optimize a model with 4798 rows, 1622 columns and 14670 nonzeros Presolve time: 0.01s Presolved: 4798 rows, 1622 columns, 14670 nonzeros Variable types: 0 continuous, 1622 integer (1622 binary) Root relaxation: objective 0.000000e+00, 304 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 258 - 0.00000 - - 0s 0 0 0.00000 0 333 - 0.00000 - - 1s 0 0 0.00000 0 356 - 0.00000 - - 1s 0 0 0.00000 0 320 - 0.00000 - - 2s 0 0 0.00000 0 322 - 0.00000 - - 3s 0 0 0.00000 0 325 - 0.00000 - - 4s 0 0 0.00000 0 343 - 0.00000 - - 5s 0 0 0.00000 0 336 - 0.00000 - - 6s 0 0 0.00000 0 392 - 0.00000 - - 6s 0 0 0.00000 0 392 - 0.00000 - - 7s 0 2 0.00000 0 392 - 0.00000 - - 8s 71 27 0.00000 22 239 - 0.00000 - 231 10s 550 50 0.00000 21 308 - 0.00000 - 141 15s 988 47 0.00000 11 316 - 0.00000 - 139 20s 1006 62 0.00000 14 233 - 0.00000 - 138 26s 1009 64 0.00000 8 221 - 0.00000 - 138 30s 1014 68 infeasible 15 - 0.00000 - 179 35s 1066 80 0.00000 30 254 - 0.00000 - 181 40s 1234 73 0.00000 36 224 - 0.00000 - 194 45s 1415 118 0.00000 34 238 - 0.00000 - 207 50s 1567 122 0.00000 36 228 - 0.00000 - 221 55s 1767 160 infeasible 39 - 0.00000 - 226 60s 1960 189 0.00000 30 321 - 0.00000 - 230 65s 2117 212 infeasible 33 - 0.00000 - 237 70s 2295 244 0.00000 27 318 - 0.00000 - 240 75s 2486 265 0.00000 32 272 - 0.00000 - 244 80s 2672 275 infeasible 36 - 0.00000 - 248 85s 2835 278 infeasible 34 - 0.00000 - 253 90s 3020 277 infeasible 33 - 0.00000 - 256 95s 3205 282 infeasible 29 - 0.00000 - 258 100s 3372 303 0.00000 32 319 - 0.00000 - 261 105s 3562 327 infeasible 38 - 0.00000 - 263 110s 3786 367 infeasible 36 - 0.00000 - 262 115s 4009 378 infeasible 38 - 0.00000 - 262 120s 4203 372 infeasible 34 - 0.00000 - 263 125s 4405 352 infeasible 35 - 0.00000 - 264 130s 4591 350 infeasible 31 - 0.00000 - 265 135s 4797 358 infeasible 37 - 0.00000 - 266 140s 4990 363 infeasible 39 - 0.00000 - 266 145s 5153 350 infeasible 36 - 0.00000 - 269 150s 5307 340 0.00000 31 279 - 0.00000 - 271 155s 5515 362 0.00000 33 334 - 0.00000 - 271 160s 5689 360 infeasible 33 - 0.00000 - 272 165s 5879 360 infeasible 35 - 0.00000 - 273 170s 6059 350 0.00000 19 319 - 0.00000 - 274 175s 6250 395 infeasible 27 - 0.00000 - 275 180s 6404 403 infeasible 31 - 0.00000 - 276 185s 6589 402 0.00000 30 312 - 0.00000 - 277 190s 6818 437 infeasible 38 - 0.00000 - 276 195s 6998 423 0.00000 30 296 - 0.00000 - 277 200s 7205 432 0.00000 39 304 - 0.00000 - 277 205s 7401 420 0.00000 30 302 - 0.00000 - 278 210s 7611 430 0.00000 37 234 - 0.00000 - 278 215s 7783 424 infeasible 30 - 0.00000 - 279 220s 7966 421 0.00000 28 323 - 0.00000 - 280 225s 8148 409 infeasible 30 - 0.00000 - 280 230s 8306 411 infeasible 35 - 0.00000 - 281 235s 8500 421 infeasible 37 - 0.00000 - 282 240s 8664 407 0.00000 31 301 - 0.00000 - 283 245s 8825 402 0.00000 33 295 - 0.00000 - 284 250s 8996 419 infeasible 33 - 0.00000 - 284 255s 9161 424 infeasible 34 - 0.00000 - 285 260s 9334 435 infeasible 34 - 0.00000 - 286 265s 9488 423 0.00000 34 304 - 0.00000 - 287 270s 9692 419 0.00000 33 288 - 0.00000 - 287 275s Cutting planes: Clique: 8 Zero half: 16 Explored 9713 nodes (2828824 simplex iterations) in 275.62 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