real 13.90
user 26.88
sys 7.12