real 12.89
user 26.41
sys 7.12