real 10.39
user 20.91
sys 5.94