real 9.86
user 17.44
sys 6.26