Apparently, simply stopping the batch processing did not unlock the server (most likely due to lingering indexing). For now, I’ll wait to see if it eventually finishes; but for the time being, searches will be slow.