1:
seed: 0
Nr of vars set: 1426 (#equs: 0)
Nr of vars set: 1426 (#equs: 0)
#decisions: 1500372; #end-nodes: 20618;
#proof improvement attempts: 0; #restarts: 192
Current batch, end-nodes: 0 / 127 (127)
#axs: 930, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 1426 (#equs: 0)
Time taken: 5 min, 26 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: 1426 (#equs: 0)
Nr of vars set: 1426 (#equs: 0)
Interupt request received.
#decisions: 3512603; #end-nodes: 80449;
#proof improvement attempts: 0; #restarts: 446
Current batch, end-nodes: 117 / 231 (231)
#axs: 930, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 9341 (#equs: 0)
Time taken: 14 min, 33 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/6802/stat): 6802 (vallstSAT2005PB) R 6801 6802 4060 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20632488 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6802/statm): 174 3 169 147 0 27 0
[pid=6802] 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=6803
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=6803) exited with status: 0
New process pid=6804
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=6804) exited with status: 0
New process pid=6805
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/wulflinc5/normalized-mps-v2-13-7-blp-ic97.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0031 s]
Raw data (loadavg): 0.89 0.97 0.99 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 1549 0 0 0 926 31 0 0 25 0 1 0 20632495 8392704 1346 4294967295 134512640 134702520 3221223952 3221223448 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 2049 1346 413 48 0 2001 0
[pid=6805] vsize: 8196
Current children cumulated CPU time (s) 9.58
Current children cumulated vsize (Kb) 10324
[startup+20.0038 s]
Raw data (loadavg): 0.91 0.97 0.99 2/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) R 6802 6802 4060 0 -1 0 1549 0 0 0 1756 85 0 0 25 0 1 0 20632495 8392704 1346 4294967295 134512640 134702520 3221223952 3221223088 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6805/statm): 2049 1346 413 48 0 2001 0
[pid=6805] vsize: 8196
Current children cumulated CPU time (s) 18.42
Current children cumulated vsize (Kb) 10324
[startup+30.0035 s]
Raw data (loadavg): 0.92 0.97 0.99 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2133 0 0 0 2588 143 0 0 22 0 1 0 20632495 16642048 1930 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4063 1930 413 48 0 4015 0
[pid=6805] vsize: 16252
Current children cumulated CPU time (s) 27.32
Current children cumulated vsize (Kb) 18380
[startup+40.0053 s]
Raw data (loadavg): 0.93 0.97 0.99 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2150 0 0 0 3352 220 0 0 20 0 1 0 20632495 16642048 1947 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6805/statm): 4063 1947 413 48 0 4015 0
[pid=6805] vsize: 16252
Current children cumulated CPU time (s) 35.73
Current children cumulated vsize (Kb) 18380
[startup+50.006 s]
Raw data (loadavg): 0.94 0.97 0.99 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2150 0 0 0 4153 283 0 0 20 0 1 0 20632495 16642048 1947 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4063 1947 413 48 0 4015 0
[pid=6805] vsize: 16252
Current children cumulated CPU time (s) 44.37
Current children cumulated vsize (Kb) 18380
[startup+60.0077 s]
Raw data (loadavg): 1.02 0.99 0.99 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2190 0 0 0 4925 357 0 0 21 0 1 0 20632495 16642048 1987 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4063 1987 413 48 0 4015 0
[pid=6805] vsize: 16252
Current children cumulated CPU time (s) 52.83
Current children cumulated vsize (Kb) 18380
[startup+70.0085 s]
Raw data (loadavg): 1.02 0.99 0.99 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2190 0 0 0 5734 420 0 0 22 0 1 0 20632495 16642048 1987 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4063 1987 413 48 0 4015 0
[pid=6805] vsize: 16252
Current children cumulated CPU time (s) 61.55
Current children cumulated vsize (Kb) 18380
[startup+80.0092 s]
Raw data (loadavg): 1.02 0.99 0.99 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2197 0 0 0 6543 478 0 0 20 0 1 0 20632495 16642048 1994 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4063 1994 413 48 0 4015 0
[pid=6805] vsize: 16252
Current children cumulated CPU time (s) 70.22
Current children cumulated vsize (Kb) 18380
[startup+90.01 s]
Raw data (loadavg): 1.01 0.99 0.99 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2217 0 0 0 7329 548 0 0 21 0 1 0 20632495 16642048 2014 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4063 2014 413 48 0 4015 0
[pid=6805] vsize: 16252
Current children cumulated CPU time (s) 78.78
Current children cumulated vsize (Kb) 18380
[startup+100.011 s]
Raw data (loadavg): 1.01 0.99 0.99 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2226 0 0 0 8145 607 0 0 23 0 1 0 20632495 16642048 2023 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4063 2023 413 48 0 4015 0
[pid=6805] vsize: 16252
Current children cumulated CPU time (s) 87.53
Current children cumulated vsize (Kb) 18380
[startup+110.012 s]
Raw data (loadavg): 1.01 0.99 0.99 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2265 0 0 0 8928 678 0 0 22 0 1 0 20632495 16642048 2062 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4063 2062 413 48 0 4015 0
[pid=6805] vsize: 16252
Current children cumulated CPU time (s) 96.07
Current children cumulated vsize (Kb) 18380
[startup+120.014 s]
Raw data (loadavg): 1.01 0.99 0.99 2/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) R 6802 6802 4060 0 -1 0 2278 0 0 0 9710 754 0 0 21 0 1 0 20632495 16642048 2075 4294967295 134512640 134702520 3221223952 3221223232 134554384 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6805/statm): 4063 2075 413 48 0 4015 0
[pid=6805] vsize: 16252
Current children cumulated CPU time (s) 104.65
Current children cumulated vsize (Kb) 18380
[startup+130.014 s]
Raw data (loadavg): 1.08 1.00 1.00 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2278 0 0 0 10537 809 0 0 20 0 1 0 20632495 16642048 2075 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4063 2075 413 48 0 4015 0
[pid=6805] vsize: 16252
Current children cumulated CPU time (s) 113.47
Current children cumulated vsize (Kb) 18380
[startup+140.015 s]
Raw data (loadavg): 1.07 1.00 1.00 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2278 0 0 0 11345 871 0 0 25 0 1 0 20632495 16642048 2075 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4063 2075 413 48 0 4015 0
[pid=6805] vsize: 16252
Current children cumulated CPU time (s) 122.17
Current children cumulated vsize (Kb) 18380
[startup+150.015 s]
Raw data (loadavg): 1.06 1.00 1.00 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2278 0 0 0 12159 932 0 0 21 0 1 0 20632495 16642048 2075 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4063 2075 413 48 0 4015 0
[pid=6805] vsize: 16252
Current children cumulated CPU time (s) 130.92
Current children cumulated vsize (Kb) 18380
[startup+160.016 s]
Raw data (loadavg): 1.05 1.00 1.00 2/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) R 6802 6802 4060 0 -1 0 2278 0 0 0 12957 997 0 0 25 0 1 0 20632495 16642048 2075 4294967295 134512640 134702520 3221223952 3221223232 134552719 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4063 2075 413 48 0 4015 0
[pid=6805] vsize: 16252
Current children cumulated CPU time (s) 139.55
Current children cumulated vsize (Kb) 18380
[startup+170.017 s]
Raw data (loadavg): 1.12 1.02 1.01 2/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) R 6802 6802 4060 0 -1 0 2368 0 0 0 13769 1057 0 0 24 0 1 0 20632495 16957440 2165 4294967295 134512640 134702520 3221223952 3221223232 134552695 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4140 2165 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 148.27
Current children cumulated vsize (Kb) 18688
[startup+180.018 s]
Raw data (loadavg): 1.10 1.02 1.00 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2376 0 0 0 14643 1099 0 0 25 0 1 0 20632495 16957440 2173 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4140 2173 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 157.43
Current children cumulated vsize (Kb) 18688
[startup+190.018 s]
Raw data (loadavg): 1.08 1.01 1.00 2/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) R 6802 6802 4060 0 -1 0 2376 0 0 0 15475 1149 0 0 25 0 1 0 20632495 16957440 2173 4294967295 134512640 134702520 3221223952 3221222848 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4140 2173 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 166.25
Current children cumulated vsize (Kb) 18688
[startup+200.019 s]
Raw data (loadavg): 1.07 1.01 1.00 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2391 0 0 0 16294 1208 0 0 21 0 1 0 20632495 16957440 2188 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4140 2188 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 175.03
Current children cumulated vsize (Kb) 18688
[startup+210.02 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) R 6802 6802 4060 0 -1 0 2404 0 0 0 17092 1276 0 0 25 0 1 0 20632495 16957440 2201 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4140 2201 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 183.69
Current children cumulated vsize (Kb) 18688
[startup+220.021 s]
Raw data (loadavg): 1.05 1.01 1.00 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2449 0 0 0 17906 1338 0 0 20 0 1 0 20632495 16957440 2246 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4140 2246 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 192.45
Current children cumulated vsize (Kb) 18688
[startup+230.02 s]
Raw data (loadavg): 1.04 1.01 1.00 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2449 0 0 0 18698 1407 0 0 23 0 1 0 20632495 16957440 2246 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4140 2246 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 201.06
Current children cumulated vsize (Kb) 18688
[startup+240.021 s]
Raw data (loadavg): 1.04 1.01 1.00 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2449 0 0 0 19480 1481 0 0 21 0 1 0 20632495 16957440 2246 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4140 2246 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 209.62
Current children cumulated vsize (Kb) 18688
[startup+250.022 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2449 0 0 0 20324 1533 0 0 22 0 1 0 20632495 16957440 2246 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4140 2246 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 218.58
Current children cumulated vsize (Kb) 18688
[startup+260.023 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2478 0 0 0 21114 1601 0 0 21 0 1 0 20632495 16957440 2275 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4140 2275 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 227.16
Current children cumulated vsize (Kb) 18688
[startup+270.024 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) R 6802 6802 4060 0 -1 0 2504 0 0 0 21925 1662 0 0 25 0 1 0 20632495 16957440 2301 4294967295 134512640 134702520 3221223952 3221218108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4140 2301 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 235.88
Current children cumulated vsize (Kb) 18688
[startup+280.024 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2504 0 0 0 22763 1717 0 0 21 0 1 0 20632495 16957440 2301 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4140 2301 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 244.81
Current children cumulated vsize (Kb) 18688
[startup+290.025 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2534 0 0 0 23568 1782 0 0 23 0 1 0 20632495 16957440 2331 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4140 2331 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 253.51
Current children cumulated vsize (Kb) 18688
[startup+300.025 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2549 0 0 0 24402 1839 0 0 25 0 1 0 20632495 16957440 2346 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4140 2346 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 262.42
Current children cumulated vsize (Kb) 18688
[startup+310.026 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2549 0 0 0 25187 1912 0 0 21 0 1 0 20632495 16957440 2346 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4140 2346 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 271
Current children cumulated vsize (Kb) 18688
[startup+320.027 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) R 6802 6802 4060 0 -1 0 2549 0 0 0 26025 1968 0 0 25 0 1 0 20632495 16957440 2346 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6805/statm): 4140 2346 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 279.94
Current children cumulated vsize (Kb) 18688
[startup+330.027 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2549 0 0 0 26874 2019 0 0 21 0 1 0 20632495 16957440 2346 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4140 2346 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 288.94
Current children cumulated vsize (Kb) 18688
[startup+340.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) R 6802 6802 4060 0 -1 0 2549 0 0 0 27673 2082 0 0 22 0 1 0 20632495 16957440 2346 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6805/statm): 4140 2346 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 297.56
Current children cumulated vsize (Kb) 18688
[startup+350.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) R 6802 6802 4060 0 -1 0 2549 0 0 0 28483 2141 0 0 23 0 1 0 20632495 16957440 2346 4294967295 134512640 134702520 3221223952 3221223232 134552698 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6805/statm): 4140 2346 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 306.25
Current children cumulated vsize (Kb) 18688
[startup+360.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2550 0 0 0 29354 2185 0 0 25 0 1 0 20632495 16957440 2347 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4140 2347 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 315.4
Current children cumulated vsize (Kb) 18688
[startup+370.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) R 6802 6802 4060 0 -1 0 2550 0 0 0 30179 2244 0 0 25 0 1 0 20632495 16957440 2347 4294967295 134512640 134702520 3221223952 3221222848 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4140 2347 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 324.24
Current children cumulated vsize (Kb) 18688
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=6805) exited with status: 2
New process pid=6806
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=6806) exited with status: 0
New process pid=6807
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+380.03 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 1124 0 0 0 609 42 0 0 16 0 1 0 20669769 6807552 1094 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 1662 1094 413 48 0 1614 0
[pid=6807] vsize: 6648
Current children cumulated CPU time (s) 333.44
Current children cumulated vsize (Kb) 8776
[startup+390.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 1125 0 0 0 1519 68 0 0 25 0 1 0 20669769 6807552 1095 4294967295 134512640 134702520 3221223712 3221222848 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 1662 1095 413 48 0 1614 0
[pid=6807] vsize: 6648
Current children cumulated CPU time (s) 342.8
Current children cumulated vsize (Kb) 8776
[startup+400.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2104 0 0 0 2389 112 0 0 25 0 1 0 20669769 13213696 2074 4294967295 134512640 134702520 3221223712 3221222992 134552242 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3226 2074 413 48 0 3178 0
[pid=6807] vsize: 12904
Current children cumulated CPU time (s) 351.94
Current children cumulated vsize (Kb) 15032
[startup+410.034 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2782 0 0 0 3205 174 0 0 20 0 1 0 20669769 13213696 2752 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3226 2752 413 48 0 3178 0
[pid=6807] vsize: 12904
Current children cumulated CPU time (s) 360.72
Current children cumulated vsize (Kb) 15032
[startup+420.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2782 0 0 0 4012 236 0 0 25 0 1 0 20669769 13213696 2752 4294967295 134512640 134702520 3221223712 3221222992 134552712 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3226 2752 413 48 0 3178 0
[pid=6807] vsize: 12904
Current children cumulated CPU time (s) 369.41
Current children cumulated vsize (Kb) 15032
[startup+430.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2782 0 0 0 4855 287 0 0 21 0 1 0 20669769 13213696 2752 4294967295 134512640 134702520 3221223712 3221223104 134605107 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3226 2752 413 48 0 3178 0
[pid=6807] vsize: 12904
Current children cumulated CPU time (s) 378.35
Current children cumulated vsize (Kb) 15032
[startup+440.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2782 0 0 0 5658 349 0 0 22 0 1 0 20669769 13213696 2752 4294967295 134512640 134702520 3221223712 3221222992 134553816 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3226 2752 413 48 0 3178 0
[pid=6807] vsize: 12904
Current children cumulated CPU time (s) 387
Current children cumulated vsize (Kb) 15032
[startup+450.036 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2782 0 0 0 6486 406 0 0 25 0 1 0 20669769 13213696 2752 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3226 2752 413 48 0 3178 0
[pid=6807] vsize: 12904
Current children cumulated CPU time (s) 395.85
Current children cumulated vsize (Kb) 15032
[startup+460.038 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2783 0 0 0 7290 472 0 0 25 0 1 0 20669769 13217792 2753 4294967295 134512640 134702520 3221223712 3221222992 134552698 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3227 2753 413 48 0 3179 0
[pid=6807] vsize: 12908
Current children cumulated CPU time (s) 404.55
Current children cumulated vsize (Kb) 15036
[startup+470.039 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2783 0 0 0 8098 535 0 0 25 0 1 0 20669769 13217792 2753 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3227 2753 413 48 0 3179 0
[pid=6807] vsize: 12908
Current children cumulated CPU time (s) 413.26
Current children cumulated vsize (Kb) 15036
[startup+480.04 s]
Raw data (loadavg): 1.06 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2783 0 0 0 8944 585 0 0 19 0 1 0 20669769 13217792 2753 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3227 2753 413 48 0 3179 0
[pid=6807] vsize: 12908
Current children cumulated CPU time (s) 422.22
Current children cumulated vsize (Kb) 15036
[startup+490.041 s]
Raw data (loadavg): 1.05 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2783 0 0 0 9757 647 0 0 21 0 1 0 20669769 13217792 2753 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3227 2753 413 48 0 3179 0
[pid=6807] vsize: 12908
Current children cumulated CPU time (s) 430.97
Current children cumulated vsize (Kb) 15036
[startup+500.042 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2783 0 0 0 10561 712 0 0 22 0 1 0 20669769 13217792 2753 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3227 2753 413 48 0 3179 0
[pid=6807] vsize: 12908
Current children cumulated CPU time (s) 439.66
Current children cumulated vsize (Kb) 15036
[startup+510.043 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2783 0 0 0 11385 769 0 0 23 0 1 0 20669769 13217792 2753 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3227 2753 413 48 0 3179 0
[pid=6807] vsize: 12908
Current children cumulated CPU time (s) 448.47
Current children cumulated vsize (Kb) 15036
[startup+520.044 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2783 0 0 0 12206 828 0 0 21 0 1 0 20669769 13217792 2753 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3227 2753 413 48 0 3179 0
[pid=6807] vsize: 12908
Current children cumulated CPU time (s) 457.27
Current children cumulated vsize (Kb) 15036
[startup+530.043 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2783 0 0 0 13003 894 0 0 22 0 1 0 20669769 13217792 2753 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3227 2753 413 48 0 3179 0
[pid=6807] vsize: 12908
Current children cumulated CPU time (s) 465.9
Current children cumulated vsize (Kb) 15036
[startup+540.045 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2784 0 0 0 13830 953 0 0 22 0 1 0 20669769 13324288 2754 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3253 2754 413 48 0 3205 0
[pid=6807] vsize: 13012
Current children cumulated CPU time (s) 474.76
Current children cumulated vsize (Kb) 15140
[startup+550.046 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2784 0 0 0 14643 1013 0 0 21 0 1 0 20669769 13324288 2754 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3253 2754 413 48 0 3205 0
[pid=6807] vsize: 13012
Current children cumulated CPU time (s) 483.49
Current children cumulated vsize (Kb) 15140
[startup+560.047 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2785 0 0 0 15451 1080 0 0 21 0 1 0 20669769 13324288 2755 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3253 2755 413 48 0 3205 0
[pid=6807] vsize: 13012
Current children cumulated CPU time (s) 492.24
Current children cumulated vsize (Kb) 15140
[startup+570.047 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2789 0 0 0 16277 1136 0 0 16 0 1 0 20669769 13324288 2759 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3253 2759 413 48 0 3205 0
[pid=6807] vsize: 13012
Current children cumulated CPU time (s) 501.06
Current children cumulated vsize (Kb) 15140
[startup+580.048 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2789 0 0 0 17205 1159 0 0 25 0 1 0 20669769 13324288 2759 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3253 2759 413 48 0 3205 0
[pid=6807] vsize: 13012
Current children cumulated CPU time (s) 510.57
Current children cumulated vsize (Kb) 15140
[startup+590.049 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2792 0 0 0 18002 1227 0 0 21 0 1 0 20669769 13324288 2762 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3253 2762 413 48 0 3205 0
[pid=6807] vsize: 13012
Current children cumulated CPU time (s) 519.22
Current children cumulated vsize (Kb) 15140
[startup+600.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2796 0 0 0 18831 1283 0 0 24 0 1 0 20669769 13324288 2766 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3253 2766 413 48 0 3205 0
[pid=6807] vsize: 13012
Current children cumulated CPU time (s) 528.07
Current children cumulated vsize (Kb) 15140
[startup+610.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2797 0 0 0 19678 1334 0 0 21 0 1 0 20669769 13324288 2767 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3253 2767 413 48 0 3205 0
[pid=6807] vsize: 13012
Current children cumulated CPU time (s) 537.05
Current children cumulated vsize (Kb) 15140
[startup+620.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2799 0 0 0 20518 1386 0 0 25 0 1 0 20669769 13324288 2769 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3253 2769 413 48 0 3205 0
[pid=6807] vsize: 13012
Current children cumulated CPU time (s) 545.97
Current children cumulated vsize (Kb) 15140
[startup+630.052 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2802 0 0 0 21336 1446 0 0 22 0 1 0 20669769 13324288 2772 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3253 2772 413 48 0 3205 0
[pid=6807] vsize: 13012
Current children cumulated CPU time (s) 554.75
Current children cumulated vsize (Kb) 15140
[startup+640.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2805 0 0 0 22196 1494 0 0 25 0 1 0 20669769 13467648 2775 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3288 2775 413 48 0 3240 0
[pid=6807] vsize: 13152
Current children cumulated CPU time (s) 563.83
Current children cumulated vsize (Kb) 15280
[startup+650.053 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2807 0 0 0 22984 1560 0 0 21 0 1 0 20669769 13430784 2777 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3279 2777 413 48 0 3231 0
[pid=6807] vsize: 13116
Current children cumulated CPU time (s) 572.37
Current children cumulated vsize (Kb) 15244
[startup+660.055 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2809 0 0 0 23813 1620 0 0 25 0 1 0 20669769 13430784 2779 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3279 2779 413 48 0 3231 0
[pid=6807] vsize: 13116
Current children cumulated CPU time (s) 581.26
Current children cumulated vsize (Kb) 15244
[startup+670.056 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2813 0 0 0 24648 1676 0 0 21 0 1 0 20669769 13430784 2783 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3279 2783 413 48 0 3231 0
[pid=6807] vsize: 13116
Current children cumulated CPU time (s) 590.17
Current children cumulated vsize (Kb) 15244
[startup+680.056 s]
Raw data (loadavg): 1.06 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2814 0 0 0 25470 1733 0 0 22 0 1 0 20669769 13430784 2784 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3279 2784 413 48 0 3231 0
[pid=6807] vsize: 13116
Current children cumulated CPU time (s) 598.96
Current children cumulated vsize (Kb) 15244
[startup+690.057 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2818 0 0 0 26287 1793 0 0 23 0 1 0 20669769 13430784 2788 4294967295 134512640 134702520 3221223712 3221223248 134574407 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3279 2788 413 48 0 3231 0
[pid=6807] vsize: 13116
Current children cumulated CPU time (s) 607.73
Current children cumulated vsize (Kb) 15244
[startup+700.058 s]
Raw data (loadavg): 1.04 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2821 0 0 0 27151 1836 0 0 25 0 1 0 20669769 13430784 2791 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3279 2791 413 48 0 3231 0
[pid=6807] vsize: 13116
Current children cumulated CPU time (s) 616.8
Current children cumulated vsize (Kb) 15244
[startup+710.059 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2822 0 0 0 27961 1898 0 0 24 0 1 0 20669769 13430784 2792 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3279 2792 413 48 0 3231 0
[pid=6807] vsize: 13116
Current children cumulated CPU time (s) 625.52
Current children cumulated vsize (Kb) 15244
[startup+720.059 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2825 0 0 0 28811 1946 0 0 25 0 1 0 20669769 13430784 2795 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3279 2795 413 48 0 3231 0
[pid=6807] vsize: 13116
Current children cumulated CPU time (s) 634.5
Current children cumulated vsize (Kb) 15244
[startup+730.059 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2828 0 0 0 29648 2001 0 0 25 0 1 0 20669769 13430784 2798 4294967295 134512640 134702520 3221223712 3221218848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3279 2798 413 48 0 3231 0
[pid=6807] vsize: 13116
Current children cumulated CPU time (s) 643.42
Current children cumulated vsize (Kb) 15244
[startup+740.06 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2830 0 0 0 30497 2056 0 0 17 0 1 0 20669769 13430784 2800 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3279 2800 413 48 0 3231 0
[pid=6807] vsize: 13116
Current children cumulated CPU time (s) 652.46
Current children cumulated vsize (Kb) 15244
[startup+750.061 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2833 0 0 0 31327 2109 0 0 20 0 1 0 20669769 13430784 2803 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3279 2803 413 48 0 3231 0
[pid=6807] vsize: 13116
Current children cumulated CPU time (s) 661.29
Current children cumulated vsize (Kb) 15244
[startup+760.061 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2837 0 0 0 32172 2158 0 0 22 0 1 0 20669769 13565952 2807 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3312 2807 413 48 0 3264 0
[pid=6807] vsize: 13248
Current children cumulated CPU time (s) 670.23
Current children cumulated vsize (Kb) 15376
[startup+770.062 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2839 0 0 0 32994 2219 0 0 16 0 1 0 20669769 13565952 2809 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3312 2809 413 48 0 3264 0
[pid=6807] vsize: 13248
Current children cumulated CPU time (s) 679.06
Current children cumulated vsize (Kb) 15376
[startup+780.063 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2839 0 0 0 33930 2240 0 0 23 0 1 0 20669769 13565952 2809 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3312 2809 413 48 0 3264 0
[pid=6807] vsize: 13248
Current children cumulated CPU time (s) 688.63
Current children cumulated vsize (Kb) 15376
[startup+790.063 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2840 0 0 0 34752 2297 0 0 21 0 1 0 20669769 13565952 2810 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3312 2810 413 48 0 3264 0
[pid=6807] vsize: 13248
Current children cumulated CPU time (s) 697.42
Current children cumulated vsize (Kb) 15376
[startup+800.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2844 0 0 0 35582 2353 0 0 22 0 1 0 20669769 13565952 2814 4294967295 134512640 134702520 3221223712 3221222992 134552268 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3312 2814 413 48 0 3264 0
[pid=6807] vsize: 13248
Current children cumulated CPU time (s) 706.28
Current children cumulated vsize (Kb) 15376
[startup+810.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2848 0 0 0 36430 2402 0 0 25 0 1 0 20669769 13565952 2818 4294967295 134512640 134702520 3221223712 3221136908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3312 2818 413 48 0 3264 0
[pid=6807] vsize: 13248
Current children cumulated CPU time (s) 715.25
Current children cumulated vsize (Kb) 15376
[startup+820.067 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2849 0 0 0 37252 2463 0 0 22 0 1 0 20669769 13565952 2819 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3312 2819 413 48 0 3264 0
[pid=6807] vsize: 13248
Current children cumulated CPU time (s) 724.08
Current children cumulated vsize (Kb) 15376
[startup+830.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2851 0 0 0 38072 2523 0 0 25 0 1 0 20669769 13565952 2821 4294967295 134512640 134702520 3221223712 3221222992 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3312 2821 413 48 0 3264 0
[pid=6807] vsize: 13248
Current children cumulated CPU time (s) 732.88
Current children cumulated vsize (Kb) 15376
[startup+840.068 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2853 0 0 0 38914 2576 0 0 25 0 1 0 20669769 13565952 2823 4294967295 134512640 134702520 3221223712 3221072748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3312 2823 413 48 0 3264 0
[pid=6807] vsize: 13248
Current children cumulated CPU time (s) 741.83
Current children cumulated vsize (Kb) 15376
[startup+850.069 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2857 0 0 0 39729 2640 0 0 18 0 1 0 20669769 13565952 2827 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3312 2827 413 48 0 3264 0
[pid=6807] vsize: 13248
Current children cumulated CPU time (s) 750.62
Current children cumulated vsize (Kb) 15376
[startup+860.07 s]
Raw data (loadavg): 1.06 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2859 0 0 0 40558 2697 0 0 22 0 1 0 20669769 13565952 2829 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3312 2829 413 48 0 3264 0
[pid=6807] vsize: 13248
Current children cumulated CPU time (s) 759.48
Current children cumulated vsize (Kb) 15376
[startup+870.07 s]
Raw data (loadavg): 1.05 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2861 0 0 0 41401 2748 0 0 21 0 1 0 20669769 13565952 2831 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3312 2831 413 48 0 3264 0
[pid=6807] vsize: 13248
Current children cumulated CPU time (s) 768.42
Current children cumulated vsize (Kb) 15376
[startup+880.071 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2864 0 0 0 42257 2797 0 0 25 0 1 0 20669769 13660160 2834 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3335 2834 413 48 0 3287 0
[pid=6807] vsize: 13340
Current children cumulated CPU time (s) 777.47
Current children cumulated vsize (Kb) 15468
[startup+890.072 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2868 0 0 0 43074 2858 0 0 21 0 1 0 20669769 13660160 2838 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3335 2838 413 48 0 3287 0
[pid=6807] vsize: 13340
Current children cumulated CPU time (s) 786.25
Current children cumulated vsize (Kb) 15468
[startup+900.073 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2869 0 0 0 43907 2915 0 0 25 0 1 0 20669769 13660160 2839 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3335 2839 413 48 0 3287 0
[pid=6807] vsize: 13340
Current children cumulated CPU time (s) 795.15
Current children cumulated vsize (Kb) 15468
[startup+910.074 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2871 0 0 0 44775 2958 0 0 25 0 1 0 20669769 13660160 2841 4294967295 134512640 134702520 3221223712 3221222992 134552712 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3335 2841 413 48 0 3287 0
[pid=6807] vsize: 13340
Current children cumulated CPU time (s) 804.26
Current children cumulated vsize (Kb) 15468
[startup+920.075 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2875 0 0 0 45586 3018 0 0 22 0 1 0 20669769 13660160 2845 4294967295 134512640 134702520 3221223712 3221222992 134552354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3335 2845 413 48 0 3287 0
[pid=6807] vsize: 13340
Current children cumulated CPU time (s) 812.97
Current children cumulated vsize (Kb) 15468
[startup+930.075 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2878 0 0 0 46393 3083 0 0 21 0 1 0 20669769 13660160 2848 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3335 2848 413 48 0 3287 0
[pid=6807] vsize: 13340
Current children cumulated CPU time (s) 821.69
Current children cumulated vsize (Kb) 15468
[startup+940.076 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2880 0 0 0 47252 3130 0 0 22 0 1 0 20669769 13660160 2850 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3335 2850 413 48 0 3287 0
[pid=6807] vsize: 13340
Current children cumulated CPU time (s) 830.75
Current children cumulated vsize (Kb) 15468
[startup+950.076 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2884 0 0 0 48094 3182 0 0 24 0 1 0 20669769 13660160 2854 4294967295 134512640 134702520 3221223712 3221222832 134573733 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3335 2854 413 48 0 3287 0
[pid=6807] vsize: 13340
Current children cumulated CPU time (s) 839.69
Current children cumulated vsize (Kb) 15468
[startup+960.078 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2886 0 0 0 48962 3227 0 0 25 0 1 0 20669769 13660160 2856 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3335 2856 413 48 0 3287 0
[pid=6807] vsize: 13340
Current children cumulated CPU time (s) 848.82
Current children cumulated vsize (Kb) 15468
[startup+970.079 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2887 0 0 0 49834 3269 0 0 25 0 1 0 20669769 13660160 2857 4294967295 134512640 134702520 3221223712 3221106988 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3335 2857 413 48 0 3287 0
[pid=6807] vsize: 13340
Current children cumulated CPU time (s) 857.96
Current children cumulated vsize (Kb) 15468
[startup+980.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2889 0 0 0 50643 3327 0 0 25 0 1 0 20669769 13807616 2859 4294967295 134512640 134702520 3221223712 3221222608 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3371 2859 413 48 0 3323 0
[pid=6807] vsize: 13484
Current children cumulated CPU time (s) 866.63
Current children cumulated vsize (Kb) 15612
[startup+990.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2889 0 0 0 51566 3351 0 0 23 0 1 0 20669769 13770752 2859 4294967295 134512640 134702520 3221223712 3221222992 134552225 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3362 2859 413 48 0 3314 0
[pid=6807] vsize: 13448
Current children cumulated CPU time (s) 876.1
Current children cumulated vsize (Kb) 15576
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2891 0 0 0 52404 3405 0 0 25 0 1 0 20669769 13770752 2861 4294967295 134512640 134702520 3221223712 3221222992 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3362 2861 413 48 0 3314 0
[pid=6807] vsize: 13448
Current children cumulated CPU time (s) 885.02
Current children cumulated vsize (Kb) 15576
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2893 0 0 0 53264 3454 0 0 21 0 1 0 20669769 13770752 2863 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3362 2863 413 48 0 3314 0
[pid=6807] vsize: 13448
Current children cumulated CPU time (s) 894.11
Current children cumulated vsize (Kb) 15576
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2895 0 0 0 54124 3501 0 0 25 0 1 0 20669769 13770752 2865 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3362 2865 413 48 0 3314 0
[pid=6807] vsize: 13448
Current children cumulated CPU time (s) 903.18
Current children cumulated vsize (Kb) 15576
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2899 0 0 0 54991 3549 0 0 25 0 1 0 20669769 13770752 2869 4294967295 134512640 134702520 3221223712 3221222992 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3362 2869 413 48 0 3314 0
[pid=6807] vsize: 13448
Current children cumulated CPU time (s) 912.33
Current children cumulated vsize (Kb) 15576
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2899 0 0 0 55832 3600 0 0 22 0 1 0 20669769 13770752 2869 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3362 2869 413 48 0 3314 0
[pid=6807] vsize: 13448
Current children cumulated CPU time (s) 921.25
Current children cumulated vsize (Kb) 15576
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2901 0 0 0 56668 3657 0 0 25 0 1 0 20669769 13770752 2871 4294967295 134512640 134702520 3221223712 3221222992 134552698 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3362 2871 413 48 0 3314 0
[pid=6807] vsize: 13448
Current children cumulated CPU time (s) 930.18
Current children cumulated vsize (Kb) 15576
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2903 0 0 0 57526 3707 0 0 23 0 1 0 20669769 13770752 2873 4294967295 134512640 134702520 3221223712 3221222992 134552246 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3362 2873 413 48 0 3314 0
[pid=6807] vsize: 13448
Current children cumulated CPU time (s) 939.26
Current children cumulated vsize (Kb) 15576
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2906 0 0 0 58358 3763 0 0 21 0 1 0 20669769 13770752 2876 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3362 2876 413 48 0 3314 0
[pid=6807] vsize: 13448
Current children cumulated CPU time (s) 948.14
Current children cumulated vsize (Kb) 15576
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2910 0 0 0 59194 3814 0 0 21 0 1 0 20669769 13770752 2880 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3362 2880 413 48 0 3314 0
[pid=6807] vsize: 13448
Current children cumulated CPU time (s) 957.01
Current children cumulated vsize (Kb) 15576
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2912 0 0 0 60069 3858 0 0 22 0 1 0 20669769 13869056 2882 4294967295 134512640 134702520 3221223712 3221222992 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3386 2882 413 48 0 3338 0
[pid=6807] vsize: 13544
Current children cumulated CPU time (s) 966.2
Current children cumulated vsize (Kb) 15672
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2917 0 0 0 60896 3916 0 0 21 0 1 0 20669769 13869056 2887 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3386 2887 413 48 0 3338 0
[pid=6807] vsize: 13544
Current children cumulated CPU time (s) 975.05
Current children cumulated vsize (Kb) 15672
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2918 0 0 0 61747 3964 0 0 24 0 1 0 20669769 13869056 2888 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3386 2888 413 48 0 3338 0
[pid=6807] vsize: 13544
Current children cumulated CPU time (s) 984.04
Current children cumulated vsize (Kb) 15672
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2920 0 0 0 62599 4013 0 0 25 0 1 0 20669769 13869056 2890 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3386 2890 413 48 0 3338 0
[pid=6807] vsize: 13544
Current children cumulated CPU time (s) 993.05
Current children cumulated vsize (Kb) 15672
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2922 0 0 0 63466 4054 0 0 22 0 1 0 20669769 13869056 2892 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3386 2892 413 48 0 3338 0
[pid=6807] vsize: 13544
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (Kb) 15672
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2923 0 0 0 64312 4105 0 0 21 0 1 0 20669769 13869056 2893 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3386 2893 413 48 0 3338 0
[pid=6807] vsize: 13544
Current children cumulated CPU time (s) 1011.1
Current children cumulated vsize (Kb) 15672
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2925 0 0 0 65151 4157 0 0 21 0 1 0 20669769 13869056 2895 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3386 2895 413 48 0 3338 0
[pid=6807] vsize: 13544
Current children cumulated CPU time (s) 1020.01
Current children cumulated vsize (Kb) 15672
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2927 0 0 0 66010 4204 0 0 22 0 1 0 20669769 13869056 2897 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3386 2897 413 48 0 3338 0
[pid=6807] vsize: 13544
Current children cumulated CPU time (s) 1029.07
Current children cumulated vsize (Kb) 15672
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2928 0 0 0 66879 4245 0 0 25 0 1 0 20669769 13869056 2898 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3386 2898 413 48 0 3338 0
[pid=6807] vsize: 13544
Current children cumulated CPU time (s) 1038.17
Current children cumulated vsize (Kb) 15672
[startup+1180.09 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2930 0 0 0 67726 4294 0 0 25 0 1 0 20669769 13869056 2900 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3386 2900 413 48 0 3338 0
[pid=6807] vsize: 13544
Current children cumulated CPU time (s) 1047.13
Current children cumulated vsize (Kb) 15672
[startup+1190.09 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2932 0 0 0 68572 4344 0 0 25 0 1 0 20669769 13869056 2902 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3386 2902 413 48 0 3338 0
[pid=6807] vsize: 13544
Current children cumulated CPU time (s) 1056.09
Current children cumulated vsize (Kb) 15672
[startup+1200.09 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2934 0 0 0 69457 4381 0 0 17 0 1 0 20669769 14028800 2904 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3425 2904 413 48 0 3377 0
[pid=6807] vsize: 13700
Current children cumulated CPU time (s) 1065.31
Current children cumulated vsize (Kb) 15828
[startup+1210.1 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2934 0 0 0 70342 4418 0 0 25 0 1 0 20669769 14028800 2904 4294967295 134512640 134702520 3221223712 3221222608 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3425 2904 413 48 0 3377 0
[pid=6807] vsize: 13700
Current children cumulated CPU time (s) 1074.53
Current children cumulated vsize (Kb) 15828
[startup+1220.1 s]
Raw data (loadavg): 1.04 1.01 1.00 3/57 6808
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2936 0 0 0 71210 4463 0 0 25 0 1 0 20669769 13950976 2906 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3406 2906 413 48 0 3358 0
[pid=6807] vsize: 13624
Current children cumulated CPU time (s) 1083.66
Current children cumulated vsize (Kb) 15752
[startup+1230.1 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 6862
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2937 0 0 0 72044 4515 0 0 21 0 1 0 20669769 13950976 2907 4294967295 134512640 134702520 3221223712 3221222992 134552340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3406 2907 413 48 0 3358 0
[pid=6807] vsize: 13624
Current children cumulated CPU time (s) 1092.52
Current children cumulated vsize (Kb) 15752
[startup+1240.1 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 6862
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2938 0 0 0 72878 4570 0 0 22 0 1 0 20669769 13950976 2908 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3406 2908 413 48 0 3358 0
[pid=6807] vsize: 13624
Current children cumulated CPU time (s) 1101.41
Current children cumulated vsize (Kb) 15752
[startup+1250.1 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6862
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2940 0 0 0 73741 4613 0 0 25 0 1 0 20669769 13950976 2910 4294967295 134512640 134702520 3221223712 3221222992 134552220 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3406 2910 413 48 0 3358 0
[pid=6807] vsize: 13624
Current children cumulated CPU time (s) 1110.47
Current children cumulated vsize (Kb) 15752
[startup+1260.1 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6862
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2945 0 0 0 74617 4655 0 0 25 0 1 0 20669769 13950976 2915 4294967295 134512640 134702520 3221223712 3221222992 134552719 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3406 2915 413 48 0 3358 0
[pid=6807] vsize: 13624
Current children cumulated CPU time (s) 1119.65
Current children cumulated vsize (Kb) 15752
[startup+1270.1 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6862
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2948 0 0 0 75457 4707 0 0 25 0 1 0 20669769 13950976 2918 4294967295 134512640 134702520 3221223712 3221222992 134552220 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3406 2918 413 48 0 3358 0
[pid=6807] vsize: 13624
Current children cumulated CPU time (s) 1128.57
Current children cumulated vsize (Kb) 15752
[startup+1280.1 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6864
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2949 0 0 0 76295 4761 0 0 25 0 1 0 20669769 13950976 2919 4294967295 134512640 134702520 3221223712 3221186848 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3406 2919 413 48 0 3358 0
[pid=6807] vsize: 13624
Current children cumulated CPU time (s) 1137.49
Current children cumulated vsize (Kb) 15752
[startup+1290.1 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 6866
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2951 0 0 0 77120 4821 0 0 21 0 1 0 20669769 13950976 2921 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3406 2921 413 48 0 3358 0
[pid=6807] vsize: 13624
Current children cumulated CPU time (s) 1146.34
Current children cumulated vsize (Kb) 15752
[startup+1300.1 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6868
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2954 0 0 0 77966 4871 0 0 17 0 1 0 20669769 13950976 2924 4294967295 134512640 134702520 3221223712 3221222992 134552712 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3406 2924 413 48 0 3358 0
[pid=6807] vsize: 13624
Current children cumulated CPU time (s) 1155.3
Current children cumulated vsize (Kb) 15752
[startup+1310.1 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6868
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2954 0 0 0 78859 4907 0 0 25 0 1 0 20669769 13950976 2924 4294967295 134512640 134702520 3221223712 3221222992 134552698 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3406 2924 413 48 0 3358 0
[pid=6807] vsize: 13624
Current children cumulated CPU time (s) 1164.59
Current children cumulated vsize (Kb) 15752
[startup+1320.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6868
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2956 0 0 0 79760 4940 0 0 25 0 1 0 20669769 13950976 2926 4294967295 134512640 134702520 3221223712 3221079328 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3406 2926 413 48 0 3358 0
[pid=6807] vsize: 13624
Current children cumulated CPU time (s) 1173.93
Current children cumulated vsize (Kb) 15752
[startup+1330.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6868
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2958 0 0 0 80592 4998 0 0 22 0 1 0 20669769 14049280 2928 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3430 2928 413 48 0 3382 0
[pid=6807] vsize: 13720
Current children cumulated CPU time (s) 1182.83
Current children cumulated vsize (Kb) 15848
[startup+1340.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6868
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2959 0 0 0 81430 5050 0 0 24 0 1 0 20669769 14049280 2929 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3430 2929 413 48 0 3382 0
[pid=6807] vsize: 13720
Current children cumulated CPU time (s) 1191.73
Current children cumulated vsize (Kb) 15848
[startup+1350.11 s]
Raw data (loadavg): 1.08 1.02 1.00 2/56 6868
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2961 0 0 0 82264 5105 0 0 25 0 1 0 20669769 14049280 2931 4294967295 134512640 134702520 3221223712 3221222992 134552719 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3430 2931 413 48 0 3382 0
[pid=6807] vsize: 13720
Current children cumulated CPU time (s) 1200.62
Current children cumulated vsize (Kb) 15848
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1350.11 s]
Raw data (loadavg): 1.08 1.02 1.00 2/56 6868
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2961 0 0 0 82264 5105 0 0 25 0 1 0 20669769 14049280 2931 4294967295 134512640 134702520 3221223712 3221222992 134552509 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3430 2931 413 48 0 3382 0
[pid=6807] vsize: 13720
Current children cumulated CPU time (s) 1200.62
Current children cumulated vsize (Kb) 15848
Sending SIGTERM to -6802
Sleeping 2 seconds
New process pid=6870
New process pid=6871
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/4043/stat
open syscall for file /proc/4043/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/4043/cmdline
open syscall for file /proc/4043/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/6763/stat
open syscall for file /proc/6763/status
open syscall for file /proc/6763/cmdline
open syscall for file /proc/6763/environ
open syscall for file /proc/6801/stat
open syscall for file /proc/6801/status
open syscall for file /proc/6801/cmdline
open syscall for file /proc/6801/environ
open syscall for file /proc/6802/stat
open syscall for file /proc/6802/status
open syscall for file /proc/6802/cmdline
open syscall for file /proc/6802/environ
open syscall for file /proc/6807/stat
open syscall for file /proc/6807/status
open syscall for file /proc/6807/cmdline
open syscall for file /proc/6807/environ
open syscall for file /proc/6870/stat
open syscall for file /proc/6870/status
open syscall for file /proc/6870/cmdline
open syscall for file /proc/6870/environ
open syscall for file /proc/6871/stat
open syscall for file /proc/6871/status
open syscall for file /proc/6871/cmdline
open syscall for file /proc/6871/environ
One traced child (pid=6870) exited with status: 0
One traced child (pid=6871) exited with status: 0
New process pid=6872
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=6872) exited with status: 0
New process pid=6873
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=6873) exited with status: 0
One traced child (pid=6802) 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=6807) exited with status: 3
All traced children have exited ! Game is over.
Child status: 3
Real time (s): 1350.67
CPU time (s): 874.232
CPU user time (s): 823.125
CPU system time (s): 51.1072
CPU usage (%): 64.7257
Max. virtual memory (cumulated for all children) (Kb): 18688