real 12.89
user 26.16
sys 6.87