Statistics of Work stealing strategies for multi-core parallel branch-and-bound algorithm using factorial number system