real 12.63
user 27.19
sys 4.39