real 12.90
user 19.72
sys 5.25