real 12.91
user 19.67
sys 5.32