real 13.51
user 27.58
sys 7.68