1:
Interupt; Current theory and settings are copied here:
/tmp/vallst_sh_out_theory.vnf
/tmp/vallst_sh_changing_setting.options
cp: cannot stat `/tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options': No such file or directory
Error: changing-setting file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options couldn't be opened.
No such file or directory
seed: 0
Nr of vars set: 24036 (#equs: 0)
Nr of vars set: 24036 (#equs: 0)
Interupt request received.
#decisions: 3400487; #end-nodes: 5736;
#proof improvement attempts: 0; #restarts: 65
Current batch, end-nodes: 0 / 96 (96)
#axs: 5301, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
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: 46217 (#equs: 0)
Time taken: 20 min, 2 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/5947/stat): 5947 (vallstSAT2005PB) R 5946 5947 4060 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20384605 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5947/statm): 174 3 169 147 0 27 0
[pid=5947] 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=5948
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=5948) exited with status: 0
New process pid=5949
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=5949) exited with status: 0
New process pid=5950
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-n3709.opb
[startup+10.0035 s]
Raw data (loadavg): 1.00 1.06 1.01 2/56 5950
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 5445 0 0 0 962 20 0 0 25 0 1 0 20384612 28610560 5092 4294967295 134512640 134702520 3221223952 3221223364 134550198 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 6985 5092 413 48 0 6937 0
[pid=5950] vsize: 27940
Current children cumulated CPU time (s) 9.84
Current children cumulated vsize (Kb) 30068
[startup+20.0041 s]
Raw data (loadavg): 1.15 1.09 1.02 2/56 5952
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 5445 0 0 0 1962 20 0 0 25 0 1 0 20384612 28610560 5092 4294967295 134512640 134702520 3221223952 3221223364 134550192 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 6985 5092 413 48 0 6937 0
[pid=5950] vsize: 27940
Current children cumulated CPU time (s) 19.84
Current children cumulated vsize (Kb) 30068
[startup+30.0037 s]
Raw data (loadavg): 1.12 1.08 1.01 2/56 5954
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 5445 0 0 0 2963 20 0 0 25 0 1 0 20384612 28610560 5092 4294967295 134512640 134702520 3221223952 3221223364 134550206 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 6985 5092 413 48 0 6937 0
[pid=5950] vsize: 27940
Current children cumulated CPU time (s) 29.85
Current children cumulated vsize (Kb) 30068
[startup+40.0044 s]
Raw data (loadavg): 1.10 1.08 1.01 2/56 5956
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 5445 0 0 0 3963 20 0 0 25 0 1 0 20384612 28610560 5092 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 6985 5092 413 48 0 6937 0
[pid=5950] vsize: 27940
Current children cumulated CPU time (s) 39.85
Current children cumulated vsize (Kb) 30068
[startup+50.0049 s]
Raw data (loadavg): 1.09 1.08 1.01 2/56 5956
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 5445 0 0 0 4963 20 0 0 25 0 1 0 20384612 28610560 5092 4294967295 134512640 134702520 3221223952 3221223364 134550192 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 6985 5092 413 48 0 6937 0
[pid=5950] vsize: 27940
Current children cumulated CPU time (s) 49.85
Current children cumulated vsize (Kb) 30068
[startup+60.0055 s]
Raw data (loadavg): 1.07 1.08 1.01 2/56 5956
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 5445 0 0 0 5963 20 0 0 25 0 1 0 20384612 28610560 5092 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 6985 5092 413 48 0 6937 0
[pid=5950] vsize: 27940
Current children cumulated CPU time (s) 59.85
Current children cumulated vsize (Kb) 30068
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+70.0062 s]
Raw data (loadavg): 1.06 1.07 1.01 2/56 5956
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 6625 0 0 0 6946 30 0 0 25 0 1 0 20384612 28893184 6038 4294967295 134512640 134702520 3221223952 3221220268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 7054 6038 413 48 0 7006 0
[pid=5950] vsize: 28216
Current children cumulated CPU time (s) 69.78
Current children cumulated vsize (Kb) 30344
[startup+80.0058 s]
Raw data (loadavg): 1.05 1.07 1.01 2/56 5956
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 6648 0 0 0 7946 31 0 0 25 0 1 0 20384612 28987392 6061 4294967295 134512640 134702520 3221223952 3221123648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 7077 6061 413 48 0 7029 0
[pid=5950] vsize: 28308
Current children cumulated CPU time (s) 79.79
Current children cumulated vsize (Kb) 30436
[startup+90.0064 s]
Raw data (loadavg): 1.04 1.07 1.01 2/56 5956
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 6673 0 0 0 8946 31 0 0 25 0 1 0 20384612 29089792 6086 4294967295 134512640 134702520 3221223952 3221022508 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 7102 6086 413 48 0 7054 0
[pid=5950] vsize: 28408
Current children cumulated CPU time (s) 89.79
Current children cumulated vsize (Kb) 30536
[startup+100.007 s]
Raw data (loadavg): 1.04 1.06 1.01 2/56 5956
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 6698 0 0 0 9946 31 0 0 25 0 1 0 20384612 29192192 6111 4294967295 134512640 134702520 3221223952 3220918348 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 7127 6111 413 48 0 7079 0
[pid=5950] vsize: 28508
Current children cumulated CPU time (s) 99.79
Current children cumulated vsize (Kb) 30636
[startup+110.009 s]
Raw data (loadavg): 1.03 1.06 1.01 2/56 5956
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 6725 0 0 0 10946 31 0 0 25 0 1 0 20384612 29302784 6138 4294967295 134512640 134702520 3221223952 3220810848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 7154 6138 413 48 0 7106 0
[pid=5950] vsize: 28616
Current children cumulated CPU time (s) 109.79
Current children cumulated vsize (Kb) 30744
[startup+120.009 s]
Raw data (loadavg): 1.02 1.06 1.01 2/56 5956
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 6752 0 0 0 11946 31 0 0 25 0 1 0 20384612 29413376 6165 4294967295 134512640 134702520 3221223952 3220699328 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 7181 6165 413 48 0 7133 0
[pid=5950] vsize: 28724
Current children cumulated CPU time (s) 119.79
Current children cumulated vsize (Kb) 30852
[startup+130.009 s]
Raw data (loadavg): 1.02 1.06 1.00 2/56 5956
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 6780 0 0 0 12946 31 0 0 25 0 1 0 20384612 29528064 6193 4294967295 134512640 134702520 3221223952 3220583788 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 7209 6193 413 48 0 7161 0
[pid=5950] vsize: 28836
Current children cumulated CPU time (s) 129.79
Current children cumulated vsize (Kb) 30964
[startup+140.009 s]
Raw data (loadavg): 1.02 1.05 1.00 2/56 5956
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 6809 0 0 0 13946 31 0 0 25 0 1 0 20384612 29646848 6222 4294967295 134512640 134702520 3221223952 3220463628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 7238 6222 413 48 0 7190 0
[pid=5950] vsize: 28952
Current children cumulated CPU time (s) 139.79
Current children cumulated vsize (Kb) 31080
[startup+150.01 s]
Raw data (loadavg): 1.01 1.05 1.00 2/56 5956
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 6840 0 0 0 14946 32 0 0 25 0 1 0 20384612 29773824 6253 4294967295 134512640 134702520 3221223952 3220338208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 7269 6253 413 48 0 7221 0
[pid=5950] vsize: 29076
Current children cumulated CPU time (s) 149.8
Current children cumulated vsize (Kb) 31204
[startup+160.011 s]
Raw data (loadavg): 1.01 1.05 1.00 2/56 5956
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 6872 0 0 0 15946 32 0 0 25 0 1 0 20384612 29904896 6285 4294967295 134512640 134702520 3221223952 3220206688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 7301 6285 413 48 0 7253 0
[pid=5950] vsize: 29204
Current children cumulated CPU time (s) 159.8
Current children cumulated vsize (Kb) 31332
[startup+170.011 s]
Raw data (loadavg): 1.01 1.05 1.00 2/56 5956
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 6906 0 0 0 16946 32 0 0 25 0 1 0 20384612 30044160 6319 4294967295 134512640 134702520 3221223952 3220068428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 7335 6319 413 48 0 7287 0
[pid=5950] vsize: 29340
Current children cumulated CPU time (s) 169.8
Current children cumulated vsize (Kb) 31468
[startup+180.012 s]
Raw data (loadavg): 1.01 1.05 1.00 2/56 5956
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 6942 0 0 0 17946 32 0 0 25 0 1 0 20384612 30191616 6355 4294967295 134512640 134702520 3221223952 3219922348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 7371 6355 413 48 0 7323 0
[pid=5950] vsize: 29484
Current children cumulated CPU time (s) 179.8
Current children cumulated vsize (Kb) 31612
[startup+190.012 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 5956
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 6979 0 0 0 18946 32 0 0 25 0 1 0 20384612 30343168 6392 4294967295 134512640 134702520 3221223952 3219767308 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 7408 6392 413 48 0 7360 0
[pid=5950] vsize: 29632
Current children cumulated CPU time (s) 189.8
Current children cumulated vsize (Kb) 31760
[startup+200.013 s]
Raw data (loadavg): 1.00 1.04 1.00 2/56 5956
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 7020 0 0 0 19946 32 0 0 25 0 1 0 20384612 30511104 6433 4294967295 134512640 134702520 3221223952 3219601088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 7449 6433 413 48 0 7401 0
[pid=5950] vsize: 29796
Current children cumulated CPU time (s) 199.8
Current children cumulated vsize (Kb) 31924
[startup+210.014 s]
Raw data (loadavg): 1.00 1.04 1.00 2/56 5956
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 7064 0 0 0 20946 32 0 0 25 0 1 0 20384612 30691328 6477 4294967295 134512640 134702520 3221223952 3219420448 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 7493 6477 413 48 0 7445 0
[pid=5950] vsize: 29972
Current children cumulated CPU time (s) 209.8
Current children cumulated vsize (Kb) 32100
[startup+220.014 s]
Raw data (loadavg): 1.00 1.04 1.00 2/56 5956
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 7113 0 0 0 21946 32 0 0 25 0 1 0 20384612 30892032 6526 4294967295 134512640 134702520 3221223952 3219221888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 7542 6526 413 48 0 7494 0
[pid=5950] vsize: 30168
Current children cumulated CPU time (s) 219.8
Current children cumulated vsize (Kb) 32296
[startup+230.015 s]
Raw data (loadavg): 1.00 1.04 1.00 2/56 5956
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 7167 0 0 0 22946 32 0 0 25 0 1 0 20384612 31113216 6580 4294967295 134512640 134702520 3221223952 3218999148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 7596 6580 413 48 0 7548 0
[pid=5950] vsize: 30384
Current children cumulated CPU time (s) 229.8
Current children cumulated vsize (Kb) 32512
[startup+240.015 s]
Raw data (loadavg): 1.00 1.04 1.00 2/56 5956
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 7230 0 0 0 23946 32 0 0 25 0 1 0 20384612 31371264 6643 4294967295 134512640 134702520 3221223952 3218740128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 7659 6643 413 48 0 7611 0
[pid=5950] vsize: 30636
Current children cumulated CPU time (s) 239.8
Current children cumulated vsize (Kb) 32764
[startup+250.016 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5956
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 7309 0 0 0 24946 32 0 0 25 0 1 0 20384612 31694848 6722 4294967295 134512640 134702520 3221223952 3218418688 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 7738 6722 413 48 0 7690 0
[pid=5950] vsize: 30952
Current children cumulated CPU time (s) 249.8
Current children cumulated vsize (Kb) 33080
[startup+260.018 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5956
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 7427 0 0 0 25946 33 0 0 25 0 1 0 20384612 32178176 6840 4294967295 134512640 134702520 3221223952 3217935648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 7856 6840 413 48 0 7808 0
[pid=5950] vsize: 31424
Current children cumulated CPU time (s) 259.81
Current children cumulated vsize (Kb) 33552
[startup+270.018 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5956
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 7715 0 0 0 26479 176 0 0 16 0 1 0 20384612 57139200 7128 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 13950 7128 413 48 0 13902 0
[pid=5950] vsize: 55800
Current children cumulated CPU time (s) 266.57
Current children cumulated vsize (Kb) 57928
[startup+280.018 s]
Raw data (loadavg): 1.08 1.04 1.01 1/56 5956
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) T 5947 5947 4060 0 -1 0 7826 0 0 0 26716 415 0 0 16 0 1 0 20384612 57139200 7239 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5950/statm): 13950 7239 413 48 0 13902 0
[pid=5950] vsize: 55800
Current children cumulated CPU time (s) 271.33
Current children cumulated vsize (Kb) 57928
[startup+290.019 s]
Raw data (loadavg): 1.22 1.08 1.02 1/56 5956
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) T 5947 5947 4060 0 -1 0 7826 0 0 0 26939 658 0 0 16 0 1 0 20384612 57139200 7239 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5950/statm): 13950 7239 413 48 0 13902 0
[pid=5950] vsize: 55800
Current children cumulated CPU time (s) 275.99
Current children cumulated vsize (Kb) 57928
[startup+300.021 s]
Raw data (loadavg): 1.19 1.07 1.01 1/56 5956
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) T 5947 5947 4060 0 -1 0 8346 0 0 0 27196 899 0 0 16 0 1 0 20384612 59265024 7759 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14469 7759 413 48 0 14421 0
[pid=5950] vsize: 57876
Current children cumulated CPU time (s) 280.97
Current children cumulated vsize (Kb) 60004
[startup+310.022 s]
Raw data (loadavg): 1.16 1.07 1.01 2/56 5956
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8368 0 0 0 27815 1015 0 0 25 0 1 0 20384612 59355136 7781 4294967295 134512640 134702520 3221223952 3221180048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7781 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 288.32
Current children cumulated vsize (Kb) 60092
[startup+320.022 s]
Raw data (loadavg): 1.13 1.07 1.01 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8368 0 0 0 28815 1016 0 0 25 0 1 0 20384612 59355136 7781 4294967295 134512640 134702520 3221223952 3221086428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7781 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 298.33
Current children cumulated vsize (Kb) 60092
[startup+330.023 s]
Raw data (loadavg): 1.11 1.06 1.01 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8368 0 0 0 29815 1016 0 0 25 0 1 0 20384612 59355136 7781 4294967295 134512640 134702520 3221223952 3220990448 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7781 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 308.33
Current children cumulated vsize (Kb) 60092
[startup+340.023 s]
Raw data (loadavg): 1.09 1.06 1.01 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8368 0 0 0 30815 1016 0 0 25 0 1 0 20384612 59355136 7781 4294967295 134512640 134702520 3221223952 3220891728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7781 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 318.33
Current children cumulated vsize (Kb) 60092
[startup+350.024 s]
Raw data (loadavg): 1.08 1.06 1.01 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8368 0 0 0 31815 1016 0 0 25 0 1 0 20384612 59355136 7781 4294967295 134512640 134702520 3221223952 3220790268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7781 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 328.33
Current children cumulated vsize (Kb) 60092
[startup+360.026 s]
Raw data (loadavg): 1.07 1.06 1.01 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8368 0 0 0 32815 1016 0 0 25 0 1 0 20384612 59355136 7781 4294967295 134512640 134702520 3221223952 3220685628 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7781 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 338.33
Current children cumulated vsize (Kb) 60092
[startup+370.026 s]
Raw data (loadavg): 1.06 1.05 1.01 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8368 0 0 0 33815 1016 0 0 25 0 1 0 20384612 59355136 7781 4294967295 134512640 134702520 3221223952 3220577788 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7781 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 348.33
Current children cumulated vsize (Kb) 60092
[startup+380.026 s]
Raw data (loadavg): 1.05 1.05 1.01 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8368 0 0 0 34815 1016 0 0 25 0 1 0 20384612 59355136 7781 4294967295 134512640 134702520 3221223952 3220466268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7781 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 358.33
Current children cumulated vsize (Kb) 60092
[startup+390.026 s]
Raw data (loadavg): 1.04 1.05 1.01 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8368 0 0 0 35815 1016 0 0 25 0 1 0 20384612 59355136 7781 4294967295 134512640 134702520 3221223952 3220350428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7781 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 368.33
Current children cumulated vsize (Kb) 60092
[startup+400.027 s]
Raw data (loadavg): 1.03 1.05 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8368 0 0 0 36815 1016 0 0 25 0 1 0 20384612 59355136 7781 4294967295 134512640 134702520 3221223952 3220230128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7781 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 378.33
Current children cumulated vsize (Kb) 60092
[startup+410.028 s]
Raw data (loadavg): 1.03 1.05 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8368 0 0 0 37815 1016 0 0 25 0 1 0 20384612 59355136 7781 4294967295 134512640 134702520 3221223952 3220104668 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7781 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 388.33
Current children cumulated vsize (Kb) 60092
[startup+420.028 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8368 0 0 0 38815 1016 0 0 25 0 1 0 20384612 59355136 7781 4294967295 134512640 134702520 3221223952 3219973308 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7781 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 398.33
Current children cumulated vsize (Kb) 60092
[startup+430.028 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8368 0 0 0 39816 1016 0 0 25 0 1 0 20384612 59355136 7781 4294967295 134512640 134702520 3221223952 3219835248 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7781 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 408.34
Current children cumulated vsize (Kb) 60092
[startup+440.028 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8368 0 0 0 40816 1016 0 0 25 0 1 0 20384612 59355136 7781 4294967295 134512640 134702520 3221223952 3219689628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7781 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 418.34
Current children cumulated vsize (Kb) 60092
[startup+450.029 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8368 0 0 0 41816 1016 0 0 25 0 1 0 20384612 59355136 7781 4294967295 134512640 134702520 3221223952 3219534428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7781 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 428.34
Current children cumulated vsize (Kb) 60092
[startup+460.03 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8368 0 0 0 42816 1016 0 0 25 0 1 0 20384612 59355136 7781 4294967295 134512640 134702520 3221223952 3219368028 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7781 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 438.34
Current children cumulated vsize (Kb) 60092
[startup+470.03 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8368 0 0 0 43816 1016 0 0 25 0 1 0 20384612 59355136 7781 4294967295 134512640 134702520 3221223952 3219187708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7781 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 448.34
Current children cumulated vsize (Kb) 60092
[startup+480.031 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8368 0 0 0 44816 1016 0 0 25 0 1 0 20384612 59355136 7781 4294967295 134512640 134702520 3221223952 3218989632 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7781 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 458.34
Current children cumulated vsize (Kb) 60092
[startup+490.031 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8368 0 0 0 45816 1016 0 0 25 0 1 0 20384612 59355136 7781 4294967295 134512640 134702520 3221223952 3218767388 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7781 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 468.34
Current children cumulated vsize (Kb) 60092
[startup+500.032 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8368 0 0 0 46816 1016 0 0 25 0 1 0 20384612 59355136 7781 4294967295 134512640 134702520 3221223952 3218508848 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7781 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 478.34
Current children cumulated vsize (Kb) 60092
[startup+510.033 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8368 0 0 0 47816 1016 0 0 25 0 1 0 20384612 59355136 7781 4294967295 134512640 134702520 3221223952 3218186448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7781 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 488.34
Current children cumulated vsize (Kb) 60092
[startup+520.033 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8368 0 0 0 48817 1016 0 0 25 0 1 0 20384612 59355136 7781 4294967295 134512640 134702520 3221223952 3217675388 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7781 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 498.35
Current children cumulated vsize (Kb) 60092
[startup+530.033 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) T 5947 5947 4060 0 -1 0 8368 0 0 0 49133 1236 0 0 16 0 1 0 20384612 59355136 7781 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7781 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 503.71
Current children cumulated vsize (Kb) 60092
[startup+540.034 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8368 0 0 0 49364 1474 0 0 16 0 1 0 20384612 59355136 7781 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7781 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 508.4
Current children cumulated vsize (Kb) 60092
[startup+550.035 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) T 5947 5947 4060 0 -1 0 8368 0 0 0 49586 1717 0 0 16 0 1 0 20384612 59355136 7781 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7781 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 513.05
Current children cumulated vsize (Kb) 60092
[startup+560.036 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) T 5947 5947 4060 0 -1 0 8368 0 0 0 49831 1949 0 0 16 0 1 0 20384612 59355136 7781 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7781 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 517.82
Current children cumulated vsize (Kb) 60092
[startup+570.036 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 50725 1981 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3221144828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 527.08
Current children cumulated vsize (Kb) 60092
[startup+580.036 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 51725 1981 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3221049328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 537.08
Current children cumulated vsize (Kb) 60092
[startup+590.036 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 52725 1981 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3220951228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 547.08
Current children cumulated vsize (Kb) 60092
[startup+600.037 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 53725 1981 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3220850428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 557.08
Current children cumulated vsize (Kb) 60092
[startup+610.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 54725 1981 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3220746608 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 567.08
Current children cumulated vsize (Kb) 60092
[startup+620.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 55726 1981 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3220639388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 577.09
Current children cumulated vsize (Kb) 60092
[startup+630.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 56726 1981 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3220528828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 587.09
Current children cumulated vsize (Kb) 60092
[startup+640.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 57726 1981 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3220414268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 597.09
Current children cumulated vsize (Kb) 60092
[startup+650.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 58726 1981 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3220295248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 607.09
Current children cumulated vsize (Kb) 60092
[startup+660.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 59727 1981 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3220171228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 617.1
Current children cumulated vsize (Kb) 60092
[startup+670.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 60727 1981 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3220041648 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 627.1
Current children cumulated vsize (Kb) 60092
[startup+680.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 61727 1981 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3219905628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 637.1
Current children cumulated vsize (Kb) 60092
[startup+690.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 62727 1981 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3219762428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 647.1
Current children cumulated vsize (Kb) 60092
[startup+700.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 63727 1981 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3219610428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 657.1
Current children cumulated vsize (Kb) 60092
[startup+710.041 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 64728 1981 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3219447888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 667.11
Current children cumulated vsize (Kb) 60092
[startup+720.041 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 65728 1981 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3219272688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 677.11
Current children cumulated vsize (Kb) 60092
[startup+730.041 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 66728 1981 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3219081328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 687.11
Current children cumulated vsize (Kb) 60092
[startup+740.041 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 67728 1981 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3218868508 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 697.11
Current children cumulated vsize (Kb) 60092
[startup+750.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 68728 1981 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3218625168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 707.11
Current children cumulated vsize (Kb) 60092
[startup+760.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 69729 1981 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3218331728 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 717.12
Current children cumulated vsize (Kb) 60092
[startup+770.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 70729 1981 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3217934928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 727.12
Current children cumulated vsize (Kb) 60092
[startup+780.043 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) T 5947 5947 4060 0 -1 0 8400 0 0 0 71350 2097 0 0 16 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 734.49
Current children cumulated vsize (Kb) 60092
[startup+790.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 71598 2334 0 0 16 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 739.34
Current children cumulated vsize (Kb) 60092
[startup+800.044 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) T 5947 5947 4060 0 -1 0 8400 0 0 0 71839 2571 0 0 16 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 744.12
Current children cumulated vsize (Kb) 60092
[startup+810.046 s]
Raw data (loadavg): 1.08 1.02 1.01 1/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) T 5947 5947 4060 0 -1 0 8400 0 0 0 72070 2809 0 0 16 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 748.81
Current children cumulated vsize (Kb) 60092
[startup+820.046 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 72633 2942 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3221184348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 755.77
Current children cumulated vsize (Kb) 60092
[startup+830.046 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 73634 2942 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3221089788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 765.78
Current children cumulated vsize (Kb) 60092
[startup+840.048 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 74634 2942 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3220992688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 775.78
Current children cumulated vsize (Kb) 60092
[startup+850.047 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 75634 2942 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3220893148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 785.78
Current children cumulated vsize (Kb) 60092
[startup+860.048 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 76634 2942 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3220790608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 795.78
Current children cumulated vsize (Kb) 60092
[startup+870.048 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 77635 2942 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3220684828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 805.79
Current children cumulated vsize (Kb) 60092
[startup+880.049 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 78635 2942 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3220575728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 815.79
Current children cumulated vsize (Kb) 60092
[startup+890.049 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 79635 2942 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3220462768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 825.79
Current children cumulated vsize (Kb) 60092
[startup+900.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 80635 2942 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3220345628 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 835.79
Current children cumulated vsize (Kb) 60092
[startup+910.051 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 81635 2942 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3220223888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 845.79
Current children cumulated vsize (Kb) 60092
[startup+920.051 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 82636 2942 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3220096668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 855.8
Current children cumulated vsize (Kb) 60092
[startup+930.051 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 83636 2942 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3219963388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 865.8
Current children cumulated vsize (Kb) 60092
[startup+940.052 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 84636 2942 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3219823388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 875.8
Current children cumulated vsize (Kb) 60092
[startup+950.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 85636 2942 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3219675408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 885.8
Current children cumulated vsize (Kb) 60092
[startup+960.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 86637 2942 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3219517468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 895.81
Current children cumulated vsize (Kb) 60092
[startup+970.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 87637 2942 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3219347888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 905.81
Current children cumulated vsize (Kb) 60092
[startup+980.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 88637 2942 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3219163728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 915.81
Current children cumulated vsize (Kb) 60092
[startup+990.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 89637 2942 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3218960668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 925.81
Current children cumulated vsize (Kb) 60092
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 90638 2942 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3218731728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 935.82
Current children cumulated vsize (Kb) 60092
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 91638 2942 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3218462748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 945.82
Current children cumulated vsize (Kb) 60092
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 92638 2942 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3218121148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 955.82
Current children cumulated vsize (Kb) 60092
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 93586 2958 0 0 16 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 965.46
Current children cumulated vsize (Kb) 60092
[startup+1040.06 s]
Raw data (loadavg): 1.08 1.02 1.01 1/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) T 5947 5947 4060 0 -1 0 8400 0 0 0 93822 3200 0 0 16 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 970.24
Current children cumulated vsize (Kb) 60092
[startup+1050.06 s]
Raw data (loadavg): 1.14 1.03 1.01 1/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) T 5947 5947 4060 0 -1 0 8400 0 0 0 94065 3446 0 0 17 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 975.13
Current children cumulated vsize (Kb) 60092
[startup+1060.06 s]
Raw data (loadavg): 1.12 1.03 1.01 1/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) T 5947 5947 4060 0 -1 0 8400 0 0 0 94290 3693 0 0 17 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 979.85
Current children cumulated vsize (Kb) 60092
[startup+1070.06 s]
Raw data (loadavg): 1.10 1.03 1.01 1/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) T 5947 5947 4060 0 -1 0 8400 0 0 0 94527 3930 0 0 16 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 984.59
Current children cumulated vsize (Kb) 60092
[startup+1080.06 s]
Raw data (loadavg): 1.08 1.03 1.01 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 95507 3936 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3221135728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 994.45
Current children cumulated vsize (Kb) 60092
[startup+1090.06 s]
Raw data (loadavg): 1.07 1.03 1.01 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 96507 3936 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3221041008 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 1004.45
Current children cumulated vsize (Kb) 60092
[startup+1100.06 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 97507 3936 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3220943708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 1014.45
Current children cumulated vsize (Kb) 60092
[startup+1110.06 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 98507 3936 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3220843728 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 1024.45
Current children cumulated vsize (Kb) 60092
[startup+1120.06 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 99507 3936 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3220740848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 1034.45
Current children cumulated vsize (Kb) 60092
[startup+1130.06 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 100507 3936 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3220634768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 1044.45
Current children cumulated vsize (Kb) 60092
[startup+1140.06 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 101507 3936 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3220525148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 1054.45
Current children cumulated vsize (Kb) 60092
[startup+1150.06 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 102507 3937 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3220411728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 1064.46
Current children cumulated vsize (Kb) 60092
[startup+1160.06 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 103507 3937 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3220293788 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 1074.46
Current children cumulated vsize (Kb) 60092
[startup+1170.06 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 104507 3937 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3220171088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 1084.46
Current children cumulated vsize (Kb) 60092
[startup+1180.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 105507 3937 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3220042928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 1094.46
Current children cumulated vsize (Kb) 60092
[startup+1190.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 106507 3937 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3219908508 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 1104.46
Current children cumulated vsize (Kb) 60092
[startup+1200.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 107507 3937 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3219767068 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 1114.46
Current children cumulated vsize (Kb) 60092
[startup+1210.06 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 108507 3937 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3219617148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 1124.46
Current children cumulated vsize (Kb) 60092
[startup+1220.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 109507 3937 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3219456848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 1134.46
Current children cumulated vsize (Kb) 60092
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 110507 3937 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3219284348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 1144.46
Current children cumulated vsize (Kb) 60092
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 111507 3937 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3219096188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 1154.46
Current children cumulated vsize (Kb) 60092
[startup+1250.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 112507 3937 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3218887568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 1164.46
Current children cumulated vsize (Kb) 60092
[startup+1260.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 113508 3937 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3218650108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 1174.47
Current children cumulated vsize (Kb) 60092
[startup+1270.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 114508 3937 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3218366288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 1184.47
Current children cumulated vsize (Kb) 60092
[startup+1280.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 115508 3937 0 0 25 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3217990908 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 1194.47
Current children cumulated vsize (Kb) 60092
[startup+1290.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 116224 4022 0 0 16 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3221223344 134603781 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 1202.48
Current children cumulated vsize (Kb) 60092
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1290.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5958
Raw data (/proc/5947/stat): 5947 (vallstSAT2005PB) S 5946 5947 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20384605 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5947/statm): 532 242 485 147 0 385 0
[pid=5947] vsize: 2128
Raw data (/proc/5950/stat): 5950 (vallst) R 5947 5947 4060 0 -1 0 8400 0 0 0 116224 4022 0 0 16 0 1 0 20384612 59355136 7813 4294967295 134512640 134702520 3221223952 3221223344 134603781 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5950/statm): 14491 7813 413 48 0 14443 0
[pid=5950] vsize: 57964
Current children cumulated CPU time (s) 1202.48
Current children cumulated vsize (Kb) 60092
Sending SIGTERM to -5947
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5960
New process pid=5961
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/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/5908/stat
open syscall for file /proc/5908/status
open syscall for file /proc/5908/cmdline
open syscall for file /proc/5908/environ
open syscall for file /proc/5946/stat
open syscall for file /proc/5946/status
open syscall for file /proc/5946/cmdline
open syscall for file /proc/5946/environ
open syscall for file /proc/5947/stat
open syscall for file /proc/5947/status
open syscall for file /proc/5947/cmdline
open syscall for file /proc/5947/environ
open syscall for file /proc/5950/stat
open syscall for file /proc/5950/status
open syscall for file /proc/5950/cmdline
open syscall for file /proc/5950/environ
open syscall for file /proc/5960/stat
open syscall for file /proc/5960/status
open syscall for file /proc/5960/cmdline
open syscall for file /proc/5960/environ
open syscall for file /proc/5961/stat
open syscall for file /proc/5961/status
open syscall for file /proc/5961/cmdline
open syscall for file /proc/5961/environ
One traced child (pid=5960) exited with status: 0
One traced child (pid=5961) exited with status: 0
New process pid=5962
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=5962) exited with status: 0
New process pid=5963
execve syscall for /bin/nice 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 /etc/ld.so.preload
open syscall for file tls/i686/mmx/libacl.so.1
open syscall for file tls/i686/libacl.so.1
open syscall for file tls/mmx/libacl.so.1
open syscall for file tls/libacl.so.1
open syscall for file i686/mmx/libacl.so.1
open syscall for file i686/libacl.so.1
open syscall for file mmx/libacl.so.1
open syscall for file libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/libacl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libacl.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/libattr.so.1
open syscall for file tls/i686/libattr.so.1
open syscall for file tls/mmx/libattr.so.1
open syscall for file tls/libattr.so.1
open syscall for file i686/mmx/libattr.so.1
open syscall for file i686/libattr.so.1
open syscall for file mmx/libattr.so.1
open syscall for file libattr.so.1
open syscall for file /oldhome/oroussel/lib/libattr.so.1
open syscall for file /lib/libattr.so.1
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_out_theory.vnf
One traced child (pid=5963) exited with status: 0
New process pid=5964
execve syscall for /bin/cp executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libacl.so.1
open syscall for file tls/i686/libacl.so.1
open syscall for file tls/mmx/libacl.so.1
open syscall for file tls/libacl.so.1
open syscall for file i686/mmx/libacl.so.1
open syscall for file i686/libacl.so.1
open syscall for file mmx/libacl.so.1
open syscall for file libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/libacl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libacl.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/libattr.so.1
open syscall for file tls/i686/libattr.so.1
open syscall for file tls/mmx/libattr.so.1
open syscall for file tls/libattr.so.1
open syscall for file i686/mmx/libattr.so.1
open syscall for file i686/libattr.so.1
open syscall for file mmx/libattr.so.1
open syscall for file libattr.so.1
open syscall for file /oldhome/oroussel/lib/libattr.so.1
open syscall for file /lib/libattr.so.1
One traced child (pid=5964) exited with status: 1
New process pid=5965
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=5965) exited with status: 0
One traced child (pid=5947) ended because it received signal 15 (SIGTERM)
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5950) exited with status: 3
All traced children have exited ! Game is over.
Child status: 3
Real time (s): 1291.76
CPU time (s): 1204.07
CPU user time (s): 1163.67
CPU system time (s): 40.4019
CPU usage (%): 93.2117
Max. virtual memory (cumulated for all children) (Kb): 60092