real 13.38
user 26.45
sys 6.97