(I believe that the 13% CPU nentioned there is a rounded-up 12.5% of the whole CPU, or in other words a full 100% of one of 8 hyperthreads.)
(I believe that the 13% CPU nentioned there is a rounded-up 12.5% of the whole CPU, or in other words a full 100% of one of 8 hyperthreads.)