real 13.41
user 27.15
sys 7.31