Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet6.opb
MD5SUM1b379137169731592d0d61cac8bf57af
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5123480
Optimality of the best value was proved NO
Number of terms in the objective function 8282
Biggest coefficient in the objective function 1048576
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 524133752
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 1048576
Number of bits of the biggest number in a constraint 21
Biggest sum of numbers in a constraint 524133752
Number of bits of the biggest sum of numbers29
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1228.32
Number of variables9890
Total number of constraints978
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)378
Number of constraints which are nor clauses,nor cardinality constraints600
Minimum length of a constraint1
Maximum length of a constraint1072

Trace number 9213

Launcher Data

LAUNCH ON wulflinc23 THE 2005-09-23 11:24:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7927 boxname=wulflinc23 idbench=895 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  1b379137169731592d0d61cac8bf57af  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-fixnet6.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-fixnet6.opb 0
IDLAUNCH: 7927
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.185
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.185
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        927404 kB
Buffers:         12388 kB
Cached:          76420 kB
SwapCached:          0 kB
Active:          59248 kB
Inactive:        32464 kB
HighTotal:      131008 kB
HighFree:        50344 kB
LowTotal:       903652 kB
LowFree:        877060 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6968 kB
Slab:            10004 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 11:49:04 (client local time) WITH STATUS 0 IN 1204.1 SECONDS
stats: 7927 7 1204.1 0

Solver Data

1:
seed: 0
Nr of vars set: 4007  (#equs: 0)
Nr of vars set: 4007  (#equs: 0)
#decisions: 1114292;  #end-nodes: 49162;
#proof improvement attempts: 0;  #restarts: 384
Current batch, end-nodes: 0 / 175 (175)
#axs: 701, #non-axs: 62
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 27, end (keep): 43
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 4007  (#equs: 0)
Time taken: 5 min, 12 sec

2:
seed: 0
Nr of vars set: 4007  (#equs: 0)
Nr of vars set: 4007  (#equs: 0)
Interupt request received.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 4007  (#equs: 0)
Time taken: 14 min, 51 sec
/oldhome/oroussel/solvers/vallstSAT2005PB.sh: line 71: kill: (5239) - No such process

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) R 5233 5234 4060 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19800358 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5234/statm): 174 3 169 147 0 27 0
[pid=5234] vsize: 696
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libtermcap.so.2
open syscall for file tls/i686/libtermcap.so.2
open syscall for file tls/mmx/libtermcap.so.2
open syscall for file tls/libtermcap.so.2
open syscall for file i686/mmx/libtermcap.so.2
open syscall for file i686/libtermcap.so.2
open syscall for file mmx/libtermcap.so.2
open syscall for file libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/tls/i686/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/tls/mmx/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/tls/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/i686/mmx/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/i686/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/mmx/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/libtermcap.so.2
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libtermcap.so.2
open syscall for file tls/i686/mmx/libdl.so.2
open syscall for file tls/i686/libdl.so.2
open syscall for file tls/mmx/libdl.so.2
open syscall for file tls/libdl.so.2
open syscall for file i686/mmx/libdl.so.2
open syscall for file i686/libdl.so.2
open syscall for file mmx/libdl.so.2
open syscall for file libdl.so.2
open syscall for file /oldhome/oroussel/lib/libdl.so.2
open syscall for file /lib/libdl.so.2
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /dev/tty
open syscall for file /etc/mtab
open syscall for file /proc/meminfo
open syscall for file /oldhome/oroussel/solvers/vallstSAT2005PB.sh
New process pid=5235
execve syscall for /bin/mkdir executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
One traced child (pid=5235) exited with status: 0
New process pid=5236
execve syscall for /bin/mkdir executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
One traced child (pid=5236) exited with status: 0
New process pid=5237
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-fixnet6.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0023 s]
Raw data (loadavg): 0.93 0.98 0.98 1/56 5237
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19800358 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 242 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5237/stat): 5237 (vallst) T 5234 5234 4060 0 -1 0 987 0 0 0 924 23 0 0 22 0 1 0 19800365 5177344 876 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5237/statm): 1264 876 413 48 0 1216 0
[pid=5237] vsize: 5056
Current children cumulated CPU time (s) 9.48
Current children cumulated vsize (Kb) 7184

[startup+20.003 s]
Raw data (loadavg): 0.94 0.98 0.98 1/56 5237
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19800358 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 242 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5237/stat): 5237 (vallst) T 5234 5234 4060 0 -1 0 1037 0 0 0 1719 95 0 0 18 0 1 0 19800365 7725056 926 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5237/statm): 1886 926 413 48 0 1838 0
[pid=5237] vsize: 7544
Current children cumulated CPU time (s) 18.15
Current children cumulated vsize (Kb) 9672

[startup+30.0036 s]
Raw data (loadavg): 0.95 0.98 0.98 2/56 5237
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19800358 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 242 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5237/stat): 5237 (vallst) R 5234 5234 4060 0 -1 0 1039 0 0 0 2591 135 0 0 25 0 1 0 19800365 7725056 928 4294967295 134512640 134702520 3221223952 3220657788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5237/statm): 1886 928 413 48 0 1838 0
[pid=5237] vsize: 7544
Current children cumulated CPU time (s) 27.27
Current children cumulated vsize (Kb) 9672

[startup+40.0042 s]
Raw data (loadavg): 0.96 0.98 0.98 2/56 5237
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19800358 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 242 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5237/stat): 5237 (vallst) R 5234 5234 4060 0 -1 0 1042 0 0 0 3428 189 0 0 25 0 1 0 19800365 7725056 931 4294967295 134512640 134702520 3221223952 3220847248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5237/statm): 1886 931 413 48 0 1838 0
[pid=5237] vsize: 7544
Current children cumulated CPU time (s) 36.18
Current children cumulated vsize (Kb) 9672

[startup+50.0049 s]
Raw data (loadavg): 0.96 0.98 0.98 2/56 5237
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19800358 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 242 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5237/stat): 5237 (vallst) R 5234 5234 4060 0 -1 0 1042 0 0 0 4232 251 0 0 25 0 1 0 19800365 7725056 931 4294967295 134512640 134702520 3221223952 3221019568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5237/statm): 1886 931 413 48 0 1838 0
[pid=5237] vsize: 7544
Current children cumulated CPU time (s) 44.84
Current children cumulated vsize (Kb) 9672

[startup+60.0045 s]
Raw data (loadavg): 0.97 0.98 0.98 2/56 5237
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19800358 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 242 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5237/stat): 5237 (vallst) R 5234 5234 4060 0 -1 0 1042 0 0 0 5053 312 0 0 25 0 1 0 19800365 7725056 931 4294967295 134512640 134702520 3221223952 3221114908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5237/statm): 1886 931 413 48 0 1838 0
[pid=5237] vsize: 7544
Current children cumulated CPU time (s) 53.66
Current children cumulated vsize (Kb) 9672

[startup+70.0061 s]
Raw data (loadavg): 0.97 0.98 0.98 2/56 5237
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19800358 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 242 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5237/stat): 5237 (vallst) R 5234 5234 4060 0 -1 0 1042 0 0 0 5883 369 0 0 22 0 1 0 19800365 7725056 931 4294967295 134512640 134702520 3221223952 3221189808 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5237/statm): 1886 931 413 48 0 1838 0
[pid=5237] vsize: 7544
Current children cumulated CPU time (s) 62.53
Current children cumulated vsize (Kb) 9672

[startup+80.0068 s]
Raw data (loadavg): 0.98 0.98 0.98 1/56 5237
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19800358 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 242 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5237/stat): 5237 (vallst) T 5234 5234 4060 0 -1 0 1042 0 0 0 6742 415 0 0 19 0 1 0 19800365 7725056 931 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5237/statm): 1886 931 413 48 0 1838 0
[pid=5237] vsize: 7544
Current children cumulated CPU time (s) 71.58
Current children cumulated vsize (Kb) 9672

[startup+90.0074 s]
Raw data (loadavg): 0.98 0.98 0.98 2/56 5237
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19800358 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 242 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5237/stat): 5237 (vallst) R 5234 5234 4060 0 -1 0 1042 0 0 0 7666 440 0 0 25 0 1 0 19800365 7725056 931 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5237/statm): 1886 931 413 48 0 1838 0
[pid=5237] vsize: 7544
Current children cumulated CPU time (s) 81.07
Current children cumulated vsize (Kb) 9672

