real 9.50
user 17.41
sys 6.30