`make benchmark` is very long and blocks
Sometimes `make benchmark` blocks (nothing happens, and only one process is running, while the load is low). Ideally, it would not block, and other processes would be launched anyway so that the full capacity of the CPUs would be used (`-j -l 7` parameters of `make`)

To unblock, I have to kill and relaunch `make benchmark` manually.
`make benchmark` is very long and blocks: Sometimes `make benchmark` blocks (nothing happens, and only one process is running, while the load is low). Ideally, it would not block, and other processes would be launched anyway so that the full capacity of the CPUs would be used (`-j -l 7` parameters of `make`)

To unblock, I have to kill and relaunch `make benchmark` manually.