Спасибо.
У процессоров, начиная с 6-го параметр core id совпадает с таковым у процессора с номером на 6 меньшим, т.е. 0-ой и 6-ой, 1-ый и 7-ой. Выходит, ограничивая выполнение процесса на ядре k, нужно применять параметр -pac k,(k+6), чтобы задействовать hyperthreading?
Судя по выводу команды lscpu -e, так и есть.
Спойлер
lscpu -e
CPU NODE SOCKET CORE L1d:L1i:L2:L3 ONLINE MAXMHZ MINMHZ MHZ
0 0 0 0 0:0:0:0 yes 4467,2852 2200,0000 2800,0000
1 0 0 1 1:1:1:0 yes 4467,2852 2200,0000 2200,0000
2 0 0 2 2:2:2:0 yes 4467,2852 2200,0000 2200,0000
3 0 0 3 3:3:3:0 yes 4467,2852 2200,0000 2200,0000
4 0 0 4 4:4:4:0 yes 4467,2852 2200,0000 3142,2830
5 0 0 5 5:5:5:0 yes 4467,2852 2200,0000 2563,4619
6 0 0 0 0:0:0:0 yes 4467,2852 2200,0000 2200,0000
7 0 0 1 1:1:1:0 yes 4467,2852 2200,0000 2213,2781
8 0 0 2 2:2:2:0 yes 4467,2852 2200,0000 3492,3931
9 0 0 3 3:3:3:0 yes 4467,2852 2200,0000 2294,2319
10 0 0 4 4:4:4:0 yes 4467,2852 2200,0000 2200,0000
11 0 0 5 5:5:5:0 yes 4467,2852 2200,0000 2190,8459