real 11.99
user 19.81
sys 5.43