real 9.90
user 20.44
sys 5.85