How to batch USRBIN statistics results

Dear @xuchong

you can write a script to automatically process the results using:

Cheers,
David