[startup+100.008 s]
Raw data (loadavg): 0.98 0.98 0.98 1/56 5237
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19800358 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 242 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5237/stat): 5237 (vallst) T 5234 5234 4060 0 -1 0 1042 0 0 0 8459 509 0 0 18 0 1 0 19800365 7725056 931 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5237/statm): 1886 931 413 48 0 1838 0
[pid=5237] vsize: 7544
Current children cumulated CPU time (s) 89.69
Current children cumulated vsize (Kb) 9672

[startup+110.009 s]
Raw data (loadavg): 0.98 0.98 0.98 2/56 5237
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19800358 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 242 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5237/stat): 5237 (vallst) R 5234 5234 4060 0 -1 0 1045 0 0 0 9325 551 0 0 25 0 1 0 19800365 7725056 934 4294967295 134512640 134702520 3221223952 3220725328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5237/statm): 1886 934 413 48 0 1838 0
[pid=5237] vsize: 7544
Current children cumulated CPU time (s) 98.77
Current children cumulated vsize (Kb) 9672

[startup+120.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 5237
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19800358 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 242 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5237/stat): 5237 (vallst) R 5234 5234 4060 0 -1 0 1045 0 0 0 10127 616 0 0 25 0 1 0 19800365 7725056 934 4294967295 134512640 134702520 3221223952 3220973808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5237/statm): 1886 934 413 48 0 1838 0
[pid=5237] vsize: 7544
Current children cumulated CPU time (s) 107.44
Current children cumulated vsize (Kb) 9672

[startup+130.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 5237
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19800358 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 242 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5237/stat): 5237 (vallst) R 5234 5234 4060 0 -1 0 1045 0 0 0 10955 673 0 0 25 0 1 0 19800365 7725056 934 4294967295 134512640 134702520 3221223952 3221074428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5237/statm): 1886 934 413 48 0 1838 0
[pid=5237] vsize: 7544
Current children cumulated CPU time (s) 116.29
Current children cumulated vsize (Kb) 9672

[startup+140.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 5237
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19800358 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 242 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5237/stat): 5237 (vallst) R 5234 5234 4060 0 -1 0 1046 0 0 0 11760 735 0 0 23 0 1 0 19800365 7725056 935 4294967295 134512640 134702520 3221223952 3221193628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5237/statm): 1886 935 413 48 0 1838 0
[pid=5237] vsize: 7544
Current children cumulated CPU time (s) 124.96
Current children cumulated vsize (Kb) 9672

[startup+150.012 s]
Raw data (loadavg): 0.99 0.98 0.98 1/56 5237
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19800358 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 242 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5237/stat): 5237 (vallst) T 5234 5234 4060 0 -1 0 1046 0 0 0 12617 781 0 0 17 0 1 0 19800365 7725056 935 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5237/statm): 1886 935 413 48 0 1838 0
[pid=5237] vsize: 7544
Current children cumulated CPU time (s) 133.99
Current children cumulated vsize (Kb) 9672

[startup+160.012 s]
Raw data (loadavg): 0.99 0.98 0.98 1/56 5237
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19800358 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 242 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5237/stat): 5237 (vallst) T 5234 5234 4060 0 -1 0 1047 0 0 0 13488 824 0 0 18 0 1 0 19800365 7725056 936 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5237/statm): 1886 936 413 48 0 1838 0
[pid=5237] vsize: 7544
Current children cumulated CPU time (s) 143.13
Current children cumulated vsize (Kb) 9672

[startup+170.013 s]
Raw data (loadavg): 1.07 1.00 0.98 2/56 5237
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19800358 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 242 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5237/stat): 5237 (vallst) R 5234 5234 4060 0 -1 0 1047 0 0 0 14385 859 0 0 25 0 1 0 19800365 7725056 936 4294967295 134512640 134702520 3221223952 3221222976 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5237/statm): 1886 936 413 48 0 1838 0
[pid=5237] vsize: 7544
Current children cumulated CPU time (s) 152.45
Current children cumulated vsize (Kb) 9672

[startup+180.014 s]
Raw data (loadavg): 1.06 1.00 0.98 1/56 5237
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19800358 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 242 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5237/stat): 5237 (vallst) T 5234 5234 4060 0 -1 0 1047 0 0 0 15204 919 0 0 20 0 1 0 19800365 7725056 936 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5237/statm): 1886 936 413 48 0 1838 0
[pid=5237] vsize: 7544
Current children cumulated CPU time (s) 161.24
Current children cumulated vsize (Kb) 9672

[startup+190.016 s]
Raw data (loadavg): 1.05 1.00 0.98 2/56 5237
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19800358 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 242 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5237/stat): 5237 (vallst) R 5234 5234 4060 0 -1 0 1049 0 0 0 16020 981 0 0 25 0 1 0 19800365 7725056 938 4294967295 134512640 134702520 3221223952 3220901168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5237/statm): 1886 938 413 48 0 1838 0
[pid=5237] vsize: 7544
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 9672

[startup+200.016 s]
Raw data (loadavg): 1.04 1.00 0.98 2/56 5237
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19800358 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 242 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5237/stat): 5237 (vallst) R 5234 5234 4060 0 -1 0 1049 0 0 0 16845 1037 0 0 25 0 1 0 19800365 7725056 938 4294967295 134512640 134702520 3221223952 3221011088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5237/statm): 1886 938 413 48 0 1838 0
[pid=5237] vsize: 7544
Current children cumulated CPU time (s) 178.83
Current children cumulated vsize (Kb) 9672

[startup+210.016 s]
Raw data (loadavg): 1.11 1.02 0.99 2/56 5237
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19800358 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 242 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5237/stat): 5237 (vallst) R 5234 5234 4060 0 -1 0 1049 0 0 0 17673 1097 0 0 25 0 1 0 19800365 7725056 938 4294967295 134512640 134702520 3221223952 3221106272 134611991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5237/statm): 1886 938 413 48 0 1838 0
[pid=5237] vsize: 7544
Current children cumulated CPU time (s) 187.71
Current children cumulated vsize (Kb) 9672

[startup+220.017 s]
Raw data (loadavg): 1.10 1.02 0.99 1/56 5237
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19800358 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 242 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5237/stat): 5237 (vallst) T 5234 5234 4060 0 -1 0 1049 0 0 0 18484 1158 0 0 18 0 1 0 19800365 7725056 938 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5237/statm): 1886 938 413 48 0 1838 0
[pid=5237] vsize: 7544
Current children cumulated CPU time (s) 196.43
Current children cumulated vsize (Kb) 9672

[startup+230.017 s]
Raw data (loadavg): 1.08 1.01 0.99 2/56 5237
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19800358 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 242 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5237/stat): 5237 (vallst) R 5234 5234 4060 0 -1 0 1050 0 0 0 19368 1198 0 0 19 0 1 0 19800365 7725056 939 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5237/statm): 1886 939 413 48 0 1838 0
[pid=5237] vsize: 7544
Current children cumulated CPU time (s) 205.67
Current children cumulated vsize (Kb) 9672

[startup+240.018 s]
Raw data (loadavg): 1.07 1.01 0.99 1/56 5237
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19800358 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 242 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5237/stat): 5237 (vallst) T 5234 5234 4060 0 -1 0 1050 0 0 0 20248 1239 0 0 18 0 1 0 19800365 7725056 939 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5237/statm): 1886 939 413 48 0 1838 0
[pid=5237] vsize: 7544
Current children cumulated CPU time (s) 214.88
Current children cumulated vsize (Kb) 9672

[startup+250.019 s]
Raw data (loadavg): 1.06 1.01 0.99 2/56 5237
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19800358 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 242 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5237/stat): 5237 (vallst) R 5234 5234 4060 0 -1 0 1054 0 0 0 21088 1294 0 0 25 0 1 0 19800365 7725056 943 4294967295 134512640 134702520 3221223952 3220860828 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5237/statm): 1886 943 413 48 0 1838 0
[pid=5237] vsize: 7544
Current children cumulated CPU time (s) 223.83
Current children cumulated vsize (Kb) 9672

