real 9.87
user 17.94
sys 5.69