real 10.37
user 19.82
sys 5.48