Здравствуйте.

Есть 2 сервера, в каждом из них по 1 процу Intel Xeon E5-2660. Это 8-ядерный проц + HT, соответственно 16 потоков.

OS Linux Debian 7
И вот какая странность:

server1# nproc
10

server2# nproc
20

Хотя должно быть и там и там по 16!

Врет не только nproc, то же самое показывается например в /proc/cpuinfo

server2# cat /proc/cpuinfo | grep proc
processor    : 0
processor    : 1
processor    : 2
processor    : 3
processor    : 4
processor    : 5
processor    : 6
processor    : 7
processor    : 8
processor    : 9
processor    : 10
processor    : 11
processor    : 12
processor    : 13
processor    : 14
processor    : 15
processor    : 16
processor    : 17
processor    : 18
processor    : 19

Вот одно из несуществующих ядер
processor    : 19
vendor_id    : GenuineIntel
cpu family    : 6
model        : 62
model name    : Intel(R) Xeon(R) CPU E5-2660 v2 @ 2.20GHz
stepping    : 4
cpu MHz        : 2199.846
cache size    : 25600 KB
...

все как у остальных.

Как так???