real 13.12
user 26.72
sys 7.16