Print total number of CPUs in header