real 6.77
user 13.48
sys 3.28