1:
seed: 0
Nr of vars set: 167 (#equs: 0)
Nr of vars set: 231 (#equs: 12)
#decisions: 586790; #end-nodes: 206360;
#proof improvement attempts: 0; #restarts: 960
Current batch, end-nodes: 0 / 319 (319)
#axs: 84, #non-axs: 137
tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 4
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: 239 (#equs: 14)
Time taken: 5 min, 9 sec
2:
seed: 0
Nr of vars set: 239 (#equs: 0)
Nr of vars set: 240 (#equs: 8)
#decisions: 1779212; #end-nodes: 529724;
#proof improvement attempts: 0; #restarts: 1536
Current batch, end-nodes: 0 / 1163 (503)
#axs: 96, #non-axs: 5550
tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 3
loose: meta-meta: start: 6, end: 9; meta: start: 16, end (keep): 22
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: 263 (#equs: 26)
Time taken: 9 min, 24 sec
3:
seed: 0
Nr of vars set: 263 (#equs: 0)
Nr of vars set: 265 (#equs: 4)
Interupt request received.
#decisions: 1855494; #end-nodes: 482502;
#proof improvement attempts: 0; #restarts: 1302
Current batch, end-nodes: 198 / 551 (485)
#axs: 78, #non-axs: 321
tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 3
loose: meta-meta: start: 6, end: 9; meta: start: 16, end (keep): 22
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 474 (#equs: 9)
Time taken: 5 min, 27 sec
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) R 4932 4933 4005 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19711131 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4933/statm): 174 3 169 147 0 27 0
[pid=4933] 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=4934
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=4934) exited with status: 0
New process pid=4935
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=4935) exited with status: 0
New process pid=4936
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/wulflinc26/normalized-mps-v2-13-7-sc50a.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0031 s]
Raw data (loadavg): 0.80 0.94 0.93 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 239 0 0 0 627 113 0 0 22 0 1 0 19711138 2154496 209 4294967295 134512640 134702520 3221223952 3221223192 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4936/statm): 526 209 413 48 0 478 0
[pid=4936] vsize: 2104
Current children cumulated CPU time (s) 7.44
Current children cumulated vsize (Kb) 4232
[startup+20.0038 s]
Raw data (loadavg): 0.91 0.95 0.94 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 265 0 0 0 1423 184 0 0 22 0 1 0 19711138 2596864 235 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4936/statm): 634 235 413 48 0 586 0
[pid=4936] vsize: 2536
Current children cumulated CPU time (s) 16.11
Current children cumulated vsize (Kb) 4664
[startup+30.0045 s]
Raw data (loadavg): 1.00 0.97 0.94 2/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 292 0 0 0 2147 278 0 0 21 0 1 0 19711138 2596864 262 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4936/statm): 634 262 413 48 0 586 0
[pid=4936] vsize: 2536
Current children cumulated CPU time (s) 24.29
Current children cumulated vsize (Kb) 4664
[startup+40.0051 s]
Raw data (loadavg): 1.00 0.97 0.94 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 295 0 0 0 2878 368 0 0 20 0 1 0 19711138 2596864 265 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4936/statm): 634 265 413 48 0 586 0
[pid=4936] vsize: 2536
Current children cumulated CPU time (s) 32.5
Current children cumulated vsize (Kb) 4664
[startup+50.0058 s]
Raw data (loadavg): 1.00 0.97 0.94 2/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) R 4933 4933 4005 0 -1 0 296 0 0 0 3675 433 0 0 25 0 1 0 19711138 2596864 266 4294967295 134512640 134702520 3221223952 3221222720 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4936/statm): 634 266 413 48 0 586 0
[pid=4936] vsize: 2536
Current children cumulated CPU time (s) 41.12
Current children cumulated vsize (Kb) 4664
[startup+60.0065 s]
Raw data (loadavg): 1.00 0.97 0.94 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 306 0 0 0 4465 501 0 0 22 0 1 0 19711138 2596864 276 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4936/statm): 634 276 413 48 0 586 0
[pid=4936] vsize: 2536
Current children cumulated CPU time (s) 49.7
Current children cumulated vsize (Kb) 4664
[startup+70.0072 s]
Raw data (loadavg): 1.00 0.97 0.94 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 307 0 0 0 5221 586 0 0 20 0 1 0 19711138 2596864 277 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4936/statm): 634 277 413 48 0 586 0
[pid=4936] vsize: 2536
Current children cumulated CPU time (s) 58.11
Current children cumulated vsize (Kb) 4664
[startup+80.0089 s]
Raw data (loadavg): 1.00 0.97 0.94 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 308 0 0 0 5980 664 0 0 23 0 1 0 19711138 2596864 278 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4936/statm): 634 278 413 48 0 586 0
[pid=4936] vsize: 2536
Current children cumulated CPU time (s) 66.48
Current children cumulated vsize (Kb) 4664
[startup+90.0095 s]
Raw data (loadavg): 1.00 0.97 0.94 2/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) R 4933 4933 4005 0 -1 0 309 0 0 0 6770 735 0 0 21 0 1 0 19711138 2596864 279 4294967295 134512640 134702520 3221223952 3221222848 134552220 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4936/statm): 634 279 413 48 0 586 0
[pid=4936] vsize: 2536
Current children cumulated CPU time (s) 75.09
Current children cumulated vsize (Kb) 4664
[startup+100.009 s]
Raw data (loadavg): 1.00 0.97 0.94 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 321 0 0 0 7511 824 0 0 21 0 1 0 19711138 2596864 291 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4936/statm): 634 291 413 48 0 586 0
[pid=4936] vsize: 2536
Current children cumulated CPU time (s) 83.39
Current children cumulated vsize (Kb) 4664
[startup+110.01 s]
Raw data (loadavg): 1.00 0.97 0.94 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 321 0 0 0 8247 917 0 0 21 0 1 0 19711138 2596864 291 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4936/statm): 634 291 413 48 0 586 0
[pid=4936] vsize: 2536
Current children cumulated CPU time (s) 91.68
Current children cumulated vsize (Kb) 4664
[startup+120.011 s]
Raw data (loadavg): 1.00 0.97 0.94 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 322 0 0 0 9047 983 0 0 19 0 1 0 19711138 2596864 292 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4936/statm): 634 292 413 48 0 586 0
[pid=4936] vsize: 2536
Current children cumulated CPU time (s) 100.34
Current children cumulated vsize (Kb) 4664
[startup+130.012 s]
Raw data (loadavg): 1.00 0.97 0.94 2/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) R 4933 4933 4005 0 -1 0 324 0 0 0 9789 1070 0 0 22 0 1 0 19711138 2596864 294 4294967295 134512640 134702520 3221223952 3221222848 134553489 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4936/statm): 634 294 413 48 0 586 0
[pid=4936] vsize: 2536
Current children cumulated CPU time (s) 108.63
Current children cumulated vsize (Kb) 4664
[startup+140.013 s]
Raw data (loadavg): 1.07 0.99 0.95 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 325 0 0 0 10513 1162 0 0 20 0 1 0 19711138 2596864 295 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4936/statm): 634 295 413 48 0 586 0
[pid=4936] vsize: 2536
Current children cumulated CPU time (s) 116.79
Current children cumulated vsize (Kb) 4664
[startup+150.014 s]
Raw data (loadavg): 1.06 0.99 0.95 2/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) R 4933 4933 4005 0 -1 0 326 0 0 0 11296 1237 0 0 24 0 1 0 19711138 2596864 296 4294967295 134512640 134702520 3221223952 3221222720 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4936/statm): 634 296 413 48 0 586 0
[pid=4936] vsize: 2536
Current children cumulated CPU time (s) 125.37
Current children cumulated vsize (Kb) 4664
[startup+160.014 s]
Raw data (loadavg): 1.12 1.00 0.95 2/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) R 4933 4933 4005 0 -1 0 326 0 0 0 12048 1319 0 0 19 0 1 0 19711138 2596864 296 4294967295 134512640 134702520 3221223952 3221222848 134553287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4936/statm): 634 296 413 48 0 586 0
[pid=4936] vsize: 2536
Current children cumulated CPU time (s) 133.71
Current children cumulated vsize (Kb) 4664
[startup+170.015 s]
Raw data (loadavg): 1.19 1.02 0.96 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 328 0 0 0 12772 1411 0 0 20 0 1 0 19711138 2727936 298 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4936/statm): 666 298 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 141.87
Current children cumulated vsize (Kb) 4792
[startup+180.016 s]
Raw data (loadavg): 1.16 1.02 0.96 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 329 0 0 0 13520 1492 0 0 21 0 1 0 19711138 2727936 299 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4936/statm): 666 299 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 150.16
Current children cumulated vsize (Kb) 4792
[startup+190.017 s]
Raw data (loadavg): 1.21 1.04 0.96 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 330 0 0 0 14317 1559 0 0 22 0 1 0 19711138 2727936 300 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4936/statm): 666 300 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 158.8
Current children cumulated vsize (Kb) 4792
[startup+200.017 s]
Raw data (loadavg): 1.18 1.03 0.96 2/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) R 4933 4933 4005 0 -1 0 331 0 0 0 15060 1644 0 0 19 0 1 0 19711138 2727936 301 4294967295 134512640 134702520 3221223952 3221223072 134584459 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4936/statm): 666 301 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 167.08
Current children cumulated vsize (Kb) 4792
[startup+210.018 s]
Raw data (loadavg): 1.22 1.05 0.97 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 345 0 0 0 15780 1739 0 0 20 0 1 0 19711138 2727936 315 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4936/statm): 666 315 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 175.23
Current children cumulated vsize (Kb) 4792
[startup+220.018 s]
Raw data (loadavg): 1.19 1.05 0.97 2/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 346 0 0 0 16568 1808 0 0 25 0 1 0 19711138 2727936 316 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4936/statm): 666 316 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 183.8
Current children cumulated vsize (Kb) 4792
[startup+230.019 s]
Raw data (loadavg): 1.23 1.06 0.97 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 346 0 0 0 17321 1892 0 0 19 0 1 0 19711138 2727936 316 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4936/statm): 666 316 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 192.17
Current children cumulated vsize (Kb) 4792
[startup+240.02 s]
Raw data (loadavg): 1.27 1.07 0.98 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 348 0 0 0 18062 1976 0 0 19 0 1 0 19711138 2727936 318 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4936/statm): 666 318 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 200.42
Current children cumulated vsize (Kb) 4792
[startup+250.02 s]
Raw data (loadavg): 1.23 1.07 0.98 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 348 0 0 0 18807 2060 0 0 19 0 1 0 19711138 2727936 318 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4936/statm): 666 318 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 208.71
Current children cumulated vsize (Kb) 4792
[startup+260.021 s]
Raw data (loadavg): 1.27 1.08 0.98 2/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 349 0 0 0 19598 2132 0 0 20 0 1 0 19711138 2727936 319 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4936/statm): 666 319 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 217.34
Current children cumulated vsize (Kb) 4792
[startup+270.022 s]
Raw data (loadavg): 1.23 1.08 0.98 2/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 350 0 0 0 20313 2226 0 0 19 0 1 0 19711138 2727936 320 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4936/statm): 666 320 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 225.43
Current children cumulated vsize (Kb) 4792
[startup+280.022 s]
Raw data (loadavg): 1.20 1.08 0.98 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 404 0 0 0 21042 2315 0 0 20 0 1 0 19711138 2727936 374 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4936/statm): 666 374 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 233.61
Current children cumulated vsize (Kb) 4792
[startup+290.023 s]
Raw data (loadavg): 1.16 1.08 0.98 2/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) R 4933 4933 4005 0 -1 0 404 0 0 0 21813 2395 0 0 24 0 1 0 19711138 2727936 374 4294967295 134512640 134702520 3221223952 3221222720 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4936/statm): 666 374 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 242.12
Current children cumulated vsize (Kb) 4792
[startup+300.023 s]
Raw data (loadavg): 1.14 1.07 0.98 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 407 0 0 0 22564 2480 0 0 19 0 1 0 19711138 2727936 377 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4936/statm): 666 377 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 250.48
Current children cumulated vsize (Kb) 4792
[startup+310.025 s]
Raw data (loadavg): 1.20 1.09 0.99 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 408 0 0 0 23268 2579 0 0 18 0 1 0 19711138 2727936 378 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4936/statm): 666 378 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 258.51
Current children cumulated vsize (Kb) 4792
[startup+320.025 s]
Raw data (loadavg): 1.17 1.08 0.99 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 410 0 0 0 23970 2675 0 0 19 0 1 0 19711138 2727936 380 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4936/statm): 666 380 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 266.49
Current children cumulated vsize (Kb) 4792
[startup+330.027 s]
Raw data (loadavg): 1.14 1.08 0.99 2/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 410 0 0 0 24731 2756 0 0 22 0 1 0 19711138 2727936 380 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4936/statm): 666 380 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 274.91
Current children cumulated vsize (Kb) 4792
[startup+340.028 s]
Raw data (loadavg): 1.12 1.08 0.99 2/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) R 4933 4933 4005 0 -1 0 410 0 0 0 25461 2845 0 0 21 0 1 0 19711138 2727936 380 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4936/statm): 666 380 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 283.1
Current children cumulated vsize (Kb) 4792
[startup+350.028 s]
Raw data (loadavg): 1.10 1.07 0.99 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 411 0 0 0 26146 2949 0 0 20 0 1 0 19711138 2727936 381 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4936/statm): 666 381 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 290.99
Current children cumulated vsize (Kb) 4792
[startup+360.03 s]
Raw data (loadavg): 1.08 1.07 0.99 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 412 0 0 0 26841 3048 0 0 20 0 1 0 19711138 2727936 382 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4936/statm): 666 382 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 298.93
Current children cumulated vsize (Kb) 4792
[startup+370.031 s]
Raw data (loadavg): 1.07 1.07 0.99 2/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) R 4933 4933 4005 0 -1 0 413 0 0 0 27621 3122 0 0 22 0 1 0 19711138 2727936 383 4294967295 134512640 134702520 3221223952 3221222720 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4936/statm): 666 383 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 307.47
Current children cumulated vsize (Kb) 4792
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=4936) exited with status: 2
New process pid=4937
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=4937) exited with status: 0
New process pid=4938
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
[startup+380.031 s]
Raw data (loadavg): 1.14 1.08 1.00 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 231 0 0 0 453 107 0 0 20 0 1 0 19748347 2027520 201 4294967295 134512640 134702520 3221223712 3221222720 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4938/statm): 495 201 413 48 0 447 0
[pid=4938] vsize: 1980
Current children cumulated CPU time (s) 314.83
Current children cumulated vsize (Kb) 4108
[startup+390.032 s]
Raw data (loadavg): 1.12 1.08 1.00 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 264 0 0 0 1134 208 0 0 19 0 1 0 19748347 2580480 234 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 630 234 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 322.65
Current children cumulated vsize (Kb) 4648
[startup+400.033 s]
Raw data (loadavg): 1.10 1.08 1.00 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 270 0 0 0 1748 334 0 0 19 0 1 0 19748347 2580480 240 4294967295 134512640 134702520 3221223712 3221222480 134554260 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4938/statm): 630 240 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 330.05
Current children cumulated vsize (Kb) 4648
[startup+410.033 s]
Raw data (loadavg): 1.08 1.07 1.00 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 272 0 0 0 2352 468 0 0 20 0 1 0 19748347 2580480 242 4294967295 134512640 134702520 3221223712 3221222784 134617472 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4938/statm): 630 242 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 337.43
Current children cumulated vsize (Kb) 4648
[startup+420.034 s]
Raw data (loadavg): 1.07 1.07 1.00 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 278 0 0 0 3029 574 0 0 18 0 1 0 19748347 2580480 248 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 630 248 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 345.26
Current children cumulated vsize (Kb) 4648
[startup+430.036 s]
Raw data (loadavg): 1.06 1.07 1.00 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 281 0 0 0 3650 697 0 0 20 0 1 0 19748347 2580480 251 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 630 251 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 352.7
Current children cumulated vsize (Kb) 4648
[startup+440.036 s]
Raw data (loadavg): 1.05 1.06 1.00 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 282 0 0 0 4243 826 0 0 20 0 1 0 19748347 2580480 252 4294967295 134512640 134702520 3221223712 3221222480 134553492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4938/statm): 630 252 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 359.92
Current children cumulated vsize (Kb) 4648
[startup+450.036 s]
Raw data (loadavg): 1.04 1.06 1.00 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 283 0 0 0 4934 928 0 0 19 0 1 0 19748347 2580480 253 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 630 253 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 367.85
Current children cumulated vsize (Kb) 4648
[startup+460.037 s]
Raw data (loadavg): 1.03 1.06 1.00 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 286 0 0 0 5546 1057 0 0 18 0 1 0 19748347 2580480 256 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 630 256 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 375.26
Current children cumulated vsize (Kb) 4648
[startup+470.037 s]
Raw data (loadavg): 1.03 1.06 1.00 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 287 0 0 0 6144 1189 0 0 20 0 1 0 19748347 2580480 257 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4938/statm): 630 257 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 382.56
Current children cumulated vsize (Kb) 4648
[startup+480.038 s]
Raw data (loadavg): 1.02 1.05 1.00 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 288 0 0 0 6845 1289 0 0 18 0 1 0 19748347 2580480 258 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 630 258 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 390.57
Current children cumulated vsize (Kb) 4648
[startup+490.039 s]
Raw data (loadavg): 1.02 1.05 1.00 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 290 0 0 0 7467 1416 0 0 19 0 1 0 19748347 2580480 260 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 630 260 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 398.06
Current children cumulated vsize (Kb) 4648
[startup+500.039 s]
Raw data (loadavg): 1.02 1.05 1.00 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 300 0 0 0 8036 1562 0 0 17 0 1 0 19748347 2580480 270 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 630 270 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 405.21
Current children cumulated vsize (Kb) 4648
[startup+510.04 s]
Raw data (loadavg): 1.09 1.07 1.00 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 301 0 0 0 8747 1659 0 0 20 0 1 0 19748347 2580480 271 4294967295 134512640 134702520 3221223712 3221222480 134552541 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4938/statm): 630 271 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 413.29
Current children cumulated vsize (Kb) 4648
[startup+520.041 s]
Raw data (loadavg): 1.16 1.08 1.01 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 302 0 0 0 9367 1786 0 0 17 0 1 0 19748347 2580480 272 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 630 272 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 420.76
Current children cumulated vsize (Kb) 4648
[startup+530.042 s]
Raw data (loadavg): 1.13 1.08 1.00 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 303 0 0 0 9968 1911 0 0 17 0 1 0 19748347 2580480 273 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 630 273 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 428.02
Current children cumulated vsize (Kb) 4648
[startup+540.042 s]
Raw data (loadavg): 1.11 1.07 1.00 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 303 0 0 0 10615 2021 0 0 20 0 1 0 19748347 2580480 273 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 630 273 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 435.59
Current children cumulated vsize (Kb) 4648
[startup+550.043 s]
Raw data (loadavg): 1.10 1.07 1.00 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 308 0 0 0 11271 2135 0 0 18 0 1 0 19748347 2580480 278 4294967295 134512640 134702520 3221223712 3221222608 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4938/statm): 630 278 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 443.29
Current children cumulated vsize (Kb) 4648
[startup+560.044 s]
Raw data (loadavg): 1.08 1.07 1.00 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 309 0 0 0 11880 2270 0 0 18 0 1 0 19748347 2580480 279 4294967295 134512640 134702520 3221223712 3221222608 134553354 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4938/statm): 630 279 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 450.73
Current children cumulated vsize (Kb) 4648
[startup+570.044 s]
Raw data (loadavg): 1.07 1.06 1.00 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 310 0 0 0 12464 2406 0 0 19 0 1 0 19748347 2580480 280 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 630 280 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 457.93
Current children cumulated vsize (Kb) 4648
[startup+580.045 s]
Raw data (loadavg): 1.06 1.06 1.00 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 311 0 0 0 13189 2494 0 0 21 0 1 0 19748347 2580480 281 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 630 281 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 466.06
Current children cumulated vsize (Kb) 4648
[startup+590.046 s]
Raw data (loadavg): 1.05 1.06 1.00 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 314 0 0 0 13797 2625 0 0 19 0 1 0 19748347 2580480 284 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 630 284 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 473.45
Current children cumulated vsize (Kb) 4648
[startup+600.045 s]
Raw data (loadavg): 1.04 1.06 1.00 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 317 0 0 0 14411 2751 0 0 18 0 1 0 19748347 2707456 287 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 661 287 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 480.85
Current children cumulated vsize (Kb) 4772
[startup+610.047 s]
Raw data (loadavg): 1.03 1.05 1.00 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 318 0 0 0 15061 2865 0 0 20 0 1 0 19748347 2707456 288 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 661 288 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 488.49
Current children cumulated vsize (Kb) 4772
[startup+620.048 s]
Raw data (loadavg): 1.03 1.05 1.00 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 318 0 0 0 15747 2966 0 0 19 0 1 0 19748347 2707456 288 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4938/statm): 661 288 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 496.36
Current children cumulated vsize (Kb) 4772
[startup+630.048 s]
Raw data (loadavg): 1.10 1.07 1.01 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 372 0 0 0 16352 3102 0 0 18 0 1 0 19748347 2707456 342 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 661 342 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 503.77
Current children cumulated vsize (Kb) 4772
[startup+640.049 s]
Raw data (loadavg): 1.09 1.06 1.00 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 376 0 0 0 16954 3230 0 0 17 0 1 0 19748347 2707456 346 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 661 346 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 511.07
Current children cumulated vsize (Kb) 4772
[startup+650.049 s]
Raw data (loadavg): 1.07 1.06 1.00 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 377 0 0 0 17638 3337 0 0 20 0 1 0 19748347 2707456 347 4294967295 134512640 134702520 3221223712 3221222420 134549210 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4938/statm): 661 347 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 518.98
Current children cumulated vsize (Kb) 4772
[startup+660.049 s]
Raw data (loadavg): 1.06 1.06 1.00 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 390 0 0 0 18290 3454 0 0 18 0 1 0 19748347 2707456 360 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 661 360 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 526.67
Current children cumulated vsize (Kb) 4772
[startup+670.05 s]
Raw data (loadavg): 1.05 1.06 1.00 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 391 0 0 0 18925 3573 0 0 17 0 1 0 19748347 2707456 361 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 661 361 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 534.21
Current children cumulated vsize (Kb) 4772
[startup+680.052 s]
Raw data (loadavg): 1.12 1.07 1.01 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 392 0 0 0 19506 3710 0 0 17 0 1 0 19748347 2707456 362 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4938/statm): 661 362 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 541.39
Current children cumulated vsize (Kb) 4772
[startup+690.052 s]
Raw data (loadavg): 1.10 1.07 1.00 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 392 0 0 0 20241 3801 0 0 19 0 1 0 19748347 2707456 362 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 661 362 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 549.65
Current children cumulated vsize (Kb) 4772
[startup+700.052 s]
Raw data (loadavg): 1.24 1.10 1.01 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 393 0 0 0 20873 3920 0 0 18 0 1 0 19748347 2707456 363 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 661 363 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 557.16
Current children cumulated vsize (Kb) 4772
[startup+710.053 s]
Raw data (loadavg): 1.20 1.09 1.01 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 395 0 0 0 21474 4054 0 0 17 0 1 0 19748347 2707456 365 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 661 365 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 564.51
Current children cumulated vsize (Kb) 4772
[startup+720.053 s]
Raw data (loadavg): 1.24 1.11 1.02 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 396 0 0 0 22070 4189 0 0 18 0 1 0 19748347 2707456 366 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 661 366 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 571.82
Current children cumulated vsize (Kb) 4772
[startup+730.055 s]
Raw data (loadavg): 1.20 1.10 1.02 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 396 0 0 0 22804 4279 0 0 21 0 1 0 19748347 2707456 366 4294967295 134512640 134702520 3221223712 3221222352 134553330 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4938/statm): 661 366 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 580.06
Current children cumulated vsize (Kb) 4772
[startup+740.056 s]
Raw data (loadavg): 1.17 1.10 1.02 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 398 0 0 0 23424 4399 0 0 18 0 1 0 19748347 2707456 368 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 661 368 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 587.46
Current children cumulated vsize (Kb) 4772
[startup+750.057 s]
Raw data (loadavg): 1.22 1.11 1.02 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 400 0 0 0 24027 4531 0 0 18 0 1 0 19748347 2707456 370 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 661 370 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 594.81
Current children cumulated vsize (Kb) 4772
[startup+760.057 s]
Raw data (loadavg): 1.18 1.11 1.02 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 400 0 0 0 24634 4659 0 0 18 0 1 0 19748347 2707456 370 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 661 370 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 602.16
Current children cumulated vsize (Kb) 4772
[startup+770.058 s]
Raw data (loadavg): 1.16 1.10 1.02 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 400 0 0 0 25367 4744 0 0 20 0 1 0 19748347 2707456 370 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 661 370 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 610.34
Current children cumulated vsize (Kb) 4772
[startup+780.059 s]
Raw data (loadavg): 1.21 1.12 1.02 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 401 0 0 0 26012 4860 0 0 19 0 1 0 19748347 2707456 371 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 661 371 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 617.95
Current children cumulated vsize (Kb) 4772
[startup+790.059 s]
Raw data (loadavg): 1.25 1.13 1.03 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 401 0 0 0 26649 4972 0 0 18 0 1 0 19748347 2707456 371 4294967295 134512640 134702520 3221223712 3221222992 134554343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4938/statm): 661 371 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 625.44
Current children cumulated vsize (Kb) 4772
[startup+800.059 s]
Raw data (loadavg): 1.21 1.12 1.03 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 402 0 0 0 27258 5099 0 0 18 0 1 0 19748347 2707456 372 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 661 372 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 632.8
Current children cumulated vsize (Kb) 4772
[startup+810.06 s]
Raw data (loadavg): 1.18 1.12 1.03 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 403 0 0 0 27970 5197 0 0 20 0 1 0 19748347 2707456 373 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 661 373 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 640.9
Current children cumulated vsize (Kb) 4772
[startup+820.06 s]
Raw data (loadavg): 1.15 1.11 1.02 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 404 0 0 0 28620 5307 0 0 18 0 1 0 19748347 2707456 374 4294967295 134512640 134702520 3221223712 3221222992 134552698 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4938/statm): 661 374 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 648.5
Current children cumulated vsize (Kb) 4772
[startup+830.061 s]
Raw data (loadavg): 1.13 1.11 1.02 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 405 0 0 0 29255 5430 0 0 16 0 1 0 19748347 2707456 375 4294967295 134512640 134702520 3221223712 3221222608 134551042 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4938/statm): 661 375 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 656.08
Current children cumulated vsize (Kb) 4772
[startup+840.062 s]
Raw data (loadavg): 1.11 1.11 1.02 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 407 0 0 0 29862 5555 0 0 15 0 1 0 19748347 2707456 377 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 661 377 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 663.4
Current children cumulated vsize (Kb) 4772
[startup+850.062 s]
Raw data (loadavg): 1.09 1.10 1.02 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 408 0 0 0 30540 5665 0 0 16 0 1 0 19748347 2707456 378 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4938/statm): 661 378 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 671.28
Current children cumulated vsize (Kb) 4772
[startup+860.063 s]
Raw data (loadavg): 1.08 1.10 1.02 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 409 0 0 0 31239 5769 0 0 15 0 1 0 19748347 2707456 379 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 661 379 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 679.31
Current children cumulated vsize (Kb) 4772
[startup+870.064 s]
Raw data (loadavg): 1.06 1.10 1.02 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 667 0 0 0 31931 5874 0 0 15 0 1 0 19748347 3854336 637 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 941 637 413 48 0 893 0
[pid=4938] vsize: 3764
Current children cumulated CPU time (s) 687.28
Current children cumulated vsize (Kb) 5892
[startup+880.065 s]
Raw data (loadavg): 1.05 1.09 1.02 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 948 0 0 0 32725 5945 0 0 16 0 1 0 19748347 4894720 918 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 1195 918 413 48 0 1147 0
[pid=4938] vsize: 4780
Current children cumulated CPU time (s) 695.93
Current children cumulated vsize (Kb) 6908
[startup+890.066 s]
Raw data (loadavg): 1.05 1.09 1.02 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 1158 0 0 0 33563 6002 0 0 17 0 1 0 19748347 5767168 1128 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 1408 1128 413 48 0 1360 0
[pid=4938] vsize: 5632
Current children cumulated CPU time (s) 704.88
Current children cumulated vsize (Kb) 7760
[startup+900.066 s]
Raw data (loadavg): 1.04 1.08 1.02 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 1270 0 0 0 34418 6048 0 0 16 0 1 0 19748347 6320128 1240 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 1543 1240 413 48 0 1495 0
[pid=4938] vsize: 6172
Current children cumulated CPU time (s) 713.89
Current children cumulated vsize (Kb) 8300
[startup+910.067 s]
Raw data (loadavg): 1.03 1.08 1.02 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 1363 0 0 0 35198 6123 0 0 15 0 1 0 19748347 6701056 1333 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 1636 1333 413 48 0 1588 0
[pid=4938] vsize: 6544
Current children cumulated CPU time (s) 722.44
Current children cumulated vsize (Kb) 8672
[startup+920.068 s]
Raw data (loadavg): 1.03 1.08 1.01 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 1363 0 0 0 35966 6197 0 0 16 0 1 0 19748347 6701056 1333 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 1636 1333 413 48 0 1588 0
[pid=4938] vsize: 6544
Current children cumulated CPU time (s) 730.86
Current children cumulated vsize (Kb) 8672
[startup+930.069 s]
Raw data (loadavg): 1.02 1.08 1.01 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 1363 0 0 0 36743 6268 0 0 16 0 1 0 19748347 6701056 1333 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 1636 1333 413 48 0 1588 0
[pid=4938] vsize: 6544
Current children cumulated CPU time (s) 739.34
Current children cumulated vsize (Kb) 8672
[startup+940.071 s]
Raw data (loadavg): 1.10 1.09 1.02 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 1363 0 0 0 37543 6337 0 0 16 0 1 0 19748347 6701056 1333 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 1636 1333 413 48 0 1588 0
[pid=4938] vsize: 6544
Current children cumulated CPU time (s) 748.03
Current children cumulated vsize (Kb) 8672
[startup+950.071 s]
Raw data (loadavg): 1.08 1.09 1.02 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 1363 0 0 0 38379 6394 0 0 16 0 1 0 19748347 6701056 1333 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 1636 1333 413 48 0 1588 0
[pid=4938] vsize: 6544
Current children cumulated CPU time (s) 756.96
Current children cumulated vsize (Kb) 8672
[startup+960.073 s]
Raw data (loadavg): 1.07 1.08 1.02 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 1363 0 0 0 39244 6439 0 0 16 0 1 0 19748347 6701056 1333 4294967295 134512640 134702520 3221223712 3221222608 134557201 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4938/statm): 1636 1333 413 48 0 1588 0
[pid=4938] vsize: 6544
Current children cumulated CPU time (s) 766.06
Current children cumulated vsize (Kb) 8672
[startup+970.074 s]
Raw data (loadavg): 1.06 1.08 1.02 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 1363 0 0 0 40107 6488 0 0 17 0 1 0 19748347 6701056 1333 4294967295 134512640 134702520 3221223712 3221222992 134557470 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4938/statm): 1636 1333 413 48 0 1588 0
[pid=4938] vsize: 6544
Current children cumulated CPU time (s) 775.18
Current children cumulated vsize (Kb) 8672
[startup+980.074 s]
Raw data (loadavg): 1.05 1.08 1.01 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 1363 0 0 0 40977 6534 0 0 17 0 1 0 19748347 6701056 1333 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4938/statm): 1636 1333 413 48 0 1588 0
[pid=4938] vsize: 6544
Current children cumulated CPU time (s) 784.34
Current children cumulated vsize (Kb) 8672
[startup+990.075 s]
Raw data (loadavg): 1.12 1.09 1.02 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 1396 0 0 0 41803 6596 0 0 15 0 1 0 19748347 6811648 1366 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 1663 1366 413 48 0 1615 0
[pid=4938] vsize: 6652
Current children cumulated CPU time (s) 793.22
Current children cumulated vsize (Kb) 8780
[startup+1000.08 s]
Raw data (loadavg): 1.10 1.09 1.02 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 1396 0 0 0 42546 6683 0 0 15 0 1 0 19748347 6811648 1366 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4938/statm): 1663 1366 413 48 0 1615 0
[pid=4938] vsize: 6652
Current children cumulated CPU time (s) 801.52
Current children cumulated vsize (Kb) 8780
[startup+1010.08 s]
Raw data (loadavg): 1.09 1.08 1.02 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 1396 0 0 0 43346 6754 0 0 15 0 1 0 19748347 6811648 1366 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 1663 1366 413 48 0 1615 0
[pid=4938] vsize: 6652
Current children cumulated CPU time (s) 810.23
Current children cumulated vsize (Kb) 8780
[startup+1020.08 s]
Raw data (loadavg): 1.07 1.08 1.02 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 1396 0 0 0 44135 6828 0 0 16 0 1 0 19748347 6811648 1366 4294967295 134512640 134702520 3221223712 3221222608 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4938/statm): 1663 1366 413 48 0 1615 0
[pid=4938] vsize: 6652
Current children cumulated CPU time (s) 818.86
Current children cumulated vsize (Kb) 8780
[startup+1030.08 s]
Raw data (loadavg): 1.06 1.08 1.01 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 1396 0 0 0 44959 6889 0 0 16 0 1 0 19748347 6811648 1366 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 1663 1366 413 48 0 1615 0
[pid=4938] vsize: 6652
Current children cumulated CPU time (s) 827.71
Current children cumulated vsize (Kb) 8780
[startup+1040.08 s]
Raw data (loadavg): 1.05 1.08 1.01 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 1396 0 0 0 45808 6941 0 0 16 0 1 0 19748347 6811648 1366 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 1663 1366 413 48 0 1615 0
[pid=4938] vsize: 6652
Current children cumulated CPU time (s) 836.72
Current children cumulated vsize (Kb) 8780
[startup+1050.08 s]
Raw data (loadavg): 1.04 1.07 1.01 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 1396 0 0 0 46655 6995 0 0 16 0 1 0 19748347 6811648 1366 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 1663 1366 413 48 0 1615 0
[pid=4938] vsize: 6652
Current children cumulated CPU time (s) 845.73
Current children cumulated vsize (Kb) 8780
[startup+1060.08 s]
Raw data (loadavg): 1.04 1.07 1.01 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 1396 0 0 0 47505 7042 0 0 17 0 1 0 19748347 6811648 1366 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 1663 1366 413 48 0 1615 0
[pid=4938] vsize: 6652
Current children cumulated CPU time (s) 854.7
Current children cumulated vsize (Kb) 8780
[startup+1070.08 s]
Raw data (loadavg): 1.03 1.07 1.01 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 1396 0 0 0 48280 7119 0 0 16 0 1 0 19748347 6811648 1366 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 1663 1366 413 48 0 1615 0
[pid=4938] vsize: 6652
Current children cumulated CPU time (s) 863.22
Current children cumulated vsize (Kb) 8780
[startup+1080.08 s]
Raw data (loadavg): 1.02 1.06 1.01 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 1396 0 0 0 49091 7184 0 0 16 0 1 0 19748347 6811648 1366 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 1663 1366 413 48 0 1615 0
[pid=4938] vsize: 6652
Current children cumulated CPU time (s) 871.98
Current children cumulated vsize (Kb) 8780
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=4938) exited with status: 2
New process pid=4939
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=4939) exited with status: 0
New process pid=4940
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+1090.08 s]
Raw data (loadavg): 1.02 1.06 1.01 2/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) R 4933 4933 4005 0 -1 0 306 0 0 0 552 87 0 0 19 0 1 0 19819342 2568192 276 4294967295 134512640 134702520 3221223712 3221222828 134564368 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4940/statm): 627 276 413 48 0 579 0
[pid=4940] vsize: 2508
Current children cumulated CPU time (s) 880.06
Current children cumulated vsize (Kb) 4636
[startup+1100.08 s]
Raw data (loadavg): 1.02 1.06 1.01 2/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) R 4933 4933 4005 0 -1 0 308 0 0 0 1307 173 0 0 20 0 1 0 19819342 2568192 278 4294967295 134512640 134702520 3221223712 3221222720 134557211 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4940/statm): 627 278 413 48 0 579 0
[pid=4940] vsize: 2508
Current children cumulated CPU time (s) 888.47
Current children cumulated vsize (Kb) 4636
[startup+1110.09 s]
Raw data (loadavg): 1.09 1.07 1.01 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 353 0 0 0 1925 300 0 0 18 0 1 0 19819342 3600384 323 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4940/statm): 879 323 413 48 0 831 0
[pid=4940] vsize: 3516
Current children cumulated CPU time (s) 895.92
Current children cumulated vsize (Kb) 5644
[startup+1120.09 s]
Raw data (loadavg): 1.16 1.09 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 371 0 0 0 2463 449 0 0 17 0 1 0 19819342 3731456 341 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 911 341 413 48 0 863 0
[pid=4940] vsize: 3644
Current children cumulated CPU time (s) 902.79
Current children cumulated vsize (Kb) 5772
[startup+1130.09 s]
Raw data (loadavg): 1.13 1.08 1.02 2/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) R 4933 4933 4005 0 -1 0 372 0 0 0 3057 579 0 0 17 0 1 0 19819342 3731456 342 4294967295 134512640 134702520 3221223712 3221222608 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4940/statm): 911 342 413 48 0 863 0
[pid=4940] vsize: 3644
Current children cumulated CPU time (s) 910.03
Current children cumulated vsize (Kb) 5772
[startup+1140.09 s]
Raw data (loadavg): 1.11 1.08 1.01 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 373 0 0 0 3639 714 0 0 18 0 1 0 19819342 3731456 343 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4940/statm): 911 343 413 48 0 863 0
[pid=4940] vsize: 3644
Current children cumulated CPU time (s) 917.2
Current children cumulated vsize (Kb) 5772
[startup+1150.09 s]
Raw data (loadavg): 1.10 1.08 1.01 2/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) R 4933 4933 4005 0 -1 0 374 0 0 0 4186 863 0 0 18 0 1 0 19819342 3731456 344 4294967295 134512640 134702520 3221223712 3221222480 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4940/statm): 911 344 413 48 0 863 0
[pid=4940] vsize: 3644
Current children cumulated CPU time (s) 924.16
Current children cumulated vsize (Kb) 5772
[startup+1160.09 s]
Raw data (loadavg): 1.08 1.07 1.01 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 386 0 0 0 4776 997 0 0 18 0 1 0 19819342 3735552 356 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 912 356 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 931.4
Current children cumulated vsize (Kb) 5776
[startup+1170.09 s]
Raw data (loadavg): 1.07 1.07 1.01 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 389 0 0 0 5324 1144 0 0 18 0 1 0 19819342 3735552 359 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4940/statm): 912 359 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 938.35
Current children cumulated vsize (Kb) 5776
[startup+1180.09 s]
Raw data (loadavg): 1.06 1.07 1.01 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 389 0 0 0 5833 1301 0 0 17 0 1 0 19819342 3735552 359 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4940/statm): 912 359 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 945.01
Current children cumulated vsize (Kb) 5776
[startup+1190.09 s]
Raw data (loadavg): 1.05 1.07 1.01 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 391 0 0 0 6389 1441 0 0 17 0 1 0 19819342 3735552 361 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4940/statm): 912 361 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 951.97
Current children cumulated vsize (Kb) 5776
[startup+1200.09 s]
Raw data (loadavg): 1.04 1.06 1.01 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 448 0 0 0 6954 1581 0 0 18 0 1 0 19819342 3735552 418 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 912 418 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 959.02
Current children cumulated vsize (Kb) 5776
[startup+1210.09 s]
Raw data (loadavg): 1.11 1.08 1.01 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 449 0 0 0 7481 1733 0 0 18 0 1 0 19819342 3735552 419 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 912 419 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 965.81
Current children cumulated vsize (Kb) 5776
[startup+1220.09 s]
Raw data (loadavg): 1.09 1.07 1.01 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 451 0 0 0 8038 1878 0 0 17 0 1 0 19819342 3735552 421 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 912 421 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 972.83
Current children cumulated vsize (Kb) 5776
[startup+1230.09 s]
Raw data (loadavg): 1.08 1.07 1.01 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 452 0 0 0 8572 2031 0 0 17 0 1 0 19819342 3735552 422 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4940/statm): 912 422 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 979.7
Current children cumulated vsize (Kb) 5776
[startup+1240.1 s]
Raw data (loadavg): 1.14 1.08 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 454 0 0 0 9121 2183 0 0 18 0 1 0 19819342 3735552 424 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4940/statm): 912 424 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 986.71
Current children cumulated vsize (Kb) 5776
[startup+1250.09 s]
Raw data (loadavg): 1.12 1.08 1.01 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 454 0 0 0 9683 2324 0 0 18 0 1 0 19819342 3735552 424 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4940/statm): 912 424 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 993.74
Current children cumulated vsize (Kb) 5776
[startup+1260.1 s]
Raw data (loadavg): 1.10 1.08 1.01 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 455 0 0 0 10218 2481 0 0 17 0 1 0 19819342 3735552 425 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 912 425 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 1000.66
Current children cumulated vsize (Kb) 5776
[startup+1270.1 s]
Raw data (loadavg): 1.08 1.08 1.01 2/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) R 4933 4933 4005 0 -1 0 457 0 0 0 10772 2626 0 0 18 0 1 0 19819342 3735552 427 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4940/statm): 912 427 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 1007.65
Current children cumulated vsize (Kb) 5776
[startup+1280.1 s]
Raw data (loadavg): 1.15 1.09 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 457 0 0 0 11334 2772 0 0 17 0 1 0 19819342 3735552 427 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 912 427 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 1014.73
Current children cumulated vsize (Kb) 5776
[startup+1290.1 s]
Raw data (loadavg): 1.20 1.10 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 459 0 0 0 11890 2918 0 0 17 0 1 0 19819342 3735552 429 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 912 429 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 1021.75
Current children cumulated vsize (Kb) 5776
[startup+1300.1 s]
Raw data (loadavg): 1.17 1.10 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 459 0 0 0 12451 3058 0 0 18 0 1 0 19819342 3735552 429 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 912 429 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 1028.76
Current children cumulated vsize (Kb) 5776
[startup+1310.1 s]
Raw data (loadavg): 1.14 1.09 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 460 0 0 0 13038 3198 0 0 18 0 1 0 19819342 3735552 430 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4940/statm): 912 430 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 1036.03
Current children cumulated vsize (Kb) 5776
[startup+1320.1 s]
Raw data (loadavg): 1.12 1.09 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 461 0 0 0 13604 3341 0 0 18 0 1 0 19819342 3735552 431 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4940/statm): 912 431 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 1043.12
Current children cumulated vsize (Kb) 5776
[startup+1330.1 s]
Raw data (loadavg): 1.10 1.09 1.02 2/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) R 4933 4933 4005 0 -1 0 461 0 0 0 14155 3495 0 0 17 0 1 0 19819342 3735552 431 4294967295 134512640 134702520 3221223712 3221222480 134553342 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4940/statm): 912 431 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 1050.17
Current children cumulated vsize (Kb) 5776
[startup+1340.1 s]
Raw data (loadavg): 1.08 1.08 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 462 0 0 0 14770 3620 0 0 17 0 1 0 19819342 3735552 432 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 912 432 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 1057.57
Current children cumulated vsize (Kb) 5776
[startup+1350.1 s]
Raw data (loadavg): 1.07 1.08 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 462 0 0 0 15337 3764 0 0 18 0 1 0 19819342 3735552 432 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 912 432 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 1064.68
Current children cumulated vsize (Kb) 5776
[startup+1360.11 s]
Raw data (loadavg): 1.13 1.09 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 464 0 0 0 15901 3911 0 0 17 0 1 0 19819342 3735552 434 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4940/statm): 912 434 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 1071.79
Current children cumulated vsize (Kb) 5776
[startup+1370.11 s]
Raw data (loadavg): 1.11 1.09 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 465 0 0 0 16483 4052 0 0 18 0 1 0 19819342 3735552 435 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 912 435 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 1079.02
Current children cumulated vsize (Kb) 5776
[startup+1380.11 s]
Raw data (loadavg): 1.10 1.09 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 481 0 0 0 17076 4187 0 0 17 0 1 0 19819342 3735552 451 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 912 451 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 1086.3
Current children cumulated vsize (Kb) 5776
[startup+1390.11 s]
Raw data (loadavg): 1.08 1.08 1.02 2/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) R 4933 4933 4005 0 -1 0 542 0 0 0 17662 4323 0 0 18 0 1 0 19819342 3862528 512 4294967295 134512640 134702520 3221223712 3221222992 134553820 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4940/statm): 943 512 413 48 0 895 0
[pid=4940] vsize: 3772
Current children cumulated CPU time (s) 1093.52
Current children cumulated vsize (Kb) 5900
[startup+1400.11 s]
Raw data (loadavg): 1.07 1.08 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 545 0 0 0 18211 4471 0 0 17 0 1 0 19819342 3862528 515 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 943 515 413 48 0 895 0
[pid=4940] vsize: 3772
Current children cumulated CPU time (s) 1100.49
Current children cumulated vsize (Kb) 5900
[startup+1410.11 s]
Raw data (loadavg): 1.06 1.08 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 545 0 0 0 18832 4594 0 0 18 0 1 0 19819342 3862528 515 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 943 515 413 48 0 895 0
[pid=4940] vsize: 3772
Current children cumulated CPU time (s) 1107.93
Current children cumulated vsize (Kb) 5900
[startup+1420.11 s]
Raw data (loadavg): 1.05 1.07 1.01 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 551 0 0 0 19402 4732 0 0 18 0 1 0 19819342 3862528 521 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 943 521 413 48 0 895 0
[pid=4940] vsize: 3772
Current children cumulated CPU time (s) 1115.01
Current children cumulated vsize (Kb) 5900
[startup+1430.11 s]
Raw data (loadavg): 1.04 1.07 1.01 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 552 0 0 0 19971 4878 0 0 18 0 1 0 19819342 3862528 522 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 943 522 413 48 0 895 0
[pid=4940] vsize: 3772
Current children cumulated CPU time (s) 1122.16
Current children cumulated vsize (Kb) 5900
[startup+1440.11 s]
Raw data (loadavg): 1.11 1.09 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 552 0 0 0 20518 5027 0 0 15 0 1 0 19819342 3862528 522 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4940/statm): 943 522 413 48 0 895 0
[pid=4940] vsize: 3772
Current children cumulated CPU time (s) 1129.12
Current children cumulated vsize (Kb) 5900
[startup+1450.11 s]
Raw data (loadavg): 1.09 1.08 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 558 0 0 0 21126 5163 0 0 15 0 1 0 19819342 3862528 528 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 943 528 413 48 0 895 0
[pid=4940] vsize: 3772
Current children cumulated CPU time (s) 1136.56
Current children cumulated vsize (Kb) 5900
[startup+1460.11 s]
Raw data (loadavg): 1.08 1.08 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 559 0 0 0 21701 5299 0 0 15 0 1 0 19819342 3862528 529 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 943 529 413 48 0 895 0
[pid=4940] vsize: 3772
Current children cumulated CPU time (s) 1143.67
Current children cumulated vsize (Kb) 5900
[startup+1470.11 s]
Raw data (loadavg): 1.06 1.08 1.01 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 582 0 0 0 22282 5429 0 0 15 0 1 0 19819342 3862528 552 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 943 552 413 48 0 895 0
[pid=4940] vsize: 3772
Current children cumulated CPU time (s) 1150.78
Current children cumulated vsize (Kb) 5900
[startup+1480.11 s]
Raw data (loadavg): 1.05 1.07 1.01 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 636 0 0 0 22844 5570 0 0 15 0 1 0 19819342 3862528 606 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 943 606 413 48 0 895 0
[pid=4940] vsize: 3772
Current children cumulated CPU time (s) 1157.81
Current children cumulated vsize (Kb) 5900
[startup+1490.12 s]
Raw data (loadavg): 1.12 1.09 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 637 0 0 0 23452 5703 0 0 16 0 1 0 19819342 3862528 607 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 943 607 413 48 0 895 0
[pid=4940] vsize: 3772
Current children cumulated CPU time (s) 1165.22
Current children cumulated vsize (Kb) 5900
[startup+1500.11 s]
Raw data (loadavg): 1.10 1.08 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 638 0 0 0 24019 5846 0 0 15 0 1 0 19819342 3862528 608 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4940/statm): 943 608 413 48 0 895 0
[pid=4940] vsize: 3772
Current children cumulated CPU time (s) 1172.32
Current children cumulated vsize (Kb) 5900
[startup+1510.12 s]
Raw data (loadavg): 1.08 1.08 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 638 0 0 0 24591 5990 0 0 15 0 1 0 19819342 3862528 608 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 943 608 413 48 0 895 0
[pid=4940] vsize: 3772
Current children cumulated CPU time (s) 1179.48
Current children cumulated vsize (Kb) 5900
[startup+1520.12 s]
Raw data (loadavg): 1.15 1.09 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 639 0 0 0 25160 6133 0 0 15 0 1 0 19819342 3862528 609 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4940/statm): 943 609 413 48 0 895 0
[pid=4940] vsize: 3772
Current children cumulated CPU time (s) 1186.6
Current children cumulated vsize (Kb) 5900
[startup+1530.12 s]
Raw data (loadavg): 1.13 1.09 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 640 0 0 0 25767 6267 0 0 16 0 1 0 19819342 3862528 610 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 943 610 413 48 0 895 0
[pid=4940] vsize: 3772
Current children cumulated CPU time (s) 1194.01
Current children cumulated vsize (Kb) 5900
[startup+1540.12 s]
Raw data (loadavg): 1.18 1.10 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 641 0 0 0 26362 6400 0 0 16 0 1 0 19819342 3862528 611 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4940/statm): 943 611 413 48 0 895 0
[pid=4940] vsize: 3772
Current children cumulated CPU time (s) 1201.29
Current children cumulated vsize (Kb) 5900
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1540.12 s]
Raw data (loadavg): 1.18 1.10 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 641 0 0 0 26362 6400 0 0 16 0 1 0 19819342 3862528 611 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4940/statm): 943 611 413 48 0 895 0
[pid=4940] vsize: 3772
Current children cumulated CPU time (s) 1201.29
Current children cumulated vsize (Kb) 5900
Sending SIGTERM to -4933
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=4942
New process pid=4943
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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
One traced child (pid=4940) exited with status: 3
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/3987/stat
open syscall for file /proc/3987/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/3987/cmdline
open syscall for file /proc/3987/environ
open syscall for file /proc/4013/stat
open syscall for file /proc/4013/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4013/cmdline
open syscall for file /proc/4013/environ
open syscall for file /proc/4894/stat
open syscall for file /proc/4894/status
open syscall for file /proc/4894/cmdline
open syscall for file /proc/4894/environ
open syscall for file /proc/4932/stat
open syscall for file /proc/4932/status
open syscall for file /proc/4932/cmdline
open syscall for file /proc/4932/environ
open syscall for file /proc/4933/stat
open syscall for file /proc/4933/status
open syscall for file /proc/4933/cmdline
open syscall for file /proc/4933/environ
open syscall for file /proc/4942/stat
open syscall for file /proc/4942/status
open syscall for file /proc/4942/cmdline
open syscall for file /proc/4942/environ
open syscall for file /proc/4943/stat
open syscall for file /proc/4943/status
open syscall for file /proc/4943/cmdline
open syscall for file /proc/4943/environ
One traced child (pid=4942) exited with status: 0
One traced child (pid=4943) exited with status: 0
New process pid=4944
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=4944) exited with status: 0
New process pid=4945
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=4945) exited with status: 0
One traced child (pid=4933) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1540.6
CPU time (s): 1201.42
CPU user time (s): 1033.96
CPU system time (s): 167.458
CPU usage (%): 77.9838
Max. virtual memory (cumulated for all children) (Kb): 8780