real 9.80
user 19.83
sys 5.27