fixed: cplex solution pool must be populated after solve