CP-Profiler outputs graph with visual lags

[raphaelboudreault]

From the MiniZinc IDE 2.5.5 on Windows 10, with bundled version of Chuffed 0.10.4, using the CP-Profiler (option Profile search) sometimes lead to an unreadable graph output, with nodes overlapping each other. This problem seems to be linked to the Chuffed solver and when many skipped nodes appear at the top decision level.

As a specific example, to reproduce the problem, use the option Profile search in the IDE with the attached .fzn file and Chuffed. This should lead to the attached search tree, showing off the visual bug. Also, note that showing the labels of the nodes worsen the problem.

Issue_CP-Profiler.zip