Timeout condition is not very strict

[Aunsiels]

I am trying to put a timeout condition on the planner, but it does not seem to work. I ran the command:

java -jar pdq2.jar planner -v -q query.xml -s schema.xml -Dtimeout=1000 -DexceptionOnLimit="true"

but my query runs forever (or at least it will take a very long time). Yet, it should stop after 1 second.

In the function performSingleExplorationStep, the condition is checked from time to time, but nothing is done to stop the step (no special condition here for example). I tried to set exceptionOnLimit to true in order to force an exception, but nothing happens.

I think in some cases, some lines of the function public abstract void performSingleExplorationStep() throws PlannerException, LimitReachedException; can be very long, and there is nothing to stop them as the program does not check the timeout limit often enough.