real 9.47
user 17.16
sys 6.32