real 13.02
user 26.23
sys 7.35