real 13.80
user 26.67
sys 7.41