real 6.57
user 13.46
sys 3.17