real 12.68
user 26.57
sys 4.21