real 12.99
user 26.33
sys 6.95