real 13.12
user 26.95
sys 7.40