fixing parser.parse and tweaks to BFSolver
Merge branch 'auto-batch' of github.com:JHUISI/charm into auto-batch