real 13.59
user 27.26
sys 7.41