> Как такое может быть, что user time и system time меняются местами? Подтверждаю для ядер 4.10 и 4.11 :( Перед 4.9 ощутимо перепахали kernel/sched/cputime.c и вот видимо оно вот что вышло...