real 12.29
user 19.46
sys 5.33