[startup+260.024 s]
Raw data (loadavg): 1.05 1.01 0.99 1/56 5237
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19800358 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 242 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5237/stat): 5237 (vallst) T 5234 5234 4060 0 -1 0 1054 0 0 0 21929 1348 0 0 23 0 1 0 19800365 7725056 943 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5237/statm): 1886 943 413 48 0 1838 0
[pid=5237] vsize: 7544
Current children cumulated CPU time (s) 232.78
Current children cumulated vsize (Kb) 9672

[startup+270.026 s]
Raw data (loadavg): 1.04 1.01 0.99 2/56 5237
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19800358 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 242 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5237/stat): 5237 (vallst) R 5234 5234 4060 0 -1 0 1054 0 0 0 22689 1431 0 0 25 0 1 0 19800365 7725056 943 4294967295 134512640 134702520 3221223952 3221112528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5237/statm): 1886 943 413 48 0 1838 0
[pid=5237] vsize: 7544
Current children cumulated CPU time (s) 241.21
Current children cumulated vsize (Kb) 9672

[startup+280.026 s]
Raw data (loadavg): 1.03 1.01 0.99 1/56 5237
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19800358 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 242 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5237/stat): 5237 (vallst) T 5234 5234 4060 0 -1 0 1119 0 0 0 23508 1489 0 0 19 0 1 0 19800365 8028160 1008 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5237/statm): 1960 1008 413 48 0 1912 0
[pid=5237] vsize: 7840
Current children cumulated CPU time (s) 249.98
Current children cumulated vsize (Kb) 9968

[startup+290.027 s]
Raw data (loadavg): 1.03 1.01 0.99 1/56 5237
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19800358 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 242 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5237/stat): 5237 (vallst) T 5234 5234 4060 0 -1 0 1137 0 0 0 24397 1526 0 0 19 0 1 0 19800365 8028160 1026 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5237/statm): 1960 1026 413 48 0 1912 0
[pid=5237] vsize: 7840
Current children cumulated CPU time (s) 259.24
Current children cumulated vsize (Kb) 9968

[startup+300.028 s]
Raw data (loadavg): 1.02 1.01 0.99 1/56 5237
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19800358 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 242 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5237/stat): 5237 (vallst) T 5234 5234 4060 0 -1 0 1177 0 0 0 25284 1563 0 0 23 0 1 0 19800365 8028160 1066 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5237/statm): 1960 1066 413 48 0 1912 0
[pid=5237] vsize: 7840
Current children cumulated CPU time (s) 268.48
Current children cumulated vsize (Kb) 9968

[startup+310.028 s]
Raw data (loadavg): 1.02 1.01 0.99 2/56 5237
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19800358 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 242 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5237/stat): 5237 (vallst) R 5234 5234 4060 0 -1 0 1222 0 0 0 26103 1624 0 0 25 0 1 0 19800365 8331264 1111 4294967295 134512640 134702520 3221223952 3220948988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5237/statm): 2034 1111 413 48 0 1986 0
[pid=5237] vsize: 8136
Current children cumulated CPU time (s) 277.28
Current children cumulated vsize (Kb) 10264

[startup+320.029 s]
Raw data (loadavg): 1.02 1.01 0.99 2/56 5237
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19800358 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 242 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5237/stat): 5237 (vallst) R 5234 5234 4060 0 -1 0 1255 0 0 0 26912 1692 0 0 25 0 1 0 19800365 8331264 1144 4294967295 134512640 134702520 3221223952 3221157468 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5237/statm): 2034 1144 413 48 0 1986 0
[pid=5237] vsize: 8136
Current children cumulated CPU time (s) 286.05
Current children cumulated vsize (Kb) 10264

[startup+330.029 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 5237
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19800358 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 242 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5237/stat): 5237 (vallst) R 5234 5234 4060 0 -1 0 1271 0 0 0 27773 1734 0 0 19 0 1 0 19800365 8331264 1160 4294967295 134512640 134702520 3221223952 3221223232 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5237/statm): 2034 1160 413 48 0 1986 0
[pid=5237] vsize: 8136
Current children cumulated CPU time (s) 295.08
Current children cumulated vsize (Kb) 10264

[startup+340.03 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 5237
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19800358 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 242 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5237/stat): 5237 (vallst) R 5234 5234 4060 0 -1 0 1291 0 0 0 28703 1758 0 0 25 0 1 0 19800365 8769536 1180 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5237/statm): 2141 1180 413 48 0 2093 0
[pid=5237] vsize: 8564
Current children cumulated CPU time (s) 304.62
Current children cumulated vsize (Kb) 10692
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5237) exited with status: 2
New process pid=5238
execve syscall for /usr/bin/head executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5238) exited with status: 0
New process pid=5239
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf

[startup+350.031 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 593 0 0 0 112 2 0 0 25 0 1 0 19835250 3993600 563 4294967295 134512640 134702520 3221223712 3221169648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 975 563 413 48 0 927 0
[pid=5239] vsize: 3900
Current children cumulated CPU time (s) 313.53
Current children cumulated vsize (Kb) 6028

[startup+360.03 s]
Raw data (loadavg): 1.01 1.00 0.99 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 745 0 0 0 700 130 0 0 16 0 1 0 19835250 4579328 715 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5239/statm): 1118 715 413 48 0 1070 0
[pid=5239] vsize: 4472
Current children cumulated CPU time (s) 320.69
Current children cumulated vsize (Kb) 6600

[startup+370.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 852 0 0 0 983 362 0 0 16 0 1 0 19835250 6885376 822 4294967295 134512640 134702520 3221223712 3221210508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 1681 822 413 48 0 1633 0
[pid=5239] vsize: 6724
Current children cumulated CPU time (s) 325.84
Current children cumulated vsize (Kb) 8852

[startup+380.033 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 855 0 0 0 1802 422 0 0 18 0 1 0 19835250 6889472 825 4294967295 134512640 134702520 3221223712 3221150188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 1682 825 413 48 0 1634 0
[pid=5239] vsize: 6728
Current children cumulated CPU time (s) 334.63
Current children cumulated vsize (Kb) 8856

[startup+390.033 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 856 0 0 0 2635 476 0 0 20 0 1 0 19835250 6889472 826 4294967295 134512640 134702520 3221223712 3221072428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5239/statm): 1682 826 413 48 0 1634 0
[pid=5239] vsize: 6728
Current children cumulated CPU time (s) 343.5
Current children cumulated vsize (Kb) 8856

[startup+400.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 856 0 0 0 3436 539 0 0 20 0 1 0 19835250 6889472 826 4294967295 134512640 134702520 3221223712 3221015808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 1682 826 413 48 0 1634 0
[pid=5239] vsize: 6728
Current children cumulated CPU time (s) 352.14
Current children cumulated vsize (Kb) 8856

[startup+410.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 858 0 0 0 4242 602 0 0 25 0 1 0 19835250 6889472 828 4294967295 134512640 134702520 3221223712 3220944448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5239/statm): 1682 828 413 48 0 1634 0
[pid=5239] vsize: 6728
Current children cumulated CPU time (s) 360.83
Current children cumulated vsize (Kb) 8856

[startup+420.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 863 0 0 0 5029 670 0 0 25 0 1 0 19835250 6889472 833 4294967295 134512640 134702520 3221223712 3220895008 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5239/statm): 1682 833 413 48 0 1634 0
[pid=5239] vsize: 6728
Current children cumulated CPU time (s) 369.38
Current children cumulated vsize (Kb) 8856

[startup+430.035 s]
Raw data (loadavg): 1.00 1.00 0.99 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 865 0 0 0 5395 874 0 0 16 0 1 0 19835250 6889472 835 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5239/statm): 1682 835 413 48 0 1634 0
[pid=5239] vsize: 6728
Current children cumulated CPU time (s) 375.08
Current children cumulated vsize (Kb) 8856

[startup+440.036 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 872 0 0 0 5915 1023 0 0 21 0 1 0 19835250 6934528 842 4294967295 134512640 134702520 3221223712 3221029888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5239/statm): 1693 842 413 48 0 1645 0
[pid=5239] vsize: 6772
Current children cumulated CPU time (s) 381.77
Current children cumulated vsize (Kb) 8900

[startup+450.037 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 876 0 0 0 6736 1081 0 0 25 0 1 0 19835250 6934528 846 4294967295 134512640 134702520 3221223712 3220939948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 1693 846 413 48 0 1645 0
[pid=5239] vsize: 6772
Current children cumulated CPU time (s) 390.56
Current children cumulated vsize (Kb) 8900

[startup+460.038 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 880 0 0 0 7558 1137 0 0 25 0 1 0 19835250 6934528 850 4294967295 134512640 134702520 3221223712 3220832428 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 1693 850 413 48 0 1645 0
[pid=5239] vsize: 6772
Current children cumulated CPU time (s) 399.34
Current children cumulated vsize (Kb) 8900

[startup+470.038 s]
Raw data (loadavg): 1.00 1.00 0.99 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 885 0 0 0 8372 1199 0 0 23 0 1 0 19835250 6934528 855 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5239/statm): 1693 855 413 48 0 1645 0
[pid=5239] vsize: 6772
Current children cumulated CPU time (s) 408.1
Current children cumulated vsize (Kb) 8900

[startup+480.039 s]
Raw data (loadavg): 1.00 1.00 0.99 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 890 0 0 0 9114 1282 0 0 16 0 1 0 19835250 6934528 860 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5239/statm): 1693 860 413 48 0 1645 0
[pid=5239] vsize: 6772
Current children cumulated CPU time (s) 416.35
Current children cumulated vsize (Kb) 8900

[startup+490.041 s]
Raw data (loadavg): 1.00 1.00 0.99 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 931 0 0 0 9851 1368 0 0 16 0 1 0 19835250 7168000 901 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5239/statm): 1750 901 413 48 0 1702 0
[pid=5239] vsize: 7000
Current children cumulated CPU time (s) 424.58
Current children cumulated vsize (Kb) 9128

[startup+500.041 s]
Raw data (loadavg): 1.00 1.00 0.99 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 931 0 0 0 10098 1608 0 0 16 0 1 0 19835250 7168000 901 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5239/statm): 1750 901 413 48 0 1702 0
[pid=5239] vsize: 7000
Current children cumulated CPU time (s) 429.45
Current children cumulated vsize (Kb) 9128

