real 12.80
user 26.33
sys 7.17