real 6.98
user 13.57
sys 3.36