real 13.60
user 26.98
sys 7.29