real 10.29
user 19.87
sys 5.25