batch_exec.py