real 7.57
user 13.16
sys 3.41