real 7.26
user 13.43
sys 3.25