real 13.18
user 26.55
sys 7.27