real 9.93
user 17.41
sys 3.62