real 9.32
user 19.75
sys 5.28