real 6.99
user 13.55
sys 3.20