real 10.39
user 20.54
sys 5.87