Carmen already uses multithreading, but the number of threads is a constant. The idea is to make it a parameter to be set with the CLI.