Не всё так просто. Сейчас понаблюдал за Xeon E3-1231V3 под нагрузкой. Штатная 3.4 турбо 3.8 4 ядра. сейчас нагружен (не предельно, но ощутимо) по ядрам скачет от 3.5 до 3.8 (но никогда не бывает одновременно 3.8. То есть на первый взгляд вы правы.Но если посмотреть по графикам то видно что время нахождения процессора в стостоянии С2 в среднем между 60 и 70 процентов, что говрит о том, что он почти не работает и соотвественно не выделяет. Можно попробовать конечно нагрузить его на полную и посмотреть какую тактовую даст. Вроде где-то были тесты позволяющие выбирать какие ядра и как нагрузить, не могу вспомнить, подскажите может?