real 12.89
user 26.19
sys 7.08