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/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos16.opb
MD5SUM44281820d2b00a47b643433ffa4e2d73
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 117
Optimality of the best value was proved NO
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 138
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 535
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.48
Number of variables464
Total number of constraints1395
Number of constraints which are clauses336
Number of constraints which are cardinality constraints (but not clauses)336
Number of constraints which are nor clauses,nor cardinality constraints723
Minimum length of a constraint1
Maximum length of a constraint128

Trace number 9430

Launcher Data

LAUNCH ON wulflinc17 THE 2005-09-23 13:28:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8139 boxname=wulflinc17 idbench=1107 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  44281820d2b00a47b643433ffa4e2d73  /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-neos16.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-neos16.opb 0
IDLAUNCH: 8139
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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.161
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:        938800 kB
Buffers:         14688 kB
Cached:          62628 kB
SwapCached:          0 kB
Active:          42924 kB
Inactive:        37332 kB
HighTotal:      131008 kB
HighFree:        63980 kB
LowTotal:       903652 kB
LowFree:        874820 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             9984 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 13:55:21 (client local time) WITH STATUS 0 IN 1206.28 SECONDS
stats: 8139 7 1206.28 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 0  (#equs: 0)
#decisions: 43951;  #end-nodes: 14705;
#proof improvement attempts: 0;  #restarts: 142
Current batch, end-nodes: 65 / 117 (115)
#axs: 1070, #non-axs: 4791
tight: meta-meta: start: 5, end: 7;  meta: start: 8, end (keep): 13
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant:  138 (116:>=*);
#decisions: 2930176;  #end-nodes: 1298880;
#proof improvement attempts: 0;  #restarts: 2784
Current batch, end-nodes: 0 / 892 (775)
#axs: 1111, #non-axs: 594
tight: meta-meta: start: 3, end: 4;  meta: start: 4, end (keep): 5
loose: meta-meta: start: 6, end: 9;  meta: start: 16, end (keep): 23
Model found with constant:
  (pushed:) 138 (116:>=*)

No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 1  (#equs: 41)
Time taken: 14 min, 14 sec

2:
seed: 0
Nr of vars set: 1  (#equs: 0)
Nr of vars set: 1  (#equs: 0)
Interupt request received.
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 1  (#equs: 38)
Time taken: 5 min, 51 sec

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/6200/stat): 6200 (vallstSAT2005PB) R 6199 6200 4060 0 -1 0 19 0 0 0 0 0 0 0 24 0 1 0 20550933 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6200/statm): 174 3 169 147 0 27 0
[pid=6200] 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=6201
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=6201) exited with status: 0
New process pid=6202
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=6202) exited with status: 0
New process pid=6203
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/wulflinc17/normalized-mps-v2-13-7-neos16.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0028 s]
Raw data (loadavg): 0.91 0.98 0.99 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 302 0 0 0 392 185 0 0 17 0 1 0 20550941 2801664 272 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 684 272 413 48 0 636 0
[pid=6203] vsize: 2736
Current children cumulated CPU time (s) 5.79
Current children cumulated vsize (Kb) 4864

[startup+20.0034 s]
Raw data (loadavg): 0.92 0.98 0.99 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 365 0 0 0 938 331 0 0 17 0 1 0 20550941 3104768 335 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 758 335 413 48 0 710 0
[pid=6203] vsize: 3032
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (Kb) 5160

[startup+30.004 s]
Raw data (loadavg): 0.93 0.98 0.99 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 367 0 0 0 1409 496 0 0 20 0 1 0 20550941 3108864 337 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 759 337 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 19.07
Current children cumulated vsize (Kb) 5164

[startup+40.0046 s]
Raw data (loadavg): 0.94 0.98 0.99 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 367 0 0 0 1965 639 0 0 19 0 1 0 20550941 3108864 337 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6203/statm): 759 337 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 26.06
Current children cumulated vsize (Kb) 5164

[startup+50.0062 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) R 6200 6200 4060 0 -1 0 367 0 0 0 2389 829 0 0 18 0 1 0 20550941 3108864 337 4294967295 134512640 134702520 3221223952 3221223232 134552857 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6203/statm): 759 337 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 32.2
Current children cumulated vsize (Kb) 5164

[startup+60.0068 s]
Raw data (loadavg): 1.02 1.00 1.00 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 368 0 0 0 2922 981 0 0 17 0 1 0 20550941 3108864 338 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6203/statm): 759 338 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 39.05
Current children cumulated vsize (Kb) 5164

[startup+70.0074 s]
Raw data (loadavg): 1.02 1.00 1.00 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 368 0 0 0 3365 1163 0 0 17 0 1 0 20550941 3108864 338 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 759 338 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 45.3
Current children cumulated vsize (Kb) 5164

[startup+80.008 s]
Raw data (loadavg): 1.09 1.01 1.00 2/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) R 6200 6200 4060 0 -1 0 369 0 0 0 3907 1312 0 0 17 0 1 0 20550941 3108864 339 4294967295 134512640 134702520 3221223952 3221222848 134557208 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6203/statm): 759 339 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 52.21
Current children cumulated vsize (Kb) 5164

[startup+90.0086 s]
Raw data (loadavg): 1.16 1.03 1.01 2/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) R 6200 6200 4060 0 -1 0 370 0 0 0 4359 1491 0 0 19 0 1 0 20550941 3108864 340 4294967295 134512640 134702520 3221223952 3221223080 1074744852 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6203/statm): 759 340 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 58.52
Current children cumulated vsize (Kb) 5164

[startup+100.009 s]
Raw data (loadavg): 1.13 1.03 1.01 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 372 0 0 0 4892 1643 0 0 17 0 1 0 20550941 3108864 342 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6203/statm): 759 342 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 65.37
Current children cumulated vsize (Kb) 5164

[startup+110.01 s]
Raw data (loadavg): 1.11 1.03 1.01 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 373 0 0 0 5362 1808 0 0 20 0 1 0 20550941 3108864 343 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6203/statm): 759 343 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 71.72
Current children cumulated vsize (Kb) 5164

[startup+120.01 s]
Raw data (loadavg): 1.10 1.03 1.00 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 375 0 0 0 5916 1952 0 0 17 0 1 0 20550941 3108864 345 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 759 345 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 78.7
Current children cumulated vsize (Kb) 5164

[startup+130.011 s]
Raw data (loadavg): 1.08 1.03 1.00 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 378 0 0 0 6369 2123 0 0 18 0 1 0 20550941 3108864 348 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 759 348 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 84.94
Current children cumulated vsize (Kb) 5164

[startup+140.012 s]
Raw data (loadavg): 1.15 1.04 1.01 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 379 0 0 0 6972 2254 0 0 17 0 1 0 20550941 3108864 349 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 759 349 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 92.28
Current children cumulated vsize (Kb) 5164

[startup+150.013 s]
Raw data (loadavg): 1.12 1.04 1.01 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 380 0 0 0 7426 2432 0 0 18 0 1 0 20550941 3108864 350 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6203/statm): 759 350 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 98.6
Current children cumulated vsize (Kb) 5164

