real 13.50
user 26.29
sys 7.05