real 9.80
user 20.36
sys 5.37