real 13.48
user 26.40
sys 6.85