real 13.01
user 26.69
sys 7.42