How can you tell how many processors a server has? I always thought that you could look in /proc/cpuinfo, but we recently had a Dell tech here that said that was incorrect. One of my servers shows 4 processors in cpuinfo, but he said the box only has 2. So, what is the correct way to tell?