real 12.53
user 26.49
sys 4.19