Planner bug: Memouts even with specific memory limit #34
Loading…
x
Reference in New Issue
Block a user
No description provided.
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Even though I specified a memory limit of 8192 MB to the planner with the option
-m 8192
, we got multiple memouts (which have an extra tolerance margin of 1024 MB, making for a total, hard limit of 9216 MB).Multiple examples for reconstructing this issue occurred in the
logistics-round-1-strips
domain: example 1, example 2, example 3.It seems that this won’t be resolved before the deadline. As the memouts aren’t in favor of the presented planner, we’ll leave it at this for now.