real 13.32
user 26.49
sys 7.16