Vou resumir os comentários feitos por @Eugen Rieck e Lưu Vĩnh Phúc .
a máquina possui 2 desses processadores, cada um fornecendo 20 núcleos virtuais para um total de 40 em 2x10 físicos para um total de 20.
Isso pode ser confirmado verificando o physical id
de cada núcleo.
No meu caso, existem dois distintos physical id
0 e 1, 20 núcleos em cada.
Como fazer determinar o número de CPUs físicas no Windows e no Linux