real 13.32
user 27.16
sys 4.55