RE: [CentOS] SMP kernels and top output