real 9.48
user 19.97
sys 5.06