real 13.38
user 26.17
sys 7.43