real 13.14
user 26.67
sys 4.22