real 13.50
user 26.62
sys 7.35