Klever

Here is example of consumed resources (http://ldvstore:8998/jobs/200):

AVTG: 82.02 h 89.05 h 454.4 MB
CPAchecker: 45.14 h 72.98 h 12.24 GB
Core: 27.61 h 2.392 min 18.29 MB
EMG: 21.24 h 18.08 h 454.2 MB
LKBCE: 5.299 h 17.78 h 162.9 MB
LKVOG: 69.28 h 3.55 min 36.12 MB
RSB: 122.1 h 9.185 h 295.3 MB
RSG: 5.679 min 4.725 min 21.06 MB
SA: 20.29 h 29.15 h 177.0 MB
Sub-job: 0 ms 0 ms 0 B
VTG: 82.05 h 9.5 h 295.3 MB
Weaver: 33.96 h 41.54 h 287.3 MB
Total: 509.1 h 287.4 h 12.24 GB

Klever version: master (d70964d).

Total CPU time is about 287 hours, whereas total wall time is about 28 hours, then 287/28 = 10.25, which is impossible, since 8 CPU cores were used.
Therefore, CPU time for some components is computed incorrectly.
Most likely, this bug is related to AVTG and VTG components, since they require only a few minutes before.
If we subtract their CPU time (~98 hours), then we get 189/28 = 6.75, which is expected CPU load.

Current maximum RAM of components doesn't actually show real maximum RAM. For instance, LKBCE needs 162.9 MB while it's just a Core component, so Core needs at least 162.9 MB but its maximum RAM is just 18.29 MB. Total maximum RAM hasn't sense since it's actually unknown because of CPAchecker isn't a Core component and their RAM consumptions are evaluated independently.

The worst situation is with wall time because of it isn't additive by nature. I suppose to get rid of total wall time and of wall time of components that have more than one instance (#6676).

Some trivial fixes should be done in Bridge also.