real 12.73
user 27.29
sys 4.55