real 9.90
user 21.24
sys 3.54