real 7.48
user 13.72
sys 3.57