real 13.39
user 27.03
sys 7.46