real 9.80
user 20.61
sys 3.30