real 12.51
user 26.69
sys 4.57