real 10.13
user 17.50
sys 3.75