Edited example_24_mpi_scheduling_city_district.py.

5 jobs for issue50_mpi-integration in 13 minutes (queued for 2 seconds)
Status Name Job ID Coverage
  Build
passed prepare #1821691
docker

00:00:17

 
  Test
passed lint #1821695
docker

00:01:50

passed test-prerequisites #1821692
docker

00:03:19

passed unittest-gurobi #1821693
docker

00:05:51

passed unittest-scip #1821694
docker

00:12:41