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
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