real 9.50
user 17.26
sys 6.00