1:
seed: 0
Nr of vars set: 4007 (#equs: 0)
Nr of vars set: 4007 (#equs: 0)
#decisions: 1120672; #end-nodes: 49189;
#proof improvement attempts: 0; #restarts: 384
Current batch, end-nodes: 0 / 175 (175)
#axs: 701, #non-axs: 78
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 27, end (keep): 44
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 4007 (#equs: 0)
Time taken: 5 min, 12 sec
2:
seed: 0
Nr of vars set: 4007 (#equs: 0)
Nr of vars set: 4007 (#equs: 0)
Interupt request received.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 4007 (#equs: 0)
Time taken: 14 min, 52 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/5473/stat): 5473 (vallstSAT2005PB) R 5472 5473 4005 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20156234 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5473/statm): 174 3 169 147 0 27 0
[pid=5473] 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=5474
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=5474) exited with status: 0
New process pid=5475
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=5475) exited with status: 0
New process pid=5476
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/wulflinc29/normalized-mps-v2-13-7-fixnet6.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0028 s]
Raw data (loadavg): 0.93 0.95 0.98 1/56 5476
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20156234 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 242 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5473 5473 4005 0 -1 0 987 0 0 0 923 25 0 0 24 0 1 0 20156243 5177344 876 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 1264 876 413 48 0 1216 0
[pid=5476] vsize: 5056
Current children cumulated CPU time (s) 9.5
Current children cumulated vsize (Kb) 7184
[startup+20.0046 s]
Raw data (loadavg): 0.94 0.96 0.98 1/56 5476
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20156234 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 242 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5473 5473 4005 0 -1 0 1038 0 0 0 1721 97 0 0 19 0 1 0 20156243 7725056 927 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 1886 927 413 48 0 1838 0
[pid=5476] vsize: 7544
Current children cumulated CPU time (s) 18.2
Current children cumulated vsize (Kb) 9672
[startup+30.0053 s]
Raw data (loadavg): 0.95 0.96 0.98 1/56 5476
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20156234 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 242 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5473 5473 4005 0 -1 0 1039 0 0 0 2598 137 0 0 25 0 1 0 20156243 7725056 928 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 1886 928 413 48 0 1838 0
[pid=5476] vsize: 7544
Current children cumulated CPU time (s) 27.37
Current children cumulated vsize (Kb) 9672
[startup+40.0061 s]
Raw data (loadavg): 0.95 0.96 0.98 2/56 5476
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20156234 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 242 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5473 5473 4005 0 -1 0 1040 0 0 0 3427 194 0 0 25 0 1 0 20156243 7725056 929 4294967295 134512640 134702520 3221223952 3220840848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 1886 929 413 48 0 1838 0
[pid=5476] vsize: 7544
Current children cumulated CPU time (s) 36.23
Current children cumulated vsize (Kb) 9672
[startup+50.0069 s]
Raw data (loadavg): 0.96 0.96 0.98 2/56 5476
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20156234 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 242 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5473 5473 4005 0 -1 0 1043 0 0 0 4251 249 0 0 25 0 1 0 20156243 7725056 932 4294967295 134512640 134702520 3221223952 3220994588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 1886 932 413 48 0 1838 0
[pid=5476] vsize: 7544
Current children cumulated CPU time (s) 45.02
Current children cumulated vsize (Kb) 9672
[startup+60.0067 s]
Raw data (loadavg): 0.97 0.96 0.98 2/56 5476
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20156234 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 242 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5473 5473 4005 0 -1 0 1043 0 0 0 5077 304 0 0 25 0 1 0 20156243 7725056 932 4294967295 134512640 134702520 3221223952 3221107248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 1886 932 413 48 0 1838 0
[pid=5476] vsize: 7544
Current children cumulated CPU time (s) 53.83
Current children cumulated vsize (Kb) 9672
[startup+70.0084 s]
Raw data (loadavg): 0.97 0.96 0.98 1/56 5476
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20156234 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 242 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5473 5473 4005 0 -1 0 1043 0 0 0 5877 367 0 0 19 0 1 0 20156243 7725056 932 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 1886 932 413 48 0 1838 0
[pid=5476] vsize: 7544
Current children cumulated CPU time (s) 62.46
Current children cumulated vsize (Kb) 9672
[startup+80.0092 s]
Raw data (loadavg): 0.98 0.96 0.98 1/56 5476
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20156234 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 242 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5473 5473 4005 0 -1 0 1043 0 0 0 6754 407 0 0 19 0 1 0 20156243 7725056 932 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 1886 932 413 48 0 1838 0
[pid=5476] vsize: 7544
Current children cumulated CPU time (s) 71.63
Current children cumulated vsize (Kb) 9672
[startup+90.01 s]
Raw data (loadavg): 0.98 0.96 0.98 1/56 5476
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20156234 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 242 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5473 5473 4005 0 -1 0 1043 0 0 0 7670 437 0 0 25 0 1 0 20156243 7725056 932 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 1886 932 413 48 0 1838 0
[pid=5476] vsize: 7544
Current children cumulated CPU time (s) 81.09
Current children cumulated vsize (Kb) 9672
[startup+100.011 s]
Raw data (loadavg): 0.98 0.96 0.98 1/56 5476
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20156234 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 242 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5473 5473 4005 0 -1 0 1043 0 0 0 8468 501 0 0 18 0 1 0 20156243 7725056 932 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 1886 932 413 48 0 1838 0
[pid=5476] vsize: 7544
Current children cumulated CPU time (s) 89.71
Current children cumulated vsize (Kb) 9672
[startup+110.012 s]
Raw data (loadavg): 0.98 0.96 0.98 2/56 5476
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20156234 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 242 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5473 5473 4005 0 -1 0 1043 0 0 0 9337 544 0 0 25 0 1 0 20156243 7725056 932 4294967295 134512640 134702520 3221223952 3220743088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 1886 932 413 48 0 1838 0
[pid=5476] vsize: 7544
Current children cumulated CPU time (s) 98.83
Current children cumulated vsize (Kb) 9672
[startup+120.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 5476
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20156234 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 242 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5473 5473 4005 0 -1 0 1045 0 0 0 10156 605 0 0 25 0 1 0 20156243 7725056 934 4294967295 134512640 134702520 3221223952 3220940528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 1886 934 413 48 0 1838 0
[pid=5476] vsize: 7544
Current children cumulated CPU time (s) 107.63
Current children cumulated vsize (Kb) 9672
[startup+130.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 5476
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20156234 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 242 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5473 5473 4005 0 -1 0 1045 0 0 0 10986 660 0 0 25 0 1 0 20156243 7725056 934 4294967295 134512640 134702520 3221223952 3221036188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 1886 934 413 48 0 1838 0
[pid=5476] vsize: 7544
Current children cumulated CPU time (s) 116.48
Current children cumulated vsize (Kb) 9672
[startup+140.014 s]
Raw data (loadavg): 1.07 0.98 0.99 2/56 5476
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20156234 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 242 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5473 5473 4005 0 -1 0 1047 0 0 0 11811 717 0 0 25 0 1 0 20156243 7725056 936 4294967295 134512640 134702520 3221223952 3221143728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 1886 936 413 48 0 1838 0
[pid=5476] vsize: 7544
Current children cumulated CPU time (s) 125.3
Current children cumulated vsize (Kb) 9672
[startup+150.015 s]
Raw data (loadavg): 1.06 0.98 0.99 1/56 5476
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20156234 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 242 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5473 5473 4005 0 -1 0 1047 0 0 0 12630 772 0 0 19 0 1 0 20156243 7725056 936 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 1886 936 413 48 0 1838 0
[pid=5476] vsize: 7544
Current children cumulated CPU time (s) 134.04
Current children cumulated vsize (Kb) 9672
[startup+160.014 s]
Raw data (loadavg): 1.05 0.98 0.99 2/56 5476
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20156234 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 242 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5473 5473 4005 0 -1 0 1047 0 0 0 13509 810 0 0 19 0 1 0 20156243 7725056 936 4294967295 134512640 134702520 3221223952 3221223232 134553093 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 1886 936 413 48 0 1838 0
[pid=5476] vsize: 7544
Current children cumulated CPU time (s) 143.21
Current children cumulated vsize (Kb) 9672
[startup+170.015 s]
Raw data (loadavg): 1.04 0.98 0.99 1/56 5476
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20156234 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 242 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5473 5473 4005 0 -1 0 1047 0 0 0 14407 842 0 0 25 0 1 0 20156243 7725056 936 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 1886 936 413 48 0 1838 0
[pid=5476] vsize: 7544
Current children cumulated CPU time (s) 152.51
Current children cumulated vsize (Kb) 9672
[startup+180.016 s]
Raw data (loadavg): 1.03 0.98 0.99 1/56 5476
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20156234 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 242 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5473 5473 4005 0 -1 0 1047 0 0 0 15235 899 0 0 23 0 1 0 20156243 7725056 936 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 1886 936 413 48 0 1838 0
[pid=5476] vsize: 7544
Current children cumulated CPU time (s) 161.36
Current children cumulated vsize (Kb) 9672
[startup+190.018 s]
Raw data (loadavg): 1.03 0.98 0.99 2/56 5476
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20156234 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 242 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5473 5473 4005 0 -1 0 1048 0 0 0 16058 955 0 0 25 0 1 0 20156243 7725056 937 4294967295 134512640 134702520 3221223952 3220901628 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 1886 937 413 48 0 1838 0
[pid=5476] vsize: 7544
Current children cumulated CPU time (s) 170.15
Current children cumulated vsize (Kb) 9672
[startup+200.019 s]
Raw data (loadavg): 1.02 0.98 0.99 2/56 5476
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20156234 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 242 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5473 5473 4005 0 -1 0 1051 0 0 0 16850 1020 0 0 25 0 1 0 20156243 7725056 940 4294967295 134512640 134702520 3221223952 3221103068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 1886 940 413 48 0 1838 0
[pid=5476] vsize: 7544
Current children cumulated CPU time (s) 178.72
Current children cumulated vsize (Kb) 9672
[startup+210.019 s]
Raw data (loadavg): 1.02 0.98 0.99 2/56 5476
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20156234 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 242 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5473 5473 4005 0 -1 0 1051 0 0 0 17671 1082 0 0 21 0 1 0 20156243 7725056 940 4294967295 134512640 134702520 3221223952 3221207708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 1886 940 413 48 0 1838 0
[pid=5476] vsize: 7544
Current children cumulated CPU time (s) 187.55
Current children cumulated vsize (Kb) 9672
[startup+220.02 s]
Raw data (loadavg): 1.02 0.98 0.99 2/56 5476
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20156234 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 242 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5473 5473 4005 0 -1 0 1051 0 0 0 18538 1125 0 0 19 0 1 0 20156243 7725056 940 4294967295 134512640 134702520 3221223952 3221223232 134553111 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 1886 940 413 48 0 1838 0
[pid=5476] vsize: 7544
Current children cumulated CPU time (s) 196.65
Current children cumulated vsize (Kb) 9672
[startup+230.021 s]
Raw data (loadavg): 1.01 0.98 0.99 1/56 5476
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20156234 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 242 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5473 5473 4005 0 -1 0 1051 0 0 0 19418 1165 0 0 19 0 1 0 20156243 7725056 940 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 1886 940 413 48 0 1838 0
[pid=5476] vsize: 7544
Current children cumulated CPU time (s) 205.85
Current children cumulated vsize (Kb) 9672
[startup+240.022 s]
Raw data (loadavg): 1.01 0.98 0.99 2/56 5476
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20156234 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 242 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5473 5473 4005 0 -1 0 1052 0 0 0 20297 1207 0 0 25 0 1 0 20156243 7725056 941 4294967295 134512640 134702520 3221223952 3220736988 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 1886 941 413 48 0 1838 0
[pid=5476] vsize: 7544
Current children cumulated CPU time (s) 215.06
Current children cumulated vsize (Kb) 9672
[startup+250.022 s]
Raw data (loadavg): 1.01 0.98 0.99 2/56 5476
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20156234 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 242 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5473 5473 4005 0 -1 0 1052 0 0 0 21106 1270 0 0 25 0 1 0 20156243 7725056 941 4294967295 134512640 134702520 3221223952 3220976528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 1886 941 413 48 0 1838 0
[pid=5476] vsize: 7544
Current children cumulated CPU time (s) 223.78
Current children cumulated vsize (Kb) 9672
[startup+260.022 s]
Raw data (loadavg): 1.01 0.98 0.99 1/56 5476
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20156234 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 242 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5473 5473 4005 0 -1 0 1052 0 0 0 21977 1311 0 0 23 0 1 0 20156243 7725056 941 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 1886 941 413 48 0 1838 0
[pid=5476] vsize: 7544
Current children cumulated CPU time (s) 232.9
Current children cumulated vsize (Kb) 9672
[startup+270.023 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 5476
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20156234 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 242 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5473 5473 4005 0 -1 0 1056 0 0 0 22719 1394 0 0 25 0 1 0 20156243 7725056 945 4294967295 134512640 134702520 3221223952 3221185628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 1886 945 413 48 0 1838 0
[pid=5476] vsize: 7544
Current children cumulated CPU time (s) 241.15
Current children cumulated vsize (Kb) 9672
[startup+280.023 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 5476
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20156234 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 242 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5473 5473 4005 0 -1 0 1109 0 0 0 23564 1450 0 0 19 0 1 0 20156243 7725056 998 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 1886 998 413 48 0 1838 0
[pid=5476] vsize: 7544
Current children cumulated CPU time (s) 250.16
Current children cumulated vsize (Kb) 9672
[startup+290.023 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 5476
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20156234 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 242 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5473 5473 4005 0 -1 0 1126 0 0 0 24454 1486 0 0 19 0 1 0 20156243 8028160 1015 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 1960 1015 413 48 0 1912 0
[pid=5476] vsize: 7840
Current children cumulated CPU time (s) 259.42
Current children cumulated vsize (Kb) 9968
[startup+300.024 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 5476
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20156234 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 242 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5473 5473 4005 0 -1 0 1185 0 0 0 25327 1526 0 0 25 0 1 0 20156243 8028160 1074 4294967295 134512640 134702520 3221223952 3220781788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 1960 1074 413 48 0 1912 0
[pid=5476] vsize: 7840
Current children cumulated CPU time (s) 268.55
Current children cumulated vsize (Kb) 9968
[startup+310.025 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 5476
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20156234 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 242 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5473 5473 4005 0 -1 0 1203 0 0 0 26129 1591 0 0 25 0 1 0 20156243 8331264 1092 4294967295 134512640 134702520 3221223952 3221057168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 2034 1092 413 48 0 1986 0
[pid=5476] vsize: 8136
Current children cumulated CPU time (s) 277.22
Current children cumulated vsize (Kb) 10264
[startup+320.026 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 5476
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20156234 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 242 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5473 5473 4005 0 -1 0 1220 0 0 0 26946 1650 0 0 25 0 1 0 20156243 8331264 1109 4294967295 134512640 134702520 3221223952 3221175708 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2034 1109 413 48 0 1986 0
[pid=5476] vsize: 8136
Current children cumulated CPU time (s) 285.98
Current children cumulated vsize (Kb) 10264
[startup+330.027 s]
Raw data (loadavg): 1.00 0.98 0.99 1/56 5476
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20156234 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 242 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5473 5473 4005 0 -1 0 1227 0 0 0 27812 1692 0 0 20 0 1 0 20156243 8331264 1116 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2034 1116 413 48 0 1986 0
[pid=5476] vsize: 8136
Current children cumulated CPU time (s) 295.06
Current children cumulated vsize (Kb) 10264
[startup+340.027 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 5476
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20156234 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 242 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5473 5473 4005 0 -1 0 1242 0 0 0 28734 1718 0 0 25 0 1 0 20156243 8486912 1131 4294967295 134512640 134702520 3221223952 3221222848 134552864 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 2072 1131 413 48 0 2024 0
[pid=5476] vsize: 8288
Current children cumulated CPU time (s) 304.54
Current children cumulated vsize (Kb) 10416
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5476) exited with status: 2
New process pid=5477
execve syscall for /usr/bin/head executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5477) exited with status: 0
New process pid=5478
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
[startup+350.028 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 593 0 0 0 110 3 0 0 25 0 1 0 20191126 3997696 563 4294967295 134512640 134702520 3221223712 3221170908 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5478/statm): 976 563 413 48 0 928 0
[pid=5478] vsize: 3904
Current children cumulated CPU time (s) 313.45
Current children cumulated vsize (Kb) 6032
[startup+360.028 s]
Raw data (loadavg): 1.00 0.98 0.99 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 745 0 0 0 708 133 0 0 16 0 1 0 20191126 4583424 715 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5478/statm): 1119 715 413 48 0 1071 0
[pid=5478] vsize: 4476
Current children cumulated CPU time (s) 320.73
Current children cumulated vsize (Kb) 6604
[startup+370.029 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 850 0 0 0 988 366 0 0 17 0 1 0 20191126 6909952 820 4294967295 134512640 134702520 3221223712 3221218348 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 1687 820 413 48 0 1639 0
[pid=5478] vsize: 6748
Current children cumulated CPU time (s) 325.86
Current children cumulated vsize (Kb) 8876
[startup+380.029 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 860 0 0 0 1823 420 0 0 25 0 1 0 20191126 6914048 830 4294967295 134512640 134702520 3221223712 3221146188 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5478/statm): 1688 830 413 48 0 1640 0
[pid=5478] vsize: 6752
Current children cumulated CPU time (s) 334.75
Current children cumulated vsize (Kb) 8880
[startup+390.03 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 864 0 0 0 2630 481 0 0 25 0 1 0 20191126 6914048 834 4294967295 134512640 134702520 3221223712 3221092588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 1688 834 413 48 0 1640 0
[pid=5478] vsize: 6752
Current children cumulated CPU time (s) 343.43
Current children cumulated vsize (Kb) 8880
[startup+400.031 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 864 0 0 0 3438 543 0 0 25 0 1 0 20191126 6914048 834 4294967295 134512640 134702520 3221223712 3221023008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 1688 834 413 48 0 1640 0
[pid=5478] vsize: 6752
Current children cumulated CPU time (s) 352.13
Current children cumulated vsize (Kb) 8880
[startup+410.031 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 864 0 0 0 4270 601 0 0 25 0 1 0 20191126 6914048 834 4294967295 134512640 134702520 3221223712 3220922048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5478/statm): 1688 834 413 48 0 1640 0
[pid=5478] vsize: 6752
Current children cumulated CPU time (s) 361.03
Current children cumulated vsize (Kb) 8880
[startup+420.032 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 866 0 0 0 5068 665 0 0 25 0 1 0 20191126 6914048 836 4294967295 134512640 134702520 3221223712 3220848428 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5478/statm): 1688 836 413 48 0 1640 0
[pid=5478] vsize: 6752
Current children cumulated CPU time (s) 369.65
Current children cumulated vsize (Kb) 8880
[startup+430.032 s]
Raw data (loadavg): 1.00 0.98 0.99 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 869 0 0 0 5399 879 0 0 16 0 1 0 20191126 6914048 839 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5478/statm): 1688 839 413 48 0 1640 0
[pid=5478] vsize: 6752
Current children cumulated CPU time (s) 375.1
Current children cumulated vsize (Kb) 8880
[startup+440.033 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 902 0 0 0 5913 1036 0 0 25 0 1 0 20191126 7081984 872 4294967295 134512640 134702520 3221223712 3221037248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 1729 872 413 48 0 1681 0
[pid=5478] vsize: 6916
Current children cumulated CPU time (s) 381.81
Current children cumulated vsize (Kb) 9044
[startup+450.034 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 902 0 0 0 6729 1093 0 0 25 0 1 0 20191126 7081984 872 4294967295 134512640 134702520 3221223712 3220960588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 1729 872 413 48 0 1681 0
[pid=5478] vsize: 6916
Current children cumulated CPU time (s) 390.54
Current children cumulated vsize (Kb) 9044
[startup+460.034 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 902 0 0 0 7541 1153 0 0 25 0 1 0 20191126 7081984 872 4294967295 134512640 134702520 3221223712 3220874048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5478/statm): 1729 872 413 48 0 1681 0
[pid=5478] vsize: 6916
Current children cumulated CPU time (s) 399.26
Current children cumulated vsize (Kb) 9044
[startup+470.034 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 905 0 0 0 8371 1207 0 0 25 0 1 0 20191126 7081984 875 4294967295 134512640 134702520 3221223712 3220732448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5478/statm): 1729 875 413 48 0 1681 0
[pid=5478] vsize: 6916
Current children cumulated CPU time (s) 408.1
Current children cumulated vsize (Kb) 9044
[startup+480.035 s]
Raw data (loadavg): 1.07 1.00 0.99 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 905 0 0 0 9136 1279 0 0 16 0 1 0 20191126 7081984 875 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5478/statm): 1729 875 413 48 0 1681 0
[pid=5478] vsize: 6916
Current children cumulated CPU time (s) 416.47
Current children cumulated vsize (Kb) 9044
[startup+490.037 s]
Raw data (loadavg): 1.06 1.00 0.99 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 906 0 0 0 9877 1359 0 0 16 0 1 0 20191126 7081984 876 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5478/statm): 1729 876 413 48 0 1681 0
[pid=5478] vsize: 6916
Current children cumulated CPU time (s) 424.68
Current children cumulated vsize (Kb) 9044
[startup+500.038 s]
Raw data (loadavg): 1.05 1.00 0.99 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 907 0 0 0 10135 1592 0 0 16 0 1 0 20191126 7081984 877 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5478/statm): 1729 877 413 48 0 1681 0
[pid=5478] vsize: 6916
Current children cumulated CPU time (s) 429.59
Current children cumulated vsize (Kb) 9044
[startup+510.038 s]
Raw data (loadavg): 1.04 1.00 0.99 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 908 0 0 0 10866 1675 0 0 25 0 1 0 20191126 7081984 878 4294967295 134512640 134702520 3221223712 3220721388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 1729 878 413 48 0 1681 0
[pid=5478] vsize: 6916
Current children cumulated CPU time (s) 437.73
Current children cumulated vsize (Kb) 9044
[startup+520.038 s]
Raw data (loadavg): 1.04 1.00 0.99 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 949 0 0 0 11628 1750 0 0 16 0 1 0 20191126 7221248 919 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5478/statm): 1763 919 413 48 0 1715 0
[pid=5478] vsize: 7052
Current children cumulated CPU time (s) 446.1
Current children cumulated vsize (Kb) 9180
[startup+530.039 s]
Raw data (loadavg): 1.03 1.00 0.99 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 949 0 0 0 12374 1831 0 0 16 0 1 0 20191126 7221248 919 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5478/statm): 1763 919 413 48 0 1715 0
[pid=5478] vsize: 7052
Current children cumulated CPU time (s) 454.37
Current children cumulated vsize (Kb) 9180
[startup+540.041 s]
Raw data (loadavg): 1.02 1.00 0.99 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 949 0 0 0 13155 1899 0 0 20 0 1 0 20191126 7221248 919 4294967295 134512640 134702520 3221223712 3221198848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 1763 919 413 48 0 1715 0
[pid=5478] vsize: 7052
Current children cumulated CPU time (s) 462.86
Current children cumulated vsize (Kb) 9180
[startup+550.042 s]
Raw data (loadavg): 1.10 1.02 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 951 0 0 0 13971 1956 0 0 25 0 1 0 20191126 7221248 921 4294967295 134512640 134702520 3221223712 3221143168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5478/statm): 1763 921 413 48 0 1715 0
[pid=5478] vsize: 7052
Current children cumulated CPU time (s) 471.59
Current children cumulated vsize (Kb) 9180
[startup+560.041 s]
Raw data (loadavg): 1.16 1.03 1.01 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 951 0 0 0 14603 2082 0 0 16 0 1 0 20191126 7221248 921 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5478/statm): 1763 921 413 48 0 1715 0
[pid=5478] vsize: 7052
Current children cumulated CPU time (s) 479.17
Current children cumulated vsize (Kb) 9180
[startup+570.042 s]
Raw data (loadavg): 1.14 1.03 1.00 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 951 0 0 0 14893 2307 0 0 16 0 1 0 20191126 7221248 921 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5478/statm): 1763 921 413 48 0 1715 0
[pid=5478] vsize: 7052
Current children cumulated CPU time (s) 484.32
Current children cumulated vsize (Kb) 9180
[startup+580.043 s]
Raw data (loadavg): 1.12 1.03 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 951 0 0 0 15655 2378 0 0 18 0 1 0 20191126 7221248 921 4294967295 134512640 134702520 3221223712 3221211628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 1763 921 413 48 0 1715 0
[pid=5478] vsize: 7052
Current children cumulated CPU time (s) 492.65
Current children cumulated vsize (Kb) 9180
[startup+590.044 s]
Raw data (loadavg): 1.10 1.03 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 952 0 0 0 16483 2430 0 0 25 0 1 0 20191126 7221248 922 4294967295 134512640 134702520 3221223712 3221147948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 1763 922 413 48 0 1715 0
[pid=5478] vsize: 7052
Current children cumulated CPU time (s) 501.45
Current children cumulated vsize (Kb) 9180
[startup+600.044 s]
Raw data (loadavg): 1.08 1.03 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 955 0 0 0 17310 2482 0 0 25 0 1 0 20191126 7221248 925 4294967295 134512640 134702520 3221223712 3221075328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 1763 925 413 48 0 1715 0
[pid=5478] vsize: 7052
Current children cumulated CPU time (s) 510.24
Current children cumulated vsize (Kb) 9180
[startup+610.045 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 955 0 0 0 18145 2535 0 0 25 0 1 0 20191126 7221248 925 4294967295 134512640 134702520 3221223712 3220991648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5478/statm): 1763 925 413 48 0 1715 0
[pid=5478] vsize: 7052
Current children cumulated CPU time (s) 519.12
Current children cumulated vsize (Kb) 9180
[startup+620.046 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 955 0 0 0 18927 2605 0 0 25 0 1 0 20191126 7221248 925 4294967295 134512640 134702520 3221223712 3220952908 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5478/statm): 1763 925 413 48 0 1715 0
[pid=5478] vsize: 7052
Current children cumulated CPU time (s) 527.64
Current children cumulated vsize (Kb) 9180
[startup+630.047 s]
Raw data (loadavg): 1.05 1.02 1.00 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 957 0 0 0 19345 2789 0 0 16 0 1 0 20191126 7221248 927 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5478/statm): 1763 927 413 48 0 1715 0
[pid=5478] vsize: 7052
Current children cumulated CPU time (s) 533.66
Current children cumulated vsize (Kb) 9180
[startup+640.048 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 960 0 0 0 19807 2956 0 0 25 0 1 0 20191126 7221248 930 4294967295 134512640 134702520 3221223712 3221101068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 1763 930 413 48 0 1715 0
[pid=5478] vsize: 7052
Current children cumulated CPU time (s) 539.95
Current children cumulated vsize (Kb) 9180
[startup+650.048 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1047 0 0 0 20622 3017 0 0 25 0 1 0 20191126 7462912 1017 4294967295 134512640 134702520 3221223712 3221040288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 1822 1017 413 48 0 1774 0
[pid=5478] vsize: 7288
Current children cumulated CPU time (s) 548.71
Current children cumulated vsize (Kb) 9416
[startup+660.048 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1114 0 0 0 21451 3071 0 0 25 0 1 0 20191126 7704576 1084 4294967295 134512640 134702520 3221223712 3220964288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5478/statm): 1881 1084 413 48 0 1833 0
[pid=5478] vsize: 7524
Current children cumulated CPU time (s) 557.54
Current children cumulated vsize (Kb) 9652
[startup+670.049 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1134 0 0 0 22285 3124 0 0 25 0 1 0 20191126 7704576 1104 4294967295 134512640 134702520 3221223712 3220870688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 1881 1104 413 48 0 1833 0
[pid=5478] vsize: 7524
Current children cumulated CPU time (s) 566.41
Current children cumulated vsize (Kb) 9652
[startup+680.05 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1141 0 0 0 23083 3188 0 0 25 0 1 0 20191126 7704576 1111 4294967295 134512640 134702520 3221223712 3220805408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 1881 1111 413 48 0 1833 0
[pid=5478] vsize: 7524
Current children cumulated CPU time (s) 575.03
Current children cumulated vsize (Kb) 9652
[startup+690.05 s]
Raw data (loadavg): 1.09 1.03 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1154 0 0 0 23896 3247 0 0 25 0 1 0 20191126 7835648 1124 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 1913 1124 413 48 0 1865 0
[pid=5478] vsize: 7652
Current children cumulated CPU time (s) 583.75
Current children cumulated vsize (Kb) 9780
[startup+700.051 s]
Raw data (loadavg): 1.08 1.03 1.00 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 1156 0 0 0 24161 3478 0 0 16 0 1 0 20191126 7835648 1126 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5478/statm): 1913 1126 413 48 0 1865 0
[pid=5478] vsize: 7652
Current children cumulated CPU time (s) 588.71
Current children cumulated vsize (Kb) 9780
[startup+710.052 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1161 0 0 0 24752 3610 0 0 25 0 1 0 20191126 7835648 1131 4294967295 134512640 134702520 3221223712 3220984108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 1913 1131 413 48 0 1865 0
[pid=5478] vsize: 7652
Current children cumulated CPU time (s) 595.94
Current children cumulated vsize (Kb) 9780
[startup+720.053 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1166 0 0 0 25556 3671 0 0 25 0 1 0 20191126 7835648 1136 4294967295 134512640 134702520 3221223712 3220927468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 1913 1136 413 48 0 1865 0
[pid=5478] vsize: 7652
Current children cumulated CPU time (s) 604.59
Current children cumulated vsize (Kb) 9780
[startup+730.054 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1171 0 0 0 26374 3729 0 0 25 0 1 0 20191126 7835648 1141 4294967295 134512640 134702520 3221223712 3220846188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 1913 1141 413 48 0 1865 0
[pid=5478] vsize: 7652
Current children cumulated CPU time (s) 613.35
Current children cumulated vsize (Kb) 9780
[startup+740.054 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1176 0 0 0 27189 3786 0 0 25 0 1 0 20191126 7835648 1146 4294967295 134512640 134702520 3221223712 3220752428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5478/statm): 1913 1146 413 48 0 1865 0
[pid=5478] vsize: 7652
Current children cumulated CPU time (s) 622.07
Current children cumulated vsize (Kb) 9780
[startup+750.055 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 1185 0 0 0 27971 3850 0 0 19 0 1 0 20191126 7958528 1155 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5478/statm): 1943 1155 413 48 0 1895 0
[pid=5478] vsize: 7772
Current children cumulated CPU time (s) 630.53
Current children cumulated vsize (Kb) 9900
[startup+760.055 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1191 0 0 0 28730 3929 0 0 16 0 1 0 20191126 7958528 1161 4294967295 134512640 134702520 3221223712 3221222548 134550159 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5478/statm): 1943 1161 413 48 0 1895 0
[pid=5478] vsize: 7772
Current children cumulated CPU time (s) 638.91
Current children cumulated vsize (Kb) 9900
[startup+770.056 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 1193 0 0 0 29006 4159 0 0 17 0 1 0 20191126 7958528 1163 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5478/statm): 1943 1163 413 48 0 1895 0
[pid=5478] vsize: 7772
Current children cumulated CPU time (s) 643.97
Current children cumulated vsize (Kb) 9900
[startup+780.056 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1197 0 0 0 29644 4278 0 0 25 0 1 0 20191126 8003584 1167 4294967295 134512640 134702520 3221223712 3220918348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5478/statm): 1954 1167 413 48 0 1906 0
[pid=5478] vsize: 7816
Current children cumulated CPU time (s) 651.54
Current children cumulated vsize (Kb) 9944
[startup+790.058 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1200 0 0 0 30441 4341 0 0 25 0 1 0 20191126 8003584 1170 4294967295 134512640 134702520 3221223712 3220857548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 1954 1170 413 48 0 1906 0
[pid=5478] vsize: 7816
Current children cumulated CPU time (s) 660.14
Current children cumulated vsize (Kb) 9944
[startup+800.059 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1203 0 0 0 31263 4397 0 0 25 0 1 0 20191126 8003584 1173 4294967295 134512640 134702520 3221223712 3220752448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 1954 1173 413 48 0 1906 0
[pid=5478] vsize: 7816
Current children cumulated CPU time (s) 668.92
Current children cumulated vsize (Kb) 9944
[startup+810.059 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 1208 0 0 0 32045 4466 0 0 18 0 1 0 20191126 8003584 1178 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5478/statm): 1954 1178 413 48 0 1906 0
[pid=5478] vsize: 7816
Current children cumulated CPU time (s) 677.43
Current children cumulated vsize (Kb) 9944
[startup+820.059 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1217 0 0 0 32804 4545 0 0 17 0 1 0 20191126 8003584 1187 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 1954 1187 413 48 0 1906 0
[pid=5478] vsize: 7816
Current children cumulated CPU time (s) 685.81
Current children cumulated vsize (Kb) 9944
[startup+830.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1221 0 0 0 33559 4619 0 0 16 0 1 0 20191126 8159232 1191 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 1992 1191 413 48 0 1944 0
[pid=5478] vsize: 7968
Current children cumulated CPU time (s) 694.1
Current children cumulated vsize (Kb) 10096
[startup+840.061 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 1222 0 0 0 33854 4848 0 0 16 0 1 0 20191126 8159232 1192 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5478/statm): 1992 1192 413 48 0 1944 0
[pid=5478] vsize: 7968
Current children cumulated CPU time (s) 699.34
Current children cumulated vsize (Kb) 10096
[startup+850.062 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1226 0 0 0 34562 4938 0 0 25 0 1 0 20191126 8110080 1196 4294967295 134512640 134702520 3221223712 3220807488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 1980 1196 413 48 0 1932 0
[pid=5478] vsize: 7920
Current children cumulated CPU time (s) 707.32
Current children cumulated vsize (Kb) 10048
[startup+860.063 s]
Raw data (loadavg): 1.08 1.03 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1229 0 0 0 35372 4998 0 0 25 0 1 0 20191126 8110080 1199 4294967295 134512640 134702520 3221223712 3220612588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 1980 1199 413 48 0 1932 0
[pid=5478] vsize: 7920
Current children cumulated CPU time (s) 716.02
Current children cumulated vsize (Kb) 10048
[startup+870.063 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 1238 0 0 0 36132 5074 0 0 18 0 1 0 20191126 8110080 1208 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5478/statm): 1980 1208 413 48 0 1932 0
[pid=5478] vsize: 7920
Current children cumulated CPU time (s) 724.38
Current children cumulated vsize (Kb) 10048
[startup+880.064 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 1242 0 0 0 36893 5150 0 0 16 0 1 0 20191126 8110080 1212 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5478/statm): 1980 1212 413 48 0 1932 0
[pid=5478] vsize: 7920
Current children cumulated CPU time (s) 732.75
Current children cumulated vsize (Kb) 10048
[startup+890.065 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 1251 0 0 0 37652 5227 0 0 16 0 1 0 20191126 8110080 1221 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5478/statm): 1980 1221 413 48 0 1932 0
[pid=5478] vsize: 7920
Current children cumulated CPU time (s) 741.11
Current children cumulated vsize (Kb) 10048
[startup+900.066 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 1254 0 0 0 38399 5306 0 0 16 0 1 0 20191126 8261632 1224 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5478/statm): 2017 1224 413 48 0 1969 0
[pid=5478] vsize: 8068
Current children cumulated CPU time (s) 749.37
Current children cumulated vsize (Kb) 10196
[startup+910.067 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 1255 0 0 0 38706 5525 0 0 16 0 1 0 20191126 8261632 1225 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5478/statm): 2017 1225 413 48 0 1969 0
[pid=5478] vsize: 8068
Current children cumulated CPU time (s) 754.63
Current children cumulated vsize (Kb) 10196
[startup+920.067 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1259 0 0 0 39437 5612 0 0 25 0 1 0 20191126 8216576 1229 4294967295 134512640 134702520 3221223712 3220772288 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5478/statm): 2006 1229 413 48 0 1958 0
[pid=5478] vsize: 8024
Current children cumulated CPU time (s) 762.81
Current children cumulated vsize (Kb) 10152
[startup+930.068 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 1264 0 0 0 40238 5675 0 0 22 0 1 0 20191126 8216576 1234 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5478/statm): 2006 1234 413 48 0 1958 0
[pid=5478] vsize: 8024
Current children cumulated CPU time (s) 771.45
Current children cumulated vsize (Kb) 10152
[startup+940.069 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 1269 0 0 0 41009 5750 0 0 17 0 1 0 20191126 8216576 1239 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5478/statm): 2006 1239 413 48 0 1958 0
[pid=5478] vsize: 8024
Current children cumulated CPU time (s) 779.91
Current children cumulated vsize (Kb) 10152
[startup+950.07 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1302 0 0 0 41775 5826 0 0 17 0 1 0 20191126 8220672 1272 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5478/statm): 2007 1272 413 48 0 1959 0
[pid=5478] vsize: 8028
Current children cumulated CPU time (s) 788.33
Current children cumulated vsize (Kb) 10156
[startup+960.069 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 1336 0 0 0 42531 5904 0 0 17 0 1 0 20191126 8220672 1306 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5478/statm): 2007 1306 413 48 0 1959 0
[pid=5478] vsize: 8028
Current children cumulated CPU time (s) 796.67
Current children cumulated vsize (Kb) 10156
[startup+970.071 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 1340 0 0 0 43289 5980 0 0 16 0 1 0 20191126 8355840 1310 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5478/statm): 2040 1310 413 48 0 1992 0
[pid=5478] vsize: 8160
Current children cumulated CPU time (s) 805.01
Current children cumulated vsize (Kb) 10288
[startup+980.072 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 1341 0 0 0 43578 6205 0 0 17 0 1 0 20191126 8355840 1311 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5478/statm): 2040 1311 413 48 0 1992 0
[pid=5478] vsize: 8160
Current children cumulated CPU time (s) 810.15
Current children cumulated vsize (Kb) 10288
[startup+990.073 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1346 0 0 0 44219 6318 0 0 25 0 1 0 20191126 8331264 1316 4294967295 134512640 134702520 3221223712 3220922368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5478/statm): 2034 1316 413 48 0 1986 0
[pid=5478] vsize: 8136
Current children cumulated CPU time (s) 817.69
Current children cumulated vsize (Kb) 10264
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1350 0 0 0 45040 6371 0 0 25 0 1 0 20191126 8331264 1320 4294967295 134512640 134702520 3221223712 3220836428 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 2034 1320 413 48 0 1986 0
[pid=5478] vsize: 8136
Current children cumulated CPU time (s) 826.43
Current children cumulated vsize (Kb) 10264
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1352 0 0 0 45838 6438 0 0 25 0 1 0 20191126 8331264 1322 4294967295 134512640 134702520 3221223712 3220774828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 2034 1322 413 48 0 1986 0
[pid=5478] vsize: 8136
Current children cumulated CPU time (s) 835.08
Current children cumulated vsize (Kb) 10264
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1356 0 0 0 46628 6506 0 0 25 0 1 0 20191126 8331264 1326 4294967295 134512640 134702520 3221223712 3220692908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 2034 1326 413 48 0 1986 0
[pid=5478] vsize: 8136
Current children cumulated CPU time (s) 843.66
Current children cumulated vsize (Kb) 10264
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 1362 0 0 0 47402 6578 0 0 17 0 1 0 20191126 8331264 1332 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5478/statm): 2034 1332 413 48 0 1986 0
[pid=5478] vsize: 8136
Current children cumulated CPU time (s) 852.12
Current children cumulated vsize (Kb) 10264
[startup+1040.08 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 1367 0 0 0 48158 6658 0 0 16 0 1 0 20191126 8486912 1337 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5478/statm): 2072 1337 413 48 0 2024 0
[pid=5478] vsize: 8288
Current children cumulated CPU time (s) 860.48
Current children cumulated vsize (Kb) 10416
[startup+1050.08 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1368 0 0 0 48458 6886 0 0 16 0 1 0 20191126 8486912 1338 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5478/statm): 2072 1338 413 48 0 2024 0
[pid=5478] vsize: 8288
Current children cumulated CPU time (s) 865.76
Current children cumulated vsize (Kb) 10416
[startup+1060.08 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1371 0 0 0 49074 7005 0 0 25 0 1 0 20191126 8437760 1341 4294967295 134512640 134702520 3221223712 3220954528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 2060 1341 413 48 0 2012 0
[pid=5478] vsize: 8240
Current children cumulated CPU time (s) 873.11
Current children cumulated vsize (Kb) 10368
[startup+1070.08 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1380 0 0 0 49884 7065 0 0 25 0 1 0 20191126 8437760 1350 4294967295 134512640 134702520 3221223712 3220893248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 2060 1350 413 48 0 2012 0
[pid=5478] vsize: 8240
Current children cumulated CPU time (s) 881.81
Current children cumulated vsize (Kb) 10368
[startup+1080.08 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1384 0 0 0 50653 7137 0 0 25 0 1 0 20191126 8437760 1354 4294967295 134512640 134702520 3221223712 3220876608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 2060 1354 413 48 0 2012 0
[pid=5478] vsize: 8240
Current children cumulated CPU time (s) 890.22
Current children cumulated vsize (Kb) 10368
[startup+1090.08 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1387 0 0 0 51457 7198 0 0 25 0 1 0 20191126 8437760 1357 4294967295 134512640 134702520 3221223712 3220794992 134611991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 2060 1357 413 48 0 2012 0
[pid=5478] vsize: 8240
Current children cumulated CPU time (s) 898.87
Current children cumulated vsize (Kb) 10368
[startup+1100.08 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1392 0 0 0 52261 7258 0 0 16 0 1 0 20191126 8437760 1362 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 2060 1362 413 48 0 2012 0
[pid=5478] vsize: 8240
Current children cumulated CPU time (s) 907.51
Current children cumulated vsize (Kb) 10368
[startup+1110.08 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 1395 0 0 0 53023 7332 0 0 17 0 1 0 20191126 8581120 1365 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5478/statm): 2095 1365 413 48 0 2047 0
[pid=5478] vsize: 8380
Current children cumulated CPU time (s) 915.87
Current children cumulated vsize (Kb) 10508
[startup+1120.08 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1396 0 0 0 53304 7570 0 0 16 0 1 0 20191126 8581120 1366 4294967295 134512640 134702520 3221223712 3221222480 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 2095 1366 413 48 0 2047 0
[pid=5478] vsize: 8380
Current children cumulated CPU time (s) 921.06
Current children cumulated vsize (Kb) 10508
[startup+1130.08 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1398 0 0 0 53944 7676 0 0 25 0 1 0 20191126 8531968 1368 4294967295 134512640 134702520 3221223712 3220919628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 2083 1368 413 48 0 2035 0
[pid=5478] vsize: 8332
Current children cumulated CPU time (s) 928.52
Current children cumulated vsize (Kb) 10460
[startup+1140.08 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1402 0 0 0 54755 7740 0 0 25 0 1 0 20191126 8531968 1372 4294967295 134512640 134702520 3221223712 3220851168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5478/statm): 2083 1372 413 48 0 2035 0
[pid=5478] vsize: 8332
Current children cumulated CPU time (s) 937.27
Current children cumulated vsize (Kb) 10460
[startup+1150.08 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1405 0 0 0 55478 7829 0 0 25 0 1 0 20191126 8531968 1375 4294967295 134512640 134702520 3221223712 3220902208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5478/statm): 2083 1375 413 48 0 2035 0
[pid=5478] vsize: 8332
Current children cumulated CPU time (s) 945.39
Current children cumulated vsize (Kb) 10460
[startup+1160.08 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1409 0 0 0 56274 7892 0 0 25 0 1 0 20191126 8531968 1379 4294967295 134512640 134702520 3221223712 3220844748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 2083 1379 413 48 0 2035 0
[pid=5478] vsize: 8332
Current children cumulated CPU time (s) 953.98
Current children cumulated vsize (Kb) 10460
[startup+1170.08 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1413 0 0 0 57068 7959 0 0 25 0 1 0 20191126 8531968 1383 4294967295 134512640 134702520 3221223712 3220798368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5478/statm): 2083 1383 413 48 0 2035 0
[pid=5478] vsize: 8332
Current children cumulated CPU time (s) 962.59
Current children cumulated vsize (Kb) 10460
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1415 0 0 0 57845 8032 0 0 25 0 1 0 20191126 8531968 1385 4294967295 134512640 134702520 3221223712 3220776428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 2083 1385 413 48 0 2035 0
[pid=5478] vsize: 8332
Current children cumulated CPU time (s) 971.09
Current children cumulated vsize (Kb) 10460
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 1418 0 0 0 58159 8262 0 0 16 0 1 0 20191126 8667136 1388 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5478/statm): 2116 1388 413 48 0 2068 0
[pid=5478] vsize: 8464
Current children cumulated CPU time (s) 976.53
Current children cumulated vsize (Kb) 10592
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1422 0 0 0 58694 8410 0 0 25 0 1 0 20191126 8617984 1392 4294967295 134512640 134702520 3221223712 3221051148 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5478/statm): 2104 1392 413 48 0 2056 0
[pid=5478] vsize: 8416
Current children cumulated CPU time (s) 983.36
Current children cumulated vsize (Kb) 10544
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1426 0 0 0 59496 8474 0 0 25 0 1 0 20191126 8617984 1396 4294967295 134512640 134702520 3221223712 3221006828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 2104 1396 413 48 0 2056 0
[pid=5478] vsize: 8416
Current children cumulated CPU time (s) 992.02
Current children cumulated vsize (Kb) 10544
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1496 0 0 0 60257 8550 0 0 25 0 1 0 20191126 8617984 1466 4294967295 134512640 134702520 3221223712 3221015308 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5478/statm): 2104 1466 413 48 0 2056 0
[pid=5478] vsize: 8416
Current children cumulated CPU time (s) 1000.39
Current children cumulated vsize (Kb) 10544
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1500 0 0 0 61053 8614 0 0 25 0 1 0 20191126 8617984 1470 4294967295 134512640 134702520 3221223712 3220982368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5478/statm): 2104 1470 413 48 0 2056 0
[pid=5478] vsize: 8416
Current children cumulated CPU time (s) 1008.99
Current children cumulated vsize (Kb) 10544
[startup+1240.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1502 0 0 0 61844 8681 0 0 25 0 1 0 20191126 8617984 1472 4294967295 134512640 134702520 3221223712 3220954688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5478/statm): 2104 1472 413 48 0 2056 0
[pid=5478] vsize: 8416
Current children cumulated CPU time (s) 1017.57
Current children cumulated vsize (Kb) 10544
[startup+1250.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1505 0 0 0 62650 8746 0 0 25 0 1 0 20191126 8617984 1475 4294967295 134512640 134702520 3221223712 3220897248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 2104 1475 413 48 0 2056 0
[pid=5478] vsize: 8416
Current children cumulated CPU time (s) 1026.28
Current children cumulated vsize (Kb) 10544
[startup+1260.09 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 1507 0 0 0 63035 8941 0 0 16 0 1 0 20191126 8765440 1477 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5478/statm): 2140 1477 413 48 0 2092 0
[pid=5478] vsize: 8560
Current children cumulated CPU time (s) 1032.08
Current children cumulated vsize (Kb) 10688
[startup+1270.09 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1512 0 0 0 63478 9117 0 0 25 0 1 0 20191126 8716288 1482 4294967295 134512640 134702520 3221223712 3221137068 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 2128 1482 413 48 0 2080 0
[pid=5478] vsize: 8512
Current children cumulated CPU time (s) 1038.27
Current children cumulated vsize (Kb) 10640
[startup+1280.09 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1514 0 0 0 64196 9207 0 0 25 0 1 0 20191126 8716288 1484 4294967295 134512640 134702520 3221223712 3221166836 134611990 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 2128 1484 413 48 0 2080 0
[pid=5478] vsize: 8512
Current children cumulated CPU time (s) 1046.35
Current children cumulated vsize (Kb) 10640
[startup+1290.1 s]
Raw data (loadavg): 1.13 1.04 1.01 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1518 0 0 0 64983 9279 0 0 25 0 1 0 20191126 8716288 1488 4294967295 134512640 134702520 3221223712 3221144268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5478/statm): 2128 1488 413 48 0 2080 0
[pid=5478] vsize: 8512
Current children cumulated CPU time (s) 1054.94
Current children cumulated vsize (Kb) 10640
[startup+1300.1 s]
Raw data (loadavg): 1.11 1.04 1.01 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1521 0 0 0 65753 9352 0 0 25 0 1 0 20191126 8716288 1491 4294967295 134512640 134702520 3221223712 3221145388 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5478/statm): 2128 1491 413 48 0 2080 0
[pid=5478] vsize: 8512
Current children cumulated CPU time (s) 1063.37
Current children cumulated vsize (Kb) 10640
[startup+1310.1 s]
Raw data (loadavg): 1.09 1.03 1.01 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1526 0 0 0 66542 9420 0 0 25 0 1 0 20191126 8716288 1496 4294967295 134512640 134702520 3221223712 3221130848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5478/statm): 2128 1496 413 48 0 2080 0
[pid=5478] vsize: 8512
Current children cumulated CPU time (s) 1071.94
Current children cumulated vsize (Kb) 10640
[startup+1320.1 s]
Raw data (loadavg): 1.08 1.03 1.01 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1531 0 0 0 67328 9488 0 0 25 0 1 0 20191126 8716288 1501 4294967295 134512640 134702520 3221223712 3221107648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 2128 1501 413 48 0 2080 0
[pid=5478] vsize: 8512
Current children cumulated CPU time (s) 1080.48
Current children cumulated vsize (Kb) 10640
[startup+1330.1 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1533 0 0 0 67921 9618 0 0 16 0 1 0 20191126 8871936 1503 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 2166 1503 413 48 0 2118 0
[pid=5478] vsize: 8664
Current children cumulated CPU time (s) 1087.71
Current children cumulated vsize (Kb) 10792
[startup+1340.1 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 1537 0 0 0 68244 9832 0 0 16 0 1 0 20191126 8826880 1507 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5478/statm): 2155 1507 413 48 0 2107 0
[pid=5478] vsize: 8620
Current children cumulated CPU time (s) 1093.08
Current children cumulated vsize (Kb) 10748
[startup+1350.1 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 1542 0 0 0 69004 9907 0 0 17 0 1 0 20191126 8826880 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5478/statm): 2155 1512 413 48 0 2107 0
[pid=5478] vsize: 8620
Current children cumulated CPU time (s) 1101.43
Current children cumulated vsize (Kb) 10748
[startup+1360.1 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 1546 0 0 0 69767 9976 0 0 16 0 1 0 20191126 8826880 1516 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5478/statm): 2155 1516 413 48 0 2107 0
[pid=5478] vsize: 8620
Current children cumulated CPU time (s) 1109.75
Current children cumulated vsize (Kb) 10748
[startup+1370.1 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 1550 0 0 0 70525 10050 0 0 17 0 1 0 20191126 8826880 1520 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5478/statm): 2155 1520 413 48 0 2107 0
[pid=5478] vsize: 8620
Current children cumulated CPU time (s) 1118.07
Current children cumulated vsize (Kb) 10748
[startup+1380.1 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 1553 0 0 0 71288 10129 0 0 17 0 1 0 20191126 8826880 1523 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5478/statm): 2155 1523 413 48 0 2107 0
[pid=5478] vsize: 8620
Current children cumulated CPU time (s) 1126.49
Current children cumulated vsize (Kb) 10748
[startup+1390.1 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1557 0 0 0 72059 10204 0 0 17 0 1 0 20191126 8826880 1527 4294967295 134512640 134702520 3221223712 3221221708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 2155 1527 413 48 0 2107 0
[pid=5478] vsize: 8620
Current children cumulated CPU time (s) 1134.95
Current children cumulated vsize (Kb) 10748
[startup+1400.1 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1559 0 0 0 72803 10284 0 0 16 0 1 0 20191126 8982528 1529 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5478/statm): 2193 1529 413 48 0 2145 0
[pid=5478] vsize: 8772
Current children cumulated CPU time (s) 1143.19
Current children cumulated vsize (Kb) 10900
[startup+1410.1 s]
Raw data (loadavg): 1.10 1.04 1.01 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 1561 0 0 0 73120 10505 0 0 16 0 1 0 20191126 8982528 1531 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5478/statm): 2193 1531 413 48 0 2145 0
[pid=5478] vsize: 8772
Current children cumulated CPU time (s) 1148.57
Current children cumulated vsize (Kb) 10900
[startup+1420.11 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 1567 0 0 0 73888 10576 0 0 18 0 1 0 20191126 8933376 1537 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5478/statm): 2181 1537 413 48 0 2133 0
[pid=5478] vsize: 8724
Current children cumulated CPU time (s) 1156.96
Current children cumulated vsize (Kb) 10852
[startup+1430.11 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 1605 0 0 0 74662 10646 0 0 17 0 1 0 20191126 8937472 1575 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/5478/statm): 2182 1575 413 48 0 2134 0
[pid=5478] vsize: 8728
Current children cumulated CPU time (s) 1165.4
Current children cumulated vsize (Kb) 10856
[startup+1440.11 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 1611 0 0 0 75433 10721 0 0 16 0 1 0 20191126 8937472 1581 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5478/statm): 2182 1581 413 48 0 2134 0
[pid=5478] vsize: 8728
Current children cumulated CPU time (s) 1173.86
Current children cumulated vsize (Kb) 10856
[startup+1450.11 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 1615 0 0 0 76199 10795 0 0 17 0 1 0 20191126 8937472 1585 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5478/statm): 2182 1585 413 48 0 2134 0
[pid=5478] vsize: 8728
Current children cumulated CPU time (s) 1182.26
Current children cumulated vsize (Kb) 10856
[startup+1460.11 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1621 0 0 0 76955 10872 0 0 25 0 1 0 20191126 8937472 1591 4294967295 134512640 134702520 3221223712 3220699968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 2182 1591 413 48 0 2134 0
[pid=5478] vsize: 8728
Current children cumulated CPU time (s) 1190.59
Current children cumulated vsize (Kb) 10856
[startup+1470.11 s]
Raw data (loadavg): 1.11 1.04 1.00 2/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) R 5473 5473 4005 0 -1 0 1627 0 0 0 77670 10969 0 0 25 0 1 0 20191126 9060352 1597 4294967295 134512640 134702520 3221223712 3220813728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5478/statm): 2212 1597 413 48 0 2164 0
[pid=5478] vsize: 8848
Current children cumulated CPU time (s) 1198.71
Current children cumulated vsize (Kb) 10976
[startup+1480.11 s]
Raw data (loadavg): 1.09 1.04 1.00 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 1629 0 0 0 78018 11184 0 0 16 0 1 0 20191126 9060352 1599 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5478/statm): 2212 1599 413 48 0 2164 0
[pid=5478] vsize: 8848
Current children cumulated CPU time (s) 1204.34
Current children cumulated vsize (Kb) 10976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1480.11 s]
Raw data (loadavg): 1.09 1.04 1.00 1/56 5478
Raw data (/proc/5473/stat): 5473 (vallstSAT2005PB) S 5472 5473 4005 0 -1 0 378 1617 0 0 2 1 29455 1774 18 0 1 0 20156234 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5473/statm): 532 248 485 147 0 385 0
[pid=5473] vsize: 2128
Raw data (/proc/5478/stat): 5478 (vallst) T 5473 5473 4005 0 -1 0 1629 0 0 0 78018 11184 0 0 16 0 1 0 20191126 9060352 1599 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5478/statm): 2212 1599 413 48 0 2164 0
[pid=5478] vsize: 8848
Current children cumulated CPU time (s) 1204.34
Current children cumulated vsize (Kb) 10976
Sending SIGTERM to -5473
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5480
New process pid=5481
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/3988/stat
open syscall for file /proc/3988/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/3988/cmdline
open syscall for file /proc/3988/environ
open syscall for file /proc/4013/stat
open syscall for file /proc/4013/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/4013/cmdline
open syscall for file /proc/4013/environ
open syscall for file /proc/5434/stat
open syscall for file /proc/5434/status
open syscall for file /proc/5434/cmdline
open syscall for file /proc/5434/environ
open syscall for file /proc/5472/stat
open syscall for file /proc/5472/status
open syscall for file /proc/5472/cmdline
open syscall for file /proc/5472/environ
open syscall for file /proc/5473/stat
open syscall for file /proc/5473/status
open syscall for file /proc/5473/cmdline
open syscall for file /proc/5473/environ
One traced child (pid=5478) exited with status: 3
open syscall for file /proc/5480/stat
open syscall for file /proc/5480/status
open syscall for file /proc/5480/cmdline
open syscall for file /proc/5480/environ
open syscall for file /proc/5481/stat
open syscall for file /proc/5481/status
open syscall for file /proc/5481/cmdline
open syscall for file /proc/5481/environ
One traced child (pid=5480) exited with status: 0
One traced child (pid=5481) exited with status: 0
New process pid=5482
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=5482) exited with status: 0
New process pid=5483
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=5483) exited with status: 0
One traced child (pid=5473) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1480.59
CPU time (s): 1204.54
CPU user time (s): 1074.86
CPU system time (s): 129.68
CPU usage (%): 81.3551
Max. virtual memory (cumulated for all children) (Kb): 10976