fix ignored interrupt in optimization search