real 12.83
user 26.70
sys 6.74