fixing soft constraints relaxation when solving is canceled due to timeout