current bounds on the number of colors: 0 -- 195 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:07:53 2012 Optimize a model with 95546 rows, 19898 columns and 304968 nonzeros Presolve time: 0.31s Presolved: 95546 rows, 19898 columns, 304968 nonzeros Variable types: 0 continuous, 19898 integer (19898 binary) Root relaxation: objective 0.000000e+00, 690 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 (1112 simplex iterations) in 0.52 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 -- 97 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:07:54 2012 Optimize a model with 47379 rows, 10343 columns and 150912 nonzeros Presolve time: 0.16s Presolved: 47379 rows, 10343 columns, 150912 nonzeros Variable types: 0 continuous, 10343 integer (10343 binary) Root relaxation: objective 0.000000e+00, 640 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 (1077 simplex iterations) in 0.27 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 -- 48 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:07:55 2012 Optimize a model with 23787 rows, 5663 columns and 75456 nonzeros Presolve time: 0.09s Presolved: 23787 rows, 5663 columns, 75456 nonzeros Variable types: 0 continuous, 5663 integer (5663 binary) Root relaxation: objective 0.000000e+00, 424 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.14 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 07:07:56 2012 Optimize a model with 11991 rows, 3323 columns and 37728 nonzeros Presolve time: 0.04s Presolved: 11991 rows, 3323 columns, 37728 nonzeros Variable types: 0 continuous, 3323 integer (3323 binary) Root relaxation: objective 0.000000e+00, 398 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 (756 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:07:56 2012 Optimize a model with 6093 rows, 2153 columns and 18864 nonzeros Presolve time: 0.02s Presolved: 6093 rows, 2153 columns, 18864 nonzeros Variable types: 0 continuous, 2153 integer (2153 binary) Root relaxation: objective 0.000000e+00, 430 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 (1075 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:07:56 2012 Optimize a model with 3144 rows, 1568 columns and 9432 nonzeros Presolve time: 0.01s Presolved: 3144 rows, 1568 columns, 9432 nonzeros Variable types: 0 continuous, 1568 integer (1568 binary) Root relaxation: objective 0.000000e+00, 445 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 308 - 0.00000 - - 0s 0 0 0.00000 0 382 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5990 simplex iterations) in 0.69 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 07:07:57 2012 Optimize a model with 4127 rows, 1763 columns and 12576 nonzeros Presolve time: 0.01s Presolved: 4127 rows, 1763 columns, 12576 nonzeros Variable types: 0 continuous, 1763 integer (1763 binary) Root relaxation: objective 0.000000e+00, 426 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 382 - 0.00000 - - 0s 0 0 0.00000 0 372 - 0.00000 - - 0s 0 0 0.00000 0 344 - 0.00000 - - 0s 0 0 0.00000 0 396 - 0.00000 - - 0s 0 0 0.00000 0 344 - 0.00000 - - 1s 0 0 0.00000 0 336 - 0.00000 - - 2s 0 0 0.00000 0 334 - 0.00000 - - 2s 0 0 0.00000 0 330 - 0.00000 - - 3s 0 0 0.00000 0 335 - 0.00000 - - 3s 0 0 0.00000 0 340 - 0.00000 - - 4s 0 0 0.00000 0 328 - 0.00000 - - 4s 0 0 0.00000 0 328 - 0.00000 - - 5s 0 0 0.00000 0 316 - 0.00000 - - 6s 0 0 0.00000 0 316 - 0.00000 - - 6s 0 0 0.00000 0 316 - 0.00000 - - 6s 0 2 0.00000 0 316 - 0.00000 - - 7s 305 43 0.00000 19 352 - 0.00000 - 126 10s 705 71 0.00000 3 346 - 0.00000 - 119 15s 709 73 0.00000 12 332 - 0.00000 - 118 22s 711 75 0.00000 16 320 - 0.00000 - 118 25s 714 77 0.00000 10 302 - 0.00000 - 118 31s 718 79 0.00000 16 318 - 0.00000 - 117 35s 929 42 infeasible 27 - 0.00000 - 217 40s 1207 67 infeasible 34 - 0.00000 - 219 45s 1463 75 infeasible 30 - 0.00000 - 222 50s 1720 76 infeasible 31 - 0.00000 - 226 55s 1961 73 0.00000 28 334 - 0.00000 - 230 60s 2233 79 infeasible 30 - 0.00000 - 230 65s 2472 76 0.00000 33 362 - 0.00000 - 233 70s 2759 91 infeasible 31 - 0.00000 - 231 75s 2987 97 0.00000 24 342 - 0.00000 - 233 80s 3227 91 infeasible 27 - 0.00000 - 235 85s 3478 96 infeasible 27 - 0.00000 - 236 90s 3774 100 infeasible 27 - 0.00000 - 235 95s 4066 92 0.00000 25 387 - 0.00000 - 234 100s 4270 100 infeasible 33 - 0.00000 - 236 105s 4570 100 infeasible 33 - 0.00000 - 235 110s 4842 88 infeasible 30 - 0.00000 - 234 115s 5076 70 0.00000 26 461 - 0.00000 - 236 120s 5301 65 infeasible 29 - 0.00000 - 237 125s 5530 64 0.00000 27 362 - 0.00000 - 237 130s 5772 58 infeasible 32 - 0.00000 - 238 135s 6000 60 infeasible 29 - 0.00000 - 239 140s 6212 44 infeasible 30 - 0.00000 - 240 145s 6432 32 infeasible 30 - 0.00000 - 241 150s 6656 22 0.00000 24 362 - 0.00000 - 242 155s 6875 27 0.00000 25 352 - 0.00000 - 243 160s 7093 21 infeasible 30 - 0.00000 - 244 165s 7331 15 infeasible 28 - 0.00000 - 244 170s 7545 13 infeasible 25 - 0.00000 - 245 175s 7755 15 infeasible 30 - 0.00000 - 246 180s 7990 16 0.00000 27 356 - 0.00000 - 246 185s 8192 14 infeasible 29 - 0.00000 - 247 190s 8411 21 0.00000 27 352 - 0.00000 - 248 195s 8638 24 infeasible 27 - 0.00000 - 248 200s 8848 20 0.00000 29 362 - 0.00000 - 249 205s 9073 17 0.00000 28 354 - 0.00000 - 249 210s 9269 17 infeasible 24 - 0.00000 - 250 215s 9509 11 0.00000 18 398 - 0.00000 - 250 220s 9768 28 0.00000 31 371 - 0.00000 - 250 225s 10027 37 0.00000 30 350 - 0.00000 - 249 230s 10264 24 0.00000 26 350 - 0.00000 - 249 235s 10549 27 infeasible 25 - 0.00000 - 249 240s 10791 21 infeasible 32 - 0.00000 - 249 245s 11037 17 0.00000 29 417 - 0.00000 - 248 250s 11309 27 infeasible 27 - 0.00000 - 248 255s 11572 26 infeasible 32 - 0.00000 - 247 260s 11833 13 infeasible 29 - 0.00000 - 247 265s 12085 5 infeasible 33 - 0.00000 - 247 270s Cutting planes: Zero half: 11 Explored 12233 nodes (3077574 simplex iterations) in 273.29 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 07:12:30 2012 Optimize a model with 5110 rows, 1958 columns and 15720 nonzeros Presolve time: 0.01s Presolved: 5110 rows, 1958 columns, 15720 nonzeros Variable types: 0 continuous, 1958 integer (1958 binary) Root relaxation: objective 0.000000e+00, 424 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 161 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4748 simplex iterations) in 0.34 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