real 13.39
user 26.19
sys 7.29