real 9.20
user 20.99
sys 3.54