[startup+510.041 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 931 0 0 0 10838 1695 0 0 25 0 1 0 19835250 7168000 901 4294967295 134512640 134702520 3221223712 3220651328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 1750 901 413 48 0 1702 0
[pid=5239] vsize: 7000
Current children cumulated CPU time (s) 437.72
Current children cumulated vsize (Kb) 9128

[startup+520.041 s]
Raw data (loadavg): 1.07 1.02 0.99 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 931 0 0 0 11586 1773 0 0 16 0 1 0 19835250 7168000 901 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5239/statm): 1750 901 413 48 0 1702 0
[pid=5239] vsize: 7000
Current children cumulated CPU time (s) 445.98
Current children cumulated vsize (Kb) 9128

[startup+530.042 s]
Raw data (loadavg): 1.06 1.02 0.99 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 931 0 0 0 12332 1853 0 0 16 0 1 0 19835250 7168000 901 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5239/statm): 1750 901 413 48 0 1702 0
[pid=5239] vsize: 7000
Current children cumulated CPU time (s) 454.24
Current children cumulated vsize (Kb) 9128

[startup+540.044 s]
Raw data (loadavg): 1.05 1.01 0.99 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 931 0 0 0 13077 1936 0 0 16 0 1 0 19835250 7168000 901 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5239/statm): 1750 901 413 48 0 1702 0
[pid=5239] vsize: 7000
Current children cumulated CPU time (s) 462.52
Current children cumulated vsize (Kb) 9128

[startup+550.045 s]
Raw data (loadavg): 1.04 1.01 0.99 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 933 0 0 0 13886 1996 0 0 17 0 1 0 19835250 7168000 903 4294967295 134512640 134702520 3221223712 3221172268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5239/statm): 1750 903 413 48 0 1702 0
[pid=5239] vsize: 7000
Current children cumulated CPU time (s) 471.21
Current children cumulated vsize (Kb) 9128

[startup+560.045 s]
Raw data (loadavg): 1.04 1.01 0.99 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 933 0 0 0 14544 2112 0 0 16 0 1 0 19835250 7168000 903 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5239/statm): 1750 903 413 48 0 1702 0
[pid=5239] vsize: 7000
Current children cumulated CPU time (s) 478.95
Current children cumulated vsize (Kb) 9128

[startup+570.046 s]
Raw data (loadavg): 1.11 1.03 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 935 0 0 0 14810 2346 0 0 15 0 1 0 19835250 7168000 905 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 1750 905 413 48 0 1702 0
[pid=5239] vsize: 7000
Current children cumulated CPU time (s) 483.95
Current children cumulated vsize (Kb) 9128

[startup+580.046 s]
Raw data (loadavg): 1.09 1.03 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 935 0 0 0 15560 2423 0 0 16 0 1 0 19835250 7168000 905 4294967295 134512640 134702520 3221223712 3221219788 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5239/statm): 1750 905 413 48 0 1702 0
[pid=5239] vsize: 7000
Current children cumulated CPU time (s) 492.22
Current children cumulated vsize (Kb) 9128

[startup+590.047 s]
Raw data (loadavg): 1.08 1.03 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 935 0 0 0 16374 2482 0 0 17 0 1 0 19835250 7168000 905 4294967295 134512640 134702520 3221223712 3221169548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 1750 905 413 48 0 1702 0
[pid=5239] vsize: 7000
Current children cumulated CPU time (s) 500.95
Current children cumulated vsize (Kb) 9128

[startup+600.048 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 935 0 0 0 17171 2550 0 0 18 0 1 0 19835250 7168000 905 4294967295 134512640 134702520 3221223712 3221127628 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5239/statm): 1750 905 413 48 0 1702 0
[pid=5239] vsize: 7000
Current children cumulated CPU time (s) 509.6
Current children cumulated vsize (Kb) 9128

