real 9.40
user 16.74
sys 6.22