real 12.98
user 19.42
sys 5.24