real 12.60
user 26.23
sys 4.01