real 13.39
user 27.48
sys 7.42