real 13.51
user 26.85
sys 7.40