*** BEGIN OF TEST SMPSCHEDULER 4 ***
migration counter = 935005
scheduler counter = 903791
*** END OF TEST SMPSCHEDULER 4 ***