real 7.67
user 13.59
sys 1.95