real 12.73
user 26.41
sys 7.03