current bounds on the number of colors: 0 -- 199 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:39:00 2012 Optimize a model with 98011 rows, 20689 columns and 313137 nonzeros Presolve time: 0.32s Presolved: 98011 rows, 20689 columns, 313137 nonzeros Variable types: 0 continuous, 20689 integer (20689 binary) Root relaxation: objective 0.000000e+00, 829 iterations, 0.10 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 (1291 simplex iterations) in 0.57 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 -- 99 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:39:02 2012 Optimize a model with 48611 rows, 10739 columns and 154987 nonzeros Presolve time: 0.16s Presolved: 48611 rows, 10739 columns, 154987 nonzeros Variable types: 0 continuous, 10739 integer (10739 binary) Root relaxation: objective 0.000000e+00, 542 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 (950 simplex iterations) in 0.25 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 -- 49 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:39:02 2012 Optimize a model with 23911 rows, 5764 columns and 75912 nonzeros Presolve time: 0.10s Presolved: 23911 rows, 5764 columns, 75912 nonzeros Variable types: 0 continuous, 5764 integer (5764 binary) Root relaxation: objective 0.000000e+00, 447 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 (838 simplex iterations) in 0.16 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 -- 24 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:39:03 2012 Optimize a model with 12055 rows, 3376 columns and 37956 nonzeros Presolve time: 0.04s Presolved: 12055 rows, 3376 columns, 37956 nonzeros Variable types: 0 continuous, 3376 integer (3376 binary) Root relaxation: objective 0.000000e+00, 413 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 (791 simplex iterations) in 0.07 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:39:03 2012 Optimize a model with 6127 rows, 2182 columns and 18978 nonzeros Presolve time: 0.02s Presolved: 6127 rows, 2182 columns, 18978 nonzeros Variable types: 0 continuous, 2182 integer (2182 binary) Root relaxation: objective 0.000000e+00, 420 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 (2143 simplex iterations) in 0.10 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 08:39:03 2012 Optimize a model with 3163 rows, 1585 columns and 9489 nonzeros Presolve time: 0.01s Presolved: 3163 rows, 1585 columns, 9489 nonzeros Variable types: 0 continuous, 1585 integer (1585 binary) Root relaxation: objective 0.000000e+00, 464 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 0 0 0.00000 0 390 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5917 simplex iterations) in 0.73 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 08:39:04 2012 Optimize a model with 4151 rows, 1784 columns and 12652 nonzeros Presolve time: 0.01s Presolved: 4151 rows, 1784 columns, 12652 nonzeros Variable types: 0 continuous, 1784 integer (1784 binary) Root relaxation: objective 0.000000e+00, 442 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 386 - 0.00000 - - 0s 0 0 0.00000 0 384 - 0.00000 - - 0s 0 0 0.00000 0 382 - 0.00000 - - 1s 0 0 0.00000 0 439 - 0.00000 - - 1s 0 0 0.00000 0 376 - 0.00000 - - 2s 0 0 0.00000 0 370 - 0.00000 - - 2s 0 0 0.00000 0 364 - 0.00000 - - 3s 0 0 0.00000 0 368 - 0.00000 - - 3s 0 0 0.00000 0 364 - 0.00000 - - 4s 0 0 0.00000 0 362 - 0.00000 - - 4s 0 0 0.00000 0 360 - 0.00000 - - 5s 0 0 0.00000 0 354 - 0.00000 - - 5s 0 0 0.00000 0 361 - 0.00000 - - 6s 0 0 0.00000 0 350 - 0.00000 - - 7s 0 0 0.00000 0 344 - 0.00000 - - 7s 0 0 0.00000 0 342 - 0.00000 - - 8s 0 0 0.00000 0 355 - 0.00000 - - 8s 0 0 0.00000 0 354 - 0.00000 - - 8s 0 2 0.00000 0 353 - 0.00000 - - 9s 10 10 0.00000 5 441 - 0.00000 - 406 10s 319 64 0.00000 14 393 - 0.00000 - 196 15s 714 75 infeasible 19 - 0.00000 - 177 20s 805 102 0.00000 15 370 - 0.00000 - 179 26s 808 104 0.00000 15 360 - 0.00000 - 178 31s 810 105 0.00000 12 357 - 0.00000 - 178 35s 813 107 0.00000 20 324 - 0.00000 - 177 40s 816 109 0.00000 15 308 - 0.00000 - 176 46s 818 110 0.00000 5 315 - 0.00000 - 176 50s 832 118 0.00000 17 360 - 0.00000 - 277 55s 1021 72 0.00000 23 389 - 0.00000 - 269 60s 1243 19 0.00000 23 362 - 0.00000 - 267 65s 1495 35 0.00000 26 344 - 0.00000 - 262 70s 1742 22 0.00000 25 354 - 0.00000 - 260 75s 1943 31 0.00000 26 362 - 0.00000 - 262 80s 2157 37 infeasible 25 - 0.00000 - 261 85s 2385 27 infeasible 25 - 0.00000 - 260 90s 2611 35 0.00000 26 437 - 0.00000 - 260 95s 2883 69 infeasible 27 - 0.00000 - 257 100s 3140 72 infeasible 29 - 0.00000 - 257 105s 3406 64 infeasible 34 - 0.00000 - 255 110s 3672 62 infeasible 27 - 0.00000 - 255 115s 3956 68 0.00000 26 362 - 0.00000 - 253 120s 4192 48 0.00000 28 430 - 0.00000 - 254 125s 4443 85 0.00000 25 366 - 0.00000 - 253 130s 4679 107 infeasible 28 - 0.00000 - 254 135s 4926 112 infeasible 33 - 0.00000 - 254 140s 5126 92 infeasible 27 - 0.00000 - 256 145s 5357 69 0.00000 27 366 - 0.00000 - 257 150s 5586 56 infeasible 33 - 0.00000 - 257 155s 5816 50 infeasible 27 - 0.00000 - 257 160s 6036 44 0.00000 19 476 - 0.00000 - 257 165s 6266 24 infeasible 24 - 0.00000 - 257 170s 6488 16 infeasible 31 - 0.00000 - 258 175s Cutting planes: Gomory: 3 Zero half: 15 Explored 6595 nodes (1771217 simplex iterations) in 177.68 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 08:42:02 2012 Optimize a model with 5139 rows, 1983 columns and 15815 nonzeros Presolve time: 0.01s Presolved: 5139 rows, 1983 columns, 15815 nonzeros Variable types: 0 continuous, 1983 integer (1983 binary) Root relaxation: objective 0.000000e+00, 437 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 332 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 14 Clique: 32 Zero half: 149 Explored 0 nodes (5300 simplex iterations) in 0.57 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