real 12.69
user 26.46
sys 4.36