[startup+160.014 s]
Raw data (loadavg): 1.10 1.04 1.01 2/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) R 6200 6200 4060 0 -1 0 382 0 0 0 8043 2556 0 0 17 0 1 0 20550941 3108864 352 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6203/statm): 759 352 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 106.01
Current children cumulated vsize (Kb) 5164

[startup+170.013 s]
Raw data (loadavg): 1.09 1.04 1.00 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 382 0 0 0 8507 2722 0 0 19 0 1 0 20550941 3108864 352 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6203/statm): 759 352 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 112.31
Current children cumulated vsize (Kb) 5164

[startup+180.015 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 384 0 0 0 9130 2838 0 0 17 0 1 0 20550941 3108864 354 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6203/statm): 759 354 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 119.7
Current children cumulated vsize (Kb) 5164

[startup+190.016 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 386 0 0 0 9709 2974 0 0 16 0 1 0 20550941 3108864 356 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 759 356 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 126.85
Current children cumulated vsize (Kb) 5164

[startup+200.016 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) R 6200 6200 4060 0 -1 0 386 0 0 0 10222 3130 0 0 19 0 1 0 20550941 3108864 356 4294967295 134512640 134702520 3221223952 3221223232 134553342 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6203/statm): 759 356 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 133.54
Current children cumulated vsize (Kb) 5164

[startup+210.017 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 388 0 0 0 10871 3244 0 0 20 0 1 0 20550941 3108864 358 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6203/statm): 759 358 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 141.17
Current children cumulated vsize (Kb) 5164

[startup+220.017 s]
Raw data (loadavg): 1.12 1.04 1.01 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 388 0 0 0 11348 3410 0 0 20 0 1 0 20550941 3108864 358 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 759 358 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 147.6
Current children cumulated vsize (Kb) 5164

[startup+230.018 s]
Raw data (loadavg): 1.10 1.04 1.00 2/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) R 6200 6200 4060 0 -1 0 389 0 0 0 11994 3521 0 0 21 0 1 0 20550941 3108864 359 4294967295 134512640 134702520 3221223952 3221223232 134553492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6203/statm): 759 359 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 155.17
Current children cumulated vsize (Kb) 5164

[startup+240.019 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 390 0 0 0 12632 3639 0 0 17 0 1 0 20550941 3108864 360 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 759 360 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 162.73
Current children cumulated vsize (Kb) 5164

[startup+250.02 s]
Raw data (loadavg): 1.07 1.04 1.00 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 390 0 0 0 13108 3814 0 0 20 0 1 0 20550941 3108864 360 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6203/statm): 759 360 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 169.24
Current children cumulated vsize (Kb) 5164

[startup+260.021 s]
Raw data (loadavg): 1.06 1.04 1.00 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 392 0 0 0 13737 3939 0 0 20 0 1 0 20550941 3108864 362 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6203/statm): 759 362 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 176.78
Current children cumulated vsize (Kb) 5164

[startup+270.02 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) R 6200 6200 4060 0 -1 0 393 0 0 0 14250 4096 0 0 16 0 1 0 20550941 3108864 363 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6203/statm): 759 363 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 183.48
Current children cumulated vsize (Kb) 5164

[startup+280.021 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 393 0 0 0 14840 4232 0 0 20 0 1 0 20550941 3108864 363 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6203/statm): 759 363 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 190.74
Current children cumulated vsize (Kb) 5164

[startup+290.022 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 394 0 0 0 15474 4349 0 0 19 0 1 0 20550941 3108864 364 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6203/statm): 759 364 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 198.25
Current children cumulated vsize (Kb) 5164

[startup+300.022 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 394 0 0 0 15943 4520 0 0 18 0 1 0 20550941 3108864 364 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 759 364 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 204.65
Current children cumulated vsize (Kb) 5164

[startup+310.023 s]
Raw data (loadavg): 1.10 1.04 1.01 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 394 0 0 0 16594 4633 0 0 17 0 1 0 20550941 3108864 364 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 759 364 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 212.29
Current children cumulated vsize (Kb) 5164

[startup+320.024 s]
Raw data (loadavg): 1.09 1.04 1.00 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 396 0 0 0 17261 4738 0 0 21 0 1 0 20550941 3108864 366 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6203/statm): 759 366 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 220.01
Current children cumulated vsize (Kb) 5164

[startup+330.024 s]
Raw data (loadavg): 1.07 1.04 1.00 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 396 0 0 0 17739 4909 0 0 21 0 1 0 20550941 3108864 366 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6203/statm): 759 366 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 226.5
Current children cumulated vsize (Kb) 5164

[startup+340.024 s]
Raw data (loadavg): 1.06 1.04 1.00 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 397 0 0 0 18379 5027 0 0 16 0 1 0 20550941 3108864 367 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 759 367 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 234.08
Current children cumulated vsize (Kb) 5164

[startup+350.024 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 399 0 0 0 19058 5131 0 0 21 0 1 0 20550941 3108864 369 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 759 369 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 241.91
Current children cumulated vsize (Kb) 5164

[startup+360.026 s]
Raw data (loadavg): 1.12 1.05 1.01 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 399 0 0 0 19524 5302 0 0 20 0 1 0 20550941 3108864 369 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 759 369 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 248.28
Current children cumulated vsize (Kb) 5164

[startup+370.026 s]
Raw data (loadavg): 1.10 1.05 1.00 2/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) R 6200 6200 4060 0 -1 0 399 0 0 0 20173 5417 0 0 17 0 1 0 20550941 3108864 369 4294967295 134512640 134702520 3221223952 3221222848 134552426 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6203/statm): 759 369 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 255.92
Current children cumulated vsize (Kb) 5164

[startup+380.026 s]
Raw data (loadavg): 1.08 1.05 1.00 2/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) R 6200 6200 4060 0 -1 0 401 0 0 0 20827 5527 0 0 20 0 1 0 20550941 3108864 371 4294967295 134512640 134702520 3221223952 3221223232 134553333 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6203/statm): 759 371 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 263.56
Current children cumulated vsize (Kb) 5164

[startup+390.027 s]
Raw data (loadavg): 1.07 1.05 1.00 2/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) R 6200 6200 4060 0 -1 0 401 0 0 0 21298 5701 0 0 19 0 1 0 20550941 3108864 371 4294967295 134512640 134702520 3221223952 3221223196 134549064 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6203/statm): 759 371 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 270.01
Current children cumulated vsize (Kb) 5164

[startup+400.027 s]
Raw data (loadavg): 1.14 1.06 1.01 2/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) R 6200 6200 4060 0 -1 0 403 0 0 0 21976 5808 0 0 21 0 1 0 20550941 3108864 373 4294967295 134512640 134702520 3221223952 3221223172 134549072 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6203/statm): 759 373 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 277.86
Current children cumulated vsize (Kb) 5164

[startup+410.028 s]
Raw data (loadavg): 1.12 1.06 1.01 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 404 0 0 0 22660 5911 0 0 22 0 1 0 20550941 3108864 374 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 759 374 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 285.73
Current children cumulated vsize (Kb) 5164

[startup+420.029 s]
Raw data (loadavg): 1.18 1.07 1.01 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 408 0 0 0 23200 6059 0 0 16 0 1 0 20550941 3108864 378 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6203/statm): 759 378 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 292.61
Current children cumulated vsize (Kb) 5164

