real 9.49
user 19.88
sys 5.15