real 14.80
user 26.32
sys 7.47