real 13.59
user 26.41
sys 7.14