There was a bug running multiple threads because the continuous state GSPNState didn't initialize the absolute_time explicitly, so it was starting with bogus values when run without -g. A typical bug. Shameful, really.