real 13.41
user 26.34
sys 6.87