real 12.89
user 19.52
sys 5.29