def killBatchJobs(self, 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),
                             sleepSeconds)
                time.sleep(sleepSeconds)
Kills the given jobs, represented as Job ids, then checks they are dead by checking
dataset/ETHPy150Open BD2KGenomics/toil/src/toil/batchSystems/slurm.py/SlurmBatchSystem.killBatchJobs