Wall time is not available from the API

[lochel]

There is a flag to include the wall time information in the result file, but the same information isn't available from the API.

This should be implemented:

model.getReal("model.root.$wallTime")

Requested by @lenaRB

[stale]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

[stale]

Closing this issue after a prolonged period of inactivity. If this issue is still present in the latest release, please feel free to create a new issue with up-to-date information.