real 13.52
user 26.32
sys 7.38