From memory I believe their competition (gurobi etc) would charge somewhere in the range of $10k-$100k per year for a server, perhaps toward the upper end of the scale if the server is used to solve problems for a number of clients. I haven't paid attention to pricing for this for a few years.