[startup+610.048 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 943 0 0 0 17986 2606 0 0 20 0 1 0 19835250 7168000 913 4294967295 134512640 134702520 3221223712 3221066848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 1750 913 413 48 0 1702 0
[pid=5239] vsize: 7000
Current children cumulated CPU time (s) 518.31
Current children cumulated vsize (Kb) 9128

[startup+620.049 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 946 0 0 0 18794 2669 0 0 22 0 1 0 19835250 7168000 916 4294967295 134512640 134702520 3221223712 3221004768 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 1750 916 413 48 0 1702 0
[pid=5239] vsize: 7000
Current children cumulated CPU time (s) 527.02
Current children cumulated vsize (Kb) 9128

[startup+630.049 s]
Raw data (loadavg): 1.04 1.02 1.00 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 947 0 0 0 19268 2843 0 0 15 0 1 0 19835250 7168000 917 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5239/statm): 1750 917 413 48 0 1702 0
[pid=5239] vsize: 7000
Current children cumulated CPU time (s) 533.5
Current children cumulated vsize (Kb) 9128

[startup+640.051 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 952 0 0 0 19673 3035 0 0 18 0 1 0 19835250 7168000 922 4294967295 134512640 134702520 3221223712 3221133408 134611982 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5239/statm): 1750 922 413 48 0 1702 0
[pid=5239] vsize: 7000
Current children cumulated CPU time (s) 539.47
Current children cumulated vsize (Kb) 9128

[startup+650.052 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1029 0 0 0 20493 3090 0 0 18 0 1 0 19835250 7405568 999 4294967295 134512640 134702520 3221223712 3221075008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 1808 999 413 48 0 1760 0
[pid=5239] vsize: 7232
Current children cumulated CPU time (s) 548.22
Current children cumulated vsize (Kb) 9360

[startup+660.051 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1091 0 0 0 21319 3143 0 0 21 0 1 0 19835250 7643136 1061 4294967295 134512640 134702520 3221223712 3221002048 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 1866 1061 413 48 0 1818 0
[pid=5239] vsize: 7464
Current children cumulated CPU time (s) 557.01
Current children cumulated vsize (Kb) 9592

[startup+670.053 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1131 0 0 0 22119 3208 0 0 25 0 1 0 19835250 8015872 1101 4294967295 134512640 134702520 3221223712 3220952928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 1957 1101 413 48 0 1909 0
[pid=5239] vsize: 7828
Current children cumulated CPU time (s) 565.66
Current children cumulated vsize (Kb) 9956

[startup+680.054 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1146 0 0 0 22932 3269 0 0 25 0 1 0 19835250 8015872 1116 4294967295 134512640 134702520 3221223712 3220878688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 1957 1116 413 48 0 1909 0
[pid=5239] vsize: 7828
Current children cumulated CPU time (s) 574.4
Current children cumulated vsize (Kb) 9956

[startup+690.054 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1195 0 0 0 23751 3326 0 0 25 0 1 0 19835250 8015872 1165 4294967295 134512640 134702520 3221223712 3220789248 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5239/statm): 1957 1165 413 48 0 1909 0
[pid=5239] vsize: 7828
Current children cumulated CPU time (s) 583.16
Current children cumulated vsize (Kb) 9956

[startup+700.055 s]
Raw data (loadavg): 1.08 1.03 1.00 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 1198 0 0 0 24043 3555 0 0 16 0 1 0 19835250 8015872 1168 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5239/statm): 1957 1168 413 48 0 1909 0
[pid=5239] vsize: 7828
Current children cumulated CPU time (s) 588.37
Current children cumulated vsize (Kb) 9956

[startup+710.055 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1203 0 0 0 24592 3701 0 0 21 0 1 0 19835250 8077312 1173 4294967295 134512640 134702520 3221223712 3221008928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 1972 1173 413 48 0 1924 0
[pid=5239] vsize: 7888
Current children cumulated CPU time (s) 595.32
Current children cumulated vsize (Kb) 10016

[startup+720.056 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1207 0 0 0 25409 3760 0 0 23 0 1 0 19835250 8077312 1177 4294967295 134512640 134702520 3221223712 3220938348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 1972 1177 413 48 0 1924 0
[pid=5239] vsize: 7888
Current children cumulated CPU time (s) 604.08
Current children cumulated vsize (Kb) 10016

[startup+730.057 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1210 0 0 0 26198 3829 0 0 25 0 1 0 19835250 8077312 1180 4294967295 134512640 134702520 3221223712 3220895968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5239/statm): 1972 1180 413 48 0 1924 0
[pid=5239] vsize: 7888
Current children cumulated CPU time (s) 612.66
Current children cumulated vsize (Kb) 10016

[startup+740.057 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1215 0 0 0 26990 3896 0 0 25 0 1 0 19835250 8077312 1185 4294967295 134512640 134702520 3221223712 3220837888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 1972 1185 413 48 0 1924 0
[pid=5239] vsize: 7888
Current children cumulated CPU time (s) 621.25
Current children cumulated vsize (Kb) 10016

[startup+750.058 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1258 0 0 0 27797 3960 0 0 25 0 1 0 19835250 8077312 1228 4294967295 134512640 134702520 3221223712 3220756928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 1972 1228 413 48 0 1924 0
[pid=5239] vsize: 7888
Current children cumulated CPU time (s) 629.96
Current children cumulated vsize (Kb) 10016

[startup+760.058 s]
Raw data (loadavg): 1.10 1.04 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1266 0 0 0 28593 4027 0 0 16 0 1 0 19835250 8187904 1236 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 1999 1236 413 48 0 1951 0
[pid=5239] vsize: 7996
Current children cumulated CPU time (s) 638.59
Current children cumulated vsize (Kb) 10124

[startup+770.058 s]
Raw data (loadavg): 1.09 1.04 1.00 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 1267 0 0 0 28854 4275 0 0 16 0 1 0 19835250 8187904 1237 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5239/statm): 1999 1237 413 48 0 1951 0
[pid=5239] vsize: 7996
Current children cumulated CPU time (s) 643.68
Current children cumulated vsize (Kb) 10124

[startup+780.059 s]
Raw data (loadavg): 1.15 1.05 1.01 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1270 0 0 0 29416 4416 0 0 22 0 1 0 19835250 8187904 1240 4294967295 134512640 134702520 3221223712 3220993708 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5239/statm): 1999 1240 413 48 0 1951 0
[pid=5239] vsize: 7996
Current children cumulated CPU time (s) 650.71
Current children cumulated vsize (Kb) 10124

[startup+790.061 s]
Raw data (loadavg): 1.13 1.05 1.01 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1275 0 0 0 30232 4473 0 0 25 0 1 0 19835250 8187904 1245 4294967295 134512640 134702520 3221223712 3220922028 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5239/statm): 1999 1245 413 48 0 1951 0
[pid=5239] vsize: 7996
Current children cumulated CPU time (s) 659.44
Current children cumulated vsize (Kb) 10124

[startup+800.061 s]
Raw data (loadavg): 1.11 1.05 1.01 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1278 0 0 0 31046 4533 0 0 25 0 1 0 19835250 8187904 1248 4294967295 134512640 134702520 3221223712 3220839148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 1999 1248 413 48 0 1951 0
[pid=5239] vsize: 7996
Current children cumulated CPU time (s) 668.18
Current children cumulated vsize (Kb) 10124

[startup+810.062 s]
Raw data (loadavg): 1.09 1.05 1.01 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1280 0 0 0 31842 4599 0 0 25 0 1 0 19835250 8187904 1250 4294967295 134512640 134702520 3221223712 3220760768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 1999 1250 413 48 0 1951 0
[pid=5239] vsize: 7996
Current children cumulated CPU time (s) 676.8
Current children cumulated vsize (Kb) 10124

[startup+820.063 s]
Raw data (loadavg): 1.08 1.05 1.00 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 1286 0 0 0 32627 4670 0 0 23 0 1 0 19835250 8187904 1256 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5239/statm): 1999 1256 413 48 0 1951 0
[pid=5239] vsize: 7996
Current children cumulated CPU time (s) 685.36
Current children cumulated vsize (Kb) 10124

[startup+830.064 s]
Raw data (loadavg): 1.06 1.04 1.00 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 1291 0 0 0 33391 4742 0 0 16 0 1 0 19835250 8339456 1261 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5239/statm): 2036 1261 413 48 0 1988 0
[pid=5239] vsize: 8144
Current children cumulated CPU time (s) 693.72
Current children cumulated vsize (Kb) 10272

[startup+840.065 s]
Raw data (loadavg): 1.13 1.06 1.01 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 1292 0 0 0 33663 4989 0 0 16 0 1 0 19835250 8339456 1262 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5239/statm): 2036 1262 413 48 0 1988 0
[pid=5239] vsize: 8144
Current children cumulated CPU time (s) 698.91
Current children cumulated vsize (Kb) 10272

[startup+850.066 s]
Raw data (loadavg): 1.11 1.06 1.01 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1299 0 0 0 34291 5109 0 0 23 0 1 0 19835250 8314880 1269 4294967295 134512640 134702520 3221223712 3220923468 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5239/statm): 2030 1269 413 48 0 1982 0
[pid=5239] vsize: 8120
Current children cumulated CPU time (s) 706.39
Current children cumulated vsize (Kb) 10248

[startup+860.066 s]
Raw data (loadavg): 1.10 1.05 1.01 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1303 0 0 0 35096 5173 0 0 25 0 1 0 19835250 8314880 1273 4294967295 134512640 134702520 3221223712 3220853068 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 2030 1273 413 48 0 1982 0
[pid=5239] vsize: 8120
Current children cumulated CPU time (s) 715.08
Current children cumulated vsize (Kb) 10248

[startup+870.067 s]
Raw data (loadavg): 1.08 1.05 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1307 0 0 0 35886 5240 0 0 25 0 1 0 19835250 8314880 1277 4294967295 134512640 134702520 3221223712 3220786828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 2030 1277 413 48 0 1982 0
[pid=5239] vsize: 8120
Current children cumulated CPU time (s) 723.65
Current children cumulated vsize (Kb) 10248

[startup+880.067 s]
Raw data (loadavg): 1.07 1.05 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1311 0 0 0 36670 5311 0 0 25 0 1 0 19835250 8314880 1281 4294967295 134512640 134702520 3221223712 3220693088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 2030 1281 413 48 0 1982 0
[pid=5239] vsize: 8120
Current children cumulated CPU time (s) 732.2
Current children cumulated vsize (Kb) 10248

[startup+890.068 s]
Raw data (loadavg): 1.06 1.05 1.00 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 1317 0 0 0 37433 5386 0 0 16 0 1 0 19835250 8314880 1287 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5239/statm): 2030 1287 413 48 0 1982 0
[pid=5239] vsize: 8120
Current children cumulated CPU time (s) 740.58
Current children cumulated vsize (Kb) 10248

