real 9.71
user 17.47
sys 6.36