[startup+430.029 s]
Raw data (loadavg): 1.15 1.07 1.01 2/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) R 6200 6200 4060 0 -1 0 409 0 0 0 23809 6190 0 0 17 0 1 0 20550941 3108864 379 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6203/statm): 759 379 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 300.01
Current children cumulated vsize (Kb) 5164

[startup+440.03 s]
Raw data (loadavg): 1.13 1.07 1.01 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 409 0 0 0 24458 6304 0 0 16 0 1 0 20550941 3108864 379 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 759 379 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 307.64
Current children cumulated vsize (Kb) 5164

[startup+450.03 s]
Raw data (loadavg): 1.11 1.06 1.01 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 411 0 0 0 25139 6410 0 0 17 0 1 0 20550941 3108864 381 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 759 381 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 315.51
Current children cumulated vsize (Kb) 5164

[startup+460.031 s]
Raw data (loadavg): 1.09 1.06 1.01 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 412 0 0 0 25640 6569 0 0 16 0 1 0 20550941 3108864 382 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6203/statm): 759 382 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 322.11
Current children cumulated vsize (Kb) 5164

[startup+470.031 s]
Raw data (loadavg): 1.08 1.06 1.01 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 413 0 0 0 26314 6682 0 0 19 0 1 0 20550941 3108864 383 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6203/statm): 759 383 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 329.98
Current children cumulated vsize (Kb) 5164

[startup+480.031 s]
Raw data (loadavg): 1.06 1.06 1.00 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 413 0 0 0 27012 6784 0 0 20 0 1 0 20550941 3108864 383 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 759 383 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 337.98
Current children cumulated vsize (Kb) 5164

[startup+490.032 s]
Raw data (loadavg): 1.13 1.07 1.01 2/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) R 6200 6200 4060 0 -1 0 414 0 0 0 27499 6945 0 0 17 0 1 0 20550941 3108864 384 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6203/statm): 759 384 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 344.46
Current children cumulated vsize (Kb) 5164

[startup+500.032 s]
Raw data (loadavg): 1.11 1.07 1.01 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 415 0 0 0 28174 7050 0 0 18 0 1 0 20550941 3108864 385 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 759 385 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 352.26
Current children cumulated vsize (Kb) 5164

[startup+510.033 s]
Raw data (loadavg): 1.09 1.06 1.01 2/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) R 6200 6200 4060 0 -1 0 421 0 0 0 28870 7149 0 0 19 0 1 0 20550941 3108864 391 4294967295 134512640 134702520 3221223952 3221223232 134553333 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6203/statm): 759 391 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 360.21
Current children cumulated vsize (Kb) 5164

[startup+520.033 s]
Raw data (loadavg): 1.08 1.06 1.01 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 421 0 0 0 29571 7243 0 0 17 0 1 0 20550941 3108864 391 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 759 391 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 368.16
Current children cumulated vsize (Kb) 5164

[startup+530.033 s]
Raw data (loadavg): 1.07 1.06 1.01 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 421 0 0 0 30074 7405 0 0 15 0 1 0 20550941 3108864 391 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 759 391 413 48 0 711 0
[pid=6203] vsize: 3036
Current children cumulated CPU time (s) 374.81
Current children cumulated vsize (Kb) 5164

[startup+540.034 s]
Raw data (loadavg): 1.06 1.06 1.00 2/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) R 6200 6200 4060 0 -1 0 698 0 0 0 30824 7492 0 0 16 0 1 0 20550941 4247552 668 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6203/statm): 1037 668 413 48 0 989 0
[pid=6203] vsize: 4148
Current children cumulated CPU time (s) 383.18
Current children cumulated vsize (Kb) 6276

[startup+550.034 s]
Raw data (loadavg): 1.05 1.05 1.00 2/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) R 6200 6200 4060 0 -1 0 953 0 0 0 31653 7551 0 0 17 0 1 0 20550941 5398528 923 4294967295 134512640 134702520 3221223952 3221223232 134552444 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6203/statm): 1318 923 413 48 0 1270 0
[pid=6203] vsize: 5272
Current children cumulated CPU time (s) 392.06
Current children cumulated vsize (Kb) 7400

[startup+560.035 s]
Raw data (loadavg): 1.04 1.05 1.00 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 1131 0 0 0 32507 7600 0 0 17 0 1 0 20550941 6017024 1101 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 1469 1101 413 48 0 1421 0
[pid=6203] vsize: 5876
Current children cumulated CPU time (s) 401.09
Current children cumulated vsize (Kb) 8004

[startup+570.035 s]
Raw data (loadavg): 1.03 1.05 1.00 2/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) R 6200 6200 4060 0 -1 0 1281 0 0 0 33391 7641 0 0 17 0 1 0 20550941 6594560 1251 4294967295 134512640 134702520 3221223952 3221223232 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6203/statm): 1610 1251 413 48 0 1562 0
[pid=6203] vsize: 6440
Current children cumulated CPU time (s) 410.34
Current children cumulated vsize (Kb) 8568

[startup+580.035 s]
Raw data (loadavg): 1.11 1.07 1.01 2/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) R 6200 6200 4060 0 -1 0 1451 0 0 0 34308 7668 0 0 17 0 1 0 20550941 7319552 1420 4294967295 134512640 134702520 3221223952 3221222848 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6203/statm): 1787 1420 413 48 0 1739 0
[pid=6203] vsize: 7148
Current children cumulated CPU time (s) 419.78
Current children cumulated vsize (Kb) 9276

[startup+590.036 s]
Raw data (loadavg): 1.09 1.06 1.00 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 1451 0 0 0 34947 7787 0 0 15 0 1 0 20550941 7319552 1420 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 1787 1420 413 48 0 1739 0
[pid=6203] vsize: 7148
Current children cumulated CPU time (s) 427.36
Current children cumulated vsize (Kb) 9276

[startup+600.037 s]
Raw data (loadavg): 1.08 1.06 1.00 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 1451 0 0 0 35737 7859 0 0 16 0 1 0 20550941 7319552 1420 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 1787 1420 413 48 0 1739 0
[pid=6203] vsize: 7148
Current children cumulated CPU time (s) 435.98
Current children cumulated vsize (Kb) 9276

[startup+610.038 s]
Raw data (loadavg): 1.06 1.06 1.00 2/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) R 6200 6200 4060 0 -1 0 1457 0 0 0 36610 7900 0 0 17 0 1 0 20550941 7319552 1426 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6203/statm): 1787 1426 413 48 0 1739 0
[pid=6203] vsize: 7148
Current children cumulated CPU time (s) 445.12
Current children cumulated vsize (Kb) 9276

[startup+620.038 s]
Raw data (loadavg): 1.05 1.06 1.00 2/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) R 6200 6200 4060 0 -1 0 1457 0 0 0 37486 7942 0 0 18 0 1 0 20550941 7319552 1426 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6203/statm): 1787 1426 413 48 0 1739 0
[pid=6203] vsize: 7148
Current children cumulated CPU time (s) 454.3
Current children cumulated vsize (Kb) 9276

