real 13.59
user 26.56
sys 7.27