real 13.51
user 26.37
sys 6.91