[startup+630.039 s]
Raw data (loadavg): 1.04 1.05 1.00 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 1462 0 0 0 38385 7975 0 0 17 0 1 0 20550941 7319552 1431 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 1787 1431 413 48 0 1739 0
[pid=6203] vsize: 7148
Current children cumulated CPU time (s) 463.62
Current children cumulated vsize (Kb) 9276

[startup+640.04 s]
Raw data (loadavg): 1.04 1.05 1.00 2/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) R 6200 6200 4060 0 -1 0 1527 0 0 0 39317 8001 0 0 19 0 1 0 20550941 7659520 1496 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6203/statm): 1870 1496 413 48 0 1822 0
[pid=6203] vsize: 7480
Current children cumulated CPU time (s) 473.2
Current children cumulated vsize (Kb) 9608

[startup+650.04 s]
Raw data (loadavg): 1.03 1.05 1.00 2/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 1605 0 0 0 40231 8030 0 0 19 0 1 0 20550941 7946240 1574 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 1940 1574 413 48 0 1892 0
[pid=6203] vsize: 7760
Current children cumulated CPU time (s) 482.63
Current children cumulated vsize (Kb) 9888

[startup+660.042 s]
Raw data (loadavg): 1.03 1.05 1.00 2/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) R 6200 6200 4060 0 -1 0 1690 0 0 0 41141 8061 0 0 17 0 1 0 20550941 8364032 1659 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6203/statm): 2042 1659 413 48 0 1994 0
[pid=6203] vsize: 8168
Current children cumulated CPU time (s) 492.04
Current children cumulated vsize (Kb) 10296

[startup+670.042 s]
Raw data (loadavg): 1.02 1.05 1.00 2/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) R 6200 6200 4060 0 -1 0 1766 0 0 0 42089 8080 0 0 23 0 1 0 20550941 8687616 1735 4294967295 134512640 134702520 3221223952 3221223232 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6203/statm): 2121 1735 413 48 0 2073 0
[pid=6203] vsize: 8484
Current children cumulated CPU time (s) 501.71
Current children cumulated vsize (Kb) 10612

[startup+680.042 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 1836 0 0 0 42975 8120 0 0 16 0 1 0 20550941 8998912 1805 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 2197 1805 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 510.97
Current children cumulated vsize (Kb) 10916

[startup+690.043 s]
Raw data (loadavg): 1.01 1.04 1.00 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 1836 0 0 0 43588 8255 0 0 16 0 1 0 20550941 8998912 1805 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 2197 1805 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 518.45
Current children cumulated vsize (Kb) 10916

[startup+700.044 s]
Raw data (loadavg): 1.01 1.04 1.00 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 1836 0 0 0 44455 8299 0 0 16 0 1 0 20550941 8998912 1805 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6203/statm): 2197 1805 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 527.56
Current children cumulated vsize (Kb) 10916

[startup+710.045 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 1836 0 0 0 45334 8342 0 0 18 0 1 0 20550941 8998912 1805 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 2197 1805 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 536.78
Current children cumulated vsize (Kb) 10916

[startup+720.046 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) R 6200 6200 4060 0 -1 0 1836 0 0 0 46218 8380 0 0 18 0 1 0 20550941 8998912 1805 4294967295 134512640 134702520 3221223952 3221223232 134552128 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6203/statm): 2197 1805 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 546
Current children cumulated vsize (Kb) 10916

[startup+730.047 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 1836 0 0 0 47119 8415 0 0 17 0 1 0 20550941 8998912 1805 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 2197 1805 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 555.36
Current children cumulated vsize (Kb) 10916

[startup+740.048 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) R 6200 6200 4060 0 -1 0 1836 0 0 0 48059 8434 0 0 19 0 1 0 20550941 8998912 1805 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6203/statm): 2197 1805 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 564.95
Current children cumulated vsize (Kb) 10916

[startup+750.048 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 1836 0 0 0 48970 8464 0 0 18 0 1 0 20550941 8998912 1805 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 2197 1805 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 574.36
Current children cumulated vsize (Kb) 10916

[startup+760.049 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) R 6200 6200 4060 0 -1 0 1884 0 0 0 49912 8484 0 0 21 0 1 0 20550941 8998912 1853 4294967295 134512640 134702520 3221223952 3221223212 134564336 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6203/statm): 2197 1853 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 583.98
Current children cumulated vsize (Kb) 10916

[startup+770.049 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 1899 0 0 0 50835 8512 0 0 20 0 1 0 20550941 8998912 1868 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 2197 1868 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 593.49
Current children cumulated vsize (Kb) 10916

[startup+780.049 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) R 6200 6200 4060 0 -1 0 1906 0 0 0 51783 8531 0 0 25 0 1 0 20550941 8998912 1875 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6203/statm): 2197 1875 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 603.16
Current children cumulated vsize (Kb) 10916

[startup+790.049 s]
Raw data (loadavg): 1.08 1.04 1.01 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 1906 0 0 0 52525 8618 0 0 16 0 1 0 20550941 8998912 1875 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 2197 1875 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 611.45
Current children cumulated vsize (Kb) 10916

[startup+800.05 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 1906 0 0 0 53238 8709 0 0 17 0 1 0 20550941 8998912 1875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 2197 1875 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 619.49
Current children cumulated vsize (Kb) 10916

[startup+810.051 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) R 6200 6200 4060 0 -1 0 1906 0 0 0 53994 8793 0 0 16 0 1 0 20550941 8998912 1875 4294967295 134512640 134702520 3221223952 3221223024 134617472 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6203/statm): 2197 1875 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 627.89
Current children cumulated vsize (Kb) 10916

[startup+820.051 s]
Raw data (loadavg): 1.13 1.05 1.01 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 1906 0 0 0 54704 8894 0 0 15 0 1 0 20550941 8998912 1875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6203/statm): 2197 1875 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 636
Current children cumulated vsize (Kb) 10916

[startup+830.051 s]
Raw data (loadavg): 1.11 1.05 1.01 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 1906 0 0 0 55394 9001 0 0 16 0 1 0 20550941 8998912 1875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 2197 1875 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 643.97
Current children cumulated vsize (Kb) 10916

[startup+840.052 s]
Raw data (loadavg): 1.17 1.07 1.01 2/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) R 6200 6200 4060 0 -1 0 1906 0 0 0 55875 9173 0 0 16 0 1 0 20550941 8998912 1875 4294967295 134512640 134702520 3221223952 3221223232 134553052 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6203/statm): 2197 1875 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 650.5
Current children cumulated vsize (Kb) 10916

[startup+850.052 s]
Raw data (loadavg): 1.14 1.06 1.01 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 1906 0 0 0 56599 9266 0 0 16 0 1 0 20550941 8998912 1875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6203/statm): 2197 1875 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 658.67
Current children cumulated vsize (Kb) 10916

[startup+860.053 s]
Raw data (loadavg): 1.12 1.06 1.01 2/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) R 6200 6200 4060 0 -1 0 1906 0 0 0 57262 9380 0 0 16 0 1 0 20550941 8998912 1875 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6203/statm): 2197 1875 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 666.44
Current children cumulated vsize (Kb) 10916

