Avoid memory leaks by PULSE model checking during 1+ day-long runs