real 9253.20
user 62144.86
sys 201.31