real 6.94
user 13.39
sys 1.99