real 13.20
user 27.11
sys 4.59