Project

General

Profile

Actions
Copy link

Feature #4545

open

Resource Manager system settings

Added by Evgeny Novikov about 11 years ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
-
Start date:
10/15/2013
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

At the moment Resource Manager stores such the system settings in its output:

System settings:
        kernel version: 3.2.0
        cpu: Intel(R) Core(TM) i5-2500 CPU @ 3.30GHz
        memory: 16418868 Kb

Latter this information is ignored. Questions are:
1. What system information to keep? For instance, CPAchecker benchmark script stores:
<systeminfo hostname="hb">
  <os name="Linux 3.2.0-35-generic x86_64" /> 
  <cpu cores="2" frequency="2128 MHz" model="Intel(R) Core(TM)2 CPU 6420 @ 2.13GHz" /> 
  <ram size="6113636 kB" /> 
</systeminfo>

We are also interested in, say, JVM version and so on.
2. What to do with this information?

No data to display

Actions
Copy link

Also available in: Atom PDF