1:
seed: 0
Nr of vars set: 1042 (#equs: 0)
Nr of vars set: 7701 (#equs: 0)
#decisions: 818200; #end-nodes: 14758;
#proof improvement attempts: 0; #restarts: 96
Current batch, end-nodes: 0 / 112 (103)
#axs: 30333, #non-axs: 7520
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 7709 (#equs: 0)
Time taken: 7 min, 7 sec
2:
seed: 0
Nr of vars set: 7709 (#equs: 0)
Nr of vars set: 7709 (#equs: 0)
#decisions: 812126; #end-nodes: 17809;
#proof improvement attempts: 0; #restarts: 96
Current batch, end-nodes: 0 / 259 (143)
#axs: 29006, #non-axs: 13642
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 7964 (#equs: 0)
Time taken: 7 min, 36 sec
3:
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/5159/stat): 5159 (vallstSAT2005PB) R 5158 5159 4004 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 19911418 712704 3 4294967295 134512640 135087896 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5159/statm): 174 3 169 147 0 27 0
[pid=5159] 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=5160
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=5160) exited with status: 0
New process pid=5161
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=5161) exited with status: 0
New process pid=5162
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/wulflinc25/normalized-mps-v2-13-7-atlanta-ip.opb
[startup+10.0028 s]
Raw data (loadavg): 0.92 1.02 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 3978 0 0 0 954 24 0 0 25 0 1 0 19911425 24293376 3625 4294967295 134512640 134702520 3221223952 3221223548 1074540556 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5162/statm): 5931 3625 413 48 0 5883 0
[pid=5162] vsize: 23724
Current children cumulated CPU time (s) 9.8
Current children cumulated vsize (Kb) 25852
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+20.0034 s]
Raw data (loadavg): 0.93 1.02 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5101 0 0 0 1938 34 0 0 25 0 1 0 19911425 24412160 4547 4294967295 134512640 134702520 3221223952 3221169088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5162/statm): 5960 4547 413 48 0 5912 0
[pid=5162] vsize: 23840
Current children cumulated CPU time (s) 19.74
Current children cumulated vsize (Kb) 25968
[startup+30.004 s]
Raw data (loadavg): 0.94 1.02 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5101 0 0 0 2938 34 0 0 25 0 1 0 19911425 24412160 4547 4294967295 134512640 134702520 3221223952 3221093888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5162/statm): 5960 4547 413 48 0 5912 0
[pid=5162] vsize: 23840
Current children cumulated CPU time (s) 29.74
Current children cumulated vsize (Kb) 25968
[startup+40.0046 s]
Raw data (loadavg): 0.95 1.02 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5101 0 0 0 3938 34 0 0 25 0 1 0 19911425 24412160 4547 4294967295 134512640 134702520 3221223952 3221016448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5162/statm): 5960 4547 413 48 0 5912 0
[pid=5162] vsize: 23840
Current children cumulated CPU time (s) 39.74
Current children cumulated vsize (Kb) 25968
[startup+50.0052 s]
Raw data (loadavg): 0.96 1.02 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5112 0 0 0 4938 34 0 0 25 0 1 0 19911425 24457216 4558 4294967295 134512640 134702520 3221223952 3220935008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5162/statm): 5971 4558 413 48 0 5923 0
[pid=5162] vsize: 23884
Current children cumulated CPU time (s) 49.74
Current children cumulated vsize (Kb) 26012
[startup+60.0058 s]
Raw data (loadavg): 0.96 1.02 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5134 0 0 0 5938 35 0 0 25 0 1 0 19911425 24547328 4580 4294967295 134512640 134702520 3221223952 3220847168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5162/statm): 5993 4580 413 48 0 5945 0
[pid=5162] vsize: 23972
Current children cumulated CPU time (s) 59.75
Current children cumulated vsize (Kb) 26100
[startup+70.0064 s]
Raw data (loadavg): 0.97 1.02 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5157 0 0 0 6938 35 0 0 25 0 1 0 19911425 24641536 4603 4294967295 134512640 134702520 3221223952 3220751788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5162/statm): 6016 4603 413 48 0 5968 0
[pid=5162] vsize: 24064
Current children cumulated CPU time (s) 69.75
Current children cumulated vsize (Kb) 26192
[startup+80.008 s]
Raw data (loadavg): 0.97 1.01 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5183 0 0 0 7938 35 0 0 25 0 1 0 19911425 24748032 4629 4294967295 134512640 134702520 3221223952 3220646528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5162/statm): 6042 4629 413 48 0 5994 0
[pid=5162] vsize: 24168
Current children cumulated CPU time (s) 79.75
Current children cumulated vsize (Kb) 26296
[startup+90.0085 s]
Raw data (loadavg): 0.98 1.01 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5211 0 0 0 8938 35 0 0 25 0 1 0 19911425 24862720 4657 4294967295 134512640 134702520 3221223952 3220527328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5162/statm): 6070 4657 413 48 0 6022 0
[pid=5162] vsize: 24280
Current children cumulated CPU time (s) 89.75
Current children cumulated vsize (Kb) 26408
[startup+100.008 s]
Raw data (loadavg): 0.98 1.01 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5247 0 0 0 9938 35 0 0 25 0 1 0 19911425 25010176 4693 4294967295 134512640 134702520 3221223952 3220386528 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5162/statm): 6106 4693 413 48 0 6058 0
[pid=5162] vsize: 24424
Current children cumulated CPU time (s) 99.75
Current children cumulated vsize (Kb) 26552
[startup+110.009 s]
Raw data (loadavg): 0.98 1.01 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5289 0 0 0 10938 35 0 0 25 0 1 0 19911425 25182208 4735 4294967295 134512640 134702520 3221223952 3220209408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5162/statm): 6148 4735 413 48 0 6100 0
[pid=5162] vsize: 24592
Current children cumulated CPU time (s) 109.75
Current children cumulated vsize (Kb) 26720
[startup+120.009 s]
Raw data (loadavg): 0.98 1.01 0.99 1/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) T 5159 5159 4004 0 -1 0 5388 0 0 0 11845 66 0 0 17 0 1 0 19911425 51007488 4834 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5162/statm): 12453 4834 413 48 0 12405 0
[pid=5162] vsize: 49812
Current children cumulated CPU time (s) 119.13
Current children cumulated vsize (Kb) 51940
[startup+130.01 s]
Raw data (loadavg): 0.99 1.01 0.99 1/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) T 5159 5159 4004 0 -1 0 5392 0 0 0 12294 246 0 0 17 0 1 0 19911425 51007488 4838 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5162/statm): 12453 4838 413 48 0 12405 0
[pid=5162] vsize: 49812
Current children cumulated CPU time (s) 125.42
Current children cumulated vsize (Kb) 51940
[startup+140.011 s]
Raw data (loadavg): 0.99 1.01 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5457 0 0 0 13220 271 0 0 25 0 1 0 19911425 51273728 4903 4294967295 134512640 134702520 3221223952 3219659228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5162/statm): 12518 4903 413 48 0 12470 0
[pid=5162] vsize: 50072
Current children cumulated CPU time (s) 134.93
Current children cumulated vsize (Kb) 52200
[startup+150.011 s]
Raw data (loadavg): 0.99 1.01 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5797 0 0 0 14220 272 0 0 25 0 1 0 19911425 52666368 5243 4294967295 134512640 134702520 3221223952 3221056528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5162/statm): 12858 5243 413 48 0 12810 0
[pid=5162] vsize: 51432
Current children cumulated CPU time (s) 144.94
Current children cumulated vsize (Kb) 53560
[startup+160.012 s]
Raw data (loadavg): 0.99 1.01 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5797 0 0 0 15220 272 0 0 25 0 1 0 19911425 52666368 5243 4294967295 134512640 134702520 3221223952 3220673148 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5162/statm): 12858 5243 413 48 0 12810 0
[pid=5162] vsize: 51432
Current children cumulated CPU time (s) 154.94
Current children cumulated vsize (Kb) 53560
[startup+170.012 s]
Raw data (loadavg): 0.99 1.01 0.99 1/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) T 5159 5159 4004 0 -1 0 5797 0 0 0 16096 312 0 0 17 0 1 0 19911425 52666368 5243 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5162/statm): 12858 5243 413 48 0 12810 0
[pid=5162] vsize: 51432
Current children cumulated CPU time (s) 164.1
Current children cumulated vsize (Kb) 53560
[startup+180.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5803 0 0 0 16680 449 0 0 25 0 1 0 19911425 52666368 5249 4294967295 134512640 134702520 3221223952 3221065948 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 12858 5249 413 48 0 12810 0
[pid=5162] vsize: 51432
Current children cumulated CPU time (s) 171.31
Current children cumulated vsize (Kb) 53560
[startup+190.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5803 0 0 0 17680 449 0 0 25 0 1 0 19911425 52666368 5249 4294967295 134512640 134702520 3221223952 3220833308 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 12858 5249 413 48 0 12810 0
[pid=5162] vsize: 51432
Current children cumulated CPU time (s) 181.31
Current children cumulated vsize (Kb) 53560
[startup+200.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5803 0 0 0 18680 449 0 0 25 0 1 0 19911425 52666368 5249 4294967295 134512640 134702520 3221223952 3220950928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 12858 5249 413 48 0 12810 0
[pid=5162] vsize: 51432
Current children cumulated CPU time (s) 191.31
Current children cumulated vsize (Kb) 53560
[startup+210.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5803 0 0 0 19680 449 0 0 25 0 1 0 19911425 52666368 5249 4294967295 134512640 134702520 3221223952 3220514128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 12858 5249 413 48 0 12810 0
[pid=5162] vsize: 51432
Current children cumulated CPU time (s) 201.31
Current children cumulated vsize (Kb) 53560
[startup+220.015 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) T 5159 5159 4004 0 -1 0 5803 0 0 0 20410 538 0 0 17 0 1 0 19911425 52666368 5249 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5162/statm): 12858 5249 413 48 0 12810 0
[pid=5162] vsize: 51432
Current children cumulated CPU time (s) 209.5
Current children cumulated vsize (Kb) 53560
[startup+230.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5808 0 0 0 21202 605 0 0 25 0 1 0 19911425 52666368 5254 4294967295 134512640 134702520 3221223952 3220968508 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 12858 5254 413 48 0 12810 0
[pid=5162] vsize: 51432
Current children cumulated CPU time (s) 218.09
Current children cumulated vsize (Kb) 53560
[startup+240.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5808 0 0 0 22202 605 0 0 25 0 1 0 19911425 52666368 5254 4294967295 134512640 134702520 3221223952 3220424188 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 12858 5254 413 48 0 12810 0
[pid=5162] vsize: 51432
Current children cumulated CPU time (s) 228.09
Current children cumulated vsize (Kb) 53560
[startup+250.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5808 0 0 0 23202 605 0 0 25 0 1 0 19911425 52666368 5254 4294967295 134512640 134702520 3221223952 3219713628 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 12858 5254 413 48 0 12810 0
[pid=5162] vsize: 51432
Current children cumulated CPU time (s) 238.09
Current children cumulated vsize (Kb) 53560
[startup+260.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5808 0 0 0 24202 605 0 0 25 0 1 0 19911425 52666368 5254 4294967295 134512640 134702520 3221223952 3218595392 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 12858 5254 413 48 0 12810 0
[pid=5162] vsize: 51432
Current children cumulated CPU time (s) 248.09
Current children cumulated vsize (Kb) 53560
[startup+270.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 6229 0 0 0 25201 606 0 0 25 0 1 0 19911425 54390784 5675 4294967295 134512640 134702520 3221223952 3221098428 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 13279 5675 413 48 0 13231 0
[pid=5162] vsize: 53116
Current children cumulated CPU time (s) 258.09
Current children cumulated vsize (Kb) 55244
[startup+280.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 6229 0 0 0 26202 606 0 0 25 0 1 0 19911425 54390784 5675 4294967295 134512640 134702520 3221223952 3220656988 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 13279 5675 413 48 0 13231 0
[pid=5162] vsize: 53116
Current children cumulated CPU time (s) 268.1
Current children cumulated vsize (Kb) 55244
[startup+290.018 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) T 5159 5159 4004 0 -1 0 6229 0 0 0 26980 681 0 0 18 0 1 0 19911425 54390784 5675 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5162/statm): 13279 5675 413 48 0 13231 0
[pid=5162] vsize: 53116
Current children cumulated CPU time (s) 276.63
Current children cumulated vsize (Kb) 55244
[startup+300.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 6229 0 0 0 27744 758 0 0 25 0 1 0 19911425 54390784 5675 4294967295 134512640 134702520 3221223952 3220480828 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 13279 5675 413 48 0 13231 0
[pid=5162] vsize: 53116
Current children cumulated CPU time (s) 285.04
Current children cumulated vsize (Kb) 55244
[startup+310.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 6229 0 0 0 28744 758 0 0 25 0 1 0 19911425 54390784 5675 4294967295 134512640 134702520 3221223952 3221159228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 13279 5675 413 48 0 13231 0
[pid=5162] vsize: 53116
Current children cumulated CPU time (s) 295.04
Current children cumulated vsize (Kb) 55244
[startup+320.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 6229 0 0 0 29744 758 0 0 25 0 1 0 19911425 54390784 5675 4294967295 134512640 134702520 3221223952 3220819708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 13279 5675 413 48 0 13231 0
[pid=5162] vsize: 53116
Current children cumulated CPU time (s) 305.04
Current children cumulated vsize (Kb) 55244
[startup+330.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 6229 0 0 0 30745 758 0 0 25 0 1 0 19911425 54390784 5675 4294967295 134512640 134702520 3221223952 3220266288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 13279 5675 413 48 0 13231 0
[pid=5162] vsize: 53116
Current children cumulated CPU time (s) 315.05
Current children cumulated vsize (Kb) 55244
[startup+340.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) T 5159 5159 4004 0 -1 0 6233 0 0 0 31285 906 0 0 17 0 1 0 19911425 54390784 5679 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5162/statm): 13279 5679 413 48 0 13231 0
[pid=5162] vsize: 53116
Current children cumulated CPU time (s) 321.93
Current children cumulated vsize (Kb) 55244
[startup+350.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 6234 0 0 0 32190 938 0 0 25 0 1 0 19911425 54390784 5680 4294967295 134512640 134702520 3221223952 3219855548 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5162/statm): 13279 5680 413 48 0 13231 0
[pid=5162] vsize: 53116
Current children cumulated CPU time (s) 331.3
Current children cumulated vsize (Kb) 55244
[startup+360.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 6234 0 0 0 33190 938 0 0 25 0 1 0 19911425 54390784 5680 4294967295 134512640 134702520 3221223952 3221076528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5162/statm): 13279 5680 413 48 0 13231 0
[pid=5162] vsize: 53116
Current children cumulated CPU time (s) 341.3
Current children cumulated vsize (Kb) 55244
[startup+370.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 6234 0 0 0 34190 938 0 0 25 0 1 0 19911425 54390784 5680 4294967295 134512640 134702520 3221223952 3220702748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5162/statm): 13279 5680 413 48 0 13231 0
[pid=5162] vsize: 53116
Current children cumulated CPU time (s) 351.3
Current children cumulated vsize (Kb) 55244
[startup+380.025 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) T 5159 5159 4004 0 -1 0 6234 0 0 0 35104 965 0 0 17 0 1 0 19911425 54390784 5680 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5162/statm): 13279 5680 413 48 0 13231 0
[pid=5162] vsize: 53116
Current children cumulated CPU time (s) 360.71
Current children cumulated vsize (Kb) 55244
[startup+390.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 6243 0 0 0 35721 1091 0 0 25 0 1 0 19911425 54390784 5689 4294967295 134512640 134702520 3221223952 3221151072 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 13279 5689 413 48 0 13231 0
[pid=5162] vsize: 53116
Current children cumulated CPU time (s) 368.14
Current children cumulated vsize (Kb) 55244
[startup+400.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 6243 0 0 0 36721 1091 0 0 25 0 1 0 19911425 54390784 5689 4294967295 134512640 134702520 3221223952 3220644188 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 13279 5689 413 48 0 13231 0
[pid=5162] vsize: 53116
Current children cumulated CPU time (s) 378.14
Current children cumulated vsize (Kb) 55244
[startup+410.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 6243 0 0 0 37722 1091 0 0 25 0 1 0 19911425 54390784 5689 4294967295 134512640 134702520 3221223952 3220012348 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 13279 5689 413 48 0 13231 0
[pid=5162] vsize: 53116
Current children cumulated CPU time (s) 388.15
Current children cumulated vsize (Kb) 55244
[startup+420.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 6243 0 0 0 38722 1091 0 0 25 0 1 0 19911425 54390784 5689 4294967295 134512640 134702520 3221223952 3219111408 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 13279 5689 413 48 0 13231 0
[pid=5162] vsize: 53116
Current children cumulated CPU time (s) 398.15
Current children cumulated vsize (Kb) 55244
[startup+430.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 6243 0 0 0 39722 1091 0 0 25 0 1 0 19911425 54390784 5689 4294967295 134512640 134702520 3221223952 3216772508 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 13279 5689 413 48 0 13231 0
[pid=5162] vsize: 53116
Current children cumulated CPU time (s) 408.15
Current children cumulated vsize (Kb) 55244
[startup+440.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 6243 0 0 0 40723 1091 0 0 25 0 1 0 19911425 54390784 5689 4294967295 134512640 134702520 3221223952 3220851548 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 13279 5689 413 48 0 13231 0
[pid=5162] vsize: 53116
Current children cumulated CPU time (s) 418.16
Current children cumulated vsize (Kb) 55244
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
[startup+450.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 6245 0 0 0 41716 1095 0 0 25 0 1 0 19911425 54394880 5691 4294967295 134512640 134702520 3221223952 3221221856 1074898718 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5162/statm): 13280 5691 413 48 0 13232 0
[pid=5162] vsize: 53120
Current children cumulated CPU time (s) 428.13
Current children cumulated vsize (Kb) 55248
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5162) exited with status: 2
New process pid=5163
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=5163) exited with status: 0
New process pid=5164
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+460.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 3801 0 0 0 845 21 0 0 25 0 1 0 19956550 20221952 3772 4294967295 134512640 134702520 3221223712 3221183228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 4937 3772 413 48 0 4889 0
[pid=5164] vsize: 19748
Current children cumulated CPU time (s) 437.95
Current children cumulated vsize (Kb) 21876
[startup+470.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 3801 0 0 0 1845 21 0 0 25 0 1 0 19956550 20221952 3772 4294967295 134512640 134702520 3221223712 3221108528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 4937 3772 413 48 0 4889 0
[pid=5164] vsize: 19748
Current children cumulated CPU time (s) 447.95
Current children cumulated vsize (Kb) 21876
[startup+480.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 3801 0 0 0 2845 21 0 0 25 0 1 0 19956550 20221952 3772 4294967295 134512640 134702520 3221223712 3221032368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 4937 3772 413 48 0 4889 0
[pid=5164] vsize: 19748
Current children cumulated CPU time (s) 457.95
Current children cumulated vsize (Kb) 21876
[startup+490.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 3801 0 0 0 3845 21 0 0 25 0 1 0 19956550 20221952 3772 4294967295 134512640 134702520 3221223712 3220952508 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 4937 3772 413 48 0 4889 0
[pid=5164] vsize: 19748
Current children cumulated CPU time (s) 467.95
Current children cumulated vsize (Kb) 21876
[startup+500.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 3819 0 0 0 4845 21 0 0 25 0 1 0 19956550 20295680 3790 4294967295 134512640 134702520 3221223712 3220866448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 4955 3790 413 48 0 4907 0
[pid=5164] vsize: 19820
Current children cumulated CPU time (s) 477.95
Current children cumulated vsize (Kb) 21948
[startup+510.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 3842 0 0 0 5845 21 0 0 25 0 1 0 19956550 20389888 3813 4294967295 134512640 134702520 3221223712 3220773168 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 4978 3813 413 48 0 4930 0
[pid=5164] vsize: 19912
Current children cumulated CPU time (s) 487.95
Current children cumulated vsize (Kb) 22040
[startup+520.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 3866 0 0 0 6845 21 0 0 25 0 1 0 19956550 20488192 3837 4294967295 134512640 134702520 3221223712 3220671408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 5002 3837 413 48 0 4954 0
[pid=5164] vsize: 20008
Current children cumulated CPU time (s) 497.95
Current children cumulated vsize (Kb) 22136
[startup+530.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 3895 0 0 0 7845 22 0 0 25 0 1 0 19956550 20606976 3866 4294967295 134512640 134702520 3221223712 3220556368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 5031 3866 413 48 0 4983 0
[pid=5164] vsize: 20124
Current children cumulated CPU time (s) 507.96
Current children cumulated vsize (Kb) 22252
[startup+540.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 3928 0 0 0 8845 22 0 0 25 0 1 0 19956550 20742144 3899 4294967295 134512640 134702520 3221223712 3220422608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 5064 3899 413 48 0 5016 0
[pid=5164] vsize: 20256
Current children cumulated CPU time (s) 517.96
Current children cumulated vsize (Kb) 22384
[startup+550.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 3967 0 0 0 9845 22 0 0 25 0 1 0 19956550 20901888 3938 4294967295 134512640 134702520 3221223712 3220258908 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 5103 3938 413 48 0 5055 0
[pid=5164] vsize: 20412
Current children cumulated CPU time (s) 527.96
Current children cumulated vsize (Kb) 22540
[startup+560.035 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 4029 0 0 0 10846 22 0 0 25 0 1 0 19956550 21155840 4000 4294967295 134512640 134702520 3221223712 3220025488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 5165 4000 413 48 0 5117 0
[pid=5164] vsize: 20660
Current children cumulated CPU time (s) 537.97
Current children cumulated vsize (Kb) 22788
[startup+570.035 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) T 5159 5159 4004 0 -1 0 4320 0 0 0 11364 179 0 0 17 0 1 0 19956550 43347968 4290 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5164/statm): 10583 4290 413 48 0 10535 0
[pid=5164] vsize: 42332
Current children cumulated CPU time (s) 544.72
Current children cumulated vsize (Kb) 44460
[startup+580.036 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 4333 0 0 0 12301 199 0 0 25 0 1 0 19956550 43347968 4303 4294967295 134512640 134702520 3221223712 3221071948 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 10583 4303 413 48 0 10535 0
[pid=5164] vsize: 42332
Current children cumulated CPU time (s) 554.29
Current children cumulated vsize (Kb) 44460
[startup+590.036 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 4772 0 0 0 13300 201 0 0 25 0 1 0 19956550 45146112 4742 4294967295 134512640 134702520 3221223712 3221156928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 11022 4742 413 48 0 10974 0
[pid=5164] vsize: 44088
Current children cumulated CPU time (s) 564.3
Current children cumulated vsize (Kb) 46216
[startup+600.037 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 4772 0 0 0 14300 201 0 0 25 0 1 0 19956550 45146112 4742 4294967295 134512640 134702520 3221223712 3220974188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 11022 4742 413 48 0 10974 0
[pid=5164] vsize: 44088
Current children cumulated CPU time (s) 574.3
Current children cumulated vsize (Kb) 46216
[startup+610.039 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 4772 0 0 0 15300 201 0 0 25 0 1 0 19956550 45146112 4742 4294967295 134512640 134702520 3221223712 3220586348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 11022 4742 413 48 0 10974 0
[pid=5164] vsize: 44088
Current children cumulated CPU time (s) 584.3
Current children cumulated vsize (Kb) 46216
[startup+620.039 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) T 5159 5159 4004 0 -1 0 4781 0 0 0 16131 254 0 0 17 0 1 0 19956550 45146112 4750 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5164/statm): 11022 4750 413 48 0 10974 0
[pid=5164] vsize: 44088
Current children cumulated CPU time (s) 593.14
Current children cumulated vsize (Kb) 46216
[startup+630.041 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 4820 0 0 0 16697 397 0 0 25 0 1 0 19956550 45281280 4789 4294967295 134512640 134702520 3221223712 3221098988 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 11055 4789 413 48 0 11007 0
[pid=5164] vsize: 44220
Current children cumulated CPU time (s) 600.23
Current children cumulated vsize (Kb) 46348
[startup+640.041 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 4820 0 0 0 17697 397 0 0 25 0 1 0 19956550 45281280 4789 4294967295 134512640 134702520 3221223712 3221161708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 11055 4789 413 48 0 11007 0
[pid=5164] vsize: 44220
Current children cumulated CPU time (s) 610.23
Current children cumulated vsize (Kb) 46348
[startup+650.041 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 4820 0 0 0 18697 397 0 0 25 0 1 0 19956550 45281280 4789 4294967295 134512640 134702520 3221223712 3220992928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 11055 4789 413 48 0 11007 0
[pid=5164] vsize: 44220
Current children cumulated CPU time (s) 620.23
Current children cumulated vsize (Kb) 46348
[startup+660.042 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 4820 0 0 0 19698 397 0 0 25 0 1 0 19956550 45281280 4789 4294967295 134512640 134702520 3221223712 3220599788 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 11055 4789 413 48 0 11007 0
[pid=5164] vsize: 44220
Current children cumulated CPU time (s) 630.24
Current children cumulated vsize (Kb) 46348
[startup+670.042 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) T 5159 5159 4004 0 -1 0 4835 0 0 0 20557 441 0 0 17 0 1 0 19956550 45281280 4803 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5164/statm): 11055 4803 413 48 0 11007 0
[pid=5164] vsize: 44220
Current children cumulated CPU time (s) 639.27
Current children cumulated vsize (Kb) 46348
[startup+680.043 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 4900 0 0 0 21158 573 0 0 25 0 1 0 19956550 45416448 4868 4294967295 134512640 134702520 3221223712 3221202988 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 11088 4868 413 48 0 11040 0
[pid=5164] vsize: 44352
Current children cumulated CPU time (s) 646.6
Current children cumulated vsize (Kb) 46480
[startup+690.043 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 4900 0 0 0 22158 573 0 0 25 0 1 0 19956550 45416448 4868 4294967295 134512640 134702520 3221223712 3218932268 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 11088 4868 413 48 0 11040 0
[pid=5164] vsize: 44352
Current children cumulated CPU time (s) 656.6
Current children cumulated vsize (Kb) 46480
[startup+700.043 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 4900 0 0 0 23158 573 0 0 25 0 1 0 19956550 45416448 4868 4294967295 134512640 134702520 3221223712 3221021228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 11088 4868 413 48 0 11040 0
[pid=5164] vsize: 44352
Current children cumulated CPU time (s) 666.6
Current children cumulated vsize (Kb) 46480
[startup+710.043 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 4900 0 0 0 24159 573 0 0 25 0 1 0 19956550 45416448 4868 4294967295 134512640 134702520 3221223712 3220641248 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 11088 4868 413 48 0 11040 0
[pid=5164] vsize: 44352
Current children cumulated CPU time (s) 676.61
Current children cumulated vsize (Kb) 46480
[startup+720.044 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) T 5159 5159 4004 0 -1 0 4907 0 0 0 25070 601 0 0 17 0 1 0 19956550 45551616 4874 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5164/statm): 11121 4874 413 48 0 11073 0
[pid=5164] vsize: 44484
Current children cumulated CPU time (s) 686
Current children cumulated vsize (Kb) 46612
[startup+730.045 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) T 5159 5159 4004 0 -1 0 4934 0 0 0 25669 730 0 0 21 0 1 0 19956550 45551616 4901 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5164/statm): 11121 4901 413 48 0 11073 0
[pid=5164] vsize: 44484
Current children cumulated CPU time (s) 693.28
Current children cumulated vsize (Kb) 46612
[startup+740.045 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 4934 0 0 0 26664 732 0 0 25 0 1 0 19956550 45551616 4901 4294967295 134512640 134702520 3221223712 3220777228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 11121 4901 413 48 0 11073 0
[pid=5164] vsize: 44484
Current children cumulated CPU time (s) 703.25
Current children cumulated vsize (Kb) 46612
[startup+750.046 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 4934 0 0 0 27664 732 0 0 25 0 1 0 19956550 45551616 4901 4294967295 134512640 134702520 3221223712 3220170832 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 11121 4901 413 48 0 11073 0
[pid=5164] vsize: 44484
Current children cumulated CPU time (s) 713.25
Current children cumulated vsize (Kb) 46612
[startup+760.047 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 4934 0 0 0 28664 732 0 0 25 0 1 0 19956550 45551616 4901 4294967295 134512640 134702520 3221223712 3219334848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 11121 4901 413 48 0 11073 0
[pid=5164] vsize: 44484
Current children cumulated CPU time (s) 723.25
Current children cumulated vsize (Kb) 46612
[startup+770.047 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 5067 0 0 0 29664 732 0 0 25 0 1 0 19956550 46096384 5034 4294967295 134512640 134702520 3221223712 3217614348 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 11254 5034 413 48 0 11206 0
[pid=5164] vsize: 45016
Current children cumulated CPU time (s) 733.25
Current children cumulated vsize (Kb) 47144
[startup+780.049 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5166
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 5367 0 0 0 30663 734 0 0 25 0 1 0 19956550 47325184 5334 4294967295 134512640 134702520 3221223712 3220945708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 11554 5334 413 48 0 11506 0
[pid=5164] vsize: 46216
Current children cumulated CPU time (s) 743.26
Current children cumulated vsize (Kb) 48344
[startup+790.049 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 5166
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 5367 0 0 0 31663 734 0 0 25 0 1 0 19956550 47325184 5334 4294967295 134512640 134702520 3221223712 3220376748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 11554 5334 413 48 0 11506 0
[pid=5164] vsize: 46216
Current children cumulated CPU time (s) 753.26
Current children cumulated vsize (Kb) 48344
[startup+800.05 s]
Raw data (loadavg): 1.05 1.01 1.00 1/56 5166
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) T 5159 5159 4004 0 -1 0 5390 0 0 0 32358 834 0 0 20 0 1 0 19956550 47325184 5356 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5164/statm): 11554 5356 413 48 0 11506 0
[pid=5164] vsize: 46216
Current children cumulated CPU time (s) 761.21
Current children cumulated vsize (Kb) 48344
[startup+810.051 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5166
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 5406 0 0 0 33119 916 0 0 25 0 1 0 19956550 47460352 5372 4294967295 134512640 134702520 3221223712 3221098668 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 11587 5372 413 48 0 11539 0
[pid=5164] vsize: 46348
Current children cumulated CPU time (s) 769.64
Current children cumulated vsize (Kb) 48476
[startup+820.051 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5166
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 5406 0 0 0 34119 916 0 0 25 0 1 0 19956550 47460352 5372 4294967295 134512640 134702520 3221223712 3220570188 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 11587 5372 413 48 0 11539 0
[pid=5164] vsize: 46348
Current children cumulated CPU time (s) 779.64
Current children cumulated vsize (Kb) 48476
[startup+830.053 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5166
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 5406 0 0 0 35120 916 0 0 25 0 1 0 19956550 47460352 5372 4294967295 134512640 134702520 3221223712 3219895792 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 11587 5372 413 48 0 11539 0
[pid=5164] vsize: 46348
Current children cumulated CPU time (s) 789.65
Current children cumulated vsize (Kb) 48476
[startup+840.053 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5166
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 5406 0 0 0 36120 916 0 0 25 0 1 0 19956550 47460352 5372 4294967295 134512640 134702520 3221223712 3218898028 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 11587 5372 413 48 0 11539 0
[pid=5164] vsize: 46348
Current children cumulated CPU time (s) 799.65
Current children cumulated vsize (Kb) 48476
[startup+850.054 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5166
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 5406 0 0 0 37120 916 0 0 25 0 1 0 19956550 47460352 5372 4294967295 134512640 134702520 3221223712 3221173228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 11587 5372 413 48 0 11539 0
[pid=5164] vsize: 46348
Current children cumulated CPU time (s) 809.65
Current children cumulated vsize (Kb) 48476
[startup+860.055 s]
Raw data (loadavg): 1.02 1.01 1.00 2/59 5210
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 5406 0 0 0 38119 916 0 0 25 0 1 0 19956550 47460352 5372 4294967295 134512640 134702520 3221223712 3220783948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 11587 5372 413 48 0 11539 0
[pid=5164] vsize: 46348
Current children cumulated CPU time (s) 819.64
Current children cumulated vsize (Kb) 48476
[startup+870.056 s]
Raw data (loadavg): 1.09 1.02 1.00 2/56 5221
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 5416 0 0 0 39069 932 0 0 17 0 1 0 19956550 47460352 5381 4294967295 134512640 134702520 3221223712 3221222992 134552217 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 11587 5381 413 48 0 11539 0
[pid=5164] vsize: 46348
Current children cumulated CPU time (s) 829.3
Current children cumulated vsize (Kb) 48476
[startup+880.057 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 5221
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) T 5159 5159 4004 0 -1 0 5464 0 0 0 39737 1036 0 0 21 0 1 0 19956550 47460352 5429 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5164/statm): 11587 5429 413 48 0 11539 0
[pid=5164] vsize: 46348
Current children cumulated CPU time (s) 837.02
Current children cumulated vsize (Kb) 48476
[startup+890.057 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 5221
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 5478 0 0 0 40680 1054 0 0 25 0 1 0 19956550 47460352 5443 4294967295 134512640 134702520 3221223712 3221166688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 11587 5443 413 48 0 11539 0
[pid=5164] vsize: 46348
Current children cumulated CPU time (s) 846.63
Current children cumulated vsize (Kb) 48476
[startup+900.058 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 5221
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 5478 0 0 0 41681 1054 0 0 25 0 1 0 19956550 47460352 5443 4294967295 134512640 134702520 3221223712 3219152912 134611991 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 11587 5443 413 48 0 11539 0
[pid=5164] vsize: 46348
Current children cumulated CPU time (s) 856.64
Current children cumulated vsize (Kb) 48476
[startup+910.058 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5221
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 5478 0 0 0 42681 1054 0 0 25 0 1 0 19956550 47460352 5443 4294967295 134512640 134702520 3221223712 3221026188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 11587 5443 413 48 0 11539 0
[pid=5164] vsize: 46348
Current children cumulated CPU time (s) 866.64
Current children cumulated vsize (Kb) 48476
[startup+920.059 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5221
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 5478 0 0 0 43681 1054 0 0 25 0 1 0 19956550 47460352 5443 4294967295 134512640 134702520 3221223712 3220668908 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 11587 5443 413 48 0 11539 0
[pid=5164] vsize: 46348
Current children cumulated CPU time (s) 876.64
Current children cumulated vsize (Kb) 48476
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
[startup+930.059 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 5225
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) T 5159 5159 4004 0 -1 0 5482 0 0 0 44668 1063 0 0 25 0 1 0 19956550 47464448 5446 4294967295 134512640 134702520 3221223712 3221221616 1074898718 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5164/statm): 11588 5446 413 48 0 11540 0
[pid=5164] vsize: 46352
Current children cumulated CPU time (s) 886.6
Current children cumulated vsize (Kb) 48480
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5164) exited with status: 2
New process pid=5226
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=5226) exited with status: 0
New process pid=5227
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+940.059 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 3848 0 0 0 916 20 0 0 25 0 1 0 20004490 19841024 3820 4294967295 134512640 134702520 3221223712 3221177628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 4844 3820 413 48 0 4796 0
[pid=5227] vsize: 19376
Current children cumulated CPU time (s) 896.46
Current children cumulated vsize (Kb) 21504
[startup+950.06 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 3848 0 0 0 1917 20 0 0 25 0 1 0 20004490 19841024 3820 4294967295 134512640 134702520 3221223712 3221104528 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 4844 3820 413 48 0 4796 0
[pid=5227] vsize: 19376
Current children cumulated CPU time (s) 906.47
Current children cumulated vsize (Kb) 21504
[startup+960.06 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 3848 0 0 0 2917 20 0 0 25 0 1 0 20004490 19841024 3820 4294967295 134512640 134702520 3221223712 3221029468 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 4844 3820 413 48 0 4796 0
[pid=5227] vsize: 19376
Current children cumulated CPU time (s) 916.47
Current children cumulated vsize (Kb) 21504
[startup+970.061 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 3862 0 0 0 3917 20 0 0 25 0 1 0 20004490 19898368 3834 4294967295 134512640 134702520 3221223712 3220950748 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 4858 3834 413 48 0 4810 0
[pid=5227] vsize: 19432
Current children cumulated CPU time (s) 926.47
Current children cumulated vsize (Kb) 21560
[startup+980.061 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 3882 0 0 0 4917 20 0 0 25 0 1 0 20004490 19980288 3854 4294967295 134512640 134702520 3221223712 3220866128 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 4878 3854 413 48 0 4830 0
[pid=5227] vsize: 19512
Current children cumulated CPU time (s) 936.47
Current children cumulated vsize (Kb) 21640
[startup+990.061 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 3904 0 0 0 5917 20 0 0 25 0 1 0 20004490 20070400 3876 4294967295 134512640 134702520 3221223712 3220774428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 4900 3876 413 48 0 4852 0
[pid=5227] vsize: 19600
Current children cumulated CPU time (s) 946.47
Current children cumulated vsize (Kb) 21728
[startup+1000.06 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 3929 0 0 0 6917 20 0 0 25 0 1 0 20004490 20172800 3901 4294967295 134512640 134702520 3221223712 3220675076 134611990 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 4925 3901 413 48 0 4877 0
[pid=5227] vsize: 19700
Current children cumulated CPU time (s) 956.47
Current children cumulated vsize (Kb) 21828
[startup+1010.06 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 3955 0 0 0 7917 20 0 0 25 0 1 0 20004490 20279296 3927 4294967295 134512640 134702520 3221223712 3220563568 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 4951 3927 413 48 0 4903 0
[pid=5227] vsize: 19804
Current children cumulated CPU time (s) 966.47
Current children cumulated vsize (Kb) 21932
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 3988 0 0 0 8917 20 0 0 25 0 1 0 20004490 20414464 3960 4294967295 134512640 134702520 3221223712 3220434928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 4984 3960 413 48 0 4936 0
[pid=5227] vsize: 19936
Current children cumulated CPU time (s) 976.47
Current children cumulated vsize (Kb) 22064
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 4025 0 0 0 9917 21 0 0 25 0 1 0 20004490 20566016 3997 4294967295 134512640 134702520 3221223712 3220281308 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 5021 3997 413 48 0 4973 0
[pid=5227] vsize: 20084
Current children cumulated CPU time (s) 986.48
Current children cumulated vsize (Kb) 22212
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 4074 0 0 0 10917 21 0 0 25 0 1 0 20004490 20766720 4046 4294967295 134512640 134702520 3221223712 3220078128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 5070 4046 413 48 0 5022 0
[pid=5227] vsize: 20280
Current children cumulated CPU time (s) 996.48
Current children cumulated vsize (Kb) 22408
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) T 5159 5159 4004 0 -1 0 4498 0 0 0 11717 85 0 0 21 0 1 0 20004490 42352640 4469 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5227/statm): 10340 4469 413 48 0 10292 0
[pid=5227] vsize: 41360
Current children cumulated CPU time (s) 1005.12
Current children cumulated vsize (Kb) 43488
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 4530 0 0 0 12431 177 0 0 25 0 1 0 20004490 42352640 4501 4294967295 134512640 134702520 3221223712 3221216428 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 10340 4501 413 48 0 10292 0
[pid=5227] vsize: 41360
Current children cumulated CPU time (s) 1013.18
Current children cumulated vsize (Kb) 43488
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 4757 0 0 0 13431 177 0 0 25 0 1 0 20004490 43282432 4728 4294967295 134512640 134702520 3221223712 3218971788 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 10567 4728 413 48 0 10519 0
[pid=5227] vsize: 42268
Current children cumulated CPU time (s) 1023.18
Current children cumulated vsize (Kb) 44396
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 4953 0 0 0 14431 177 0 0 25 0 1 0 20004490 44085248 4924 4294967295 134512640 134702520 3221223712 3221026688 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 10763 4924 413 48 0 10715 0
[pid=5227] vsize: 43052
Current children cumulated CPU time (s) 1033.18
Current children cumulated vsize (Kb) 45180
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 4953 0 0 0 15431 177 0 0 25 0 1 0 20004490 44085248 4924 4294967295 134512640 134702520 3221223712 3220653568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 10763 4924 413 48 0 10715 0
[pid=5227] vsize: 43052
Current children cumulated CPU time (s) 1043.18
Current children cumulated vsize (Kb) 45180
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 4957 0 0 0 16370 198 0 0 19 0 1 0 20004490 44085248 4927 4294967295 134512640 134702520 3221223712 3221222992 134553489 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 10763 4927 413 48 0 10715 0
[pid=5227] vsize: 43052
Current children cumulated CPU time (s) 1052.78
Current children cumulated vsize (Kb) 45180
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 4983 0 0 0 17060 305 0 0 21 0 1 0 20004490 44220416 4953 4294967295 134512640 134702520 3221223712 3221222992 134552548 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5227/statm): 10796 4953 413 48 0 10748 0
[pid=5227] vsize: 43184
Current children cumulated CPU time (s) 1060.75
Current children cumulated vsize (Kb) 45312
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 4986 0 0 0 18024 316 0 0 25 0 1 0 20004490 44220416 4956 4294967295 134512640 134702520 3221223712 3220841568 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 10796 4956 413 48 0 10748 0
[pid=5227] vsize: 43184
Current children cumulated CPU time (s) 1070.5
Current children cumulated vsize (Kb) 45312
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 4986 0 0 0 19024 316 0 0 25 0 1 0 20004490 44220416 4956 4294967295 134512640 134702520 3221223712 3220253088 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 10796 4956 413 48 0 10748 0
[pid=5227] vsize: 43184
Current children cumulated CPU time (s) 1080.5
Current children cumulated vsize (Kb) 45312
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 4986 0 0 0 20024 316 0 0 25 0 1 0 20004490 44220416 4956 4294967295 134512640 134702520 3221223712 3219451472 134611991 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 10796 4956 413 48 0 10748 0
[pid=5227] vsize: 43184
Current children cumulated CPU time (s) 1090.5
Current children cumulated vsize (Kb) 45312
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 5045 0 0 0 21024 316 0 0 25 0 1 0 20004490 44462080 5015 4294967295 134512640 134702520 3221223712 3217925548 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 10855 5015 413 48 0 10807 0
[pid=5227] vsize: 43420
Current children cumulated CPU time (s) 1100.5
Current children cumulated vsize (Kb) 45548
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 5421 0 0 0 22024 317 0 0 25 0 1 0 20004490 46002176 5391 4294967295 134512640 134702520 3221223712 3220995008 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 11231 5391 413 48 0 11183 0
[pid=5227] vsize: 44924
Current children cumulated CPU time (s) 1110.51
Current children cumulated vsize (Kb) 47052
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 5421 0 0 0 23024 317 0 0 25 0 1 0 20004490 46002176 5391 4294967295 134512640 134702520 3221223712 3220506348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 11231 5391 413 48 0 11183 0
[pid=5227] vsize: 44924
Current children cumulated CPU time (s) 1120.51
Current children cumulated vsize (Kb) 47052
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) T 5159 5159 4004 0 -1 0 5443 0 0 0 23852 372 0 0 20 0 1 0 20004490 46002176 5412 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5227/statm): 11231 5412 413 48 0 11183 0
[pid=5227] vsize: 44924
Current children cumulated CPU time (s) 1129.34
Current children cumulated vsize (Kb) 47052
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 5458 0 0 0 24649 436 0 0 25 0 1 0 20004490 46002176 5427 4294967295 134512640 134702520 3221223712 3220963948 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 11231 5427 413 48 0 11183 0
[pid=5227] vsize: 44924
Current children cumulated CPU time (s) 1137.95
Current children cumulated vsize (Kb) 47052
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 5458 0 0 0 25649 436 0 0 25 0 1 0 20004490 46002176 5427 4294967295 134512640 134702520 3221223712 3220805556 134611987 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 11231 5427 413 48 0 11183 0
[pid=5227] vsize: 44924
Current children cumulated CPU time (s) 1147.95
Current children cumulated vsize (Kb) 47052
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5229
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 5458 0 0 0 26649 436 0 0 25 0 1 0 20004490 46002176 5427 4294967295 134512640 134702520 3221223712 3220962368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 11231 5427 413 48 0 11183 0
[pid=5227] vsize: 44924
Current children cumulated CPU time (s) 1157.95
Current children cumulated vsize (Kb) 47052
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5229
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 5458 0 0 0 27649 436 0 0 25 0 1 0 20004490 46002176 5427 4294967295 134512640 134702520 3221223712 3220559008 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 11231 5427 413 48 0 11183 0
[pid=5227] vsize: 44924
Current children cumulated CPU time (s) 1167.95
Current children cumulated vsize (Kb) 47052
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5229
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 5461 0 0 0 28534 476 0 0 20 0 1 0 20004490 46002176 5429 4294967295 134512640 134702520 3221223712 3221222992 134553118 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5227/statm): 11231 5429 413 48 0 11183 0
[pid=5227] vsize: 44924
Current children cumulated CPU time (s) 1177.2
Current children cumulated vsize (Kb) 47052
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5229
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) T 5159 5159 4004 0 -1 0 5485 0 0 0 29211 582 0 0 20 0 1 0 20004490 46137344 5453 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5227/statm): 11264 5453 413 48 0 11216 0
[pid=5227] vsize: 45056
Current children cumulated CPU time (s) 1185.03
Current children cumulated vsize (Kb) 47184
[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5229
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 5487 0 0 0 30162 597 0 0 25 0 1 0 20004490 46137344 5455 4294967295 134512640 134702520 3221223712 3219811328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5227/statm): 11264 5455 413 48 0 11216 0
[pid=5227] vsize: 45056
Current children cumulated CPU time (s) 1194.69
Current children cumulated vsize (Kb) 47184
[startup+1260.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5229
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 5487 0 0 0 31162 598 0 0 25 0 1 0 20004490 46137344 5455 4294967295 134512640 134702520 3221223712 3221092288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5227/statm): 11264 5455 413 48 0 11216 0
[pid=5227] vsize: 45056
Current children cumulated CPU time (s) 1204.7
Current children cumulated vsize (Kb) 47184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1260.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5229
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 5487 0 0 0 31162 598 0 0 25 0 1 0 20004490 46137344 5455 4294967295 134512640 134702520 3221223712 3221092288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5227/statm): 11264 5455 413 48 0 11216 0
[pid=5227] vsize: 45056
Current children cumulated CPU time (s) 1204.7
Current children cumulated vsize (Kb) 47184
Sending SIGTERM to -5159
Sleeping 2 seconds
New process pid=5231
New process pid=5232
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/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/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/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/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/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/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/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1387/stat
open syscall for file /proc/1387/status
open syscall for file /proc/1387/cmdline
open syscall for file /proc/1387/environ
open syscall for file /proc/1451/stat
open syscall for file /proc/1451/status
open syscall for file /proc/1451/cmdline
open syscall for file /proc/1451/environ
open syscall for file /proc/1479/stat
open syscall for file /proc/1479/status
open syscall for file /proc/1479/cmdline
open syscall for file /proc/1479/environ
open syscall for file /proc/1503/stat
open syscall for file /proc/1503/status
open syscall for file /proc/1503/cmdline
open syscall for file /proc/1503/environ
open syscall for file /proc/1544/stat
open syscall for file /proc/1544/status
open syscall for file /proc/1544/cmdline
open syscall for file /proc/1544/environ
open syscall for file /proc/1568/stat
open syscall for file /proc/1568/status
open syscall for file /proc/1568/cmdline
open syscall for file /proc/1568/environ
open syscall for file /proc/1591/stat
open syscall for file /proc/1591/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/1591/cmdline
open syscall for file /proc/1591/environ
open syscall for file /proc/1622/stat
open syscall for file /proc/1622/status
open syscall for file /proc/1622/cmdline
open syscall for file /proc/1622/environ
open syscall for file /proc/1680/stat
open syscall for file /proc/1680/status
open syscall for file /proc/1680/cmdline
open syscall for file /proc/1680/environ
open syscall for file /proc/1685/stat
open syscall for file /proc/1685/status
open syscall for file /proc/1685/cmdline
open syscall for file /proc/1685/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/3986/stat
open syscall for file /proc/3986/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/3986/cmdline
open syscall for file /proc/3986/environ
open syscall for file /proc/4012/stat
open syscall for file /proc/4012/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/4012/cmdline
open syscall for file /proc/4012/environ
open syscall for file /proc/5120/stat
open syscall for file /proc/5120/status
open syscall for file /proc/5120/cmdline
open syscall for file /proc/5120/environ
open syscall for file /proc/5158/stat
open syscall for file /proc/5158/status
open syscall for file /proc/5158/cmdline
open syscall for file /proc/5158/environ
open syscall for file /proc/5159/stat
open syscall for file /proc/5159/status
open syscall for file /proc/5159/cmdline
open syscall for file /proc/5159/environ
open syscall for file /proc/5227/stat
open syscall for file /proc/5227/status
open syscall for file /proc/5227/cmdline
open syscall for file /proc/5227/environ
open syscall for file /proc/5231/stat
open syscall for file /proc/5231/status
open syscall for file /proc/5231/cmdline
open syscall for file /proc/5231/environ
open syscall for file /proc/5232/stat
open syscall for file /proc/5232/status
open syscall for file /proc/5232/cmdline
open syscall for file /proc/5232/environ
One traced child (pid=5231) exited with status: 0
One traced child (pid=5232) exited with status: 0
New process pid=5233
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=5233) exited with status: 0
New process pid=5234
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=5234) exited with status: 0
One traced child (pid=5159) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -5159
One traced child (pid=5227) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1262.09
CPU time (s): 319.617
CPU user time (s): 313.619
CPU system time (s): 5.99809
CPU usage (%): 25.3245
Max. virtual memory (cumulated for all children) (Kb): 55248