real 12.51
user 26.58
sys 4.22