real 13.80
user 26.68
sys 7.36