[startup+900.068 s]
Raw data (loadavg): 1.05 1.05 1.00 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 1323 0 0 0 38183 5469 0 0 15 0 1 0 19835250 8466432 1293 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5239/statm): 2067 1293 413 48 0 2019 0
[pid=5239] vsize: 8268
Current children cumulated CPU time (s) 748.91
Current children cumulated vsize (Kb) 10396

[startup+910.069 s]
Raw data (loadavg): 1.11 1.06 1.01 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 1324 0 0 0 38454 5703 0 0 16 0 1 0 19835250 8466432 1294 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5239/statm): 2067 1294 413 48 0 2019 0
[pid=5239] vsize: 8268
Current children cumulated CPU time (s) 753.96
Current children cumulated vsize (Kb) 10396

[startup+920.07 s]
Raw data (loadavg): 1.10 1.06 1.01 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1327 0 0 0 39023 5842 0 0 21 0 1 0 19835250 8441856 1297 4294967295 134512640 134702520 3221223712 3220980768 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 2061 1297 413 48 0 2013 0
[pid=5239] vsize: 8244
Current children cumulated CPU time (s) 761.04
Current children cumulated vsize (Kb) 10372

[startup+930.07 s]
Raw data (loadavg): 1.16 1.07 1.01 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1332 0 0 0 39788 5915 0 0 23 0 1 0 19835250 8441856 1302 4294967295 134512640 134702520 3221223712 3220968588 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 2061 1302 413 48 0 2013 0
[pid=5239] vsize: 8244
Current children cumulated CPU time (s) 769.42
Current children cumulated vsize (Kb) 10372

[startup+940.071 s]
Raw data (loadavg): 1.13 1.07 1.01 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1335 0 0 0 40562 5988 0 0 22 0 1 0 19835250 8441856 1305 4294967295 134512640 134702520 3221223712 3220959468 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5239/statm): 2061 1305 413 48 0 2013 0
[pid=5239] vsize: 8244
Current children cumulated CPU time (s) 777.89
Current children cumulated vsize (Kb) 10372

[startup+950.072 s]
Raw data (loadavg): 1.11 1.07 1.01 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1400 0 0 0 41341 6060 0 0 22 0 1 0 19835250 8585216 1370 4294967295 134512640 134702520 3221223712 3220945568 134612101 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 2096 1370 413 48 0 2048 0
[pid=5239] vsize: 8384
Current children cumulated CPU time (s) 786.4
Current children cumulated vsize (Kb) 10512

[startup+960.072 s]
Raw data (loadavg): 1.10 1.06 1.01 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1400 0 0 0 42127 6128 0 0 23 0 1 0 19835250 8585216 1370 4294967295 134512640 134702520 3221223712 3220913388 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5239/statm): 2096 1370 413 48 0 2048 0
[pid=5239] vsize: 8384
Current children cumulated CPU time (s) 794.94
Current children cumulated vsize (Kb) 10512

[startup+970.074 s]
Raw data (loadavg): 1.08 1.06 1.01 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1400 0 0 0 42943 6188 0 0 25 0 1 0 19835250 8585216 1370 4294967295 134512640 134702520 3221223712 3220850348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5239/statm): 2096 1370 413 48 0 2048 0
[pid=5239] vsize: 8384
Current children cumulated CPU time (s) 803.7
Current children cumulated vsize (Kb) 10512

[startup+980.074 s]
Raw data (loadavg): 1.07 1.06 1.00 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 1400 0 0 0 43305 6391 0 0 15 0 1 0 19835250 8585216 1370 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5239/statm): 2096 1370 413 48 0 2048 0
[pid=5239] vsize: 8384
Current children cumulated CPU time (s) 809.35
Current children cumulated vsize (Kb) 10512

[startup+990.075 s]
Raw data (loadavg): 1.06 1.06 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1400 0 0 0 43774 6563 0 0 18 0 1 0 19835250 8585216 1370 4294967295 134512640 134702520 3221223712 3221103488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 2096 1370 413 48 0 2048 0
[pid=5239] vsize: 8384
Current children cumulated CPU time (s) 815.76
Current children cumulated vsize (Kb) 10512

[startup+1000.08 s]
Raw data (loadavg): 1.05 1.05 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1400 0 0 0 44597 6618 0 0 20 0 1 0 19835250 8585216 1370 4294967295 134512640 134702520 3221223712 3221039968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 2096 1370 413 48 0 2048 0
[pid=5239] vsize: 8384
Current children cumulated CPU time (s) 824.54
Current children cumulated vsize (Kb) 10512

[startup+1010.08 s]
Raw data (loadavg): 1.04 1.05 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1400 0 0 0 45367 6691 0 0 19 0 1 0 19835250 8585216 1370 4294967295 134512640 134702520 3221223712 3221028912 134612230 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5239/statm): 2096 1370 413 48 0 2048 0
[pid=5239] vsize: 8384
Current children cumulated CPU time (s) 832.97
Current children cumulated vsize (Kb) 10512

[startup+1020.08 s]
Raw data (loadavg): 1.03 1.05 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1400 0 0 0 46139 6766 0 0 20 0 1 0 19835250 8585216 1370 4294967295 134512640 134702520 3221223712 3221019328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5239/statm): 2096 1370 413 48 0 2048 0
[pid=5239] vsize: 8384
Current children cumulated CPU time (s) 841.44
Current children cumulated vsize (Kb) 10512

[startup+1030.08 s]
Raw data (loadavg): 1.03 1.05 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1400 0 0 0 46944 6829 0 0 25 0 1 0 19835250 8585216 1370 4294967295 134512640 134702520 3221223712 3220975168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5239/statm): 2096 1370 413 48 0 2048 0
[pid=5239] vsize: 8384
Current children cumulated CPU time (s) 850.12
Current children cumulated vsize (Kb) 10512

[startup+1040.08 s]
Raw data (loadavg): 1.02 1.05 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1402 0 0 0 47748 6892 0 0 25 0 1 0 19835250 8585216 1372 4294967295 134512640 134702520 3221223712 3220928428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 2096 1372 413 48 0 2048 0
[pid=5239] vsize: 8384
Current children cumulated CPU time (s) 858.79
Current children cumulated vsize (Kb) 10512

[startup+1050.08 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 1404 0 0 0 48171 7082 0 0 16 0 1 0 19835250 8585216 1374 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5239/statm): 2096 1374 413 48 0 2048 0
[pid=5239] vsize: 8384
Current children cumulated CPU time (s) 864.92
Current children cumulated vsize (Kb) 10512

