real 13.02
user 26.79
sys 4.23