[startup+870.053 s]
Raw data (loadavg): 1.18 1.07 1.01 2/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) R 6200 6200 4060 0 -1 0 1906 0 0 0 57950 9480 0 0 16 0 1 0 20550941 8998912 1875 4294967295 134512640 134702520 3221223952 3221223232 134553123 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6203/statm): 2197 1875 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 674.32
Current children cumulated vsize (Kb) 10916

[startup+880.053 s]
Raw data (loadavg): 1.15 1.07 1.01 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 1906 0 0 0 58480 9630 0 0 15 0 1 0 20550941 8998912 1875 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6203/statm): 2197 1875 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 681.12
Current children cumulated vsize (Kb) 10916

[startup+890.054 s]
Raw data (loadavg): 1.12 1.07 1.01 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 1906 0 0 0 59136 9745 0 0 15 0 1 0 20550941 8998912 1875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 2197 1875 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 688.83
Current children cumulated vsize (Kb) 10916

[startup+900.055 s]
Raw data (loadavg): 1.11 1.06 1.01 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 1908 0 0 0 59822 9845 0 0 16 0 1 0 20550941 8998912 1877 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 2197 1877 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 696.69
Current children cumulated vsize (Kb) 10916

[startup+910.056 s]
Raw data (loadavg): 1.09 1.06 1.01 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 1908 0 0 0 60545 9937 0 0 16 0 1 0 20550941 8998912 1877 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 2197 1877 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 704.84
Current children cumulated vsize (Kb) 10916

[startup+920.057 s]
Raw data (loadavg): 1.07 1.06 1.01 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 1908 0 0 0 61157 10069 0 0 15 0 1 0 20550941 8998912 1877 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 2197 1877 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 712.28
Current children cumulated vsize (Kb) 10916

[startup+930.057 s]
Raw data (loadavg): 1.06 1.06 1.01 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 1908 0 0 0 61714 10214 0 0 16 0 1 0 20550941 8998912 1877 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 2197 1877 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 719.3
Current children cumulated vsize (Kb) 10916

[startup+940.058 s]
Raw data (loadavg): 1.05 1.05 1.01 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 1908 0 0 0 62427 10309 0 0 15 0 1 0 20550941 8998912 1877 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6203/statm): 2197 1877 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 727.38
Current children cumulated vsize (Kb) 10916

[startup+950.059 s]
Raw data (loadavg): 1.04 1.05 1.01 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 1908 0 0 0 63119 10418 0 0 15 0 1 0 20550941 8998912 1877 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 2197 1877 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 735.39
Current children cumulated vsize (Kb) 10916

[startup+960.061 s]
Raw data (loadavg): 1.04 1.05 1.00 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 1908 0 0 0 63840 10517 0 0 15 0 1 0 20550941 8998912 1877 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6203/statm): 2197 1877 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 743.59
Current children cumulated vsize (Kb) 10916

[startup+970.061 s]
Raw data (loadavg): 1.03 1.05 1.00 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 1908 0 0 0 64309 10684 0 0 15 0 1 0 20550941 8998912 1877 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6203/statm): 2197 1877 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 749.95
Current children cumulated vsize (Kb) 10916

[startup+980.062 s]
Raw data (loadavg): 1.03 1.05 1.00 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 1908 0 0 0 64993 10791 0 0 16 0 1 0 20550941 8998912 1877 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 2197 1877 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 757.86
Current children cumulated vsize (Kb) 10916

[startup+990.063 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 1908 0 0 0 65722 10875 0 0 15 0 1 0 20550941 8998912 1877 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 2197 1877 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 765.99
Current children cumulated vsize (Kb) 10916

[startup+1000.06 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 1908 0 0 0 66411 10978 0 0 15 0 1 0 20550941 8998912 1877 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 2197 1877 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 773.91
Current children cumulated vsize (Kb) 10916

[startup+1010.06 s]
Raw data (loadavg): 1.01 1.04 1.00 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 1908 0 0 0 66962 11123 0 0 15 0 1 0 20550941 8998912 1877 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 2197 1877 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 780.87
Current children cumulated vsize (Kb) 10916

[startup+1020.06 s]
Raw data (loadavg): 1.09 1.06 1.01 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 1908 0 0 0 67608 11242 0 0 16 0 1 0 20550941 8998912 1877 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 2197 1877 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 788.52
Current children cumulated vsize (Kb) 10916

[startup+1030.07 s]
Raw data (loadavg): 1.08 1.05 1.00 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 1908 0 0 0 68335 11330 0 0 16 0 1 0 20550941 8998912 1877 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6203/statm): 2197 1877 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 796.67
Current children cumulated vsize (Kb) 10916

[startup+1040.07 s]
Raw data (loadavg): 1.06 1.05 1.00 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 1908 0 0 0 69022 11435 0 0 15 0 1 0 20550941 8998912 1877 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 2197 1877 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 804.59
Current children cumulated vsize (Kb) 10916

[startup+1050.07 s]
Raw data (loadavg): 1.05 1.05 1.00 2/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 1908 0 0 0 69753 11522 0 0 16 0 1 0 20550941 8998912 1877 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6203/statm): 2197 1877 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 812.77
Current children cumulated vsize (Kb) 10916

[startup+1060.07 s]
Raw data (loadavg): 1.05 1.05 1.00 2/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) R 6200 6200 4060 0 -1 0 1908 0 0 0 70242 11686 0 0 16 0 1 0 20550941 8998912 1877 4294967295 134512640 134702520 3221223952 3221223232 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6203/statm): 2197 1877 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 819.3
Current children cumulated vsize (Kb) 10916

[startup+1070.07 s]
Raw data (loadavg): 1.04 1.05 1.00 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 1908 0 0 0 70974 11775 0 0 16 0 1 0 20550941 8998912 1877 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6203/statm): 2197 1877 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 827.51
Current children cumulated vsize (Kb) 10916

[startup+1080.07 s]
Raw data (loadavg): 1.03 1.04 1.00 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 1908 0 0 0 71656 11882 0 0 15 0 1 0 20550941 8998912 1877 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 2197 1877 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 835.4
Current children cumulated vsize (Kb) 10916

[startup+1090.07 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) R 6200 6200 4060 0 -1 0 1908 0 0 0 72386 11974 0 0 15 0 1 0 20550941 8998912 1877 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6203/statm): 2197 1877 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 843.62
Current children cumulated vsize (Kb) 10916

[startup+1100.07 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 6203
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20550933 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 242 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6203/stat): 6203 (vallst) T 6200 6200 4060 0 -1 0 1908 0 0 0 73088 12073 0 0 15 0 1 0 20550941 8998912 1877 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6203/statm): 2197 1877 413 48 0 2149 0
[pid=6203] vsize: 8788
Current children cumulated CPU time (s) 851.63
Current children cumulated vsize (Kb) 10916
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=6203) exited with status: 2
New process pid=6204
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=6204) exited with status: 0
New process pid=6205
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+1110.07 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 227 0 0 0 154 85 0 0 16 0 1 0 20661542 2035712 197 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6205/statm): 497 197 413 48 0 449 0
[pid=6205] vsize: 1988
Current children cumulated CPU time (s) 857.37
Current children cumulated vsize (Kb) 4116

