real 12.72
user 26.39
sys 4.22