real 12.54
user 26.16
sys 4.21