real 12.83
user 26.74
sys 4.42