real 8.67
user 13.46
sys 3.29