[startup+1120.07 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 261 0 0 0 582 267 0 0 17 0 1 0 20661542 2732032 231 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6205/statm): 667 231 413 48 0 619 0
[pid=6205] vsize: 2668
Current children cumulated CPU time (s) 863.47
Current children cumulated vsize (Kb) 4796

[startup+1130.07 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 266 0 0 0 1001 455 0 0 16 0 1 0 20661542 2732032 236 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6205/statm): 667 236 413 48 0 619 0
[pid=6205] vsize: 2668
Current children cumulated CPU time (s) 869.54
Current children cumulated vsize (Kb) 4796

[startup+1140.07 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) R 6200 6200 4060 0 -1 0 269 0 0 0 1531 608 0 0 19 0 1 0 20661542 2732032 239 4294967295 134512640 134702520 3221223712 3221223296 134561444 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 667 239 413 48 0 619 0
[pid=6205] vsize: 2668
Current children cumulated CPU time (s) 876.37
Current children cumulated vsize (Kb) 4796

[startup+1150.07 s]
Raw data (loadavg): 1.16 1.06 1.01 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 272 0 0 0 1950 791 0 0 18 0 1 0 20661542 2732032 242 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6205/statm): 667 242 413 48 0 619 0
[pid=6205] vsize: 2668
Current children cumulated CPU time (s) 882.39
Current children cumulated vsize (Kb) 4796

[startup+1160.07 s]
Raw data (loadavg): 1.14 1.06 1.01 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 275 0 0 0 2481 944 0 0 18 0 1 0 20661542 2732032 245 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6205/statm): 667 245 413 48 0 619 0
[pid=6205] vsize: 2668
Current children cumulated CPU time (s) 889.23
Current children cumulated vsize (Kb) 4796

[startup+1170.07 s]
Raw data (loadavg): 1.11 1.06 1.01 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 276 0 0 0 2911 1127 0 0 19 0 1 0 20661542 2732032 246 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6205/statm): 667 246 413 48 0 619 0
[pid=6205] vsize: 2668
Current children cumulated CPU time (s) 895.36
Current children cumulated vsize (Kb) 4796

[startup+1180.07 s]
Raw data (loadavg): 1.10 1.06 1.01 2/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) R 6200 6200 4060 0 -1 0 279 0 0 0 3450 1281 0 0 16 0 1 0 20661542 2732032 249 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 667 249 413 48 0 619 0
[pid=6205] vsize: 2668
Current children cumulated CPU time (s) 902.29
Current children cumulated vsize (Kb) 4796

[startup+1190.07 s]
Raw data (loadavg): 1.08 1.05 1.01 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 282 0 0 0 3872 1462 0 0 19 0 1 0 20661542 2732032 252 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6205/statm): 667 252 413 48 0 619 0
[pid=6205] vsize: 2668
Current children cumulated CPU time (s) 908.32
Current children cumulated vsize (Kb) 4796

[startup+1200.07 s]
Raw data (loadavg): 1.07 1.05 1.01 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 284 0 0 0 4422 1607 0 0 19 0 1 0 20661542 2732032 254 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6205/statm): 667 254 413 48 0 619 0
[pid=6205] vsize: 2668
Current children cumulated CPU time (s) 915.27
Current children cumulated vsize (Kb) 4796

[startup+1210.07 s]
Raw data (loadavg): 1.06 1.05 1.00 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 284 0 0 0 4844 1791 0 0 17 0 1 0 20661542 2732032 254 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6205/statm): 667 254 413 48 0 619 0
[pid=6205] vsize: 2668
Current children cumulated CPU time (s) 921.33
Current children cumulated vsize (Kb) 4796

[startup+1220.07 s]
Raw data (loadavg): 1.05 1.05 1.00 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 286 0 0 0 5433 1922 0 0 18 0 1 0 20661542 2732032 256 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6205/statm): 667 256 413 48 0 619 0
[pid=6205] vsize: 2668
Current children cumulated CPU time (s) 928.53
Current children cumulated vsize (Kb) 4796

[startup+1230.07 s]
Raw data (loadavg): 1.04 1.05 1.00 2/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) R 6200 6200 4060 0 -1 0 290 0 0 0 5917 2083 0 0 16 0 1 0 20661542 2732032 260 4294967295 134512640 134702520 3221223712 3221222480 134550691 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 667 260 413 48 0 619 0
[pid=6205] vsize: 2668
Current children cumulated CPU time (s) 934.98
Current children cumulated vsize (Kb) 4796

[startup+1240.07 s]
Raw data (loadavg): 1.03 1.04 1.00 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 293 0 0 0 6468 2224 0 0 20 0 1 0 20661542 2732032 263 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6205/statm): 667 263 413 48 0 619 0
[pid=6205] vsize: 2668
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (Kb) 4796

[startup+1250.08 s]
Raw data (loadavg): 1.03 1.04 1.00 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 297 0 0 0 7058 2363 0 0 17 0 1 0 20661542 2732032 267 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6205/statm): 667 267 413 48 0 619 0
[pid=6205] vsize: 2668
Current children cumulated CPU time (s) 949.19
Current children cumulated vsize (Kb) 4796

[startup+1260.08 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 298 0 0 0 7518 2532 0 0 19 0 1 0 20661542 2732032 268 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6205/statm): 667 268 413 48 0 619 0
[pid=6205] vsize: 2668
Current children cumulated CPU time (s) 955.48
Current children cumulated vsize (Kb) 4796

[startup+1270.08 s]
Raw data (loadavg): 1.10 1.05 1.01 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 299 0 0 0 8113 2664 0 0 19 0 1 0 20661542 2732032 269 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6205/statm): 667 269 413 48 0 619 0
[pid=6205] vsize: 2668
Current children cumulated CPU time (s) 962.75
Current children cumulated vsize (Kb) 4796

[startup+1280.08 s]
Raw data (loadavg): 1.08 1.05 1.00 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 301 0 0 0 8552 2843 0 0 16 0 1 0 20661542 2732032 271 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6205/statm): 667 271 413 48 0 619 0
[pid=6205] vsize: 2668
Current children cumulated CPU time (s) 968.93
Current children cumulated vsize (Kb) 4796

[startup+1290.08 s]
Raw data (loadavg): 1.07 1.05 1.00 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 304 0 0 0 9140 2978 0 0 17 0 1 0 20661542 2732032 274 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6205/statm): 667 274 413 48 0 619 0
[pid=6205] vsize: 2668
Current children cumulated CPU time (s) 976.16
Current children cumulated vsize (Kb) 4796

[startup+1300.08 s]
Raw data (loadavg): 1.06 1.05 1.00 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 305 0 0 0 9732 3113 0 0 17 0 1 0 20661542 2732032 275 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6205/statm): 667 275 413 48 0 619 0
[pid=6205] vsize: 2668
Current children cumulated CPU time (s) 983.43
Current children cumulated vsize (Kb) 4796

