real 13.39
user 26.46
sys 7.34