real 12.41
user 26.59
sys 4.09