real 12.81
user 27.16
sys 4.32