real 9.98
user 20.88
sys 5.90