1:
seed: 0
Nr of vars set: 1266 (#equs: 0)
Nr of vars set: 2123 (#equs: 30)
#decisions: 3228439; #end-nodes: 136032;
#proof improvement attempts: 0; #restarts: 768
Current batch, end-nodes: 0 / 273 (271)
#axs: 766, #non-axs: 1300
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 28, end (keep): 47
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: 2151 (#equs: 33)
Time taken: 5 min, 15 sec
2:
seed: 0
Nr of vars set: 2151 (#equs: 0)
Nr of vars set: 2151 (#equs: 15)
#decisions: 8702334; #end-nodes: 702523;
#proof improvement attempts: 0; #restarts: 1920
Current batch, end-nodes: 0 / 599 (599)
#axs: 762, #non-axs: 766
tight: meta-meta: start: 3, end: 4; meta: start: 10, end (keep): 17
loose: meta-meta: start: 4, end: 4; meta: start: 8, end (keep): 12
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 2157 (#equs: 30)
Time taken: 12 min, 18 sec
3:
seed: 0
Nr of vars set: 2157 (#equs: 0)
Nr of vars set: 2157 (#equs: 15)
Interupt request received.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 2157 (#equs: 18)
Time taken: 2 min, 32 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/5203/stat): 5203 (vallstSAT2005PB) R 5202 5203 4060 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19900801 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5203/statm): 174 3 169 147 0 27 0
[pid=5203] 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=5204
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=5204) exited with status: 0
New process pid=5205
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=5205) exited with status: 0
New process pid=5206
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/wulflinc13/normalized-mps-v2-13-7-set1ch.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0038 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 952 0 0 0 657 107 0 0 17 0 1 0 19900810 4767744 805 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1164 805 413 48 0 1116 0
[pid=5206] vsize: 4656
Current children cumulated CPU time (s) 7.65
Current children cumulated vsize (Kb) 6784
[startup+20.0045 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 952 0 0 0 1267 227 0 0 17 0 1 0 19900810 4767744 805 4294967295 134512640 134702520 3221223952 3221223192 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1164 805 413 48 0 1116 0
[pid=5206] vsize: 4656
Current children cumulated CPU time (s) 14.95
Current children cumulated vsize (Kb) 6784
[startup+30.0052 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1019 0 0 0 1779 380 0 0 16 0 1 0 19900810 6959104 872 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1699 872 413 48 0 1651 0
[pid=5206] vsize: 6796
Current children cumulated CPU time (s) 21.6
Current children cumulated vsize (Kb) 8924
[startup+40.0058 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1022 0 0 0 2328 526 0 0 16 0 1 0 19900810 6963200 875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1700 875 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 28.55
Current children cumulated vsize (Kb) 8928
[startup+50.0064 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1025 0 0 0 2874 669 0 0 16 0 1 0 19900810 6963200 878 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 878 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 35.44
Current children cumulated vsize (Kb) 8928
[startup+60.0071 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1025 0 0 0 3513 786 0 0 16 0 1 0 19900810 6963200 878 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 878 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 43
Current children cumulated vsize (Kb) 8928
[startup+70.0088 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1025 0 0 0 4111 916 0 0 16 0 1 0 19900810 6963200 878 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1700 878 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 50.28
Current children cumulated vsize (Kb) 8928
[startup+80.0094 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) R 5203 5203 4060 0 -1 0 1027 0 0 0 4673 1051 0 0 17 0 1 0 19900810 6963200 880 4294967295 134512640 134702520 3221223952 3221139868 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 880 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 57.25
Current children cumulated vsize (Kb) 8928
[startup+90.0101 s]
Raw data (loadavg): 1.15 1.03 1.01 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1028 0 0 0 5171 1208 0 0 16 0 1 0 19900810 6963200 881 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 881 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 63.8
Current children cumulated vsize (Kb) 8928
[startup+100.011 s]
Raw data (loadavg): 1.13 1.03 1.01 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1031 0 0 0 5725 1352 0 0 16 0 1 0 19900810 6963200 884 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 884 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 70.78
Current children cumulated vsize (Kb) 8928
[startup+110.012 s]
Raw data (loadavg): 1.11 1.03 1.01 2/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) R 5203 5203 4060 0 -1 0 1031 0 0 0 6385 1463 0 0 16 0 1 0 19900810 6963200 884 4294967295 134512640 134702520 3221223952 3221222848 134553330 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 884 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 78.49
Current children cumulated vsize (Kb) 8928
[startup+120.013 s]
Raw data (loadavg): 1.09 1.03 1.01 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1031 0 0 0 6979 1592 0 0 16 0 1 0 19900810 6963200 884 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1700 884 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 85.72
Current children cumulated vsize (Kb) 8928
[startup+130.014 s]
Raw data (loadavg): 1.08 1.03 1.01 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1034 0 0 0 7460 1754 0 0 16 0 1 0 19900810 6963200 887 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 887 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 92.15
Current children cumulated vsize (Kb) 8928
[startup+140.015 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1034 0 0 0 8007 1902 0 0 15 0 1 0 19900810 6963200 887 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1700 887 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 99.1
Current children cumulated vsize (Kb) 8928
[startup+150.016 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) R 5203 5203 4060 0 -1 0 1035 0 0 0 8559 2043 0 0 15 0 1 0 19900810 6963200 888 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1700 888 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 106.03
Current children cumulated vsize (Kb) 8928
[startup+160.017 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) R 5203 5203 4060 0 -1 0 1037 0 0 0 9217 2156 0 0 16 0 1 0 19900810 6963200 890 4294967295 134512640 134702520 3221223952 3221222848 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1700 890 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 113.74
Current children cumulated vsize (Kb) 8928
[startup+170.017 s]
Raw data (loadavg): 1.11 1.04 1.01 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1037 0 0 0 9818 2285 0 0 16 0 1 0 19900810 6963200 890 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1700 890 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 121.04
Current children cumulated vsize (Kb) 8928
[startup+180.018 s]
Raw data (loadavg): 1.09 1.04 1.01 2/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) R 5203 5203 4060 0 -1 0 1037 0 0 0 10333 2443 0 0 16 0 1 0 19900810 6963200 890 4294967295 134512640 134702520 3221223952 3221207568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1700 890 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 127.77
Current children cumulated vsize (Kb) 8928
[startup+190.02 s]
Raw data (loadavg): 1.15 1.05 1.01 2/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) R 5203 5203 4060 0 -1 0 1041 0 0 0 10872 2595 0 0 16 0 1 0 19900810 6963200 894 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 894 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 134.68
Current children cumulated vsize (Kb) 8928
[startup+200.02 s]
Raw data (loadavg): 1.13 1.05 1.01 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1041 0 0 0 11421 2741 0 0 16 0 1 0 19900810 6963200 894 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1700 894 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 141.63
Current children cumulated vsize (Kb) 8928
[startup+210.021 s]
Raw data (loadavg): 1.11 1.05 1.01 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1042 0 0 0 12025 2865 0 0 15 0 1 0 19900810 6963200 895 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 895 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 148.91
Current children cumulated vsize (Kb) 8928
[startup+220.022 s]
Raw data (loadavg): 1.09 1.05 1.01 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1042 0 0 0 12649 2991 0 0 16 0 1 0 19900810 6963200 895 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 895 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 156.41
Current children cumulated vsize (Kb) 8928
[startup+230.021 s]
Raw data (loadavg): 1.08 1.04 1.01 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1043 0 0 0 13191 3135 0 0 16 0 1 0 19900810 6963200 896 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 896 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 163.27
Current children cumulated vsize (Kb) 8928
[startup+240.022 s]
Raw data (loadavg): 1.06 1.04 1.01 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1045 0 0 0 13760 3277 0 0 16 0 1 0 19900810 6963200 898 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 898 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 170.38
Current children cumulated vsize (Kb) 8928
[startup+250.023 s]
Raw data (loadavg): 1.05 1.04 1.00 2/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) R 5203 5203 4060 0 -1 0 1047 0 0 0 14323 3412 0 0 16 0 1 0 19900810 6963200 900 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 900 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 177.36
Current children cumulated vsize (Kb) 8928
[startup+260.023 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1047 0 0 0 14988 3520 0 0 16 0 1 0 19900810 6963200 900 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1700 900 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 185.09
Current children cumulated vsize (Kb) 8928
[startup+270.024 s]
Raw data (loadavg): 1.04 1.04 1.00 2/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) R 5203 5203 4060 0 -1 0 1047 0 0 0 15608 3644 0 0 16 0 1 0 19900810 6963200 900 4294967295 134512640 134702520 3221223952 3221222848 134553160 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 900 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 192.53
Current children cumulated vsize (Kb) 8928
[startup+280.023 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) R 5203 5203 4060 0 -1 0 1049 0 0 0 16168 3786 0 0 17 0 1 0 19900810 6963200 902 4294967295 134512640 134702520 3221223952 3221130448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 902 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 199.55
Current children cumulated vsize (Kb) 8928
[startup+290.025 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) R 5203 5203 4060 0 -1 0 1052 0 0 0 16734 3924 0 0 17 0 1 0 19900810 6963200 905 4294967295 134512640 134702520 3221223952 3221127228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 905 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 206.59
Current children cumulated vsize (Kb) 8928
[startup+300.026 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) R 5203 5203 4060 0 -1 0 1055 0 0 0 17266 4074 0 0 17 0 1 0 19900810 6963200 908 4294967295 134512640 134702520 3221223952 3221187888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 908 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 213.41
Current children cumulated vsize (Kb) 8928
[startup+310.026 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1055 0 0 0 17942 4186 0 0 16 0 1 0 19900810 6963200 908 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 908 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 221.29
Current children cumulated vsize (Kb) 8928
[startup+320.027 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1055 0 0 0 18571 4309 0 0 15 0 1 0 19900810 6963200 908 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 908 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 228.81
Current children cumulated vsize (Kb) 8928
[startup+330.028 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1074 0 0 0 19152 4442 0 0 17 0 1 0 19900810 6963200 927 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1700 927 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 235.95
Current children cumulated vsize (Kb) 8928
[startup+340.028 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1095 0 0 0 19590 4618 0 0 16 0 1 0 19900810 6963200 948 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434789 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 948 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 242.09
Current children cumulated vsize (Kb) 8928
[startup+350.029 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) R 5203 5203 4060 0 -1 0 1120 0 0 0 19976 4807 0 0 18 0 1 0 19900810 7208960 973 4294967295 134512640 134702520 3221223952 3221065808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1760 973 413 48 0 1712 0
[pid=5206] vsize: 7040
Current children cumulated CPU time (s) 247.84
Current children cumulated vsize (Kb) 9168
[startup+360.03 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) R 5203 5203 4060 0 -1 0 1149 0 0 0 20477 4969 0 0 16 0 1 0 19900810 7208960 1002 4294967295 134512640 134702520 3221223952 3221220508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1760 1002 413 48 0 1712 0
[pid=5206] vsize: 7040
Current children cumulated CPU time (s) 254.47
Current children cumulated vsize (Kb) 9168
[startup+370.03 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1149 0 0 0 21194 5059 0 0 16 0 1 0 19900810 7208960 1002 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1760 1002 413 48 0 1712 0
[pid=5206] vsize: 7040
Current children cumulated CPU time (s) 262.54
Current children cumulated vsize (Kb) 9168
[startup+380.03 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1149 0 0 0 21847 5168 0 0 16 0 1 0 19900810 7208960 1002 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1760 1002 413 48 0 1712 0
[pid=5206] vsize: 7040
Current children cumulated CPU time (s) 270.16
Current children cumulated vsize (Kb) 9168
[startup+390.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) R 5203 5203 4060 0 -1 0 1151 0 0 0 22261 5361 0 0 16 0 1 0 19900810 7208960 1004 4294967295 134512640 134702520 3221223952 3221223208 134548989 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1760 1004 413 48 0 1712 0
[pid=5206] vsize: 7040
Current children cumulated CPU time (s) 276.23
Current children cumulated vsize (Kb) 9168
[startup+400.031 s]
Raw data (loadavg): 1.08 1.04 1.01 2/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) R 5203 5203 4060 0 -1 0 1151 0 0 0 22712 5537 0 0 16 0 1 0 19900810 7208960 1004 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1760 1004 413 48 0 1712 0
[pid=5206] vsize: 7040
Current children cumulated CPU time (s) 282.5
Current children cumulated vsize (Kb) 9168
[startup+410.031 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1151 0 0 0 23137 5724 0 0 16 0 1 0 19900810 7208960 1004 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1760 1004 413 48 0 1712 0
[pid=5206] vsize: 7040
Current children cumulated CPU time (s) 288.62
Current children cumulated vsize (Kb) 9168
[startup+420.032 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1161 0 0 0 23596 5896 0 0 16 0 1 0 19900810 7208960 1014 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1760 1014 413 48 0 1712 0
[pid=5206] vsize: 7040
Current children cumulated CPU time (s) 294.93
Current children cumulated vsize (Kb) 9168
[startup+430.033 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1163 0 0 0 24232 6012 0 0 16 0 1 0 19900810 7208960 1016 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1760 1016 413 48 0 1712 0
[pid=5206] vsize: 7040
Current children cumulated CPU time (s) 302.45
Current children cumulated vsize (Kb) 9168
[startup+440.034 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1163 0 0 0 24899 6122 0 0 16 0 1 0 19900810 7208960 1016 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1760 1016 413 48 0 1712 0
[pid=5206] vsize: 7040
Current children cumulated CPU time (s) 310.22
Current children cumulated vsize (Kb) 9168
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=5206) exited with status: 2
New process pid=5207
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=5207) exited with status: 0
New process pid=5208
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+450.035 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 667 0 0 0 337 12 0 0 25 0 1 0 19945442 4276224 637 4294967295 134512640 134702520 3221223712 3220948828 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1044 637 413 48 0 996 0
[pid=5208] vsize: 4176
Current children cumulated CPU time (s) 318.7
Current children cumulated vsize (Kb) 6304
[startup+460.035 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 669 0 0 0 748 195 0 0 16 0 1 0 19945442 4276224 639 4294967295 134512640 134702520 3221223712 3221222848 134550369 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1044 639 413 48 0 996 0
[pid=5208] vsize: 4176
Current children cumulated CPU time (s) 324.64
Current children cumulated vsize (Kb) 6304
[startup+470.036 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 742 0 0 0 1184 375 0 0 16 0 1 0 19945442 6565888 712 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1603 712 413 48 0 1555 0
[pid=5208] vsize: 6412
Current children cumulated CPU time (s) 330.8
Current children cumulated vsize (Kb) 8540
[startup+480.036 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 782 0 0 0 1742 512 0 0 16 0 1 0 19945442 6565888 752 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1603 752 413 48 0 1555 0
[pid=5208] vsize: 6412
Current children cumulated CPU time (s) 337.75
Current children cumulated vsize (Kb) 8540
[startup+490.039 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 788 0 0 0 2248 672 0 0 16 0 1 0 19945442 6565888 758 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1603 758 413 48 0 1555 0
[pid=5208] vsize: 6412
Current children cumulated CPU time (s) 344.41
Current children cumulated vsize (Kb) 8540
[startup+500.04 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 792 0 0 0 2816 811 0 0 16 0 1 0 19945442 6668288 762 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1628 762 413 48 0 1580 0
[pid=5208] vsize: 6512
Current children cumulated CPU time (s) 351.48
Current children cumulated vsize (Kb) 8640
[startup+510.039 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 793 0 0 0 3238 1004 0 0 16 0 1 0 19945442 6668288 763 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1628 763 413 48 0 1580 0
[pid=5208] vsize: 6512
Current children cumulated CPU time (s) 357.63
Current children cumulated vsize (Kb) 8640
[startup+520.04 s]
Raw data (loadavg): 1.08 1.04 1.00 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 794 0 0 0 3730 1179 0 0 17 0 1 0 19945442 6668288 764 4294967295 134512640 134702520 3221223712 3221067788 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1628 764 413 48 0 1580 0
[pid=5208] vsize: 6512
Current children cumulated CPU time (s) 364.3
Current children cumulated vsize (Kb) 8640
[startup+530.041 s]
Raw data (loadavg): 1.15 1.05 1.01 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 796 0 0 0 4274 1326 0 0 18 0 1 0 19945442 6668288 766 4294967295 134512640 134702520 3221223712 3221057408 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1628 766 413 48 0 1580 0
[pid=5208] vsize: 6512
Current children cumulated CPU time (s) 371.21
Current children cumulated vsize (Kb) 8640
[startup+540.041 s]
Raw data (loadavg): 1.13 1.05 1.01 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 801 0 0 0 4672 1524 0 0 16 0 1 0 19945442 6668288 771 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1628 771 413 48 0 1580 0
[pid=5208] vsize: 6512
Current children cumulated CPU time (s) 377.17
Current children cumulated vsize (Kb) 8640
[startup+550.042 s]
Raw data (loadavg): 1.11 1.05 1.01 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 809 0 0 0 5199 1676 0 0 16 0 1 0 19945442 6668288 779 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1628 779 413 48 0 1580 0
[pid=5208] vsize: 6512
Current children cumulated CPU time (s) 383.96
Current children cumulated vsize (Kb) 8640
[startup+560.042 s]
Raw data (loadavg): 1.17 1.06 1.01 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 811 0 0 0 5629 1864 0 0 16 0 1 0 19945442 6668288 781 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1628 781 413 48 0 1580 0
[pid=5208] vsize: 6512
Current children cumulated CPU time (s) 390.14
Current children cumulated vsize (Kb) 8640
[startup+570.042 s]
Raw data (loadavg): 1.14 1.06 1.01 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 813 0 0 0 6142 2020 0 0 18 0 1 0 19945442 6705152 783 4294967295 134512640 134702520 3221223712 3221040108 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1637 783 413 48 0 1589 0
[pid=5208] vsize: 6548
Current children cumulated CPU time (s) 396.83
Current children cumulated vsize (Kb) 8676
[startup+580.042 s]
Raw data (loadavg): 1.12 1.06 1.01 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 818 0 0 0 6682 2159 0 0 15 0 1 0 19945442 6705152 788 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1637 788 413 48 0 1589 0
[pid=5208] vsize: 6548
Current children cumulated CPU time (s) 403.62
Current children cumulated vsize (Kb) 8676
[startup+590.043 s]
Raw data (loadavg): 1.10 1.06 1.01 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 825 0 0 0 7175 2321 0 0 16 0 1 0 19945442 6705152 795 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1637 795 413 48 0 1589 0
[pid=5208] vsize: 6548
Current children cumulated CPU time (s) 410.17
Current children cumulated vsize (Kb) 8676
[startup+600.043 s]
Raw data (loadavg): 1.09 1.05 1.01 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 829 0 0 0 7709 2467 0 0 16 0 1 0 19945442 6705152 799 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1637 799 413 48 0 1589 0
[pid=5208] vsize: 6548
Current children cumulated CPU time (s) 416.97
Current children cumulated vsize (Kb) 8676
[startup+610.044 s]
Raw data (loadavg): 1.07 1.05 1.01 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 830 0 0 0 8137 2652 0 0 15 0 1 0 19945442 6848512 800 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1672 800 413 48 0 1624 0
[pid=5208] vsize: 6688
Current children cumulated CPU time (s) 423.1
Current children cumulated vsize (Kb) 8816
[startup+620.045 s]
Raw data (loadavg): 1.06 1.05 1.01 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 832 0 0 0 8664 2809 0 0 18 0 1 0 19945442 6758400 802 4294967295 134512640 134702520 3221223712 3221031968 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1650 802 413 48 0 1602 0
[pid=5208] vsize: 6600
Current children cumulated CPU time (s) 429.94
Current children cumulated vsize (Kb) 8728
[startup+630.045 s]
Raw data (loadavg): 1.05 1.05 1.00 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 837 0 0 0 9197 2962 0 0 16 0 1 0 19945442 6758400 807 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1650 807 413 48 0 1602 0
[pid=5208] vsize: 6600
Current children cumulated CPU time (s) 436.8
Current children cumulated vsize (Kb) 8728
[startup+640.047 s]
Raw data (loadavg): 1.04 1.05 1.00 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 849 0 0 0 9724 3116 0 0 16 0 1 0 19945442 6758400 819 4294967295 134512640 134702520 3221223712 3221183788 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1650 819 413 48 0 1602 0
[pid=5208] vsize: 6600
Current children cumulated CPU time (s) 443.61
Current children cumulated vsize (Kb) 8728
[startup+650.048 s]
Raw data (loadavg): 1.11 1.06 1.01 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 852 0 0 0 10229 3273 0 0 16 0 1 0 19945442 6758400 822 4294967295 134512640 134702520 3221223712 3221222608 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1650 822 413 48 0 1602 0
[pid=5208] vsize: 6600
Current children cumulated CPU time (s) 450.23
Current children cumulated vsize (Kb) 8728
[startup+660.047 s]
Raw data (loadavg): 1.09 1.06 1.01 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 853 0 0 0 10661 3457 0 0 16 0 1 0 19945442 6897664 823 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1684 823 413 48 0 1636 0
[pid=5208] vsize: 6736
Current children cumulated CPU time (s) 456.39
Current children cumulated vsize (Kb) 8864
[startup+670.049 s]
Raw data (loadavg): 1.08 1.06 1.01 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 854 0 0 0 11190 3613 0 0 17 0 1 0 19945442 6807552 824 4294967295 134512640 134702520 3221223712 3221039788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1662 824 413 48 0 1614 0
[pid=5208] vsize: 6648
Current children cumulated CPU time (s) 463.24
Current children cumulated vsize (Kb) 8776
[startup+680.049 s]
Raw data (loadavg): 1.07 1.05 1.01 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 857 0 0 0 11739 3753 0 0 18 0 1 0 19945442 6807552 827 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1662 827 413 48 0 1614 0
[pid=5208] vsize: 6648
Current children cumulated CPU time (s) 470.13
Current children cumulated vsize (Kb) 8776
[startup+690.05 s]
Raw data (loadavg): 1.06 1.05 1.00 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 859 0 0 0 12128 3947 0 0 16 0 1 0 19945442 6807552 829 4294967295 134512640 134702520 3221223712 3221223112 134607252 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1662 829 413 48 0 1614 0
[pid=5208] vsize: 6648
Current children cumulated CPU time (s) 475.96
Current children cumulated vsize (Kb) 8776
[startup+700.051 s]
Raw data (loadavg): 1.05 1.05 1.00 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 864 0 0 0 12643 4097 0 0 16 0 1 0 19945442 6807552 834 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1662 834 413 48 0 1614 0
[pid=5208] vsize: 6648
Current children cumulated CPU time (s) 482.61
Current children cumulated vsize (Kb) 8776
[startup+710.051 s]
Raw data (loadavg): 1.04 1.05 1.00 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 864 0 0 0 13080 4277 0 0 16 0 1 0 19945442 6807552 834 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1662 834 413 48 0 1614 0
[pid=5208] vsize: 6648
Current children cumulated CPU time (s) 488.78
Current children cumulated vsize (Kb) 8776
[startup+720.052 s]
Raw data (loadavg): 1.03 1.05 1.00 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 867 0 0 0 13535 4454 0 0 16 0 1 0 19945442 6860800 837 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1675 837 413 48 0 1627 0
[pid=5208] vsize: 6700
Current children cumulated CPU time (s) 495.1
Current children cumulated vsize (Kb) 8828
[startup+730.053 s]
Raw data (loadavg): 1.03 1.04 1.00 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 872 0 0 0 14039 4614 0 0 15 0 1 0 19945442 6860800 842 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1675 842 413 48 0 1627 0
[pid=5208] vsize: 6700
Current children cumulated CPU time (s) 501.74
Current children cumulated vsize (Kb) 8828
[startup+740.054 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 878 0 0 0 14553 4780 0 0 16 0 1 0 19945442 6860800 848 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1675 848 413 48 0 1627 0
[pid=5208] vsize: 6700
Current children cumulated CPU time (s) 508.54
Current children cumulated vsize (Kb) 8828
[startup+750.055 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 881 0 0 0 15090 4925 0 0 16 0 1 0 19945442 7004160 851 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1710 851 413 48 0 1662 0
[pid=5208] vsize: 6840
Current children cumulated CPU time (s) 515.36
Current children cumulated vsize (Kb) 8968
[startup+760.055 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 882 0 0 0 15507 5109 0 0 16 0 1 0 19945442 7004160 852 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1710 852 413 48 0 1662 0
[pid=5208] vsize: 6840
Current children cumulated CPU time (s) 521.37
Current children cumulated vsize (Kb) 8968
[startup+770.055 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 884 0 0 0 15966 5282 0 0 17 0 1 0 19945442 6942720 854 4294967295 134512640 134702520 3221223712 3221175148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1695 854 413 48 0 1647 0
[pid=5208] vsize: 6780
Current children cumulated CPU time (s) 527.69
Current children cumulated vsize (Kb) 8908
[startup+780.056 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 907 0 0 0 16556 5417 0 0 16 0 1 0 19945442 6942720 877 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1695 877 413 48 0 1647 0
[pid=5208] vsize: 6780
Current children cumulated CPU time (s) 534.94
Current children cumulated vsize (Kb) 8908
[startup+790.058 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 908 0 0 0 16918 5623 0 0 16 0 1 0 19945442 6942720 878 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1695 878 413 48 0 1647 0
[pid=5208] vsize: 6780
Current children cumulated CPU time (s) 540.62
Current children cumulated vsize (Kb) 8908
[startup+800.058 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1059 0 0 0 17345 5804 0 0 15 0 1 0 19945442 7434240 1029 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1815 1029 413 48 0 1767 0
[pid=5208] vsize: 7260
Current children cumulated CPU time (s) 546.7
Current children cumulated vsize (Kb) 9388
[startup+810.059 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1151 0 0 0 17722 6003 0 0 16 0 1 0 19945442 7925760 1121 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1935 1121 413 48 0 1887 0
[pid=5208] vsize: 7740
Current children cumulated CPU time (s) 552.46
Current children cumulated vsize (Kb) 9868
[startup+820.06 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1190 0 0 0 18157 6181 0 0 16 0 1 0 19945442 7827456 1101 4294967295 134512640 134702520 3221223712 3221222608 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1911 1101 413 48 0 1863 0
[pid=5208] vsize: 7644
Current children cumulated CPU time (s) 558.59
Current children cumulated vsize (Kb) 9772
[startup+830.06 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1191 0 0 0 18603 6361 0 0 16 0 1 0 19945442 7827456 1102 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1911 1102 413 48 0 1863 0
[pid=5208] vsize: 7644
Current children cumulated CPU time (s) 564.85
Current children cumulated vsize (Kb) 9772
[startup+840.061 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1195 0 0 0 19037 6544 0 0 17 0 1 0 19945442 7794688 1106 4294967295 134512640 134702520 3221223712 3221180608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1903 1106 413 48 0 1855 0
[pid=5208] vsize: 7612
Current children cumulated CPU time (s) 571.02
Current children cumulated vsize (Kb) 9740
[startup+850.062 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1232 0 0 0 19548 6702 0 0 16 0 1 0 19945442 8040448 1143 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1963 1143 413 48 0 1915 0
[pid=5208] vsize: 7852
Current children cumulated CPU time (s) 577.71
Current children cumulated vsize (Kb) 9980
[startup+860.061 s]
Raw data (loadavg): 1.06 1.04 1.00 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1242 0 0 0 20087 6848 0 0 16 0 1 0 19945442 8040448 1153 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1963 1153 413 48 0 1915 0
[pid=5208] vsize: 7852
Current children cumulated CPU time (s) 584.56
Current children cumulated vsize (Kb) 9980
[startup+870.062 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1246 0 0 0 20703 6972 0 0 17 0 1 0 19945442 7888896 1131 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1926 1131 413 48 0 1878 0
[pid=5208] vsize: 7704
Current children cumulated CPU time (s) 591.96
Current children cumulated vsize (Kb) 9832
[startup+880.063 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1246 0 0 0 21139 7152 0 0 16 0 1 0 19945442 7888896 1131 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1926 1131 413 48 0 1878 0
[pid=5208] vsize: 7704
Current children cumulated CPU time (s) 598.12
Current children cumulated vsize (Kb) 9832
[startup+890.063 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1249 0 0 0 21637 7320 0 0 16 0 1 0 19945442 7888896 1134 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1926 1134 413 48 0 1878 0
[pid=5208] vsize: 7704
Current children cumulated CPU time (s) 604.78
Current children cumulated vsize (Kb) 9832
[startup+900.064 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1256 0 0 0 22058 7502 0 0 16 0 1 0 19945442 7888896 1141 4294967295 134512640 134702520 3221223712 3221199788 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1926 1141 413 48 0 1878 0
[pid=5208] vsize: 7704
Current children cumulated CPU time (s) 610.81
Current children cumulated vsize (Kb) 9832
[startup+910.064 s]
Raw data (loadavg): 1.11 1.05 1.01 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1258 0 0 0 22426 7702 0 0 16 0 1 0 19945442 7888896 1143 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1926 1143 413 48 0 1878 0
[pid=5208] vsize: 7704
Current children cumulated CPU time (s) 616.49
Current children cumulated vsize (Kb) 9832
[startup+920.065 s]
Raw data (loadavg): 1.09 1.04 1.00 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1262 0 0 0 23076 7818 0 0 16 0 1 0 19945442 7888896 1147 4294967295 134512640 134702520 3221223712 3221223104 134603794 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1926 1147 413 48 0 1878 0
[pid=5208] vsize: 7704
Current children cumulated CPU time (s) 624.15
Current children cumulated vsize (Kb) 9832
[startup+930.066 s]
Raw data (loadavg): 1.15 1.06 1.01 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1269 0 0 0 23627 7960 0 0 16 0 1 0 19945442 7888896 1154 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1926 1154 413 48 0 1878 0
[pid=5208] vsize: 7704
Current children cumulated CPU time (s) 631.08
Current children cumulated vsize (Kb) 9832
[startup+940.066 s]
Raw data (loadavg): 1.12 1.06 1.01 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1269 0 0 0 24077 8138 0 0 16 0 1 0 19945442 7888896 1154 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1926 1154 413 48 0 1878 0
[pid=5208] vsize: 7704
Current children cumulated CPU time (s) 637.36
Current children cumulated vsize (Kb) 9832
[startup+950.067 s]
Raw data (loadavg): 1.11 1.05 1.01 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1273 0 0 0 24597 8299 0 0 16 0 1 0 19945442 7946240 1158 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1940 1158 413 48 0 1892 0
[pid=5208] vsize: 7760
Current children cumulated CPU time (s) 644.17
Current children cumulated vsize (Kb) 9888
[startup+960.067 s]
Raw data (loadavg): 1.16 1.07 1.01 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1280 0 0 0 25015 8490 0 0 16 0 1 0 19945442 7946240 1165 4294967295 134512640 134702520 3221223712 3221185888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1940 1165 413 48 0 1892 0
[pid=5208] vsize: 7760
Current children cumulated CPU time (s) 650.26
Current children cumulated vsize (Kb) 9888
[startup+970.067 s]
Raw data (loadavg): 1.21 1.08 1.02 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1283 0 0 0 25580 8624 0 0 15 0 1 0 19945442 7946240 1168 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1940 1168 413 48 0 1892 0
[pid=5208] vsize: 7760
Current children cumulated CPU time (s) 657.25
Current children cumulated vsize (Kb) 9888
[startup+980.068 s]
Raw data (loadavg): 1.18 1.08 1.01 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1289 0 0 0 25971 8820 0 0 16 0 1 0 19945442 7946240 1174 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1940 1174 413 48 0 1892 0
[pid=5208] vsize: 7760
Current children cumulated CPU time (s) 663.12
Current children cumulated vsize (Kb) 9888
[startup+990.069 s]
Raw data (loadavg): 1.15 1.08 1.01 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1292 0 0 0 26525 8967 0 0 16 0 1 0 19945442 7946240 1177 4294967295 134512640 134702520 3221223712 3221222608 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1940 1177 413 48 0 1892 0
[pid=5208] vsize: 7760
Current children cumulated CPU time (s) 670.13
Current children cumulated vsize (Kb) 9888
[startup+1000.07 s]
Raw data (loadavg): 1.20 1.09 1.02 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1292 0 0 0 26995 9145 0 0 16 0 1 0 19945442 7946240 1177 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1940 1177 413 48 0 1892 0
[pid=5208] vsize: 7760
Current children cumulated CPU time (s) 676.61
Current children cumulated vsize (Kb) 9888
[startup+1010.07 s]
Raw data (loadavg): 1.25 1.10 1.02 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1294 0 0 0 27512 9305 0 0 16 0 1 0 19945442 8003584 1179 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1954 1179 413 48 0 1906 0
[pid=5208] vsize: 7816
Current children cumulated CPU time (s) 683.38
Current children cumulated vsize (Kb) 9944
[startup+1020.07 s]
Raw data (loadavg): 1.21 1.10 1.02 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1298 0 0 0 28034 9456 0 0 16 0 1 0 19945442 8003584 1183 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1954 1183 413 48 0 1906 0
[pid=5208] vsize: 7816
Current children cumulated CPU time (s) 690.11
Current children cumulated vsize (Kb) 9944
[startup+1030.07 s]
Raw data (loadavg): 1.18 1.09 1.02 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1304 0 0 0 28474 9635 0 0 17 0 1 0 19945442 8003584 1189 4294967295 134512640 134702520 3221223712 3221178188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1954 1189 413 48 0 1906 0
[pid=5208] vsize: 7816
Current children cumulated CPU time (s) 696.3
Current children cumulated vsize (Kb) 9944
[startup+1040.07 s]
Raw data (loadavg): 1.15 1.09 1.02 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1308 0 0 0 28980 9796 0 0 16 0 1 0 19945442 8003584 1193 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1954 1193 413 48 0 1906 0
[pid=5208] vsize: 7816
Current children cumulated CPU time (s) 702.97
Current children cumulated vsize (Kb) 9944
[startup+1050.07 s]
Raw data (loadavg): 1.13 1.09 1.02 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1310 0 0 0 29566 9931 0 0 16 0 1 0 19945442 8138752 1195 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1987 1195 413 48 0 1939 0
[pid=5208] vsize: 7948
Current children cumulated CPU time (s) 710.18
Current children cumulated vsize (Kb) 10076
[startup+1060.07 s]
Raw data (loadavg): 1.11 1.08 1.02 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1312 0 0 0 30085 10086 0 0 16 0 1 0 19945442 8138752 1197 4294967295 134512640 134702520 3221223712 3221222784 134617472 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1987 1197 413 48 0 1939 0
[pid=5208] vsize: 7948
Current children cumulated CPU time (s) 716.92
Current children cumulated vsize (Kb) 10076
[startup+1070.07 s]
Raw data (loadavg): 1.09 1.08 1.02 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1315 0 0 0 30582 10251 0 0 16 0 1 0 19945442 8077312 1200 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1972 1200 413 48 0 1924 0
[pid=5208] vsize: 7888
Current children cumulated CPU time (s) 723.54
Current children cumulated vsize (Kb) 10016
[startup+1080.07 s]
Raw data (loadavg): 1.16 1.09 1.02 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1320 0 0 0 31105 10403 0 0 16 0 1 0 19945442 8077312 1205 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1972 1205 413 48 0 1924 0
[pid=5208] vsize: 7888
Current children cumulated CPU time (s) 730.29
Current children cumulated vsize (Kb) 10016
[startup+1090.08 s]
Raw data (loadavg): 1.13 1.09 1.02 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1326 0 0 0 31620 10555 0 0 18 0 1 0 19945442 8077312 1211 4294967295 134512640 134702520 3221223712 3220999488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1972 1211 413 48 0 1924 0
[pid=5208] vsize: 7888
Current children cumulated CPU time (s) 736.96
Current children cumulated vsize (Kb) 10016
[startup+1100.08 s]
Raw data (loadavg): 1.11 1.09 1.02 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1335 0 0 0 32117 10711 0 0 16 0 1 0 19945442 8216576 1220 4294967295 134512640 134702520 3221223712 3221222592 134557412 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2006 1220 413 48 0 1958 0
[pid=5208] vsize: 8024
Current children cumulated CPU time (s) 743.49
Current children cumulated vsize (Kb) 10152
[startup+1110.08 s]
Raw data (loadavg): 1.17 1.10 1.02 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1336 0 0 0 32585 10882 0 0 16 0 1 0 19945442 8216576 1221 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2006 1221 413 48 0 1958 0
[pid=5208] vsize: 8024
Current children cumulated CPU time (s) 749.88
Current children cumulated vsize (Kb) 10152
[startup+1120.08 s]
Raw data (loadavg): 1.14 1.10 1.02 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1338 0 0 0 33071 11052 0 0 16 0 1 0 19945442 8159232 1223 4294967295 134512640 134702520 3221223712 3221195168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1992 1223 413 48 0 1944 0
[pid=5208] vsize: 7968
Current children cumulated CPU time (s) 756.44
Current children cumulated vsize (Kb) 10096
[startup+1130.08 s]
Raw data (loadavg): 1.12 1.09 1.02 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1343 0 0 0 33583 11206 0 0 16 0 1 0 19945442 8159232 1228 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434789 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1992 1228 413 48 0 1944 0
[pid=5208] vsize: 7968
Current children cumulated CPU time (s) 763.1
Current children cumulated vsize (Kb) 10096
[startup+1140.08 s]
Raw data (loadavg): 1.10 1.09 1.02 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1350 0 0 0 34127 11347 0 0 16 0 1 0 19945442 8159232 1235 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1992 1235 413 48 0 1944 0
[pid=5208] vsize: 7968
Current children cumulated CPU time (s) 769.95
Current children cumulated vsize (Kb) 10096
[startup+1150.08 s]
Raw data (loadavg): 1.08 1.08 1.02 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1353 0 0 0 34676 11494 0 0 16 0 1 0 19945442 8159232 1238 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1992 1238 413 48 0 1944 0
[pid=5208] vsize: 7968
Current children cumulated CPU time (s) 776.91
Current children cumulated vsize (Kb) 10096
[startup+1160.08 s]
Raw data (loadavg): 1.07 1.08 1.02 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1353 0 0 0 35127 11675 0 0 16 0 1 0 19945442 8159232 1238 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1992 1238 413 48 0 1944 0
[pid=5208] vsize: 7968
Current children cumulated CPU time (s) 783.23
Current children cumulated vsize (Kb) 10096
[startup+1170.08 s]
Raw data (loadavg): 1.06 1.08 1.02 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1355 0 0 0 35628 11839 0 0 15 0 1 0 19945442 8220672 1240 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2007 1240 413 48 0 1959 0
[pid=5208] vsize: 8028
Current children cumulated CPU time (s) 789.88
Current children cumulated vsize (Kb) 10156
[startup+1180.08 s]
Raw data (loadavg): 1.05 1.08 1.02 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1356 0 0 0 36081 12009 0 0 17 0 1 0 19945442 8220672 1241 4294967295 134512640 134702520 3221223712 3221130348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5208/statm): 2007 1241 413 48 0 1959 0
[pid=5208] vsize: 8028
Current children cumulated CPU time (s) 796.11
Current children cumulated vsize (Kb) 10156
[startup+1190.08 s]
Raw data (loadavg): 1.04 1.07 1.02 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1362 0 0 0 36569 12176 0 0 16 0 1 0 19945442 8220672 1247 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2007 1247 413 48 0 1959 0
[pid=5208] vsize: 8028
Current children cumulated CPU time (s) 802.66
Current children cumulated vsize (Kb) 10156
[startup+1200.08 s]
Raw data (loadavg): 1.04 1.07 1.01 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1368 0 0 0 37142 12307 0 0 15 0 1 0 19945442 8220672 1253 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2007 1253 413 48 0 1959 0
[pid=5208] vsize: 8028
Current children cumulated CPU time (s) 809.7
Current children cumulated vsize (Kb) 10156
[startup+1210.08 s]
Raw data (loadavg): 1.03 1.07 1.01 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1371 0 0 0 37648 12462 0 0 16 0 1 0 19945442 8220672 1256 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 2007 1256 413 48 0 1959 0
[pid=5208] vsize: 8028
Current children cumulated CPU time (s) 816.31
Current children cumulated vsize (Kb) 10156
[startup+1220.08 s]
Raw data (loadavg): 1.02 1.06 1.01 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1372 0 0 0 38140 12635 0 0 15 0 1 0 19945442 8376320 1257 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2045 1257 413 48 0 1997 0
[pid=5208] vsize: 8180
Current children cumulated CPU time (s) 822.96
Current children cumulated vsize (Kb) 10308
[startup+1230.08 s]
Raw data (loadavg): 1.02 1.06 1.01 1/58 5210
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1375 0 0 0 38647 12791 0 0 16 0 1 0 19945442 8286208 1260 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2023 1260 413 48 0 1975 0
[pid=5208] vsize: 8092
Current children cumulated CPU time (s) 829.59
Current children cumulated vsize (Kb) 10220
[startup+1240.08 s]
Raw data (loadavg): 1.02 1.06 1.01 1/56 5210
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1378 0 0 0 39192 12931 0 0 16 0 1 0 19945442 8286208 1263 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 2023 1263 413 48 0 1975 0
[pid=5208] vsize: 8092
Current children cumulated CPU time (s) 836.44
Current children cumulated vsize (Kb) 10220
[startup+1250.08 s]
Raw data (loadavg): 1.01 1.06 1.01 2/56 5210
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1389 0 0 0 39741 13068 0 0 16 0 1 0 19945442 8286208 1274 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5208/statm): 2023 1274 413 48 0 1975 0
[pid=5208] vsize: 8092
Current children cumulated CPU time (s) 843.3
Current children cumulated vsize (Kb) 10220
[startup+1260.08 s]
Raw data (loadavg): 1.01 1.05 1.01 1/56 5210
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1394 0 0 0 40295 13205 0 0 16 0 1 0 19945442 8286208 1279 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 2023 1279 413 48 0 1975 0
[pid=5208] vsize: 8092
Current children cumulated CPU time (s) 850.21
Current children cumulated vsize (Kb) 10220
[startup+1270.09 s]
Raw data (loadavg): 1.01 1.05 1.01 1/56 5210
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1394 0 0 0 40767 13381 0 0 16 0 1 0 19945442 8286208 1279 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 2023 1279 413 48 0 1975 0
[pid=5208] vsize: 8092
Current children cumulated CPU time (s) 856.69
Current children cumulated vsize (Kb) 10220
[startup+1280.09 s]
Raw data (loadavg): 1.01 1.05 1.01 2/56 5210
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1396 0 0 0 41281 13542 0 0 16 0 1 0 19945442 8355840 1281 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5208/statm): 2040 1281 413 48 0 1992 0
[pid=5208] vsize: 8160
Current children cumulated CPU time (s) 863.44
Current children cumulated vsize (Kb) 10288
[startup+1290.09 s]
Raw data (loadavg): 1.09 1.07 1.01 2/56 5210
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1398 0 0 0 41725 13716 0 0 17 0 1 0 19945442 8355840 1283 4294967295 134512640 134702520 3221223712 3221155168 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2040 1283 413 48 0 1992 0
[pid=5208] vsize: 8160
Current children cumulated CPU time (s) 869.62
Current children cumulated vsize (Kb) 10288
[startup+1300.09 s]
Raw data (loadavg): 1.07 1.06 1.01 1/56 5210
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1404 0 0 0 42267 13862 0 0 16 0 1 0 19945442 8355840 1289 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 2040 1289 413 48 0 1992 0
[pid=5208] vsize: 8160
Current children cumulated CPU time (s) 876.5
Current children cumulated vsize (Kb) 10288
[startup+1310.09 s]
Raw data (loadavg): 1.21 1.09 1.02 1/59 5213
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1406 0 0 0 42679 14048 0 0 16 0 1 0 19945442 8355840 1291 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2040 1291 413 48 0 1992 0
[pid=5208] vsize: 8160
Current children cumulated CPU time (s) 882.48
Current children cumulated vsize (Kb) 10288
[startup+1320.09 s]
Raw data (loadavg): 1.25 1.11 1.02 1/56 5265
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1415 0 0 0 43243 14193 0 0 16 0 1 0 19945442 8355840 1300 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2040 1300 413 48 0 1992 0
[pid=5208] vsize: 8160
Current children cumulated CPU time (s) 889.57
Current children cumulated vsize (Kb) 10288
[startup+1330.09 s]
Raw data (loadavg): 1.29 1.12 1.03 1/56 5265
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1415 0 0 0 43696 14374 0 0 16 0 1 0 19945442 8355840 1300 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2040 1300 413 48 0 1992 0
[pid=5208] vsize: 8160
Current children cumulated CPU time (s) 895.91
Current children cumulated vsize (Kb) 10288
[startup+1340.09 s]
Raw data (loadavg): 1.32 1.13 1.03 1/56 5265
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1417 0 0 0 44185 14546 0 0 16 0 1 0 19945442 8413184 1302 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2054 1302 413 48 0 2006 0
[pid=5208] vsize: 8216
Current children cumulated CPU time (s) 902.52
Current children cumulated vsize (Kb) 10344
[startup+1350.09 s]
Raw data (loadavg): 1.27 1.12 1.03 1/56 5265
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1424 0 0 0 44706 14700 0 0 16 0 1 0 19945442 8413184 1309 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 2054 1309 413 48 0 2006 0
[pid=5208] vsize: 8216
Current children cumulated CPU time (s) 909.27
Current children cumulated vsize (Kb) 10344
[startup+1360.09 s]
Raw data (loadavg): 1.23 1.12 1.03 1/56 5265
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1428 0 0 0 45113 14886 0 0 16 0 1 0 19945442 8413184 1313 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2054 1313 413 48 0 2006 0
[pid=5208] vsize: 8216
Current children cumulated CPU time (s) 915.2
Current children cumulated vsize (Kb) 10344
[startup+1370.09 s]
Raw data (loadavg): 1.19 1.12 1.03 1/56 5265
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1428 0 0 0 45643 15038 0 0 16 0 1 0 19945442 8413184 1313 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2054 1313 413 48 0 2006 0
[pid=5208] vsize: 8216
Current children cumulated CPU time (s) 922.02
Current children cumulated vsize (Kb) 10344
[startup+1380.09 s]
Raw data (loadavg): 1.16 1.11 1.03 1/56 5265
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1433 0 0 0 46109 15204 0 0 16 0 1 0 19945442 8413184 1318 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2054 1318 413 48 0 2006 0
[pid=5208] vsize: 8216
Current children cumulated CPU time (s) 928.34
Current children cumulated vsize (Kb) 10344
[startup+1390.1 s]
Raw data (loadavg): 1.14 1.11 1.03 2/57 5269
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1435 0 0 0 46573 15381 0 0 16 0 1 0 19945442 8556544 1320 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 2089 1320 413 48 0 2041 0
[pid=5208] vsize: 8356
Current children cumulated CPU time (s) 934.75
Current children cumulated vsize (Kb) 10484
[startup+1400.1 s]
Raw data (loadavg): 1.11 1.10 1.03 1/56 5269
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1437 0 0 0 47039 15546 0 0 16 0 1 0 19945442 8466432 1322 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2067 1322 413 48 0 2019 0
[pid=5208] vsize: 8268
Current children cumulated CPU time (s) 941.06
Current children cumulated vsize (Kb) 10396
[startup+1410.1 s]
Raw data (loadavg): 1.10 1.10 1.03 2/56 5269
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1438 0 0 0 47545 15697 0 0 17 0 1 0 19945442 8466432 1323 4294967295 134512640 134702520 3221223712 3220990848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2067 1323 413 48 0 2019 0
[pid=5208] vsize: 8268
Current children cumulated CPU time (s) 947.63
Current children cumulated vsize (Kb) 10396
[startup+1420.1 s]
Raw data (loadavg): 1.23 1.13 1.04 2/56 5269
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1442 0 0 0 47994 15874 0 0 16 0 1 0 19945442 8466432 1327 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5208/statm): 2067 1327 413 48 0 2019 0
[pid=5208] vsize: 8268
Current children cumulated CPU time (s) 953.89
Current children cumulated vsize (Kb) 10396
[startup+1430.1 s]
Raw data (loadavg): 1.20 1.12 1.04 1/56 5269
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1446 0 0 0 48520 16025 0 0 16 0 1 0 19945442 8466432 1331 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2067 1331 413 48 0 2019 0
[pid=5208] vsize: 8268
Current children cumulated CPU time (s) 960.66
Current children cumulated vsize (Kb) 10396
[startup+1440.1 s]
Raw data (loadavg): 1.17 1.12 1.03 1/56 5269
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1448 0 0 0 48998 16196 0 0 15 0 1 0 19945442 8466432 1333 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2067 1333 413 48 0 2019 0
[pid=5208] vsize: 8268
Current children cumulated CPU time (s) 967.15
Current children cumulated vsize (Kb) 10396
[startup+1450.1 s]
Raw data (loadavg): 1.22 1.13 1.04 2/56 5269
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1449 0 0 0 49459 16372 0 0 16 0 1 0 19945442 8617984 1334 4294967295 134512640 134702520 3221223712 3221222480 134552254 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2104 1334 413 48 0 2056 0
[pid=5208] vsize: 8416
Current children cumulated CPU time (s) 973.52
Current children cumulated vsize (Kb) 10544
[startup+1460.1 s]
Raw data (loadavg): 1.19 1.13 1.04 1/56 5269
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1450 0 0 0 49821 16582 0 0 16 0 1 0 19945442 8527872 1335 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 2082 1335 413 48 0 2034 0
[pid=5208] vsize: 8328
Current children cumulated CPU time (s) 979.24
Current children cumulated vsize (Kb) 10456
[startup+1470.1 s]
Raw data (loadavg): 1.16 1.12 1.04 2/56 5269
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1454 0 0 0 50284 16753 0 0 17 0 1 0 19945442 8527872 1339 4294967295 134512640 134702520 3221223712 3221113568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2082 1339 413 48 0 2034 0
[pid=5208] vsize: 8328
Current children cumulated CPU time (s) 985.58
Current children cumulated vsize (Kb) 10456
[startup+1480.1 s]
Raw data (loadavg): 1.13 1.12 1.04 1/56 5269
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1457 0 0 0 50749 16921 0 0 16 0 1 0 19945442 8527872 1342 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2082 1342 413 48 0 2034 0
[pid=5208] vsize: 8328
Current children cumulated CPU time (s) 991.91
Current children cumulated vsize (Kb) 10456
[startup+1490.1 s]
Raw data (loadavg): 1.11 1.11 1.03 1/56 5269
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1463 0 0 0 51279 17075 0 0 16 0 1 0 19945442 8527872 1348 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2082 1348 413 48 0 2034 0
[pid=5208] vsize: 8328
Current children cumulated CPU time (s) 998.75
Current children cumulated vsize (Kb) 10456
[startup+1500.1 s]
Raw data (loadavg): 1.09 1.11 1.03 1/56 5269
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1473 0 0 0 51760 17247 0 0 16 0 1 0 19945442 8527872 1358 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2082 1358 413 48 0 2034 0
[pid=5208] vsize: 8328
Current children cumulated CPU time (s) 1005.28
Current children cumulated vsize (Kb) 10456
[startup+1510.1 s]
Raw data (loadavg): 1.08 1.10 1.03 2/56 5269
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1474 0 0 0 52219 17424 0 0 16 0 1 0 19945442 8671232 1359 4294967295 134512640 134702520 3221223712 3221222480 134553820 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2117 1359 413 48 0 2069 0
[pid=5208] vsize: 8468
Current children cumulated CPU time (s) 1011.64
Current children cumulated vsize (Kb) 10596
[startup+1520.1 s]
Raw data (loadavg): 1.07 1.10 1.03 1/56 5269
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1475 0 0 0 52596 17627 0 0 16 0 1 0 19945442 8581120 1360 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2095 1360 413 48 0 2047 0
[pid=5208] vsize: 8380
Current children cumulated CPU time (s) 1017.44
Current children cumulated vsize (Kb) 10508
[startup+1530.11 s]
Raw data (loadavg): 1.06 1.10 1.03 1/56 5269
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1477 0 0 0 52983 17821 0 0 16 0 1 0 19945442 8581120 1362 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 2095 1362 413 48 0 2047 0
[pid=5208] vsize: 8380
Current children cumulated CPU time (s) 1023.25
Current children cumulated vsize (Kb) 10508
[startup+1540.11 s]
Raw data (loadavg): 1.05 1.09 1.03 2/56 5269
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1479 0 0 0 53551 17960 0 0 17 0 1 0 19945442 8581120 1364 4294967295 134512640 134702520 3221223712 3221194188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2095 1364 413 48 0 2047 0
[pid=5208] vsize: 8380
Current children cumulated CPU time (s) 1030.32
Current children cumulated vsize (Kb) 10508
[startup+1550.11 s]
Raw data (loadavg): 1.04 1.09 1.03 1/56 5269
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1482 0 0 0 53988 18134 0 0 16 0 1 0 19945442 8581120 1367 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 2095 1367 413 48 0 2047 0
[pid=5208] vsize: 8380
Current children cumulated CPU time (s) 1036.43
Current children cumulated vsize (Kb) 10508
[startup+1560.11 s]
Raw data (loadavg): 1.03 1.09 1.03 1/56 5269
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1503 0 0 0 54550 18274 0 0 16 0 1 0 19945442 8744960 1388 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2135 1388 413 48 0 2087 0
[pid=5208] vsize: 8540
Current children cumulated CPU time (s) 1043.45
Current children cumulated vsize (Kb) 10668
[startup+1570.11 s]
Raw data (loadavg): 1.03 1.08 1.03 2/56 5269
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1503 0 0 0 54972 18460 0 0 16 0 1 0 19945442 8744960 1388 4294967295 134512640 134702520 3221223712 3221222480 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2135 1388 413 48 0 2087 0
[pid=5208] vsize: 8540
Current children cumulated CPU time (s) 1049.53
Current children cumulated vsize (Kb) 10668
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=5208) exited with status: 2
New process pid=5270
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=5270) exited with status: 0
New process pid=5271
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+1580.11 s]
Raw data (loadavg): 1.02 1.08 1.03 2/56 5271
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5203 5203 4060 0 -1 0 659 0 0 0 307 10 0 0 25 0 1 0 20058496 4120576 630 4294967295 134512640 134702520 3221223712 3221034768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1006 630 413 48 0 958 0
[pid=5271] vsize: 4024
Current children cumulated CPU time (s) 1057.27
Current children cumulated vsize (Kb) 6152
[startup+1590.11 s]
Raw data (loadavg): 1.02 1.08 1.02 1/56 5271
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5203 5203 4060 0 -1 0 663 0 0 0 831 168 0 0 17 0 1 0 20058496 4120576 634 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1006 634 413 48 0 958 0
[pid=5271] vsize: 4024
Current children cumulated CPU time (s) 1064.09
Current children cumulated vsize (Kb) 6152
[startup+1600.11 s]
Raw data (loadavg): 1.10 1.09 1.03 1/56 5271
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5203 5203 4060 0 -1 0 736 0 0 0 1369 316 0 0 16 0 1 0 20058496 6029312 707 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1472 707 413 48 0 1424 0
[pid=5271] vsize: 5888
Current children cumulated CPU time (s) 1070.95
Current children cumulated vsize (Kb) 8016
[startup+1610.11 s]
Raw data (loadavg): 1.08 1.09 1.03 1/56 5271
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5203 5203 4060 0 -1 0 754 0 0 0 1906 460 0 0 16 0 1 0 20058496 6029312 725 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1472 725 413 48 0 1424 0
[pid=5271] vsize: 5888
Current children cumulated CPU time (s) 1077.76
Current children cumulated vsize (Kb) 8016
[startup+1620.11 s]
Raw data (loadavg): 1.07 1.08 1.03 2/56 5271
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5203 5203 4060 0 -1 0 769 0 0 0 2396 619 0 0 17 0 1 0 20058496 6029312 740 4294967295 134512640 134702520 3221223712 3220936268 134531184 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1472 740 413 48 0 1424 0
[pid=5271] vsize: 5888
Current children cumulated CPU time (s) 1084.25
Current children cumulated vsize (Kb) 8016
[startup+1630.11 s]
Raw data (loadavg): 1.06 1.08 1.03 2/56 5271
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5203 5203 4060 0 -1 0 781 0 0 0 2904 772 0 0 17 0 1 0 20058496 6119424 752 4294967295 134512640 134702520 3221223712 3220947008 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1494 752 413 48 0 1446 0
[pid=5271] vsize: 5976
Current children cumulated CPU time (s) 1090.86
Current children cumulated vsize (Kb) 8104
[startup+1640.11 s]
Raw data (loadavg): 1.05 1.08 1.03 1/56 5273
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5203 5203 4060 0 -1 0 784 0 0 0 3410 931 0 0 16 0 1 0 20058496 6119424 755 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1494 755 413 48 0 1446 0
[pid=5271] vsize: 5976
Current children cumulated CPU time (s) 1097.51
Current children cumulated vsize (Kb) 8104
[startup+1650.11 s]
Raw data (loadavg): 1.04 1.08 1.02 2/56 5273
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5203 5203 4060 0 -1 0 785 0 0 0 3993 1067 0 0 16 0 1 0 20058496 6119424 756 4294967295 134512640 134702520 3221223712 3221222420 134550159 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1494 756 413 48 0 1446 0
[pid=5271] vsize: 5976
Current children cumulated CPU time (s) 1104.7
Current children cumulated vsize (Kb) 8104
[startup+1660.11 s]
Raw data (loadavg): 1.03 1.07 1.02 2/56 5273
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5203 5203 4060 0 -1 0 792 0 0 0 4448 1245 0 0 17 0 1 0 20058496 6119424 763 4294967295 134512640 134702520 3221223712 3221163328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1494 763 413 48 0 1446 0
[pid=5271] vsize: 5976
Current children cumulated CPU time (s) 1111.03
Current children cumulated vsize (Kb) 8104
[startup+1670.11 s]
Raw data (loadavg): 1.03 1.07 1.02 1/56 5273
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5203 5203 4060 0 -1 0 797 0 0 0 4918 1416 0 0 16 0 1 0 20058496 6201344 768 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1514 768 413 48 0 1466 0
[pid=5271] vsize: 6056
Current children cumulated CPU time (s) 1117.44
Current children cumulated vsize (Kb) 8184
[startup+1680.11 s]
Raw data (loadavg): 1.02 1.07 1.02 1/56 5273
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5203 5203 4060 0 -1 0 804 0 0 0 5424 1576 0 0 16 0 1 0 20058496 6201344 775 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1514 775 413 48 0 1466 0
[pid=5271] vsize: 6056
Current children cumulated CPU time (s) 1124.1
Current children cumulated vsize (Kb) 8184
[startup+1690.12 s]
Raw data (loadavg): 1.02 1.06 1.02 2/56 5273
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5203 5203 4060 0 -1 0 808 0 0 0 5981 1718 0 0 16 0 1 0 20058496 6201344 779 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1514 779 413 48 0 1466 0
[pid=5271] vsize: 6056
Current children cumulated CPU time (s) 1131.09
Current children cumulated vsize (Kb) 8184
[startup+1700.12 s]
Raw data (loadavg): 1.09 1.08 1.02 1/56 5273
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5203 5203 4060 0 -1 0 809 0 0 0 6530 1867 0 0 16 0 1 0 20058496 6201344 780 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1514 780 413 48 0 1466 0
[pid=5271] vsize: 6056
Current children cumulated CPU time (s) 1138.07
Current children cumulated vsize (Kb) 8184
[startup+1710.12 s]
Raw data (loadavg): 1.07 1.07 1.02 2/56 5273
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5203 5203 4060 0 -1 0 811 0 0 0 7044 2021 0 0 16 0 1 0 20058496 6201344 782 4294967295 134512640 134702520 3221223712 3221223180 134657226 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1514 782 413 48 0 1466 0
[pid=5271] vsize: 6056
Current children cumulated CPU time (s) 1144.75
Current children cumulated vsize (Kb) 8184
[startup+1720.12 s]
Raw data (loadavg): 1.06 1.07 1.02 1/56 5273
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5203 5203 4060 0 -1 0 819 0 0 0 7585 2164 0 0 16 0 1 0 20058496 6201344 790 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1514 790 413 48 0 1466 0
[pid=5271] vsize: 6056
Current children cumulated CPU time (s) 1151.59
Current children cumulated vsize (Kb) 8184
[startup+1730.12 s]
Raw data (loadavg): 1.13 1.08 1.03 2/56 5273
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5203 5203 4060 0 -1 0 825 0 0 0 8096 2316 0 0 16 0 1 0 20058496 6279168 796 4294967295 134512640 134702520 3221223712 3221222992 134551120 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1533 796 413 48 0 1485 0
[pid=5271] vsize: 6132
Current children cumulated CPU time (s) 1158.22
Current children cumulated vsize (Kb) 8260
[startup+1740.12 s]
Raw data (loadavg): 1.18 1.10 1.03 1/56 5273
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5203 5203 4060 0 -1 0 827 0 0 0 8653 2457 0 0 16 0 1 0 20058496 6279168 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1533 798 413 48 0 1485 0
[pid=5271] vsize: 6132
Current children cumulated CPU time (s) 1165.2
Current children cumulated vsize (Kb) 8260
[startup+1750.12 s]
Raw data (loadavg): 1.15 1.09 1.03 1/56 5273
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5203 5203 4060 0 -1 0 828 0 0 0 9205 2601 0 0 15 0 1 0 20058496 6279168 799 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1533 799 413 48 0 1485 0
[pid=5271] vsize: 6132
Current children cumulated CPU time (s) 1172.16
Current children cumulated vsize (Kb) 8260
[startup+1760.12 s]
Raw data (loadavg): 1.21 1.11 1.04 1/56 5273
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5203 5203 4060 0 -1 0 834 0 0 0 9731 2753 0 0 16 0 1 0 20058496 6279168 805 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1533 805 413 48 0 1485 0
[pid=5271] vsize: 6132
Current children cumulated CPU time (s) 1178.94
Current children cumulated vsize (Kb) 8260
[startup+1770.12 s]
Raw data (loadavg): 1.18 1.10 1.03 1/56 5273
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5203 5203 4060 0 -1 0 841 0 0 0 10363 2868 0 0 16 0 1 0 20058496 6279168 812 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1533 812 413 48 0 1485 0
[pid=5271] vsize: 6132
Current children cumulated CPU time (s) 1186.41
Current children cumulated vsize (Kb) 8260
[startup+1780.12 s]
Raw data (loadavg): 1.15 1.10 1.03 1/56 5273
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5203 5203 4060 0 -1 0 847 0 0 0 10879 3024 0 0 16 0 1 0 20058496 6279168 818 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1533 818 413 48 0 1485 0
[pid=5271] vsize: 6132
Current children cumulated CPU time (s) 1193.13
Current children cumulated vsize (Kb) 8260
[startup+1790.12 s]
Raw data (loadavg): 1.12 1.10 1.03 2/56 5273
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5203 5203 4060 0 -1 0 855 0 0 0 11405 3182 0 0 15 0 1 0 20058496 6279168 826 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1533 826 413 48 0 1485 0
[pid=5271] vsize: 6132
Current children cumulated CPU time (s) 1199.97
Current children cumulated vsize (Kb) 8260
[startup+1800.12 s]
Raw data (loadavg): 1.10 1.09 1.03 1/56 5273
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5203 5203 4060 0 -1 0 857 0 0 0 11932 3336 0 0 15 0 1 0 20058496 6438912 828 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1572 828 413 48 0 1524 0
[pid=5271] vsize: 6288
Current children cumulated CPU time (s) 1206.78
Current children cumulated vsize (Kb) 8416
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.12 s]
Raw data (loadavg): 1.10 1.09 1.03 1/56 5273
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5203 5203 4060 0 -1 0 857 0 0 0 11932 3336 0 0 15 0 1 0 20058496 6438912 828 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1572 828 413 48 0 1524 0
[pid=5271] vsize: 6288
Current children cumulated CPU time (s) 1206.78
Current children cumulated vsize (Kb) 8416
Sending SIGTERM to -5203
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5275
New process pid=5276
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)open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
=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)
One traced child (pid=5271) exited with status: 3
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/5164/stat
open syscall for file /proc/5164/status
open syscall for file /proc/5164/cmdline
open syscall for file /proc/5164/environ
open syscall for file /proc/5202/stat
open syscall for file /proc/5202/status
open syscall for file /proc/5202/cmdline
open syscall for file /proc/5202/environ
open syscall for file /proc/5203/stat
open syscall for file /proc/5203/status
open syscall for file /proc/5203/cmdline
open syscall for file /proc/5203/environ
open syscall for file /proc/5275/stat
open syscall for file /proc/5275/status
open syscall for file /proc/5275/cmdline
open syscall for file /proc/5275/environ
open syscall for file /proc/5276/stat
open syscall for file /proc/5276/status
open syscall for file /proc/5276/cmdline
open syscall for file /proc/5276/environ
One traced child (pid=5275) exited with status: 0
One traced child (pid=5276) exited with status: 0
New process pid=5277
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=5277) exited with status: 0
New process pid=5278
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=5278) exited with status: 0
One traced child (pid=5203) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.64
CPU time (s): 1207
CPU user time (s): 926.057
CPU system time (s): 280.94
CPU usage (%): 67.0316
Max. virtual memory (cumulated for all children) (Kb): 10668