real 6.48
user 13.24
sys 1.95