1:
seed: 0
Nr of vars set: 1 (#equs: 0)
Nr of vars set: 64 (#equs: 1)
#decisions: 64786; #end-nodes: 22733;
#proof improvement attempts: 0; #restarts: 96
Current batch, end-nodes: 0 / 1426 (103)
#axs: 187107, #non-axs: 5118
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 8072 (#equs: 1)
Time taken: 11 min, 53 sec
2:
Error: changing-setting file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options couldn't be opened.
No such file or directory
seed: 0
Nr of vars set: 8072 (#equs: 0)
Nr of vars set: 8072 (#equs: 0)
Interupt request received.
#decisions: 60311; #end-nodes: 27104;
#proof improvement attempts: 0; #restarts: 89
Current batch, end-nodes: 1008 / 1193 (142)
#axs: 156748, #non-axs: 19861
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 49070 (#equs: 1)
Time taken: 8 min, 10 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/26825/stat): 26825 (vallstSAT2005PB) R 26824 26825 19818 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1846027257 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26825/statm): 174 3 169 147 0 27 0
[pid=26825] 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=26826
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=26826) exited with status: 0
New process pid=26827
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=26827) exited with status: 0
New process pid=26828
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-cache.inv14.ucl.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.004 s]
Raw data (loadavg): 1.21 1.15 1.10 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 5768 0 0 0 954 28 0 0 25 0 1 0 1846027264 26734592 5222 4294967295 134512640 134702520 3221223952 3221109228 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26828/statm): 6527 5222 413 48 0 6479 0
[pid=26828] vsize: 26108
Current children cumulated CPU time (s) 9.84
Current children cumulated vsize (Kb) 28236
[startup+20.0048 s]
Raw data (loadavg): 1.18 1.14 1.10 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 5768 0 0 0 1953 28 0 0 25 0 1 0 1846027264 26734592 5222 4294967295 134512640 134702520 3221223952 3220616908 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26828/statm): 6527 5222 413 48 0 6479 0
[pid=26828] vsize: 26108
Current children cumulated CPU time (s) 19.83
Current children cumulated vsize (Kb) 28236
[startup+30.0056 s]
Raw data (loadavg): 1.15 1.14 1.09 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 5768 0 0 0 2953 28 0 0 25 0 1 0 1846027264 26734592 5222 4294967295 134512640 134702520 3221223952 3219991628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26828/statm): 6527 5222 413 48 0 6479 0
[pid=26828] vsize: 26108
Current children cumulated CPU time (s) 29.83
Current children cumulated vsize (Kb) 28236
[startup+40.0064 s]
Raw data (loadavg): 1.13 1.14 1.09 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 5971 0 0 0 3953 29 0 0 25 0 1 0 1846027264 27566080 5425 4294967295 134512640 134702520 3221223952 3218844428 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 6730 5425 413 48 0 6682 0
[pid=26828] vsize: 26920
Current children cumulated CPU time (s) 39.84
Current children cumulated vsize (Kb) 29048
[startup+50.0071 s]
Raw data (loadavg): 1.11 1.13 1.09 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6479 0 0 0 4952 30 0 0 25 0 1 0 1846027264 29646848 5933 4294967295 134512640 134702520 3221223952 3220833568 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 7238 5933 413 48 0 7190 0
[pid=26828] vsize: 28952
Current children cumulated CPU time (s) 49.84
Current children cumulated vsize (Kb) 31080
[startup+60.0079 s]
Raw data (loadavg): 1.09 1.13 1.09 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6492 0 0 0 5951 31 0 0 25 0 1 0 1846027264 58908672 5945 4294967295 134512640 134702520 3221223952 3221223232 134553320 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14382 5945 413 48 0 14334 0
[pid=26828] vsize: 57528
Current children cumulated CPU time (s) 59.84
Current children cumulated vsize (Kb) 59656
[startup+70.0087 s]
Raw data (loadavg): 1.08 1.12 1.09 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6555 0 0 0 6934 37 0 0 25 0 1 0 1846027264 58908672 6008 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14382 6008 413 48 0 14334 0
[pid=26828] vsize: 57528
Current children cumulated CPU time (s) 69.73
Current children cumulated vsize (Kb) 59656
[startup+80.0105 s]
Raw data (loadavg): 1.06 1.12 1.09 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6593 0 0 0 7917 45 0 0 25 0 1 0 1846027264 58908672 6046 4294967295 134512640 134702520 3221223952 3221223232 134553029 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14382 6046 413 48 0 14334 0
[pid=26828] vsize: 57528
Current children cumulated CPU time (s) 79.64
Current children cumulated vsize (Kb) 59656
[startup+90.0113 s]
Raw data (loadavg): 1.05 1.11 1.09 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6609 0 0 0 8901 49 0 0 25 0 1 0 1846027264 58908672 6062 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14382 6062 413 48 0 14334 0
[pid=26828] vsize: 57528
Current children cumulated CPU time (s) 89.52
Current children cumulated vsize (Kb) 59656
[startup+100.011 s]
Raw data (loadavg): 1.05 1.11 1.09 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) T 26825 26825 19818 0 -1 0 6627 0 0 0 9881 56 0 0 25 0 1 0 1846027264 58908672 6080 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14382 6080 413 48 0 14334 0
[pid=26828] vsize: 57528
Current children cumulated CPU time (s) 99.39
Current children cumulated vsize (Kb) 59656
[startup+110.012 s]
Raw data (loadavg): 1.04 1.10 1.08 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6628 0 0 0 10880 56 0 0 25 0 1 0 1846027264 58908672 6081 4294967295 134512640 134702520 3221223952 3220895708 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14382 6081 413 48 0 14334 0
[pid=26828] vsize: 57528
Current children cumulated CPU time (s) 109.38
Current children cumulated vsize (Kb) 59656
[startup+120.013 s]
Raw data (loadavg): 1.03 1.10 1.08 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6628 0 0 0 11881 56 0 0 25 0 1 0 1846027264 58908672 6081 4294967295 134512640 134702520 3221223952 3220536348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14382 6081 413 48 0 14334 0
[pid=26828] vsize: 57528
Current children cumulated CPU time (s) 119.39
Current children cumulated vsize (Kb) 59656
[startup+130.013 s]
Raw data (loadavg): 1.03 1.10 1.08 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6628 0 0 0 12881 56 0 0 25 0 1 0 1846027264 58908672 6081 4294967295 134512640 134702520 3221223952 3220147568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14382 6081 413 48 0 14334 0
[pid=26828] vsize: 57528
Current children cumulated CPU time (s) 129.39
Current children cumulated vsize (Kb) 59656
[startup+140.014 s]
Raw data (loadavg): 1.02 1.09 1.08 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6628 0 0 0 13881 56 0 0 25 0 1 0 1846027264 58908672 6081 4294967295 134512640 134702520 3221223952 3219713148 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14382 6081 413 48 0 14334 0
[pid=26828] vsize: 57528
Current children cumulated CPU time (s) 139.39
Current children cumulated vsize (Kb) 59656
[startup+150.015 s]
Raw data (loadavg): 1.02 1.09 1.08 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6628 0 0 0 14881 56 0 0 25 0 1 0 1846027264 58908672 6081 4294967295 134512640 134702520 3221223952 3219204208 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14382 6081 413 48 0 14334 0
[pid=26828] vsize: 57528
Current children cumulated CPU time (s) 149.39
Current children cumulated vsize (Kb) 59656
[startup+160.016 s]
Raw data (loadavg): 1.02 1.08 1.08 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6628 0 0 0 15881 56 0 0 25 0 1 0 1846027264 58908672 6081 4294967295 134512640 134702520 3221223952 3218509628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14382 6081 413 48 0 14334 0
[pid=26828] vsize: 57528
Current children cumulated CPU time (s) 159.39
Current children cumulated vsize (Kb) 59656
[startup+170.017 s]
Raw data (loadavg): 1.01 1.08 1.08 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6628 0 0 0 16881 57 0 0 25 0 1 0 1846027264 58908672 6081 4294967295 134512640 134702520 3221223952 3217266436 134611987 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14382 6081 413 48 0 14334 0
[pid=26828] vsize: 57528
Current children cumulated CPU time (s) 169.4
Current children cumulated vsize (Kb) 59656
[startup+180.017 s]
Raw data (loadavg): 1.01 1.08 1.08 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6930 0 0 0 17881 58 0 0 25 0 1 0 1846027264 60145664 6383 4294967295 134512640 134702520 3221223952 3220478128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6383 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 179.41
Current children cumulated vsize (Kb) 60864
[startup+190.018 s]
Raw data (loadavg): 1.01 1.08 1.08 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6931 0 0 0 18876 59 0 0 25 0 1 0 1846027264 60145664 6383 4294967295 134512640 134702520 3221223952 3221223232 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6383 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 189.37
Current children cumulated vsize (Kb) 60864
[startup+200.018 s]
Raw data (loadavg): 1.01 1.07 1.08 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6932 0 0 0 19856 65 0 0 25 0 1 0 1846027264 60145664 6384 4294967295 134512640 134702520 3221223952 3221223232 134553317 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6384 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 199.23
Current children cumulated vsize (Kb) 60864
[startup+210.019 s]
Raw data (loadavg): 1.00 1.07 1.07 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6939 0 0 0 20840 72 0 0 25 0 1 0 1846027264 60145664 6391 4294967295 134512640 134702520 3221223952 3221223232 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6391 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 209.14
Current children cumulated vsize (Kb) 60864
[startup+220.019 s]
Raw data (loadavg): 1.00 1.07 1.07 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6944 0 0 0 21832 74 0 0 25 0 1 0 1846027264 60145664 6396 4294967295 134512640 134702520 3221223952 3221190608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6396 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 219.08
Current children cumulated vsize (Kb) 60864
[startup+230.02 s]
Raw data (loadavg): 1.00 1.06 1.07 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6944 0 0 0 22832 75 0 0 25 0 1 0 1846027264 60145664 6396 4294967295 134512640 134702520 3221223952 3221134768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6396 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 229.09
Current children cumulated vsize (Kb) 60864
[startup+240.021 s]
Raw data (loadavg): 1.00 1.06 1.07 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6944 0 0 0 23832 75 0 0 25 0 1 0 1846027264 60145664 6396 4294967295 134512640 134702520 3221223952 3220959868 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6396 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 239.09
Current children cumulated vsize (Kb) 60864
[startup+250.021 s]
Raw data (loadavg): 1.00 1.06 1.07 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6946 0 0 0 24828 76 0 0 25 0 1 0 1846027264 60145664 6397 4294967295 134512640 134702520 3221223952 3221223232 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6397 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 249.06
Current children cumulated vsize (Kb) 60864
[startup+260.022 s]
Raw data (loadavg): 1.00 1.06 1.07 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6949 0 0 0 25810 82 0 0 25 0 1 0 1846027264 60145664 6400 4294967295 134512640 134702520 3221223952 3221223232 134553147 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6400 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 258.94
Current children cumulated vsize (Kb) 60864
[startup+270.022 s]
Raw data (loadavg): 1.00 1.05 1.07 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6961 0 0 0 26791 88 0 0 25 0 1 0 1846027264 60145664 6412 4294967295 134512640 134702520 3221223952 3221223232 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6412 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 268.81
Current children cumulated vsize (Kb) 60864
[startup+280.023 s]
Raw data (loadavg): 1.00 1.05 1.07 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6968 0 0 0 27786 90 0 0 25 0 1 0 1846027264 60145664 6419 4294967295 134512640 134702520 3221223952 3221190448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6419 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 278.78
Current children cumulated vsize (Kb) 60864
[startup+290.024 s]
Raw data (loadavg): 1.00 1.05 1.07 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6968 0 0 0 28786 90 0 0 25 0 1 0 1846027264 60145664 6419 4294967295 134512640 134702520 3221223952 3221134908 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6419 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 288.78
Current children cumulated vsize (Kb) 60864
[startup+300.024 s]
Raw data (loadavg): 1.00 1.05 1.07 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6968 0 0 0 29787 90 0 0 25 0 1 0 1846027264 60145664 6419 4294967295 134512640 134702520 3221223952 3221074128 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6419 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 298.79
Current children cumulated vsize (Kb) 60864
[startup+310.025 s]
Raw data (loadavg): 1.00 1.05 1.06 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6968 0 0 0 30787 90 0 0 25 0 1 0 1846027264 60145664 6419 4294967295 134512640 134702520 3221223952 3221012348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6419 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 308.79
Current children cumulated vsize (Kb) 60864
[startup+320.025 s]
Raw data (loadavg): 1.00 1.04 1.06 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6968 0 0 0 31787 91 0 0 25 0 1 0 1846027264 60145664 6419 4294967295 134512640 134702520 3221223952 3220949168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6419 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 318.8
Current children cumulated vsize (Kb) 60864
[startup+330.026 s]
Raw data (loadavg): 1.00 1.04 1.06 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6968 0 0 0 32787 91 0 0 25 0 1 0 1846027264 60145664 6419 4294967295 134512640 134702520 3221223952 3220885628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6419 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 328.8
Current children cumulated vsize (Kb) 60864
[startup+340.027 s]
Raw data (loadavg): 1.00 1.04 1.06 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6968 0 0 0 33787 91 0 0 25 0 1 0 1846027264 60145664 6419 4294967295 134512640 134702520 3221223952 3220814588 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6419 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 338.8
Current children cumulated vsize (Kb) 60864
[startup+350.027 s]
Raw data (loadavg): 1.00 1.04 1.06 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6968 0 0 0 34787 91 0 0 25 0 1 0 1846027264 60145664 6419 4294967295 134512640 134702520 3221223952 3220740676 134612020 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6419 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 348.8
Current children cumulated vsize (Kb) 60864
[startup+360.027 s]
Raw data (loadavg): 1.00 1.04 1.06 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6968 0 0 0 35787 91 0 0 25 0 1 0 1846027264 60145664 6419 4294967295 134512640 134702520 3221223952 3220664348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6419 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 358.8
Current children cumulated vsize (Kb) 60864
[startup+370.028 s]
Raw data (loadavg): 1.00 1.04 1.06 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6968 0 0 0 36787 91 0 0 25 0 1 0 1846027264 60145664 6419 4294967295 134512640 134702520 3221223952 3220483708 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6419 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 368.8
Current children cumulated vsize (Kb) 60864
[startup+380.029 s]
Raw data (loadavg): 1.00 1.03 1.06 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6968 0 0 0 37788 91 0 0 25 0 1 0 1846027264 60145664 6419 4294967295 134512640 134702520 3221223952 3219800988 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6419 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 378.81
Current children cumulated vsize (Kb) 60864
[startup+390.03 s]
Raw data (loadavg): 1.00 1.03 1.06 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6968 0 0 0 38788 91 0 0 25 0 1 0 1846027264 60145664 6419 4294967295 134512640 134702520 3221223952 3218120528 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6419 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 388.81
Current children cumulated vsize (Kb) 60864
[startup+400.03 s]
Raw data (loadavg): 1.07 1.05 1.06 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6968 0 0 0 39788 92 0 0 25 0 1 0 1846027264 60145664 6419 4294967295 134512640 134702520 3221223952 3219388988 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6419 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 398.82
Current children cumulated vsize (Kb) 60864
[startup+410.03 s]
Raw data (loadavg): 1.06 1.04 1.06 1/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) T 26825 26825 19818 0 -1 0 6985 0 0 0 40775 97 0 0 25 0 1 0 1846027264 60280832 6435 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14717 6435 413 48 0 14669 0
[pid=26828] vsize: 58868
Current children cumulated CPU time (s) 408.74
Current children cumulated vsize (Kb) 60996
[startup+420.031 s]
Raw data (loadavg): 1.05 1.04 1.06 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7009 0 0 0 41758 102 0 0 25 0 1 0 1846027264 60280832 6459 4294967295 134512640 134702520 3221223952 3221223232 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14717 6459 413 48 0 14669 0
[pid=26828] vsize: 58868
Current children cumulated CPU time (s) 418.62
Current children cumulated vsize (Kb) 60996
[startup+430.033 s]
Raw data (loadavg): 1.04 1.04 1.06 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7030 0 0 0 42740 109 0 0 25 0 1 0 1846027264 60280832 6480 4294967295 134512640 134702520 3221223952 3221223232 134553489 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14717 6480 413 48 0 14669 0
[pid=26828] vsize: 58868
Current children cumulated CPU time (s) 428.51
Current children cumulated vsize (Kb) 60996
[startup+440.034 s]
Raw data (loadavg): 1.04 1.04 1.06 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7045 0 0 0 43728 113 0 0 25 0 1 0 1846027264 60280832 6495 4294967295 134512640 134702520 3221223952 3221206928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14717 6495 413 48 0 14669 0
[pid=26828] vsize: 58868
Current children cumulated CPU time (s) 438.43
Current children cumulated vsize (Kb) 60996
[startup+450.034 s]
Raw data (loadavg): 1.03 1.04 1.06 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7045 0 0 0 44728 113 0 0 25 0 1 0 1846027264 60280832 6495 4294967295 134512640 134702520 3221223952 3221149328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14717 6495 413 48 0 14669 0
[pid=26828] vsize: 58868
Current children cumulated CPU time (s) 448.43
Current children cumulated vsize (Kb) 60996
[startup+460.034 s]
Raw data (loadavg): 1.02 1.03 1.06 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7045 0 0 0 45728 114 0 0 25 0 1 0 1846027264 60280832 6495 4294967295 134512640 134702520 3221223952 3221090128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14717 6495 413 48 0 14669 0
[pid=26828] vsize: 58868
Current children cumulated CPU time (s) 458.44
Current children cumulated vsize (Kb) 60996
[startup+470.035 s]
Raw data (loadavg): 1.02 1.03 1.05 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7045 0 0 0 46728 114 0 0 25 0 1 0 1846027264 60280832 6495 4294967295 134512640 134702520 3221223952 3221029808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14717 6495 413 48 0 14669 0
[pid=26828] vsize: 58868
Current children cumulated CPU time (s) 468.44
Current children cumulated vsize (Kb) 60996
[startup+480.036 s]
Raw data (loadavg): 1.02 1.03 1.05 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7045 0 0 0 47728 114 0 0 25 0 1 0 1846027264 60280832 6495 4294967295 134512640 134702520 3221223952 3220965788 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14717 6495 413 48 0 14669 0
[pid=26828] vsize: 58868
Current children cumulated CPU time (s) 478.44
Current children cumulated vsize (Kb) 60996
[startup+490.037 s]
Raw data (loadavg): 1.01 1.03 1.05 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7045 0 0 0 48728 115 0 0 25 0 1 0 1846027264 60280832 6495 4294967295 134512640 134702520 3221223952 3220895888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14717 6495 413 48 0 14669 0
[pid=26828] vsize: 58868
Current children cumulated CPU time (s) 488.45
Current children cumulated vsize (Kb) 60996
[startup+500.036 s]
Raw data (loadavg): 1.01 1.03 1.05 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7045 0 0 0 49728 115 0 0 25 0 1 0 1846027264 60280832 6495 4294967295 134512640 134702520 3221223952 3220824688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14717 6495 413 48 0 14669 0
[pid=26828] vsize: 58868
Current children cumulated CPU time (s) 498.45
Current children cumulated vsize (Kb) 60996
[startup+510.037 s]
Raw data (loadavg): 1.01 1.03 1.05 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7045 0 0 0 50727 115 0 0 25 0 1 0 1846027264 60280832 6495 4294967295 134512640 134702520 3221223952 3220751408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14717 6495 413 48 0 14669 0
[pid=26828] vsize: 58868
Current children cumulated CPU time (s) 508.44
Current children cumulated vsize (Kb) 60996
[startup+520.038 s]
Raw data (loadavg): 1.01 1.03 1.05 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7045 0 0 0 51728 115 0 0 25 0 1 0 1846027264 60280832 6495 4294967295 134512640 134702520 3221223952 3220278588 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14717 6495 413 48 0 14669 0
[pid=26828] vsize: 58868
Current children cumulated CPU time (s) 518.45
Current children cumulated vsize (Kb) 60996
[startup+530.04 s]
Raw data (loadavg): 1.01 1.02 1.05 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7045 0 0 0 52728 115 0 0 25 0 1 0 1846027264 60280832 6495 4294967295 134512640 134702520 3221223952 3220645808 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14717 6495 413 48 0 14669 0
[pid=26828] vsize: 58868
Current children cumulated CPU time (s) 528.45
Current children cumulated vsize (Kb) 60996
[startup+540.041 s]
Raw data (loadavg): 1.00 1.02 1.05 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7045 0 0 0 53728 116 0 0 25 0 1 0 1846027264 60280832 6495 4294967295 134512640 134702520 3221223952 3220486428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14717 6495 413 48 0 14669 0
[pid=26828] vsize: 58868
Current children cumulated CPU time (s) 538.46
Current children cumulated vsize (Kb) 60996
[startup+550.041 s]
Raw data (loadavg): 1.00 1.02 1.05 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7045 0 0 0 54728 116 0 0 25 0 1 0 1846027264 60280832 6495 4294967295 134512640 134702520 3221223952 3220308508 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14717 6495 413 48 0 14669 0
[pid=26828] vsize: 58868
Current children cumulated CPU time (s) 548.46
Current children cumulated vsize (Kb) 60996
[startup+560.042 s]
Raw data (loadavg): 1.00 1.02 1.05 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7046 0 0 0 55726 116 0 0 25 0 1 0 1846027264 60280832 6495 4294967295 134512640 134702520 3221223952 3221223232 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14717 6495 413 48 0 14669 0
[pid=26828] vsize: 58868
Current children cumulated CPU time (s) 558.44
Current children cumulated vsize (Kb) 60996
[startup+570.043 s]
Raw data (loadavg): 1.00 1.02 1.04 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7066 0 0 0 56710 123 0 0 25 0 1 0 1846027264 60280832 6515 4294967295 134512640 134702520 3221223952 3221223212 134548988 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26828/statm): 14717 6515 413 48 0 14669 0
[pid=26828] vsize: 58868
Current children cumulated CPU time (s) 568.35
Current children cumulated vsize (Kb) 60996
[startup+580.043 s]
Raw data (loadavg): 1.00 1.02 1.04 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7103 0 0 0 57694 129 0 0 20 0 1 0 1846027264 60280832 6552 4294967295 134512640 134702520 3221223952 3221223216 134553213 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26828/statm): 14717 6552 413 48 0 14669 0
[pid=26828] vsize: 58868
Current children cumulated CPU time (s) 578.25
Current children cumulated vsize (Kb) 60996
[startup+590.044 s]
Raw data (loadavg): 1.00 1.02 1.04 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7140 0 0 0 58682 133 0 0 25 0 1 0 1846027264 60280832 6589 4294967295 134512640 134702520 3221223952 3221223232 134550404 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26828/statm): 14717 6589 413 48 0 14669 0
[pid=26828] vsize: 58868
Current children cumulated CPU time (s) 588.17
Current children cumulated vsize (Kb) 60996
[startup+600.044 s]
Raw data (loadavg): 1.00 1.02 1.04 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7159 0 0 0 59669 137 0 0 25 0 1 0 1846027264 60416000 6608 4294967295 134512640 134702520 3221223952 3221073328 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26828/statm): 14750 6608 413 48 0 14702 0
[pid=26828] vsize: 59000
Current children cumulated CPU time (s) 598.08
Current children cumulated vsize (Kb) 61128
[startup+610.046 s]
Raw data (loadavg): 1.00 1.02 1.04 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7159 0 0 0 60669 137 0 0 25 0 1 0 1846027264 60416000 6608 4294967295 134512640 134702520 3221223952 3219243072 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26828/statm): 14750 6608 413 48 0 14702 0
[pid=26828] vsize: 59000
Current children cumulated CPU time (s) 608.08
Current children cumulated vsize (Kb) 61128
[startup+620.047 s]
Raw data (loadavg): 1.00 1.02 1.04 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7159 0 0 0 61668 138 0 0 25 0 1 0 1846027264 60416000 6608 4294967295 134512640 134702520 3221223952 3221089472 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26828/statm): 14750 6608 413 48 0 14702 0
[pid=26828] vsize: 59000
Current children cumulated CPU time (s) 618.08
Current children cumulated vsize (Kb) 61128
[startup+630.048 s]
Raw data (loadavg): 1.00 1.02 1.04 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7159 0 0 0 62668 138 0 0 25 0 1 0 1846027264 60416000 6608 4294967295 134512640 134702520 3221223952 3220692368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26828/statm): 14750 6608 413 48 0 14702 0
[pid=26828] vsize: 59000
Current children cumulated CPU time (s) 628.08
Current children cumulated vsize (Kb) 61128
[startup+640.048 s]
Raw data (loadavg): 1.00 1.01 1.04 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7161 0 0 0 63666 139 0 0 25 0 1 0 1846027264 60416000 6609 4294967295 134512640 134702520 3221223952 3221223200 134564365 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26828/statm): 14750 6609 413 48 0 14702 0
[pid=26828] vsize: 59000
Current children cumulated CPU time (s) 638.07
Current children cumulated vsize (Kb) 61128
[startup+650.049 s]
Raw data (loadavg): 1.00 1.01 1.04 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7174 0 0 0 64653 144 0 0 25 0 1 0 1846027264 60416000 6622 4294967295 134512640 134702520 3221223952 3221223232 134550645 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26828/statm): 14750 6622 413 48 0 14702 0
[pid=26828] vsize: 59000
Current children cumulated CPU time (s) 647.99
Current children cumulated vsize (Kb) 61128
[startup+660.05 s]
Raw data (loadavg): 1.00 1.01 1.04 1/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) T 26825 26825 19818 0 -1 0 7195 0 0 0 65639 148 0 0 25 0 1 0 1846027264 60416000 6643 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26828/statm): 14750 6643 413 48 0 14702 0
[pid=26828] vsize: 59000
Current children cumulated CPU time (s) 657.89
Current children cumulated vsize (Kb) 61128
[startup+670.052 s]
Raw data (loadavg): 1.00 1.01 1.04 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7223 0 0 0 66624 155 0 0 25 0 1 0 1846027264 60416000 6671 4294967295 134512640 134702520 3221223952 3221223232 134553904 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26828/statm): 14750 6671 413 48 0 14702 0
[pid=26828] vsize: 59000
Current children cumulated CPU time (s) 667.81
Current children cumulated vsize (Kb) 61128
[startup+680.052 s]
Raw data (loadavg): 1.00 1.01 1.03 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7245 0 0 0 67609 160 0 0 25 0 1 0 1846027264 60416000 6693 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26828/statm): 14750 6693 413 48 0 14702 0
[pid=26828] vsize: 59000
Current children cumulated CPU time (s) 677.71
Current children cumulated vsize (Kb) 61128
[startup+690.052 s]
Raw data (loadavg): 1.00 1.01 1.03 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7265 0 0 0 68606 162 0 0 25 0 1 0 1846027264 60416000 6713 4294967295 134512640 134702520 3221223952 3219705468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26828/statm): 14750 6713 413 48 0 14702 0
[pid=26828] vsize: 59000
Current children cumulated CPU time (s) 687.7
Current children cumulated vsize (Kb) 61128
[startup+700.053 s]
Raw data (loadavg): 1.00 1.01 1.03 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7265 0 0 0 69606 162 0 0 25 0 1 0 1846027264 60416000 6713 4294967295 134512640 134702520 3221223952 3221030268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26828/statm): 14750 6713 413 48 0 14702 0
[pid=26828] vsize: 59000
Current children cumulated CPU time (s) 697.7
Current children cumulated vsize (Kb) 61128
[startup+710.054 s]
Raw data (loadavg): 1.00 1.01 1.03 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7265 0 0 0 70606 162 0 0 25 0 1 0 1846027264 60416000 6713 4294967295 134512640 134702520 3221223952 3220589148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26828/statm): 14750 6713 413 48 0 14702 0
[pid=26828] vsize: 59000
Current children cumulated CPU time (s) 707.7
Current children cumulated vsize (Kb) 61128
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=26828) exited with status: 2
New process pid=26829
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=26829) exited with status: 0
New process pid=26830
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+720.055 s]
Raw data (loadavg): 1.00 1.01 1.03 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 3643 0 0 0 242 16 0 0 25 0 1 0 1846099003 22949888 3614 4294967295 134512640 134702520 3221223712 3221223336 1074475096 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26830/statm): 5603 3614 413 48 0 5555 0
[pid=26830] vsize: 22412
Current children cumulated CPU time (s) 717.53
Current children cumulated vsize (Kb) 24540
[startup+730.056 s]
Raw data (loadavg): 1.07 1.02 1.03 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 4435 0 0 0 1237 20 0 0 25 0 1 0 1846099003 24555520 4405 4294967295 134512640 134702520 3221223712 3220742908 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 5995 4405 413 48 0 5947 0
[pid=26830] vsize: 23980
Current children cumulated CPU time (s) 727.52
Current children cumulated vsize (Kb) 26108
[startup+740.056 s]
Raw data (loadavg): 1.06 1.02 1.03 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 4793 0 0 0 2236 21 0 0 25 0 1 0 1846099003 26021888 4763 4294967295 134512640 134702520 3221223712 3221162608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 6353 4763 413 48 0 6305 0
[pid=26830] vsize: 25412
Current children cumulated CPU time (s) 737.52
Current children cumulated vsize (Kb) 27540
[startup+750.056 s]
Raw data (loadavg): 1.05 1.02 1.03 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 4793 0 0 0 3236 21 0 0 25 0 1 0 1846099003 26021888 4763 4294967295 134512640 134702520 3221223712 3220787388 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 6353 4763 413 48 0 6305 0
[pid=26830] vsize: 25412
Current children cumulated CPU time (s) 747.52
Current children cumulated vsize (Kb) 27540
[startup+760.057 s]
Raw data (loadavg): 1.04 1.02 1.03 1/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) T 26825 26825 19818 0 -1 0 4917 0 0 0 4236 21 0 0 25 0 1 0 1846099003 55463936 4886 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13541 4886 413 48 0 13493 0
[pid=26830] vsize: 54164
Current children cumulated CPU time (s) 757.52
Current children cumulated vsize (Kb) 56292
[startup+770.058 s]
Raw data (loadavg): 1.04 1.02 1.03 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 4977 0 0 0 5220 27 0 0 25 0 1 0 1846099003 55463936 4946 4294967295 134512640 134702520 3221223712 3221222992 134550674 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13541 4946 413 48 0 13493 0
[pid=26830] vsize: 54164
Current children cumulated CPU time (s) 767.42
Current children cumulated vsize (Kb) 56292
[startup+780.057 s]
Raw data (loadavg): 1.03 1.02 1.03 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 4998 0 0 0 6206 32 0 0 25 0 1 0 1846099003 55463936 4967 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13541 4967 413 48 0 13493 0
[pid=26830] vsize: 54164
Current children cumulated CPU time (s) 777.33
Current children cumulated vsize (Kb) 56292
[startup+790.058 s]
Raw data (loadavg): 1.02 1.02 1.03 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5024 0 0 0 7195 37 0 0 25 0 1 0 1846099003 55599104 4993 4294967295 134512640 134702520 3221223712 3221218348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13574 4993 413 48 0 13526 0
[pid=26830] vsize: 54296
Current children cumulated CPU time (s) 787.27
Current children cumulated vsize (Kb) 56424
[startup+800.059 s]
Raw data (loadavg): 1.02 1.02 1.03 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5024 0 0 0 8195 37 0 0 25 0 1 0 1846099003 55599104 4993 4294967295 134512640 134702520 3221223712 3220953708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13574 4993 413 48 0 13526 0
[pid=26830] vsize: 54296
Current children cumulated CPU time (s) 797.27
Current children cumulated vsize (Kb) 56424
[startup+810.06 s]
Raw data (loadavg): 1.02 1.01 1.03 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5024 0 0 0 9195 37 0 0 25 0 1 0 1846099003 55599104 4993 4294967295 134512640 134702520 3221223712 3220466048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13574 4993 413 48 0 13526 0
[pid=26830] vsize: 54296
Current children cumulated CPU time (s) 807.27
Current children cumulated vsize (Kb) 56424
[startup+820.061 s]
Raw data (loadavg): 1.01 1.01 1.03 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5034 0 0 0 10186 40 0 0 25 0 1 0 1846099003 55599104 5002 4294967295 134512640 134702520 3221223712 3221222992 134553277 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13574 5002 413 48 0 13526 0
[pid=26830] vsize: 54296
Current children cumulated CPU time (s) 817.21
Current children cumulated vsize (Kb) 56424
[startup+830.06 s]
Raw data (loadavg): 1.01 1.01 1.02 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5050 0 0 0 11169 46 0 0 25 0 1 0 1846099003 55599104 5018 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13574 5018 413 48 0 13526 0
[pid=26830] vsize: 54296
Current children cumulated CPU time (s) 827.1
Current children cumulated vsize (Kb) 56424
[startup+840.061 s]
Raw data (loadavg): 1.01 1.01 1.02 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5066 0 0 0 12155 51 0 0 25 0 1 0 1846099003 55599104 5034 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26830/statm): 13574 5034 413 48 0 13526 0
[pid=26830] vsize: 54296
Current children cumulated CPU time (s) 837.01
Current children cumulated vsize (Kb) 56424
[startup+850.062 s]
Raw data (loadavg): 1.01 1.01 1.02 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5121 0 0 0 13140 57 0 0 25 0 1 0 1846099003 55599104 5089 4294967295 134512640 134702520 3221223712 3221175008 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13574 5089 413 48 0 13526 0
[pid=26830] vsize: 54296
Current children cumulated CPU time (s) 846.92
Current children cumulated vsize (Kb) 56424
[startup+860.063 s]
Raw data (loadavg): 1.01 1.01 1.02 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5121 0 0 0 14140 57 0 0 25 0 1 0 1846099003 55599104 5089 4294967295 134512640 134702520 3221223712 3221142828 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13574 5089 413 48 0 13526 0
[pid=26830] vsize: 54296
Current children cumulated CPU time (s) 856.92
Current children cumulated vsize (Kb) 56424
[startup+870.063 s]
Raw data (loadavg): 1.00 1.01 1.02 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5121 0 0 0 15140 57 0 0 25 0 1 0 1846099003 55599104 5089 4294967295 134512640 134702520 3221223712 3220837568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13574 5089 413 48 0 13526 0
[pid=26830] vsize: 54296
Current children cumulated CPU time (s) 866.92
Current children cumulated vsize (Kb) 56424
[startup+880.063 s]
Raw data (loadavg): 1.00 1.01 1.02 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5121 0 0 0 16140 57 0 0 25 0 1 0 1846099003 55599104 5089 4294967295 134512640 134702520 3221223712 3220218848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13574 5089 413 48 0 13526 0
[pid=26830] vsize: 54296
Current children cumulated CPU time (s) 876.92
Current children cumulated vsize (Kb) 56424
[startup+890.064 s]
Raw data (loadavg): 1.00 1.01 1.02 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5124 0 0 0 17129 62 0 0 25 0 1 0 1846099003 55599104 5091 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13574 5091 413 48 0 13526 0
[pid=26830] vsize: 54296
Current children cumulated CPU time (s) 886.86
Current children cumulated vsize (Kb) 56424
[startup+900.064 s]
Raw data (loadavg): 1.00 1.01 1.02 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5139 0 0 0 18110 67 0 0 25 0 1 0 1846099003 55599104 5106 4294967295 134512640 134702520 3221223712 3221222992 134557208 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26830/statm): 13574 5106 413 48 0 13526 0
[pid=26830] vsize: 54296
Current children cumulated CPU time (s) 896.72
Current children cumulated vsize (Kb) 56424
[startup+910.066 s]
Raw data (loadavg): 1.00 1.00 1.02 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5153 0 0 0 19098 72 0 0 25 0 1 0 1846099003 55734272 5120 4294967295 134512640 134702520 3221223712 3221222992 134552354 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13607 5120 413 48 0 13559 0
[pid=26830] vsize: 54428
Current children cumulated CPU time (s) 906.65
Current children cumulated vsize (Kb) 56556
[startup+920.066 s]
Raw data (loadavg): 1.00 1.00 1.02 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5159 0 0 0 20091 75 0 0 25 0 1 0 1846099003 55734272 5126 4294967295 134512640 134702520 3221223712 3221019148 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13607 5126 413 48 0 13559 0
[pid=26830] vsize: 54428
Current children cumulated CPU time (s) 916.61
Current children cumulated vsize (Kb) 56556
[startup+930.066 s]
Raw data (loadavg): 1.00 1.00 1.02 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5159 0 0 0 21091 75 0 0 25 0 1 0 1846099003 55734272 5126 4294967295 134512640 134702520 3221223712 3220407788 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13607 5126 413 48 0 13559 0
[pid=26830] vsize: 54428
Current children cumulated CPU time (s) 926.61
Current children cumulated vsize (Kb) 56556
[startup+940.067 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5159 0 0 0 22091 75 0 0 25 0 1 0 1846099003 55734272 5126 4294967295 134512640 134702520 3221223712 3219397548 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13607 5126 413 48 0 13559 0
[pid=26830] vsize: 54428
Current children cumulated CPU time (s) 936.61
Current children cumulated vsize (Kb) 56556
[startup+950.067 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5458 0 0 0 23090 77 0 0 25 0 1 0 1846099003 56958976 5425 4294967295 134512640 134702520 3221223712 3221159488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13906 5425 413 48 0 13858 0
[pid=26830] vsize: 55624
Current children cumulated CPU time (s) 946.62
Current children cumulated vsize (Kb) 57752
[startup+960.068 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5458 0 0 0 24090 77 0 0 25 0 1 0 1846099003 56958976 5425 4294967295 134512640 134702520 3221223712 3220912128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13906 5425 413 48 0 13858 0
[pid=26830] vsize: 55624
Current children cumulated CPU time (s) 956.62
Current children cumulated vsize (Kb) 57752
[startup+970.068 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5458 0 0 0 25091 77 0 0 25 0 1 0 1846099003 56958976 5425 4294967295 134512640 134702520 3221223712 3220396128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13906 5425 413 48 0 13858 0
[pid=26830] vsize: 55624
Current children cumulated CPU time (s) 966.63
Current children cumulated vsize (Kb) 57752
[startup+980.068 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5461 0 0 0 26078 81 0 0 25 0 1 0 1846099003 56958976 5427 4294967295 134512640 134702520 3221223712 3221222992 134552544 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13906 5427 413 48 0 13858 0
[pid=26830] vsize: 55624
Current children cumulated CPU time (s) 976.54
Current children cumulated vsize (Kb) 57752
[startup+990.069 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5472 0 0 0 27062 86 0 0 25 0 1 0 1846099003 56958976 5438 4294967295 134512640 134702520 3221223712 3221222980 134553184 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13906 5438 413 48 0 13858 0
[pid=26830] vsize: 55624
Current children cumulated CPU time (s) 986.43
Current children cumulated vsize (Kb) 57752
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5489 0 0 0 28045 93 0 0 25 0 1 0 1846099003 56958976 5455 4294967295 134512640 134702520 3221223712 3221222972 134548988 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13906 5455 413 48 0 13858 0
[pid=26830] vsize: 55624
Current children cumulated CPU time (s) 996.33
Current children cumulated vsize (Kb) 57752
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5582 0 0 0 29025 102 0 0 25 0 1 0 1846099003 56958976 5548 4294967295 134512640 134702520 3221223712 3221222992 134550654 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13906 5548 413 48 0 13858 0
[pid=26830] vsize: 55624
Current children cumulated CPU time (s) 1006.22
Current children cumulated vsize (Kb) 57752
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5597 0 0 0 30021 103 0 0 25 0 1 0 1846099003 56958976 5563 4294967295 134512640 134702520 3221223712 3220578188 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26830/statm): 13906 5563 413 48 0 13858 0
[pid=26830] vsize: 55624
Current children cumulated CPU time (s) 1016.19
Current children cumulated vsize (Kb) 57752
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5597 0 0 0 31019 105 0 0 25 0 1 0 1846099003 56958976 5563 4294967295 134512640 134702520 3221223712 3221135648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13906 5563 413 48 0 13858 0
[pid=26830] vsize: 55624
Current children cumulated CPU time (s) 1026.19
Current children cumulated vsize (Kb) 57752
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5597 0 0 0 32018 106 0 0 25 0 1 0 1846099003 56958976 5563 4294967295 134512640 134702520 3221223712 3221016128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13906 5563 413 48 0 13858 0
[pid=26830] vsize: 55624
Current children cumulated CPU time (s) 1036.19
Current children cumulated vsize (Kb) 57752
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5597 0 0 0 33018 106 0 0 25 0 1 0 1846099003 56958976 5563 4294967295 134512640 134702520 3221223712 3220882028 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13906 5563 413 48 0 13858 0
[pid=26830] vsize: 55624
Current children cumulated CPU time (s) 1046.19
Current children cumulated vsize (Kb) 57752
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5597 0 0 0 34018 107 0 0 25 0 1 0 1846099003 56958976 5563 4294967295 134512640 134702520 3221223712 3220421408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13906 5563 413 48 0 13858 0
[pid=26830] vsize: 55624
Current children cumulated CPU time (s) 1056.2
Current children cumulated vsize (Kb) 57752
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5615 0 0 0 35009 110 0 0 25 0 1 0 1846099003 56958976 5580 4294967295 134512640 134702520 3221223712 3221222992 134553055 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13906 5580 413 48 0 13858 0
[pid=26830] vsize: 55624
Current children cumulated CPU time (s) 1066.14
Current children cumulated vsize (Kb) 57752
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5632 0 0 0 36000 114 0 0 25 0 1 0 1846099003 56958976 5597 4294967295 134512640 134702520 3221223712 3221222992 134552108 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13906 5597 413 48 0 13858 0
[pid=26830] vsize: 55624
Current children cumulated CPU time (s) 1076.09
Current children cumulated vsize (Kb) 57752
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5665 0 0 0 36980 121 0 0 25 0 1 0 1846099003 56958976 5630 4294967295 134512640 134702520 3221223712 3221222992 134552569 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13906 5630 413 48 0 13858 0
[pid=26830] vsize: 55624
Current children cumulated CPU time (s) 1085.96
Current children cumulated vsize (Kb) 57752
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5694 0 0 0 37967 126 0 0 25 0 1 0 1846099003 57094144 5659 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13939 5659 413 48 0 13891 0
[pid=26830] vsize: 55756
Current children cumulated CPU time (s) 1095.88
Current children cumulated vsize (Kb) 57884
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5717 0 0 0 38957 129 0 0 25 0 1 0 1846099003 57094144 5682 4294967295 134512640 134702520 3221223712 3221222992 134552539 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13939 5682 413 48 0 13891 0
[pid=26830] vsize: 55756
Current children cumulated CPU time (s) 1105.81
Current children cumulated vsize (Kb) 57884
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5829 0 0 0 39944 135 0 0 25 0 1 0 1846099003 57094144 5794 4294967295 134512640 134702520 3221223712 3221220748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13939 5794 413 48 0 13891 0
[pid=26830] vsize: 55756
Current children cumulated CPU time (s) 1115.74
Current children cumulated vsize (Kb) 57884
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5829 0 0 0 40944 135 0 0 25 0 1 0 1846099003 57094144 5794 4294967295 134512640 134702520 3221223712 3220661708 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13939 5794 413 48 0 13891 0
[pid=26830] vsize: 55756
Current children cumulated CPU time (s) 1125.74
Current children cumulated vsize (Kb) 57884
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5829 0 0 0 41943 136 0 0 25 0 1 0 1846099003 57094144 5794 4294967295 134512640 134702520 3221223712 3219867632 134611991 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13939 5794 413 48 0 13891 0
[pid=26830] vsize: 55756
Current children cumulated CPU time (s) 1135.74
Current children cumulated vsize (Kb) 57884
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5829 0 0 0 42943 136 0 0 25 0 1 0 1846099003 57094144 5794 4294967295 134512640 134702520 3221223712 3220788432 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13939 5794 413 48 0 13891 0
[pid=26830] vsize: 55756
Current children cumulated CPU time (s) 1145.74
Current children cumulated vsize (Kb) 57884
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5829 0 0 0 43944 136 0 0 25 0 1 0 1846099003 57094144 5794 4294967295 134512640 134702520 3221223712 3221029888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13939 5794 413 48 0 13891 0
[pid=26830] vsize: 55756
Current children cumulated CPU time (s) 1155.75
Current children cumulated vsize (Kb) 57884
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5829 0 0 0 44944 136 0 0 25 0 1 0 1846099003 57094144 5794 4294967295 134512640 134702520 3221223712 3220737228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13939 5794 413 48 0 13891 0
[pid=26830] vsize: 55756
Current children cumulated CPU time (s) 1165.75
Current children cumulated vsize (Kb) 57884
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5829 0 0 0 45944 137 0 0 25 0 1 0 1846099003 57094144 5794 4294967295 134512640 134702520 3221223712 3219993888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13939 5794 413 48 0 13891 0
[pid=26830] vsize: 55756
Current children cumulated CPU time (s) 1175.76
Current children cumulated vsize (Kb) 57884
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5846 0 0 0 46931 141 0 0 25 0 1 0 1846099003 57094144 5810 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13939 5810 413 48 0 13891 0
[pid=26830] vsize: 55756
Current children cumulated CPU time (s) 1185.67
Current children cumulated vsize (Kb) 57884
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5874 0 0 0 47915 147 0 0 25 0 1 0 1846099003 57094144 5838 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13939 5838 413 48 0 13891 0
[pid=26830] vsize: 55756
Current children cumulated CPU time (s) 1195.57
Current children cumulated vsize (Kb) 57884
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5898 0 0 0 48901 152 0 0 25 0 1 0 1846099003 57229312 5862 4294967295 134512640 134702520 3221223712 3221222992 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13972 5862 413 48 0 13924 0
[pid=26830] vsize: 55888
Current children cumulated CPU time (s) 1205.48
Current children cumulated vsize (Kb) 58016
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5898 0 0 0 48901 152 0 0 25 0 1 0 1846099003 57229312 5862 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13972 5862 413 48 0 13924 0
[pid=26830] vsize: 55888
Current children cumulated CPU time (s) 1205.48
Current children cumulated vsize (Kb) 58016
Sending SIGTERM to -26825
Sleeping 2 seconds
New process pid=26832
New process pid=26833
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
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/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/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/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/1282/stat
open syscall for file /proc/1282/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/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/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/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/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/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/18334/stat
open syscall for file /proc/18334/status
open syscall for file /proc/18334/cmdline
open syscall for file /proc/18334/environ
open syscall for file /proc/17268/stat
open syscall for file /proc/17268/status
open syscall for file /proc/17268/cmdline
open syscall for file /proc/17268/environ
open syscall for file /proc/17295/stat
open syscall for file /proc/17295/status
open syscall for file /proc/17295/cmdline
open syscall for file /proc/17295/environ
open syscall for file /proc/17319/stat
open syscall for file /proc/17319/status
open syscall for file /proc/17319/cmdline
open syscall for file /proc/17319/environ
open syscall for file /proc/23252/stat
open syscall for file /proc/23252/status
open syscall for file /proc/23252/cmdline
open syscall for file /proc/23252/environ
open syscall for file /proc/24296/stat
open syscall for file /proc/24296/status
open syscall for file /proc/24296/cmdline
open syscall for file /proc/24296/environ
open syscall for file /proc/1116/stat
open syscall for file /proc/1116/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/1116/cmdline
open syscall for file /proc/1116/environ
open syscall for file /proc/1151/stat
open syscall for file /proc/1151/status
open syscall for file /proc/1151/cmdline
open syscall for file /proc/1151/environ
open syscall for file /proc/19818/stat
open syscall for file /proc/19818/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 /proc/19818/cmdline
open syscall for file /proc/19818/environ
open syscall for file /proc/19819/stat
open syscall for file /proc/19819/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 /proc/19819/cmdline
open syscall for file /proc/19819/environ
open syscall for file /proc/19828/stat
open syscall for file /proc/19828/status
open syscall for file /proc/19828/cmdline
open syscall for file /proc/19828/environ
open syscall for file /proc/26788/stat
open syscall for file /proc/26788/status
open syscall for file /proc/26788/cmdline
open syscall for file /proc/26788/environ
open syscall for file /proc/26824/stat
open syscall for file /proc/26824/status
open syscall for file /proc/26824/cmdline
open syscall for file /proc/26824/environ
open syscall for file /proc/26825/stat
open syscall for file /proc/26825/status
open syscall for file /proc/26825/cmdline
open syscall for file /proc/26825/environ
open syscall for file /proc/26830/stat
open syscall for file /proc/26830/status
open syscall for file /proc/26830/cmdline
open syscall for file /proc/26830/environ
open syscall for file /proc/26832/stat
open syscall for file /proc/26832/status
open syscall for file /proc/26832/cmdline
open syscall for file /proc/26832/environ
open syscall for file /proc/26833/stat
open syscall for file /proc/26833/status
open syscall for file /proc/26833/cmdline
open syscall for file /proc/26833/environ
One traced child (pid=26832) exited with status: 0
One traced child (pid=26833) exited with status: 0
New process pid=26834
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=26834) exited with status: 0
New process pid=26835
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=26835) exited with status: 0
One traced child (pid=26825) ended because it received signal 15 (SIGTERM)
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=26830) exited with status: 3
All traced children have exited ! Game is over.
Child status: 3
Real time (s): 1212.01
CPU time (s): 492.395
CPU user time (s): 490.687
CPU system time (s): 1.70774
CPU usage (%): 40.6264
Max. virtual memory (cumulated for all children) (Kb): 61128