real 12.62
user 25.98
sys 4.29