real 9.22
user 20.83
sys 3.51