real 7.47
user 13.42
sys 3.31