RTS warning: blocked process: barrier.worker : file barrier1.mpd, line 9
RTS warning: blocked process: barrier.worker : file barrier1.mpd, line 9
RTS warning: blocked process: barrier.worker : file barrier1.mpd, line 9
RTS warning: blocked process: barrier.worker : file barrier1.mpd, line 9
RTS warning: blocked process: barrier.worker : file barrier1.mpd, line 9
RTS warning: blocked process: barrier.worker : file barrier1.mpd, line 9
RTS warning: blocked process: barrier.worker : file barrier1.mpd, line 9
RTS warning: blocked process: barrier.worker : file barrier1.mpd, line 9
RTS warning: blocked process: barrier.worker : file barrier1.mpd, line 9
RTS warning: blocked process: barrier.worker : file barrier1.mpd, line 9
RTS warning: blocked process: barrier.worker : file barrier1.mpd, line 9
RTS warning: blocked process: barrier.worker : file barrier1.mpd, line 9
RTS warning: blocked process: barrier.worker : file barrier1.mpd, line 9
RTS warning: blocked process: barrier.worker : file barrier1.mpd, line 9
RTS warning: blocked process: barrier.worker : file barrier1.mpd, line 9
RTS warning: blocked process: barrier.worker : file barrier1.mpd, line 9
RTS warning: blocked process: barrier.worker : file barrier1.mpd, line 9
RTS warning: blocked process: barrier.worker : file barrier1.mpd, line 9
RTS warning: blocked process: barrier.worker : file barrier1.mpd, line 9
RTS warning: blocked process: barrier.worker : file barrier1.mpd, line 9
