When I try to reproduce test/format issues and run parallel jobs, I use a different script than test/format/format.sh. I am often successful at reproducing issues on kodkod-aws. This ticket will detail that workflow and list some differences between the ways to run.