The challenges of working out how many CPUs your program can use on Linux