parallel examples
update benders example