# Running 'sched/messaging' benchmark:
# 20 sender and receiver processes per group
# 4 groups == 160 processes run

     Total time: 5.254 [sec]
