real 13.21
user 26.44
sys 7.35