real 13.35
user 26.46
sys 7.22