current bounds on the number of colors: 0 -- 215 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:19:34 2012 Optimize a model with 130755 rows, 24225 columns and 414625 nonzeros Presolve time: 0.45s Presolved: 130755 rows, 24225 columns, 414625 nonzeros Variable types: 0 continuous, 24225 integer (24225 binary) Root relaxation: objective 0.000000e+00, 573 iterations, 0.16 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 (1034 simplex iterations) in 0.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: 0 -- 107 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:19:36 2012 Optimize a model with 64875 rows, 12615 columns and 205375 nonzeros Presolve time: 0.18s Presolved: 64875 rows, 12615 columns, 205375 nonzeros Variable types: 0 continuous, 12615 integer (12615 binary) Root relaxation: objective 0.000000e+00, 727 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 (1325 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 -- 53 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:19:37 2012 Optimize a model with 31935 rows, 6810 columns and 100750 nonzeros Presolve time: 0.13s Presolved: 31935 rows, 6810 columns, 100750 nonzeros Variable types: 0 continuous, 6810 integer (6810 binary) Root relaxation: objective 0.000000e+00, 487 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 (945 simplex iterations) in 0.20 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 -- 26 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:19:38 2012 Optimize a model with 16075 rows, 4015 columns and 50375 nonzeros Presolve time: 0.05s Presolved: 16075 rows, 4015 columns, 50375 nonzeros Variable types: 0 continuous, 4015 integer (4015 binary) Root relaxation: objective 0.000000e+00, 461 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 (905 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 -- 13 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:19:38 2012 Optimize a model with 7535 rows, 2510 columns and 23250 nonzeros Presolve time: 0.02s Presolved: 7535 rows, 2510 columns, 23250 nonzeros Variable types: 0 continuous, 2510 integer (2510 binary) Root relaxation: objective 0.000000e+00, 463 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 396 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2640 simplex iterations) in 0.17 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:19:38 2012 Optimize a model with 3875 rows, 1865 columns and 11625 nonzeros Presolve time: 0.01s Presolved: 3875 rows, 1865 columns, 11625 nonzeros Variable types: 0 continuous, 1865 integer (1865 binary) Root relaxation: objective 0.000000e+00, 495 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 338 - 0.00000 - - 0s 0 0 0.00000 0 426 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Explored 0 nodes (8925 simplex iterations) in 1.28 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:19:40 2012 Optimize a model with 5095 rows, 2080 columns and 15500 nonzeros Presolve time: 0.01s Presolved: 5095 rows, 2080 columns, 15500 nonzeros Variable types: 0 continuous, 2080 integer (2080 binary) Root relaxation: objective 0.000000e+00, 477 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 424 - 0.00000 - - 0s 0 0 0.00000 0 410 - 0.00000 - - 0s 0 0 0.00000 0 412 - 0.00000 - - 1s 0 0 0.00000 0 414 - 0.00000 - - 1s 0 0 0.00000 0 410 - 0.00000 - - 2s 0 0 0.00000 0 408 - 0.00000 - - 3s 0 0 0.00000 0 404 - 0.00000 - - 4s 0 0 0.00000 0 409 - 0.00000 - - 5s 0 0 0.00000 0 406 - 0.00000 - - 6s 0 0 0.00000 0 400 - 0.00000 - - 7s 0 0 0.00000 0 400 - 0.00000 - - 8s 0 0 0.00000 0 398 - 0.00000 - - 9s 0 0 0.00000 0 394 - 0.00000 - - 10s 0 0 0.00000 0 398 - 0.00000 - - 11s 0 0 0.00000 0 398 - 0.00000 - - 12s 0 2 0.00000 0 398 - 0.00000 - - 13s 40 14 0.00000 13 494 - 0.00000 - 366 15s 317 39 infeasible 19 - 0.00000 - 191 20s 569 47 0.00000 6 481 - 0.00000 - 182 25s 605 67 0.00000 11 388 - 0.00000 - 182 32s 606 67 0.00000 6 386 - 0.00000 - 182 35s 608 69 0.00000 23 382 - 0.00000 - 181 42s 609 69 0.00000 16 388 - 0.00000 - 181 45s 611 71 0.00000 16 374 - 0.00000 - 180 51s 612 71 0.00000 10 370 - 0.00000 - 180 55s 614 73 0.00000 19 368 - 0.00000 - 179 62s 618 75 0.00000 11 514 - 0.00000 - 326 65s 624 79 0.00000 14 546 - 0.00000 - 327 70s 679 74 infeasible 21 - 0.00000 - 333 75s 777 69 infeasible 33 - 0.00000 - 336 80s 884 50 0.00000 28 419 - 0.00000 - 341 85s 977 69 infeasible 28 - 0.00000 - 344 90s 1076 80 infeasible 26 - 0.00000 - 349 95s 1159 83 infeasible 20 - 0.00000 - 357 100s 1236 84 infeasible 23 - 0.00000 - 364 105s 1343 97 infeasible 21 - 0.00000 - 366 110s 1440 98 0.00000 25 511 - 0.00000 - 368 115s 1534 102 infeasible 26 - 0.00000 - 371 120s 1620 86 infeasible 22 - 0.00000 - 377 125s 1708 98 infeasible 31 - 0.00000 - 381 130s 1808 92 0.00000 26 447 - 0.00000 - 381 135s 1900 96 infeasible 22 - 0.00000 - 382 140s 1987 99 0.00000 23 418 - 0.00000 - 385 145s 2075 85 infeasible 23 - 0.00000 - 388 150s 2186 84 infeasible 25 - 0.00000 - 388 155s 2275 73 infeasible 26 - 0.00000 - 390 160s 2355 53 infeasible 22 - 0.00000 - 393 165s 2431 53 0.00000 24 408 - 0.00000 - 397 170s 2532 56 0.00000 25 402 - 0.00000 - 397 175s 2625 55 infeasible 29 - 0.00000 - 398 180s 2708 46 0.00000 24 422 - 0.00000 - 400 185s 2784 36 0.00000 19 468 - 0.00000 - 403 190s 2870 36 infeasible 19 - 0.00000 - 404 195s 2949 33 infeasible 25 - 0.00000 - 407 200s 3019 23 0.00000 22 516 - 0.00000 - 410 205s 3091 25 infeasible 25 - 0.00000 - 413 210s 3165 21 infeasible 23 - 0.00000 - 415 215s 3251 17 infeasible 22 - 0.00000 - 416 220s 3338 16 0.00000 25 402 - 0.00000 - 417 225s 3412 10 infeasible 19 - 0.00000 - 419 230s 3507 13 0.00000 22 406 - 0.00000 - 419 235s Cutting planes: Gomory: 3 Zero half: 29 Explored 3565 nodes (1565799 simplex iterations) in 238.14 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:23:38 2012 Optimize a model with 6315 rows, 2295 columns and 19375 nonzeros Presolve time: 0.02s Presolved: 6315 rows, 2295 columns, 19375 nonzeros Variable types: 0 continuous, 2295 integer (2295 binary) Root relaxation: objective 0.000000e+00, 452 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 424 - 0.00000 - - 0s 0 0 0.00000 0 420 - 0.00000 - - 0s 0 0 0.00000 0 342 - 0.00000 - - 1s 0 0 0.00000 0 388 - 0.00000 - - 1s 0 0 0.00000 0 338 - 0.00000 - - 2s 0 0 0.00000 0 330 - 0.00000 - - 2s 0 0 0.00000 0 328 - 0.00000 - - 3s 0 0 0.00000 0 334 - 0.00000 - - 3s 0 0 0.00000 0 322 - 0.00000 - - 3s 0 0 0.00000 0 310 - 0.00000 - - 4s 0 0 0.00000 0 294 - 0.00000 - - 4s 0 0 0.00000 0 292 - 0.00000 - - 4s 0 0 0.00000 0 282 - 0.00000 - - 5s 0 0 0.00000 0 304 - 0.00000 - - 5s 0 0 0.00000 0 278 - 0.00000 - - 6s 0 0 0.00000 0 260 - 0.00000 - - 6s 0 0 0.00000 0 242 - 0.00000 - - 7s 0 0 0.00000 0 154 - 0.00000 - - 7s 0 0 0.00000 0 130 - 0.00000 - - 8s 0 0 0.00000 0 137 - 0.00000 - - 8s 0 0 0.00000 0 312 - 0.00000 - - 9s 0 0 0.00000 0 312 - 0.00000 - - 10s 0 2 0.00000 0 312 - 0.00000 - - 11s 363 189 0.00000 41 274 - 0.00000 - 80.5 15s * 418 3 56 0.0000000 0.00000 0.0% 75.2 15s Cutting planes: Clique: 1 Zero half: 17 Explored 419 nodes (111564 simplex iterations) in 15.11 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% optimal solution found: number of colors: 5