add solver message