real 13.42
user 26.89
sys 7.43