current bounds on the number of colors: 0 -- 148 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:16:02 2012 Optimize a model with 78810 rows, 12015 columns and 246938 nonzeros Presolve time: 0.22s Presolved: 78810 rows, 12015 columns, 246938 nonzeros Variable types: 0 continuous, 12015 integer (12015 binary) Root relaxation: objective 0.000000e+00, 359 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 (777 simplex iterations) in 0.44 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 -- 74 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:16:04 2012 Optimize a model with 39479 rows, 6539 columns and 123469 nonzeros Presolve time: 0.15s Presolved: 39479 rows, 6539 columns, 123469 nonzeros Variable types: 0 continuous, 6539 integer (6539 binary) Root relaxation: objective 0.000000e+00, 357 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 (682 simplex iterations) in 0.24 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 -- 37 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:16:04 2012 Optimize a model with 19282 rows, 3727 columns and 60066 nonzeros Presolve time: 0.07s Presolved: 19282 rows, 3727 columns, 60066 nonzeros Variable types: 0 continuous, 3727 integer (3727 binary) Root relaxation: objective 0.000000e+00, 430 iterations, 0.02 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 (868 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 -- 18 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:16:05 2012 Optimize a model with 9715 rows, 2395 columns and 30033 nonzeros Presolve time: 0.03s Presolved: 9715 rows, 2395 columns, 30033 nonzeros Variable types: 0 continuous, 2395 integer (2395 binary) Root relaxation: objective 0.000000e+00, 314 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 (789 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:16:05 2012 Optimize a model with 4400 rows, 1655 columns and 13348 nonzeros Presolve time: 0.01s Presolved: 4400 rows, 1655 columns, 13348 nonzeros Variable types: 0 continuous, 1655 integer (1655 binary) Root relaxation: objective 0.000000e+00, 314 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 296 - 0.00000 - - 0s 0 0 0.00000 0 287 - 0.00000 - - 1s 0 0 0.00000 0 473 - 0.00000 - - 2s 0 0 0.00000 0 489 - 0.00000 - - 3s 0 0 0.00000 0 482 - 0.00000 - - 3s 0 0 0.00000 0 467 - 0.00000 - - 5s 0 0 0.00000 0 470 - 0.00000 - - 6s 0 0 0.00000 0 462 - 0.00000 - - 8s 0 0 0.00000 0 447 - 0.00000 - - 9s 0 0 0.00000 0 456 - 0.00000 - - 11s 0 0 0.00000 0 445 - 0.00000 - - 13s 0 0 0.00000 0 460 - 0.00000 - - 13s 0 0 0.00000 0 460 - 0.00000 - - 14s 0 2 0.00000 0 460 - 0.00000 - - 16s Cutting planes: Clique: 26 Zero half: 15 Explored 21 nodes (71637 simplex iterations) in 17.54 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:16:23 2012 Optimize a model with 6526 rows, 1951 columns and 20022 nonzeros Presolve time: 0.02s Presolved: 6526 rows, 1951 columns, 20022 nonzeros Variable types: 0 continuous, 1951 integer (1951 binary) Root relaxation: objective 0.000000e+00, 310 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 288 - 0.00000 - - 0s 0 0 0.00000 0 213 - 0.00000 - - 0s 0 0 0.00000 0 286 - 0.00000 - - 1s 0 0 0.00000 0 345 - 0.00000 - - 2s 0 0 0.00000 0 308 - 0.00000 - - 2s 0 0 0.00000 0 249 - 0.00000 - - 3s 0 0 0.00000 0 274 - 0.00000 - - 3s 0 0 0.00000 0 22 - 0.00000 - - 4s H 0 0 0.0000000 0.00000 0.0% - 4s Explored 0 nodes (33414 simplex iterations) in 4.80 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 17:16:28 2012 Optimize a model with 5463 rows, 1803 columns and 16685 nonzeros Presolve time: 0.01s Presolved: 5463 rows, 1803 columns, 16685 nonzeros Variable types: 0 continuous, 1803 integer (1803 binary) Root relaxation: objective 0.000000e+00, 316 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 286 - 0.00000 - - 0s 0 0 0.00000 0 278 - 0.00000 - - 0s 0 0 0.00000 0 412 - 0.00000 - - 1s 0 0 0.00000 0 396 - 0.00000 - - 2s 0 0 0.00000 0 385 - 0.00000 - - 2s 0 0 0.00000 0 393 - 0.00000 - - 2s 0 0 0.00000 0 373 - 0.00000 - - 3s 0 0 0.00000 0 315 - 0.00000 - - 4s 0 0 0.00000 0 327 - 0.00000 - - 5s 0 0 0.00000 0 321 - 0.00000 - - 7s 0 0 0.00000 0 297 - 0.00000 - - 8s 0 0 0.00000 0 320 - 0.00000 - - 9s 0 0 0.00000 0 323 - 0.00000 - - 10s 0 0 0.00000 0 323 - 0.00000 - - 11s 0 2 0.00000 0 323 - 0.00000 - - 12s 62 34 0.00000 22 327 - 0.00000 - 271 15s 314 73 infeasible 25 - 0.00000 - 199 20s 559 100 0.00000 20 329 - 0.00000 - 195 25s 711 110 0.00000 20 412 - 0.00000 - 189 30s 715 113 0.00000 2 358 - 0.00000 - 188 37s 717 114 0.00000 16 342 - 0.00000 - 188 41s 719 116 0.00000 26 309 - 0.00000 - 187 46s 721 117 0.00000 23 311 - 0.00000 - 187 50s 725 120 0.00000 8 309 - 0.00000 - 186 56s 729 122 infeasible 13 - 0.00000 - 278 60s 741 130 0.00000 19 376 - 0.00000 - 277 65s 822 140 0.00000 27 368 - 0.00000 - 281 70s 931 139 0.00000 36 343 - 0.00000 - 290 75s 1034 124 infeasible 36 - 0.00000 - 300 80s 1148 142 0.00000 30 361 - 0.00000 - 304 85s 1266 176 0.00000 36 352 - 0.00000 - 308 90s 1383 185 0.00000 31 352 - 0.00000 - 312 95s 1487 191 infeasible 37 - 0.00000 - 317 100s 1577 187 0.00000 28 364 - 0.00000 - 325 105s 1695 209 infeasible 34 - 0.00000 - 327 110s 1805 203 0.00000 32 349 - 0.00000 - 330 115s 1933 219 0.00000 34 357 - 0.00000 - 328 120s 2054 246 infeasible 33 - 0.00000 - 329 125s 2157 249 infeasible 32 - 0.00000 - 333 130s 2280 280 infeasible 37 - 0.00000 - 334 135s 2397 293 infeasible 34 - 0.00000 - 335 140s 2511 301 0.00000 36 344 - 0.00000 - 337 145s 2628 316 infeasible 34 - 0.00000 - 338 150s 2718 332 0.00000 39 346 - 0.00000 - 342 155s 2830 330 infeasible 36 - 0.00000 - 345 160s 2953 339 0.00000 35 357 - 0.00000 - 345 165s 3051 353 0.00000 37 350 - 0.00000 - 346 170s 3153 359 0.00000 34 341 - 0.00000 - 349 175s 3260 360 infeasible 30 - 0.00000 - 351 180s 3382 370 0.00000 31 344 - 0.00000 - 351 185s 3495 373 0.00000 33 358 - 0.00000 - 352 190s 3609 381 infeasible 37 - 0.00000 - 353 195s 3728 392 0.00000 28 343 - 0.00000 - 353 200s 3854 408 0.00000 28 355 - 0.00000 - 353 205s 3982 408 0.00000 32 346 - 0.00000 - 353 210s 4091 397 0.00000 32 351 - 0.00000 - 354 215s 4208 412 0.00000 31 343 - 0.00000 - 354 220s 4319 419 0.00000 42 288 - 0.00000 - 355 225s 4431 431 infeasible 39 - 0.00000 - 356 230s 4535 435 infeasible 36 - 0.00000 - 357 235s 4639 443 0.00000 28 329 - 0.00000 - 358 240s 4748 442 0.00000 29 370 - 0.00000 - 359 245s 4852 440 0.00000 31 348 - 0.00000 - 360 250s 4970 442 0.00000 32 353 - 0.00000 - 360 255s 5077 449 infeasible 36 - 0.00000 - 361 260s 5187 445 infeasible 34 - 0.00000 - 361 265s 5286 444 0.00000 32 360 - 0.00000 - 363 270s Cutting planes: Clique: 5 Zero half: 10 Explored 5361 nodes (1997911 simplex iterations) in 273.17 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