[DOMINA] random seed only once for creating dumps using DOMINA_EXECUTION_ID