real 7.26
user 13.17
sys 3.36