current bounds on the number of colors: 0 -- 169 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:53:47 2012 Optimize a model with 61993 rows, 14932 columns and 199668 nonzeros Presolve time: 0.19s Presolved: 61993 rows, 14932 columns, 199668 nonzeros Variable types: 0 continuous, 14932 integer (14932 binary) Root relaxation: objective 0.000000e+00, 661 iterations, 0.06 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 (1043 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% current bounds on the number of colors: 0 -- 84 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:53:48 2012 Optimize a model with 31081 rows, 7834 columns and 99834 nonzeros Presolve time: 0.14s Presolved: 31081 rows, 7834 columns, 99834 nonzeros Variable types: 0 continuous, 7834 integer (7834 binary) Root relaxation: objective 0.000000e+00, 537 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 (908 simplex iterations) in 0.21 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 -- 42 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:53:48 2012 Optimize a model with 15625 rows, 4285 columns and 49917 nonzeros Presolve time: 0.06s Presolved: 15625 rows, 4285 columns, 49917 nonzeros Variable types: 0 continuous, 4285 integer (4285 binary) Root relaxation: objective 0.000000e+00, 345 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 (788 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 -- 21 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:53:49 2012 Optimize a model with 7529 rows, 2426 columns and 23770 nonzeros Presolve time: 0.02s Presolved: 7529 rows, 2426 columns, 23770 nonzeros Variable types: 0 continuous, 2426 integer (2426 binary) Root relaxation: objective 0.000000e+00, 369 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 (663 simplex iterations) in 0.04 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 -- 10 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:53:49 2012 Optimize a model with 3849 rows, 1581 columns and 11885 nonzeros Presolve time: 0.01s Presolved: 3849 rows, 1581 columns, 11885 nonzeros Variable types: 0 continuous, 1581 integer (1581 binary) Root relaxation: objective 0.000000e+00, 384 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 H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1865 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:53:49 2012 Optimize a model with 1641 rows, 1074 columns and 4754 nonzeros Presolve removed 169 rows and 169 columns Presolve time: 0.00s Presolved: 1472 rows, 905 columns, 4416 nonzeros Variable types: 0 continuous, 905 integer (905 binary) Root relaxation: objective 0.000000e+00, 177 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 169 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (736 simplex iterations) in 0.02 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: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:53:49 2012 Optimize a model with 2377 rows, 1243 columns and 7131 nonzeros Presolve time: 0.01s Presolved: 2377 rows, 1243 columns, 7131 nonzeros Variable types: 0 continuous, 1243 integer (1243 binary) Root relaxation: objective 0.000000e+00, 384 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 320 - 0.00000 - - 0s 0 0 0.00000 0 328 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4379 simplex iterations) in 0.50 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:53:49 2012 Optimize a model with 3113 rows, 1412 columns and 9508 nonzeros Presolve time: 0.01s Presolved: 3113 rows, 1412 columns, 9508 nonzeros Variable types: 0 continuous, 1412 integer (1412 binary) Root relaxation: objective 0.000000e+00, 407 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 316 - 0.00000 - - 0s 0 0 0.00000 0 310 - 0.00000 - - 0s 0 0 0.00000 0 290 - 0.00000 - - 0s 0 0 0.00000 0 290 - 0.00000 - - 0s 0 0 0.00000 0 274 - 0.00000 - - 1s 0 0 0.00000 0 258 - 0.00000 - - 1s 0 0 0.00000 0 256 - 0.00000 - - 1s 0 0 0.00000 0 250 - 0.00000 - - 1s 0 0 0.00000 0 242 - 0.00000 - - 2s 0 0 0.00000 0 242 - 0.00000 - - 2s 0 0 0.00000 0 238 - 0.00000 - - 2s 0 0 0.00000 0 236 - 0.00000 - - 2s 0 0 0.00000 0 253 - 0.00000 - - 3s 0 0 0.00000 0 238 - 0.00000 - - 3s 0 0 0.00000 0 234 - 0.00000 - - 3s 0 0 0.00000 0 240 - 0.00000 - - 3s 0 0 0.00000 0 224 - 0.00000 - - 4s 0 0 0.00000 0 228 - 0.00000 - - 4s 0 0 0.00000 0 228 - 0.00000 - - 4s 0 2 0.00000 0 228 - 0.00000 - - 5s 606 119 0.00000 16 264 - 0.00000 - 73.4 10s 610 122 0.00000 15 366 - 0.00000 - 72.9 15s 618 127 infeasible 14 - 0.00000 - 137 20s 1091 112 0.00000 25 270 - 0.00000 - 152 25s 1570 173 infeasible 33 - 0.00000 - 160 30s 2063 230 0.00000 23 292 - 0.00000 - 163 35s 2531 254 0.00000 27 299 - 0.00000 - 167 40s 3007 290 0.00000 30 310 - 0.00000 - 168 45s 3487 282 infeasible 30 - 0.00000 - 170 50s 3902 273 0.00000 29 292 - 0.00000 - 173 55s 4346 289 0.00000 31 290 - 0.00000 - 175 60s 4790 279 infeasible 28 - 0.00000 - 176 65s 5265 264 infeasible 28 - 0.00000 - 177 70s 5670 269 infeasible 33 - 0.00000 - 179 75s 6109 268 infeasible 33 - 0.00000 - 180 80s 6535 250 0.00000 22 282 - 0.00000 - 181 85s 6972 257 infeasible 28 - 0.00000 - 181 90s 7398 291 infeasible 31 - 0.00000 - 181 95s 7841 286 0.00000 27 256 - 0.00000 - 182 100s 8262 265 infeasible 28 - 0.00000 - 183 105s 8659 256 infeasible 30 - 0.00000 - 184 110s 9079 254 infeasible 33 - 0.00000 - 185 115s 9525 248 infeasible 36 - 0.00000 - 185 120s 9945 248 infeasible 32 - 0.00000 - 185 125s 10343 224 0.00000 30 292 - 0.00000 - 186 130s 10780 215 0.00000 27 353 - 0.00000 - 186 135s 11291 224 infeasible 29 - 0.00000 - 185 140s 11756 233 infeasible 32 - 0.00000 - 185 145s 12228 247 infeasible 29 - 0.00000 - 185 150s 12653 260 0.00000 24 341 - 0.00000 - 186 155s 13068 253 infeasible 24 - 0.00000 - 186 160s 13544 299 0.00000 22 266 - 0.00000 - 186 165s 13990 301 infeasible 26 - 0.00000 - 186 170s 14420 301 infeasible 33 - 0.00000 - 186 175s 14831 316 infeasible 28 - 0.00000 - 187 180s 15254 331 infeasible 29 - 0.00000 - 187 185s 15677 322 infeasible 32 - 0.00000 - 187 190s 16113 318 0.00000 27 274 - 0.00000 - 187 195s 16539 300 infeasible 33 - 0.00000 - 187 200s 16949 303 infeasible 26 - 0.00000 - 188 205s 17375 279 0.00000 29 270 - 0.00000 - 188 210s 17812 262 0.00000 26 305 - 0.00000 - 188 215s 18212 260 infeasible 29 - 0.00000 - 188 220s 18640 258 0.00000 25 292 - 0.00000 - 188 225s 19104 256 0.00000 34 298 - 0.00000 - 188 230s 19528 226 0.00000 30 316 - 0.00000 - 188 235s 19991 203 0.00000 29 291 - 0.00000 - 188 240s 20367 177 0.00000 26 294 - 0.00000 - 188 245s 20840 188 0.00000 35 276 - 0.00000 - 188 250s 21297 183 infeasible 35 - 0.00000 - 188 255s 21725 167 infeasible 27 - 0.00000 - 188 260s 22168 156 infeasible 31 - 0.00000 - 188 265s 22628 156 infeasible 31 - 0.00000 - 188 270s 23060 150 infeasible 30 - 0.00000 - 189 275s 23476 160 0.00000 29 300 - 0.00000 - 189 280s 23907 151 0.00000 27 309 - 0.00000 - 189 285s 24325 137 infeasible 28 - 0.00000 - 189 290s 24786 138 0.00000 30 284 - 0.00000 - 189 295s Cutting planes: Gomory: 1 Zero half: 14 Explored 24847 nodes (4743270 simplex iterations) in 295.78 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: 5