[startup+1060.08 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1408 0 0 0 48582 7267 0 0 17 0 1 0 19835250 8671232 1378 4294967295 134512640 134702520 3221223712 3221166516 134611990 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 2117 1378 413 48 0 2069 0
[pid=5239] vsize: 8468
Current children cumulated CPU time (s) 870.88
Current children cumulated vsize (Kb) 10596

[startup+1070.08 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1413 0 0 0 49398 7327 0 0 19 0 1 0 19835250 8671232 1383 4294967295 134512640 134702520 3221223712 3221119008 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5239/statm): 2117 1383 413 48 0 2069 0
[pid=5239] vsize: 8468
Current children cumulated CPU time (s) 879.64
Current children cumulated vsize (Kb) 10596

[startup+1080.08 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1416 0 0 0 50194 7394 0 0 18 0 1 0 19835250 8671232 1386 4294967295 134512640 134702520 3221223712 3221089568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 2117 1386 413 48 0 2069 0
[pid=5239] vsize: 8468
Current children cumulated CPU time (s) 888.27
Current children cumulated vsize (Kb) 10596

[startup+1090.08 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1419 0 0 0 50966 7469 0 0 19 0 1 0 19835250 8671232 1389 4294967295 134512640 134702520 3221223712 3221076748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 2117 1389 413 48 0 2069 0
[pid=5239] vsize: 8468
Current children cumulated CPU time (s) 896.74
Current children cumulated vsize (Kb) 10596

[startup+1100.08 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1422 0 0 0 51733 7542 0 0 20 0 1 0 19835250 8671232 1392 4294967295 134512640 134702520 3221223712 3221063148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5239/statm): 2117 1392 413 48 0 2069 0
[pid=5239] vsize: 8468
Current children cumulated CPU time (s) 905.14
Current children cumulated vsize (Kb) 10596

[startup+1110.08 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1426 0 0 0 52487 7625 0 0 19 0 1 0 19835250 8671232 1396 4294967295 134512640 134702520 3221223712 3221068748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 2117 1396 413 48 0 2069 0
[pid=5239] vsize: 8468
Current children cumulated CPU time (s) 913.51
Current children cumulated vsize (Kb) 10596

[startup+1120.08 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 1428 0 0 0 53036 7775 0 0 15 0 1 0 19835250 8814592 1398 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5239/statm): 2152 1398 413 48 0 2104 0
[pid=5239] vsize: 8608
Current children cumulated CPU time (s) 920.5
Current children cumulated vsize (Kb) 10736

[startup+1130.08 s]
Raw data (loadavg): 1.08 1.05 1.01 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 1431 0 0 0 53341 7998 0 0 16 0 1 0 19835250 8769536 1401 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5239/statm): 2141 1401 413 48 0 2093 0
[pid=5239] vsize: 8564
Current children cumulated CPU time (s) 925.78
Current children cumulated vsize (Kb) 10692

[startup+1140.09 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1435 0 0 0 54115 8074 0 0 16 0 1 0 19835250 8769536 1405 4294967295 134512640 134702520 3221223712 3221211968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 2141 1405 413 48 0 2093 0
[pid=5239] vsize: 8564
Current children cumulated CPU time (s) 934.28
Current children cumulated vsize (Kb) 10692

[startup+1150.09 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1436 0 0 0 54905 8140 0 0 17 0 1 0 19835250 8769536 1406 4294967295 134512640 134702520 3221223712 3221187488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 2141 1406 413 48 0 2093 0
[pid=5239] vsize: 8564
Current children cumulated CPU time (s) 942.84
Current children cumulated vsize (Kb) 10692

[startup+1160.09 s]
Raw data (loadavg): 1.05 1.04 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1441 0 0 0 55707 8203 0 0 17 0 1 0 19835250 8769536 1411 4294967295 134512640 134702520 3221223712 3221151808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 2141 1411 413 48 0 2093 0
[pid=5239] vsize: 8564
Current children cumulated CPU time (s) 951.49
Current children cumulated vsize (Kb) 10692

[startup+1170.09 s]
Raw data (loadavg): 1.04 1.04 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1448 0 0 0 56499 8269 0 0 18 0 1 0 19835250 8769536 1418 4294967295 134512640 134702520 3221223712 3221122368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5239/statm): 2141 1418 413 48 0 2093 0
[pid=5239] vsize: 8564
Current children cumulated CPU time (s) 960.07
Current children cumulated vsize (Kb) 10692

[startup+1180.09 s]
Raw data (loadavg): 1.11 1.05 1.01 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1450 0 0 0 57280 8341 0 0 18 0 1 0 19835250 8769536 1420 4294967295 134512640 134702520 3221223712 3221110028 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5239/statm): 2141 1420 413 48 0 2093 0
[pid=5239] vsize: 8564
Current children cumulated CPU time (s) 968.6
Current children cumulated vsize (Kb) 10692

[startup+1190.09 s]
Raw data (loadavg): 1.10 1.05 1.00 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 1452 0 0 0 57876 8479 0 0 16 0 1 0 19835250 8912896 1422 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5239/statm): 2176 1422 413 48 0 2128 0
[pid=5239] vsize: 8704
Current children cumulated CPU time (s) 975.94
Current children cumulated vsize (Kb) 10832

[startup+1200.09 s]
Raw data (loadavg): 1.08 1.05 1.00 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 1457 0 0 0 58183 8695 0 0 16 0 1 0 19835250 8863744 1427 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5239/statm): 2164 1427 413 48 0 2116 0
[pid=5239] vsize: 8656
Current children cumulated CPU time (s) 981.17
Current children cumulated vsize (Kb) 10784

[startup+1210.09 s]
Raw data (loadavg): 1.07 1.05 1.00 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 1462 0 0 0 58936 8775 0 0 16 0 1 0 19835250 8863744 1432 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5239/statm): 2164 1432 413 48 0 2116 0
[pid=5239] vsize: 8656
Current children cumulated CPU time (s) 989.5
Current children cumulated vsize (Kb) 10784

[startup+1220.09 s]
Raw data (loadavg): 1.06 1.04 1.00 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 1465 0 0 0 59694 8854 0 0 15 0 1 0 19835250 8863744 1435 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5239/statm): 2164 1435 413 48 0 2116 0
[pid=5239] vsize: 8656
Current children cumulated CPU time (s) 997.87
Current children cumulated vsize (Kb) 10784

[startup+1230.09 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 1468 0 0 0 60456 8928 0 0 16 0 1 0 19835250 8863744 1438 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5239/statm): 2164 1438 413 48 0 2116 0
[pid=5239] vsize: 8656
Current children cumulated CPU time (s) 1006.23
Current children cumulated vsize (Kb) 10784

[startup+1240.09 s]
Raw data (loadavg): 1.04 1.04 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1471 0 0 0 61244 9000 0 0 17 0 1 0 19835250 8863744 1441 4294967295 134512640 134702520 3221223712 3221204908 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 2164 1441 413 48 0 2116 0
[pid=5239] vsize: 8656
Current children cumulated CPU time (s) 1014.83
Current children cumulated vsize (Kb) 10784

[startup+1250.09 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1474 0 0 0 62047 9065 0 0 17 0 1 0 19835250 8863744 1444 4294967295 134512640 134702520 3221223712 3221169548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 2164 1444 413 48 0 2116 0
[pid=5239] vsize: 8656
Current children cumulated CPU time (s) 1023.51
Current children cumulated vsize (Kb) 10784

[startup+1260.1 s]
Raw data (loadavg): 1.03 1.04 1.00 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 1476 0 0 0 62714 9170 0 0 16 0 1 0 19835250 9007104 1446 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5239/statm): 2199 1446 413 48 0 2151 0
[pid=5239] vsize: 8796
Current children cumulated CPU time (s) 1031.23
Current children cumulated vsize (Kb) 10924

[startup+1270.1 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 1480 0 0 0 63013 9398 0 0 16 0 1 0 19835250 8962048 1450 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5239/statm): 2188 1450 413 48 0 2140 0
[pid=5239] vsize: 8752
Current children cumulated CPU time (s) 1036.5
Current children cumulated vsize (Kb) 10880

[startup+1280.1 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 1484 0 0 0 63769 9478 0 0 16 0 1 0 19835250 8962048 1454 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5239/statm): 2188 1454 413 48 0 2140 0
[pid=5239] vsize: 8752
Current children cumulated CPU time (s) 1044.86
Current children cumulated vsize (Kb) 10880

[startup+1290.1 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 1488 0 0 0 64533 9557 0 0 16 0 1 0 19835250 8962048 1458 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5239/statm): 2188 1458 413 48 0 2140 0
[pid=5239] vsize: 8752
Current children cumulated CPU time (s) 1053.29
Current children cumulated vsize (Kb) 10880

[startup+1300.1 s]
Raw data (loadavg): 1.09 1.05 1.01 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 1492 0 0 0 65293 9635 0 0 16 0 1 0 19835250 8962048 1462 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5239/statm): 2188 1462 413 48 0 2140 0
[pid=5239] vsize: 8752
Current children cumulated CPU time (s) 1061.67
Current children cumulated vsize (Kb) 10880

[startup+1310.1 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 1494 0 0 0 66059 9714 0 0 16 0 1 0 19835250 8962048 1464 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5239/statm): 2188 1464 413 48 0 2140 0
[pid=5239] vsize: 8752
Current children cumulated CPU time (s) 1070.12
Current children cumulated vsize (Kb) 10880

[startup+1320.1 s]
Raw data (loadavg): 1.07 1.04 1.00 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 1583 0 0 0 66834 9783 0 0 15 0 1 0 19835250 8962048 1553 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5239/statm): 2188 1553 413 48 0 2140 0
[pid=5239] vsize: 8752
Current children cumulated CPU time (s) 1078.56
Current children cumulated vsize (Kb) 10880

