real 13.14
user 26.32
sys 7.12