[startup+1310.08 s]
Raw data (loadavg): 1.05 1.05 1.00 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 307 0 0 0 10201 3286 0 0 20 0 1 0 20661542 2732032 277 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6205/statm): 667 277 413 48 0 619 0
[pid=6205] vsize: 2668
Current children cumulated CPU time (s) 989.85
Current children cumulated vsize (Kb) 4796

[startup+1320.08 s]
Raw data (loadavg): 1.04 1.04 1.00 2/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) R 6200 6200 4060 0 -1 0 309 0 0 0 10803 3415 0 0 19 0 1 0 20661542 2732032 279 4294967295 134512640 134702520 3221223712 3221222992 134553492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 667 279 413 48 0 619 0
[pid=6205] vsize: 2668
Current children cumulated CPU time (s) 997.16
Current children cumulated vsize (Kb) 4796

[startup+1330.08 s]
Raw data (loadavg): 1.03 1.04 1.00 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 310 0 0 0 11305 3579 0 0 16 0 1 0 20661542 2732032 280 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6205/statm): 667 280 413 48 0 619 0
[pid=6205] vsize: 2668
Current children cumulated CPU time (s) 1003.82
Current children cumulated vsize (Kb) 4796

[startup+1340.08 s]
Raw data (loadavg): 1.03 1.04 1.00 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 311 0 0 0 11885 3714 0 0 20 0 1 0 20661542 2732032 281 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6205/statm): 667 281 413 48 0 619 0
[pid=6205] vsize: 2668
Current children cumulated CPU time (s) 1010.97
Current children cumulated vsize (Kb) 4796

[startup+1350.08 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 316 0 0 0 12503 3849 0 0 19 0 1 0 20661542 2732032 286 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6205/statm): 667 286 413 48 0 619 0
[pid=6205] vsize: 2668
Current children cumulated CPU time (s) 1018.5
Current children cumulated vsize (Kb) 4796

[startup+1360.08 s]
Raw data (loadavg): 1.09 1.05 1.00 2/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) R 6200 6200 4060 0 -1 0 317 0 0 0 12966 4019 0 0 20 0 1 0 20661542 2859008 287 4294967295 134512640 134702520 3221223712 3221222992 134552537 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 698 287 413 48 0 650 0
[pid=6205] vsize: 2792
Current children cumulated CPU time (s) 1024.83
Current children cumulated vsize (Kb) 4920

[startup+1370.08 s]
Raw data (loadavg): 1.08 1.05 1.00 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 319 0 0 0 13580 4146 0 0 19 0 1 0 20661542 2859008 289 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6205/statm): 698 289 413 48 0 650 0
[pid=6205] vsize: 2792
Current children cumulated CPU time (s) 1032.24
Current children cumulated vsize (Kb) 4920

[startup+1380.08 s]
Raw data (loadavg): 1.07 1.05 1.00 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 324 0 0 0 14231 4259 0 0 21 0 1 0 20661542 2859008 294 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6205/statm): 698 294 413 48 0 650 0
[pid=6205] vsize: 2792
Current children cumulated CPU time (s) 1039.88
Current children cumulated vsize (Kb) 4920

[startup+1390.08 s]
Raw data (loadavg): 1.06 1.05 1.00 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 324 0 0 0 14678 4438 0 0 17 0 1 0 20661542 2859008 294 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6205/statm): 698 294 413 48 0 650 0
[pid=6205] vsize: 2792
Current children cumulated CPU time (s) 1046.14
Current children cumulated vsize (Kb) 4920

[startup+1400.08 s]
Raw data (loadavg): 1.05 1.05 1.00 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 325 0 0 0 15303 4561 0 0 20 0 1 0 20661542 2859008 295 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6205/statm): 698 295 413 48 0 650 0
[pid=6205] vsize: 2792
Current children cumulated CPU time (s) 1053.62
Current children cumulated vsize (Kb) 4920

[startup+1410.09 s]
Raw data (loadavg): 1.04 1.04 1.00 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 328 0 0 0 15929 4684 0 0 16 0 1 0 20661542 2859008 298 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6205/statm): 698 298 413 48 0 650 0
[pid=6205] vsize: 2792
Current children cumulated CPU time (s) 1061.11
Current children cumulated vsize (Kb) 4920

[startup+1420.09 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) R 6200 6200 4060 0 -1 0 331 0 0 0 16378 4868 0 0 18 0 1 0 20661542 2859008 301 4294967295 134512640 134702520 3221223712 3221222832 134573392 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 698 301 413 48 0 650 0
[pid=6205] vsize: 2792
Current children cumulated CPU time (s) 1067.44
Current children cumulated vsize (Kb) 4920

[startup+1430.09 s]
Raw data (loadavg): 1.03 1.04 1.00 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 332 0 0 0 17039 4973 0 0 20 0 1 0 20661542 2859008 302 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6205/statm): 698 302 413 48 0 650 0
[pid=6205] vsize: 2792
Current children cumulated CPU time (s) 1075.1
Current children cumulated vsize (Kb) 4920

[startup+1440.09 s]
Raw data (loadavg): 1.10 1.05 1.01 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 333 0 0 0 17661 5095 0 0 17 0 1 0 20661542 2859008 303 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6205/statm): 698 303 413 48 0 650 0
[pid=6205] vsize: 2792
Current children cumulated CPU time (s) 1082.54
Current children cumulated vsize (Kb) 4920

[startup+1450.09 s]
Raw data (loadavg): 1.09 1.05 1.00 2/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) R 6200 6200 4060 0 -1 0 334 0 0 0 18125 5270 0 0 19 0 1 0 20661542 2859008 304 4294967295 134512640 134702520 3221223712 3221222992 134553340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 698 304 413 48 0 650 0
[pid=6205] vsize: 2792
Current children cumulated CPU time (s) 1088.93
Current children cumulated vsize (Kb) 4920

[startup+1460.09 s]
Raw data (loadavg): 1.07 1.05 1.00 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 337 0 0 0 18784 5381 0 0 18 0 1 0 20661542 2859008 307 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6205/statm): 698 307 413 48 0 650 0
[pid=6205] vsize: 2792
Current children cumulated CPU time (s) 1096.63
Current children cumulated vsize (Kb) 4920

[startup+1470.09 s]
Raw data (loadavg): 1.06 1.05 1.00 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 337 0 0 0 19428 5502 0 0 17 0 1 0 20661542 2859008 307 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6205/statm): 698 307 413 48 0 650 0
[pid=6205] vsize: 2792
Current children cumulated CPU time (s) 1104.28
Current children cumulated vsize (Kb) 4920

[startup+1480.09 s]
Raw data (loadavg): 1.12 1.06 1.01 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 339 0 0 0 19896 5679 0 0 18 0 1 0 20661542 2859008 309 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6205/statm): 698 309 413 48 0 650 0
[pid=6205] vsize: 2792
Current children cumulated CPU time (s) 1110.73
Current children cumulated vsize (Kb) 4920

[startup+1490.09 s]
Raw data (loadavg): 1.11 1.06 1.01 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 339 0 0 0 20523 5804 0 0 18 0 1 0 20661542 2859008 309 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6205/statm): 698 309 413 48 0 650 0
[pid=6205] vsize: 2792
Current children cumulated CPU time (s) 1118.25
Current children cumulated vsize (Kb) 4920