[startup+1330.1 s]
Raw data (loadavg): 1.06 1.04 1.00 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 1585 0 0 0 67580 9868 0 0 16 0 1 0 19835250 9117696 1555 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5239/statm): 2226 1555 413 48 0 2178 0
[pid=5239] vsize: 8904
Current children cumulated CPU time (s) 1086.87
Current children cumulated vsize (Kb) 11032

[startup+1340.1 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 1586 0 0 0 67879 10097 0 0 15 0 1 0 19835250 9117696 1556 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5239/statm): 2226 1556 413 48 0 2178 0
[pid=5239] vsize: 8904
Current children cumulated CPU time (s) 1092.15
Current children cumulated vsize (Kb) 11032

[startup+1350.1 s]
Raw data (loadavg): 1.04 1.04 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1592 0 0 0 68619 10177 0 0 25 0 1 0 19835250 9068544 1562 4294967295 134512640 134702520 3221223712 3220739968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 2214 1562 413 48 0 2166 0
[pid=5239] vsize: 8856
Current children cumulated CPU time (s) 1100.35
Current children cumulated vsize (Kb) 10984

[startup+1360.1 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1595 0 0 0 69389 10252 0 0 25 0 1 0 19835250 9068544 1565 4294967295 134512640 134702520 3221223712 3220716128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5239/statm): 2214 1565 413 48 0 2166 0
[pid=5239] vsize: 8856
Current children cumulated CPU time (s) 1108.8
Current children cumulated vsize (Kb) 10984

[startup+1370.1 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1600 0 0 0 70169 10322 0 0 20 0 1 0 19835250 9068544 1570 4294967295 134512640 134702520 3221223712 3221222832 134588415 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 2214 1570 413 48 0 2166 0
[pid=5239] vsize: 8856
Current children cumulated CPU time (s) 1117.3
Current children cumulated vsize (Kb) 10984

[startup+1380.1 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 1711 0 0 0 70943 10394 0 0 16 0 1 0 19835250 9072640 1681 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5239/statm): 2215 1681 413 48 0 2167 0
[pid=5239] vsize: 8860
Current children cumulated CPU time (s) 1125.76
Current children cumulated vsize (Kb) 10988

[startup+1390.11 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 1747 0 0 0 71718 10465 0 0 16 0 1 0 19835250 9072640 1717 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5239/statm): 2215 1717 413 48 0 2167 0
[pid=5239] vsize: 8860
Current children cumulated CPU time (s) 1134.22
Current children cumulated vsize (Kb) 10988

[startup+1400.11 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 1775 0 0 0 72480 10544 0 0 16 0 1 0 19835250 9216000 1745 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5239/statm): 2250 1745 413 48 0 2202 0
[pid=5239] vsize: 9000
Current children cumulated CPU time (s) 1142.63
Current children cumulated vsize (Kb) 11128

[startup+1410.11 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1777 0 0 0 72767 10780 0 0 16 0 1 0 19835250 9216000 1747 4294967295 134512640 134702520 3221223712 3221222480 134551042 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 2250 1747 413 48 0 2202 0
[pid=5239] vsize: 9000
Current children cumulated CPU time (s) 1147.86
Current children cumulated vsize (Kb) 11128

[startup+1420.11 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1783 0 0 0 73326 10929 0 0 21 0 1 0 19835250 9191424 1753 4294967295 134512640 134702520 3221223712 3221018828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 2244 1753 413 48 0 2196 0
[pid=5239] vsize: 8976
Current children cumulated CPU time (s) 1154.94
Current children cumulated vsize (Kb) 11104

[startup+1430.11 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1787 0 0 0 74097 11006 0 0 20 0 1 0 19835250 9191424 1757 4294967295 134512640 134702520 3221223712 3221015148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5239/statm): 2244 1757 413 48 0 2196 0
[pid=5239] vsize: 8976
Current children cumulated CPU time (s) 1163.42
Current children cumulated vsize (Kb) 11104

[startup+1440.11 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1791 0 0 0 74894 11071 0 0 22 0 1 0 19835250 9191424 1761 4294967295 134512640 134702520 3221223712 3220978988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5239/statm): 2244 1761 413 48 0 2196 0
[pid=5239] vsize: 8976
Current children cumulated CPU time (s) 1172.04
Current children cumulated vsize (Kb) 11104

[startup+1450.11 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1795 0 0 0 75646 11152 0 0 22 0 1 0 19835250 9191424 1765 4294967295 134512640 134702520 3221223712 3220993708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5239/statm): 2244 1765 413 48 0 2196 0
[pid=5239] vsize: 8976
Current children cumulated CPU time (s) 1180.37
Current children cumulated vsize (Kb) 11104

[startup+1460.11 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1798 0 0 0 76398 11234 0 0 20 0 1 0 19835250 9191424 1768 4294967295 134512640 134702520 3221223712 3221015328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5239/statm): 2244 1768 413 48 0 2196 0
[pid=5239] vsize: 8976
Current children cumulated CPU time (s) 1188.71
Current children cumulated vsize (Kb) 11104

[startup+1470.11 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) R 5234 5234 4060 0 -1 0 1804 0 0 0 77194 11300 0 0 21 0 1 0 19835250 9191424 1774 4294967295 134512640 134702520 3221223712 3220989568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5239/statm): 2244 1774 413 48 0 2196 0
[pid=5239] vsize: 8976
Current children cumulated CPU time (s) 1197.33
Current children cumulated vsize (Kb) 11104

[startup+1480.11 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 1806 0 0 0 77684 11466 0 0 16 0 1 0 19835250 9342976 1776 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5239/statm): 2281 1776 413 48 0 2233 0
[pid=5239] vsize: 9124
Current children cumulated CPU time (s) 1203.89
Current children cumulated vsize (Kb) 11252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1480.11 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5239
Raw data (/proc/5234/stat): 5234 (vallstSAT2005PB) S 5233 5234 4060 0 -1 0 378 1666 0 0 1 1 29422 1815 17 0 1 0 19800358 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5234/statm): 532 248 485 147 0 385 0
[pid=5234] vsize: 2128
Raw data (/proc/5239/stat): 5239 (vallst) T 5234 5234 4060 0 -1 0 1806 0 0 0 77684 11466 0 0 16 0 1 0 19835250 9342976 1776 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5239/statm): 2281 1776 413 48 0 2233 0
[pid=5239] vsize: 9124
Current children cumulated CPU time (s) 1203.89
Current children cumulated vsize (Kb) 11252

Sending SIGTERM to -5234
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5241
New process pid=5242
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/4042/stat
open syscall for file /proc/4042/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4042/cmdline
open syscall for file /proc/4042/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/5195/stat
open syscall for file /proc/5195/status
open syscall for file /proc/5195/cmdline
open syscall for file /proc/5195/environ
open syscall for file /proc/5233/stat
open syscall for file /proc/5233/status
open syscall for file /proc/5233/cmdline
open syscall for file /proc/5233/environ
open syscall for file /proc/5234/stat
open syscall for file /proc/5234/status
open syscall for file /proc/5234/cmdline
open syscall for file /proc/5234/environ
open syscall for file /proc/5239/stat
open syscall for file /proc/5239/status
open syscall for file /proc/5239/cmdline
open syscall for file /proc/5239/environ
open syscall for file /proc/5241/stat
open syscall for file /proc/5241/status
open syscall for file /proc/5241/cmdline
open syscall for file /proc/5241/environ
open syscall for file /proc/5242/stat
open syscall for file /proc/5242/status
open syscall for file /proc/5242/cmdline
open syscall for file /proc/5242/environ
One traced child (pid=5239) exited with status: 3
One traced child (pid=5241) exited with status: 0
One traced child (pid=5242) exited with status: 0
New process pid=5243
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=5243) exited with status: 0
New process pid=5244
execve syscall for /bin/rm executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
open syscall for file .
open syscall for file .
One traced child (pid=5244) exited with status: 0
One traced child (pid=5234) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1480.79
CPU time (s): 1204.1
CPU user time (s): 1071.19
CPU system time (s): 132.906
CPU usage (%): 81.3145
Max. virtual memory (cumulated for all children) (Kb): 11252

Verifier Data

ERROR: no interpretation found !