real 13.50
user 26.88
sys 7.35