real 15.59
user 26.12
sys 7.42