[startup+1500.09 s]
Raw data (loadavg): 1.09 1.06 1.00 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 341 0 0 0 21180 5918 0 0 20 0 1 0 20661542 2859008 311 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6205/statm): 698 311 413 48 0 650 0
[pid=6205] vsize: 2792
Current children cumulated CPU time (s) 1125.96
Current children cumulated vsize (Kb) 4920

[startup+1510.09 s]
Raw data (loadavg): 1.07 1.06 1.00 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 341 0 0 0 21644 6095 0 0 20 0 1 0 20661542 2859008 311 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6205/statm): 698 311 413 48 0 650 0
[pid=6205] vsize: 2792
Current children cumulated CPU time (s) 1132.37
Current children cumulated vsize (Kb) 4920

[startup+1520.09 s]
Raw data (loadavg): 1.06 1.05 1.00 2/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 343 0 0 0 22303 6204 0 0 15 0 1 0 20661542 2859008 313 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6205/statm): 698 313 413 48 0 650 0
[pid=6205] vsize: 2792
Current children cumulated CPU time (s) 1140.05
Current children cumulated vsize (Kb) 4920

[startup+1530.09 s]
Raw data (loadavg): 1.13 1.07 1.01 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 348 0 0 0 22962 6318 0 0 15 0 1 0 20661542 2859008 318 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6205/statm): 698 318 413 48 0 650 0
[pid=6205] vsize: 2792
Current children cumulated CPU time (s) 1147.78
Current children cumulated vsize (Kb) 4920

[startup+1540.09 s]
Raw data (loadavg): 1.11 1.06 1.01 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 349 0 0 0 23493 6472 0 0 15 0 1 0 20661542 2859008 319 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6205/statm): 698 319 413 48 0 650 0
[pid=6205] vsize: 2792
Current children cumulated CPU time (s) 1154.63
Current children cumulated vsize (Kb) 4920

[startup+1550.09 s]
Raw data (loadavg): 1.09 1.06 1.01 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 350 0 0 0 24095 6606 0 0 15 0 1 0 20661542 2859008 320 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6205/statm): 698 320 413 48 0 650 0
[pid=6205] vsize: 2792
Current children cumulated CPU time (s) 1161.99
Current children cumulated vsize (Kb) 4920

[startup+1560.1 s]
Raw data (loadavg): 1.08 1.06 1.00 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 352 0 0 0 24756 6719 0 0 15 0 1 0 20661542 2859008 322 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6205/statm): 698 322 413 48 0 650 0
[pid=6205] vsize: 2792
Current children cumulated CPU time (s) 1169.73
Current children cumulated vsize (Kb) 4920

[startup+1570.1 s]
Raw data (loadavg): 1.06 1.06 1.00 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 353 0 0 0 25417 6828 0 0 15 0 1 0 20661542 2859008 323 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6205/statm): 698 323 413 48 0 650 0
[pid=6205] vsize: 2792
Current children cumulated CPU time (s) 1177.43
Current children cumulated vsize (Kb) 4920

[startup+1580.1 s]
Raw data (loadavg): 1.05 1.05 1.00 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 355 0 0 0 25892 7001 0 0 15 0 1 0 20661542 2859008 325 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6205/statm): 698 325 413 48 0 650 0
[pid=6205] vsize: 2792
Current children cumulated CPU time (s) 1183.91
Current children cumulated vsize (Kb) 4920

[startup+1590.1 s]
Raw data (loadavg): 1.04 1.05 1.00 2/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) R 6200 6200 4060 0 -1 0 356 0 0 0 26559 7108 0 0 16 0 1 0 20661542 2859008 326 4294967295 134512640 134702520 3221223712 3221222992 134553820 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 698 326 413 48 0 650 0
[pid=6205] vsize: 2792
Current children cumulated CPU time (s) 1191.65
Current children cumulated vsize (Kb) 4920

[startup+1600.1 s]
Raw data (loadavg): 1.04 1.05 1.00 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 357 0 0 0 27228 7217 0 0 15 0 1 0 20661542 2859008 327 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6205/statm): 698 327 413 48 0 650 0
[pid=6205] vsize: 2792
Current children cumulated CPU time (s) 1199.43
Current children cumulated vsize (Kb) 4920

[startup+1610.1 s]
Raw data (loadavg): 1.11 1.07 1.01 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 358 0 0 0 27743 7375 0 0 16 0 1 0 20661542 2859008 328 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6205/statm): 698 328 413 48 0 650 0
[pid=6205] vsize: 2792
Current children cumulated CPU time (s) 1206.16
Current children cumulated vsize (Kb) 4920



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1610.1 s]
Raw data (loadavg): 1.11 1.07 1.01 1/56 6205
Raw data (/proc/6200/stat): 6200 (vallstSAT2005PB) S 6199 6200 4060 0 -1 0 378 2283 0 0 1 2 73294 12201 17 0 1 0 20550933 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6200/statm): 532 248 485 147 0 385 0
[pid=6200] vsize: 2128
Raw data (/proc/6205/stat): 6205 (vallst) T 6200 6200 4060 0 -1 0 358 0 0 0 27743 7375 0 0 16 0 1 0 20661542 2859008 328 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6205/statm): 698 328 413 48 0 650 0
[pid=6205] vsize: 2792
Current children cumulated CPU time (s) 1206.16
Current children cumulated vsize (Kb) 4920

Sending SIGTERM to -6200
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=6207
New process pid=6208
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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
One traced child (pid=6205) exited with status: 3
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/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/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/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/1693/stat
open syscall for file /proc/1693/status
open syscall for file /proc/1693/cmdline
open syscall for file /proc/1693/environ
open syscall for file /proc/1695/stat
open syscall for file /proc/1695/status
open syscall for file /proc/1695/cmdline
open syscall for file /proc/1695/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)
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/6161/stat
open syscall for file /proc/6161/status
open syscall for file /proc/6161/cmdline
open syscall for file /proc/6161/environ
open syscall for file /proc/6199/stat
open syscall for file /proc/6199/status
open syscall for file /proc/6199/cmdline
open syscall for file /proc/6199/environ
open syscall for file /proc/6200/stat
open syscall for file /proc/6200/status
open syscall for file /proc/6200/cmdline
open syscall for file /proc/6200/environ
open syscall for file /proc/6207/stat
open syscall for file /proc/6207/status
open syscall for file /proc/6207/cmdline
open syscall for file /proc/6207/environ
open syscall for file /proc/6208/stat
open syscall for file /proc/6208/status
open syscall for file /proc/6208/cmdline
open syscall for file /proc/6208/environ
One traced child (pid=6207) exited with status: 0
One traced child (pid=6208) exited with status: 0
New process pid=6209
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=6209) exited with status: 0
New process pid=6210
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=6210) exited with status: 0
One traced child (pid=6200) 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): 1610.58
CPU time (s): 1206.28
CPU user time (s): 1010.43
CPU system time (s): 195.85
CPU usage (%): 74.8976
Max. virtual memory (cumulated for all children) (Kb): 10916

Verifier Data

ERROR: no interpretation found !