real 13.29
user 26.40
sys 7.27