O sistema tem uma única CPU com 4 núcleos e 8 threads, ou seja, tem apenas 4 núcleos.
O processador X3450 que você especificou como 4 núcleos, 8 threads da Intel, de modo que se encaixa. Além disso, tenho certeza de que o R310 da Dell Poweredge suporta apenas uma única CPU. / p>
Nada disso explica porque sua saída DMIDECODE mostra 2 CPUs físicas. Meu palpite é que é um bug relacionado ao hyperthreading .