real 8.74
user 16.17
sys 4.24