real 9.98
user 17.91
sys 3.99