real 13.90
user 26.80
sys 7.60