real 9.90
user 21.48
sys 3.68