real 8.53
user 8.93
sys 7.90