real 7.57
user 13.34
sys 3.12