real 10.39
user 19.57
sys 5.22