real 12.99
user 26.54
sys 6.87