real 13.11
user 26.73
sys 7.24