real 13.52
user 26.41
sys 7.20