real 13.51
user 26.90
sys 7.42