Truncated data_*.json files when running certain RDDL domains and instances

[kasanari]

runprost.sh produces truncated data for certain RDDL domains and domain+instance combinations. The Navigation domain consistently produces truncated data, but I have noted the same behavior for certain instances of other domains, such as SkillTeaching 2, 3 and 4.

As an example, when running with the settings "[PROST -s 0 -se [IPC2014]]" on Navigation 8 for 100 steps, the file data_navigation_mdp_navigation_inst_mdp__8.json contained only 5 steps, and ends with

{"state": {"robot-at___x14__y12": false, "robot-at___x14__y15": false, "robot-at___x14__y20": false, "robot-at___x54__y12": false, "robot-at___x54__y15": false, "robot-at___x54__y20": false, "robot-at___x6__y12": false, "robot-at___x6__y15": false, "robot-at___x6__y20": false, "robot-at___x86__y12": false, "robot-at___x86__y15": false, "robot-at___x86__y20": false, "robot-at___x41__y12": false, "robot-at___x41__y15": false, "robot-at___x41__y20": false, "robot-at___x9__y12": false, "robot-at___x9__y15": false, "robot-at___x9__y20": false,

The logs make make it seem like Prost actually runs the 100 episodes it was requested:

prost.log

rddlsim.log

The file is truncated in the container too, so it does not seem like an issue with copying out the data.

[kasanari]

I have now noticed the open issue with the same problem here: pyrddlgym-project/pyRDDLGym#254, so this issue should perhaps be considered a duplicate of that one.