On the processor scheduling problem in Time Warp synchronization