real 10.19
user 20.65
sys 5.89