real 9.80
user 20.85
sys 3.49