code: def killBatchJobs(self, jobIDs):
          
          self.killLocalJobs(jobIDs)
          jobIDs = set(jobIDs)
          logger.debug('Jobs to be killed: %r', jobIDs)
          for jobID in jobIDs:
              self.killQueue.put(jobID)
          while jobIDs:
              killedJobId = self.killedJobsQueue.get()
              if killedJobId is None:
                  break
              jobIDs.remove(killedJobId)
              if killedJobId in self.currentJobs:
                  self.currentJobs.remove(killedJobId)
              if jobIDs:
                  logger.debug('Some kills (%s) still pending, sleeping %is', len(jobIDs),
                               self.sleepSeconds())
docs: Kills the given jobs, represented as Job ids, then checks they are dead by checking
          they are not in the list of issued jobs.