Statistics for A Serverless Discrete Optimization Service in the Cloud Based on Boolean Circuit Satisfiability