On 21/03/2017 18:06, Tanu Hari Dixit wrote: > > Also, how can we change the number of cores operational? I found the > --timeout option but none regarding the cores. > Have a look at the `--jobs` option (try --help). The option is the same as the RSB and has its name. Maybe not the best name in this application. Chris