real 9.20
user 17.55
sys 3.79