current bounds on the number of colors: 0 -- 213 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:29:03 2012 Optimize a model with 122643 rows, 23733 columns and 389868 nonzeros Presolve time: 0.42s Presolved: 122643 rows, 23733 columns, 389868 nonzeros Variable types: 0 continuous, 23733 integer (23733 binary) Root relaxation: objective 0.000000e+00, 577 iterations, 0.15 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 (1007 simplex iterations) in 0.74 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 -- 106 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:29:05 2012 Optimize a model with 61428 rows, 12444 columns and 194934 nonzeros Presolve time: 0.17s Presolved: 61428 rows, 12444 columns, 194934 nonzeros Variable types: 0 continuous, 12444 integer (12444 binary) Root relaxation: objective 0.000000e+00, 737 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 (1294 simplex iterations) in 0.33 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 14:29:06 2012 Optimize a model with 30243 rows, 6693 columns and 95628 nonzeros Presolve time: 0.12s Presolved: 30243 rows, 6693 columns, 95628 nonzeros Variable types: 0 continuous, 6693 integer (6693 binary) Root relaxation: objective 0.000000e+00, 513 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 (937 simplex iterations) in 0.19 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 14:29:07 2012 Optimize a model with 15228 rows, 3924 columns and 47814 nonzeros Presolve time: 0.05s Presolved: 15228 rows, 3924 columns, 47814 nonzeros Variable types: 0 continuous, 3924 integer (3924 binary) Root relaxation: objective 0.000000e+00, 440 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 (848 simplex iterations) in 0.08 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 14:29:07 2012 Optimize a model with 7143 rows, 2433 columns and 22068 nonzeros Presolve time: 0.02s Presolved: 7143 rows, 2433 columns, 22068 nonzeros Variable types: 0 continuous, 2433 integer (2433 binary) Root relaxation: objective 0.000000e+00, 448 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 (2576 simplex iterations) in 0.15 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 14:29:07 2012 Optimize a model with 3678 rows, 1794 columns and 11034 nonzeros Presolve time: 0.01s Presolved: 3678 rows, 1794 columns, 11034 nonzeros Variable types: 0 continuous, 1794 integer (1794 binary) Root relaxation: objective 0.000000e+00, 476 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 426 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Explored 0 nodes (6062 simplex iterations) in 1.01 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 14:29:08 2012 Optimize a model with 4833 rows, 2007 columns and 14712 nonzeros Presolve time: 0.01s Presolved: 4833 rows, 2007 columns, 14712 nonzeros Variable types: 0 continuous, 2007 integer (2007 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.00000 0 416 - 0.00000 - - 0s 0 0 0.00000 0 412 - 0.00000 - - 0s 0 0 0.00000 0 402 - 0.00000 - - 1s 0 0 0.00000 0 398 - 0.00000 - - 1s 0 0 0.00000 0 609 - 0.00000 - - 1s 0 0 0.00000 0 398 - 0.00000 - - 3s 0 0 0.00000 0 392 - 0.00000 - - 4s 0 0 0.00000 0 390 - 0.00000 - - 5s 0 0 0.00000 0 386 - 0.00000 - - 6s 0 0 0.00000 0 382 - 0.00000 - - 6s 0 0 0.00000 0 374 - 0.00000 - - 7s 0 0 0.00000 0 390 - 0.00000 - - 8s 0 0 0.00000 0 384 - 0.00000 - - 9s 0 0 0.00000 0 403 - 0.00000 - - 10s 0 0 0.00000 0 380 - 0.00000 - - 11s 0 0 0.00000 0 373 - 0.00000 - - 12s 0 0 0.00000 0 356 - 0.00000 - - 13s 0 0 0.00000 0 356 - 0.00000 - - 14s 0 0 0.00000 0 356 - 0.00000 - - 15s 0 2 0.00000 0 356 - 0.00000 - - 16s 74 28 infeasible 14 - 0.00000 - 312 20s 311 88 0.00000 23 456 - 0.00000 - 232 25s 564 91 0.00000 11 526 - 0.00000 - 221 30s 704 119 0.00000 12 578 - 0.00000 - 216 36s 706 120 0.00000 19 394 - 0.00000 - 215 41s 708 122 0.00000 25 383 - 0.00000 - 214 46s 710 123 0.00000 15 408 - 0.00000 - 214 53s 711 124 0.00000 17 345 - 0.00000 - 214 56s 713 125 0.00000 15 334 - 0.00000 - 213 62s 714 126 0.00000 7 373 - 0.00000 - 213 65s 716 127 0.00000 12 350 - 0.00000 - 212 71s 717 128 0.00000 15 344 - 0.00000 - 212 75s 722 131 0.00000 13 346 - 0.00000 - 367 80s 731 135 0.00000 18 533 - 0.00000 - 366 85s 785 139 0.00000 21 468 - 0.00000 - 365 90s 876 126 0.00000 24 388 - 0.00000 - 365 95s 981 114 0.00000 19 464 - 0.00000 - 367 100s 1093 98 infeasible 25 - 0.00000 - 368 105s 1182 94 infeasible 27 - 0.00000 - 375 110s 1293 121 infeasible 24 - 0.00000 - 373 115s 1409 145 0.00000 22 394 - 0.00000 - 372 120s 1514 144 infeasible 27 - 0.00000 - 373 125s 1612 152 0.00000 24 390 - 0.00000 - 375 130s 1703 147 0.00000 25 394 - 0.00000 - 380 135s 1787 141 infeasible 28 - 0.00000 - 384 140s 1881 139 infeasible 25 - 0.00000 - 386 145s 1973 127 infeasible 22 - 0.00000 - 390 150s 2069 123 infeasible 28 - 0.00000 - 392 155s 2180 126 0.00000 26 415 - 0.00000 - 392 160s 2277 131 infeasible 22 - 0.00000 - 394 165s 2383 125 infeasible 23 - 0.00000 - 395 170s 2494 118 infeasible 24 - 0.00000 - 395 175s 2602 122 infeasible 27 - 0.00000 - 395 180s 2708 108 0.00000 25 488 - 0.00000 - 396 185s 2798 92 0.00000 24 384 - 0.00000 - 398 190s 2891 81 infeasible 26 - 0.00000 - 400 195s 2978 68 infeasible 25 - 0.00000 - 402 200s 3072 58 infeasible 24 - 0.00000 - 403 205s 3150 38 infeasible 24 - 0.00000 - 406 210s 3249 33 0.00000 22 410 - 0.00000 - 406 215s 3340 36 0.00000 23 508 - 0.00000 - 407 220s 3443 29 0.00000 23 394 - 0.00000 - 407 225s 3520 20 0.00000 23 465 - 0.00000 - 409 230s 3616 6 0.00000 26 520 - 0.00000 - 410 235s 3720 8 0.00000 19 435 - 0.00000 - 409 240s Cutting planes: Zero half: 7 Explored 3781 nodes (1643632 simplex iterations) in 243.63 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 14:33:12 2012 Optimize a model with 5988 rows, 2220 columns and 18390 nonzeros Presolve time: 0.02s Presolved: 5988 rows, 2220 columns, 18390 nonzeros Variable types: 0 continuous, 2220 integer (2220 binary) Root relaxation: objective 0.000000e+00, 458 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 394 - 0.00000 - - 0s 0 0 0.00000 0 352 - 0.00000 - - 0s 0 0 0.00000 0 358 - 0.00000 - - 1s 0 0 0.00000 0 398 - 0.00000 - - 1s 0 0 0.00000 0 346 - 0.00000 - - 1s 0 0 0.00000 0 336 - 0.00000 - - 2s 0 0 0.00000 0 328 - 0.00000 - - 2s 0 0 0.00000 0 336 - 0.00000 - - 3s 0 0 0.00000 0 318 - 0.00000 - - 3s 0 0 0.00000 0 310 - 0.00000 - - 3s 0 0 0.00000 0 300 - 0.00000 - - 4s 0 0 0.00000 0 276 - 0.00000 - - 4s 0 0 0.00000 0 270 - 0.00000 - - 5s 0 0 0.00000 0 274 - 0.00000 - - 5s 0 0 0.00000 0 258 - 0.00000 - - 5s 0 0 0.00000 0 228 - 0.00000 - - 6s 0 0 0.00000 0 238 - 0.00000 - - 7s 0 0 0.00000 0 415 - 0.00000 - - 7s * 0 0 0 0.0000000 0.00000 0.0% - 8s Cutting planes: Clique: 1 Zero half: 24 Explored 0 nodes (65700 simplex iterations) in 8.58 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