real 9.67
user 17.42
sys 6.19