I considered the idea of less simple task management, but it wouldn't pay off (basically because the tasks need not acquire and release resources during their operation, they work completely independently). That leaves "number of workers" as the only knob to turn for configuration. For now the simple technique above has given good results, if real-world experience suggests otherwise we might consider using a more elaborate heuristic.