real 9.50
user 19.88
sys 5.20