Probably a deeper problem, but it is counting number of processors incorrectly. It appears to be taking the highest number of processor and adding 1 (for 0 based counting). On some architectures, some memory is only accessible through a specific socket, so you need to have at least one core per socket, so disabling processors isn't done from the end, but in a round-robin fashion. We have a machine that has processors 0,1,2, 10,11,12, 20,21,22, 30,31,32 active, others disabled, but foreman reports 33 processors by adding 1 to the last processor 32. It should actually count all the processors to get an accurate number, in this case 12.