real 12.51
user 26.67
sys 4.35