real 8.74
user 17.36
sys 3.62