Some basic statistics can now be extracted from verifyta by using the -u option.
More options will be added over time. 

Clarification: This bug is about showing statistics both at runtime (during verification) and after 
verification has completed.

I made a small program in Java to provide functionality similar to memtime:
http://www.cs.aau.dk/~marius/sysmon/

It works in Windows and Linux. Others (Solaris, Mac?) need system manual and a bit more work.

So the plan is to eventually integrate it into progress dialog of Uppaal GUI.

I've got some runtime statistics:
http://www.cs.aau.dk/~marius/verification.png

Could you be more specific what information is interesting?
I see only pwlist statistics available as "load" :-/

For verification completion I guess we need:
times: total wall-clock time, user time, kernel/system time;
and memory peaks: virtual, resident.

However, I am not sure how display it in case several properties are verified.

this is fixed on trunk some time ago, 
unless there is something more you want to be displayed :-)

The memory usage statistics is implemented in server but not reported in verifyta.
I could find some time to nail this since I did the server part.
(feel free to assign this bug to me)