real 12.51
user 26.55
sys 4.21