real 12.28
user 21.35
sys 3.93