real 9.80
user 20.66
sys 3.37