real 12.69
user 26.84
sys 4.24