1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 192 (#equs: 0)
#decisions: 533500; #end-nodes: 112709;
#proof improvement attempts: 0; #restarts: 672
Current batch, end-nodes: 0 / 247 (247)
#axs: 292, #non-axs: 365
tight: meta-meta: start: 5, end: 7; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 192 (#equs: 0)
Time taken: 5 min, 38 sec
2:
seed: 0
Nr of vars set: 192 (#equs: 0)
Nr of vars set: 192 (#equs: 0)
Interupt request received.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 192 (#equs: 0)
Time taken: 14 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/3231/stat): 3231 (vallstSAT2005PB) R 3230 3231 20602 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1724878544 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3231/statm): 174 3 169 147 0 27 0
[pid=3231] 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=3232
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=3232) exited with status: 0
New process pid=3233
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=3233) exited with status: 0
New process pid=3234
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/wulflinc21/normalized-mps-v2-20-10-mod010.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0044 s]
Raw data (loadavg): 0.93 0.98 0.99 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 391 0 0 0 787 71 0 0 18 0 1 0 1724878554 2928640 361 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3234/statm): 715 361 413 48 0 667 0
[pid=3234] vsize: 2860
Current children cumulated CPU time (s) 8.59
Current children cumulated vsize (Kb) 4988
[startup+20.0051 s]
Raw data (loadavg): 0.94 0.98 0.99 2/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) R 3231 3231 20602 0 -1 0 474 0 0 0 1588 134 0 0 21 0 1 0 1724878554 4321280 444 4294967295 134512640 134702520 3221223952 3221223436 134608148 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3234/statm): 1055 444 413 48 0 1007 0
[pid=3234] vsize: 4220
Current children cumulated CPU time (s) 17.23
Current children cumulated vsize (Kb) 6348
[startup+30.0058 s]
Raw data (loadavg): 0.95 0.98 0.99 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 536 0 0 0 2416 191 0 0 22 0 1 0 1724878554 4345856 506 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3234/statm): 1061 506 413 48 0 1013 0
[pid=3234] vsize: 4244
Current children cumulated CPU time (s) 26.08
Current children cumulated vsize (Kb) 6372
[startup+40.0064 s]
Raw data (loadavg): 0.96 0.98 0.99 2/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) R 3231 3231 20602 0 -1 0 536 0 0 0 3241 249 0 0 20 0 1 0 1724878554 4345856 506 4294967295 134512640 134702520 3221223952 3221222848 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3234/statm): 1061 506 413 48 0 1013 0
[pid=3234] vsize: 4244
Current children cumulated CPU time (s) 34.91
Current children cumulated vsize (Kb) 6372
[startup+50.0071 s]
Raw data (loadavg): 0.96 0.98 0.99 2/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) R 3231 3231 20602 0 -1 0 539 0 0 0 4067 305 0 0 19 0 1 0 1724878554 4345856 509 4294967295 134512640 134702520 3221223952 3221222848 134552242 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3234/statm): 1061 509 413 48 0 1013 0
[pid=3234] vsize: 4244
Current children cumulated CPU time (s) 43.73
Current children cumulated vsize (Kb) 6372
[startup+60.0078 s]
Raw data (loadavg): 0.97 0.98 0.99 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 539 0 0 0 4856 377 0 0 22 0 1 0 1724878554 4345856 509 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3234/statm): 1061 509 413 48 0 1013 0
[pid=3234] vsize: 4244
Current children cumulated CPU time (s) 52.34
Current children cumulated vsize (Kb) 6372
[startup+70.0085 s]
Raw data (loadavg): 0.97 0.98 0.99 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 539 0 0 0 5652 445 0 0 16 0 1 0 1724878554 4345856 509 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3234/statm): 1061 509 413 48 0 1013 0
[pid=3234] vsize: 4244
Current children cumulated CPU time (s) 60.98
Current children cumulated vsize (Kb) 6372
[startup+80.0092 s]
Raw data (loadavg): 0.98 0.98 0.99 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 542 0 0 0 6478 503 0 0 16 0 1 0 1724878554 4476928 512 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3234/statm): 1093 512 413 48 0 1045 0
[pid=3234] vsize: 4372
Current children cumulated CPU time (s) 69.82
Current children cumulated vsize (Kb) 6500
[startup+90.0099 s]
Raw data (loadavg): 0.98 0.98 0.99 2/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) R 3231 3231 20602 0 -1 0 553 0 0 0 7303 561 0 0 16 0 1 0 1724878554 4476928 523 4294967295 134512640 134702520 3221223952 3221223352 134607252 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3234/statm): 1093 523 413 48 0 1045 0
[pid=3234] vsize: 4372
Current children cumulated CPU time (s) 78.65
Current children cumulated vsize (Kb) 6500
[startup+100.011 s]
Raw data (loadavg): 0.98 0.98 0.99 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 557 0 0 0 8127 619 0 0 16 0 1 0 1724878554 4476928 527 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3234/statm): 1093 527 413 48 0 1045 0
[pid=3234] vsize: 4372
Current children cumulated CPU time (s) 87.47
Current children cumulated vsize (Kb) 6500
[startup+110.013 s]
Raw data (loadavg): 0.98 0.98 0.99 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 557 0 0 0 8921 691 0 0 16 0 1 0 1724878554 4476928 527 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3234/statm): 1093 527 413 48 0 1045 0
[pid=3234] vsize: 4372
Current children cumulated CPU time (s) 96.13
Current children cumulated vsize (Kb) 6500
[startup+120.014 s]
Raw data (loadavg): 0.99 0.98 0.99 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 557 0 0 0 9726 757 0 0 17 0 1 0 1724878554 4476928 527 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3234/statm): 1093 527 413 48 0 1045 0
[pid=3234] vsize: 4372
Current children cumulated CPU time (s) 104.84
Current children cumulated vsize (Kb) 6500
[startup+130.014 s]
Raw data (loadavg): 0.99 0.98 0.99 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 612 0 0 0 10547 820 0 0 16 0 1 0 1724878554 4476928 582 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3234/statm): 1093 582 413 48 0 1045 0
[pid=3234] vsize: 4372
Current children cumulated CPU time (s) 113.68
Current children cumulated vsize (Kb) 6500
[startup+140.015 s]
Raw data (loadavg): 0.99 0.98 0.99 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 615 0 0 0 11379 877 0 0 17 0 1 0 1724878554 4476928 585 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3234/statm): 1093 585 413 48 0 1045 0
[pid=3234] vsize: 4372
Current children cumulated CPU time (s) 122.57
Current children cumulated vsize (Kb) 6500
[startup+150.016 s]
Raw data (loadavg): 0.99 0.98 0.99 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 621 0 0 0 12213 933 0 0 16 0 1 0 1724878554 4476928 591 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3234/statm): 1093 591 413 48 0 1045 0
[pid=3234] vsize: 4372
Current children cumulated CPU time (s) 131.47
Current children cumulated vsize (Kb) 6500
[startup+160.016 s]
Raw data (loadavg): 1.07 1.00 1.00 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 621 0 0 0 13005 1004 0 0 16 0 1 0 1724878554 4476928 591 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3234/statm): 1093 591 413 48 0 1045 0
[pid=3234] vsize: 4372
Current children cumulated CPU time (s) 140.1
Current children cumulated vsize (Kb) 6500
[startup+170.016 s]
Raw data (loadavg): 1.06 1.00 1.00 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 621 0 0 0 13818 1068 0 0 17 0 1 0 1724878554 4476928 591 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3234/statm): 1093 591 413 48 0 1045 0
[pid=3234] vsize: 4372
Current children cumulated CPU time (s) 148.87
Current children cumulated vsize (Kb) 6500
[startup+180.017 s]
Raw data (loadavg): 1.13 1.02 1.01 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 624 0 0 0 14652 1125 0 0 16 0 1 0 1724878554 4476928 594 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3234/statm): 1093 594 413 48 0 1045 0
[pid=3234] vsize: 4372
Current children cumulated CPU time (s) 157.78
Current children cumulated vsize (Kb) 6500
[startup+190.018 s]
Raw data (loadavg): 1.11 1.02 1.00 2/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) R 3231 3231 20602 0 -1 0 630 0 0 0 15491 1180 0 0 16 0 1 0 1724878554 4612096 600 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3234/statm): 1126 600 413 48 0 1078 0
[pid=3234] vsize: 4504
Current children cumulated CPU time (s) 166.72
Current children cumulated vsize (Kb) 6632
[startup+200.018 s]
Raw data (loadavg): 1.09 1.01 1.00 2/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) R 3231 3231 20602 0 -1 0 810 0 0 0 16336 1234 0 0 16 0 1 0 1724878554 4591616 780 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3234/statm): 1121 780 413 48 0 1073 0
[pid=3234] vsize: 4484
Current children cumulated CPU time (s) 175.71
Current children cumulated vsize (Kb) 6612
[startup+210.018 s]
Raw data (loadavg): 1.08 1.01 1.00 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 812 0 0 0 17140 1305 0 0 16 0 1 0 1724878554 4591616 782 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3234/statm): 1121 782 413 48 0 1073 0
[pid=3234] vsize: 4484
Current children cumulated CPU time (s) 184.46
Current children cumulated vsize (Kb) 6612
[startup+220.019 s]
Raw data (loadavg): 1.06 1.01 1.00 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 812 0 0 0 17945 1372 0 0 16 0 1 0 1724878554 4591616 782 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3234/statm): 1121 782 413 48 0 1073 0
[pid=3234] vsize: 4484
Current children cumulated CPU time (s) 193.18
Current children cumulated vsize (Kb) 6612
[startup+230.019 s]
Raw data (loadavg): 1.05 1.01 1.00 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 816 0 0 0 18789 1426 0 0 16 0 1 0 1724878554 4591616 786 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3234/statm): 1121 786 413 48 0 1073 0
[pid=3234] vsize: 4484
Current children cumulated CPU time (s) 202.16
Current children cumulated vsize (Kb) 6612
[startup+240.021 s]
Raw data (loadavg): 1.04 1.01 1.00 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 821 0 0 0 19625 1485 0 0 17 0 1 0 1724878554 4591616 791 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3234/statm): 1121 791 413 48 0 1073 0
[pid=3234] vsize: 4484
Current children cumulated CPU time (s) 211.11
Current children cumulated vsize (Kb) 6612
[startup+250.022 s]
Raw data (loadavg): 1.04 1.01 1.00 2/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) R 3231 3231 20602 0 -1 0 825 0 0 0 20463 1540 0 0 16 0 1 0 1724878554 4591616 795 4294967295 134512640 134702520 3221223952 3221222848 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3234/statm): 1121 795 413 48 0 1073 0
[pid=3234] vsize: 4484
Current children cumulated CPU time (s) 220.04
Current children cumulated vsize (Kb) 6612
[startup+260.022 s]
Raw data (loadavg): 1.03 1.01 1.00 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 827 0 0 0 21286 1602 0 0 16 0 1 0 1724878554 4591616 797 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3234/statm): 1121 797 413 48 0 1073 0
[pid=3234] vsize: 4484
Current children cumulated CPU time (s) 228.89
Current children cumulated vsize (Kb) 6612
[startup+270.022 s]
Raw data (loadavg): 1.03 1.01 1.00 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 827 0 0 0 22071 1682 0 0 16 0 1 0 1724878554 4591616 797 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3234/statm): 1121 797 413 48 0 1073 0
[pid=3234] vsize: 4484
Current children cumulated CPU time (s) 237.54
Current children cumulated vsize (Kb) 6612
[startup+280.023 s]
Raw data (loadavg): 1.02 1.01 1.00 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 828 0 0 0 22898 1740 0 0 16 0 1 0 1724878554 4591616 798 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3234/statm): 1121 798 413 48 0 1073 0
[pid=3234] vsize: 4484
Current children cumulated CPU time (s) 246.39
Current children cumulated vsize (Kb) 6612
[startup+290.025 s]
Raw data (loadavg): 1.02 1.01 1.00 2/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) R 3231 3231 20602 0 -1 0 831 0 0 0 23747 1793 0 0 17 0 1 0 1724878554 4591616 801 4294967295 134512640 134702520 3221223952 3221223232 134553333 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3234/statm): 1121 801 413 48 0 1073 0
[pid=3234] vsize: 4484
Current children cumulated CPU time (s) 255.41
Current children cumulated vsize (Kb) 6612
[startup+300.025 s]
Raw data (loadavg): 1.09 1.02 1.01 2/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) R 3231 3231 20602 0 -1 0 836 0 0 0 24586 1845 0 0 16 0 1 0 1724878554 4714496 806 4294967295 134512640 134702520 3221223952 3221223352 134607261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3234/statm): 1151 806 413 48 0 1103 0
[pid=3234] vsize: 4604
Current children cumulated CPU time (s) 264.32
Current children cumulated vsize (Kb) 6732
[startup+310.025 s]
Raw data (loadavg): 1.08 1.02 1.00 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 841 0 0 0 25433 1895 0 0 16 0 1 0 1724878554 4714496 811 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3234/statm): 1151 811 413 48 0 1103 0
[pid=3234] vsize: 4604
Current children cumulated CPU time (s) 273.29
Current children cumulated vsize (Kb) 6732
[startup+320.027 s]
Raw data (loadavg): 1.07 1.02 1.00 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 841 0 0 0 26229 1968 0 0 16 0 1 0 1724878554 4714496 811 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3234/statm): 1151 811 413 48 0 1103 0
[pid=3234] vsize: 4604
Current children cumulated CPU time (s) 281.98
Current children cumulated vsize (Kb) 6732
[startup+330.027 s]
Raw data (loadavg): 1.06 1.02 1.00 2/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) R 3231 3231 20602 0 -1 0 841 0 0 0 27040 2033 0 0 16 0 1 0 1724878554 4714496 811 4294967295 134512640 134702520 3221223952 3221223352 134607341 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3234/statm): 1151 811 413 48 0 1103 0
[pid=3234] vsize: 4604
Current children cumulated CPU time (s) 290.74
Current children cumulated vsize (Kb) 6732
[startup+340.028 s]
Raw data (loadavg): 1.05 1.02 1.00 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 845 0 0 0 27888 2089 0 0 16 0 1 0 1724878554 4714496 815 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3234/statm): 1151 815 413 48 0 1103 0
[pid=3234] vsize: 4604
Current children cumulated CPU time (s) 299.78
Current children cumulated vsize (Kb) 6732
[startup+350.029 s]
Raw data (loadavg): 1.04 1.02 1.00 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 848 0 0 0 28746 2137 0 0 16 0 1 0 1724878554 4714496 818 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3234/statm): 1151 818 413 48 0 1103 0
[pid=3234] vsize: 4604
Current children cumulated CPU time (s) 308.84
Current children cumulated vsize (Kb) 6732
[startup+360.029 s]
Raw data (loadavg): 1.03 1.02 1.00 2/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) R 3231 3231 20602 0 -1 0 852 0 0 0 29597 2187 0 0 16 0 1 0 1724878554 4714496 822 4294967295 134512640 134702520 3221223952 3221222848 134552894 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3234/statm): 1151 822 413 48 0 1103 0
[pid=3234] vsize: 4604
Current children cumulated CPU time (s) 317.85
Current children cumulated vsize (Kb) 6732
[startup+370.03 s]
Raw data (loadavg): 1.03 1.01 1.00 2/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) R 3231 3231 20602 0 -1 0 854 0 0 0 30427 2244 0 0 16 0 1 0 1724878554 4714496 824 4294967295 134512640 134702520 3221223952 3221222848 134552263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3234/statm): 1151 824 413 48 0 1103 0
[pid=3234] vsize: 4604
Current children cumulated CPU time (s) 326.72
Current children cumulated vsize (Kb) 6732
[startup+380.031 s]
Raw data (loadavg): 1.02 1.01 1.00 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 854 0 0 0 31224 2311 0 0 16 0 1 0 1724878554 4714496 824 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3234/statm): 1151 824 413 48 0 1103 0
[pid=3234] vsize: 4604
Current children cumulated CPU time (s) 335.36
Current children cumulated vsize (Kb) 6732
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=3234) exited with status: 2
New process pid=3235
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=3235) exited with status: 0
New process pid=3236
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+390.031 s]
Raw data (loadavg): 1.02 1.01 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 352 0 0 0 513 40 0 0 18 0 1 0 1724916924 2711552 322 4294967295 134512640 134702520 3221223712 3221222848 134552263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 662 322 413 48 0 614 0
[pid=3236] vsize: 2648
Current children cumulated CPU time (s) 344.16
Current children cumulated vsize (Kb) 4776
[startup+400.032 s]
Raw data (loadavg): 1.02 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 352 0 0 0 1326 103 0 0 22 0 1 0 1724916924 2711552 322 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3236/statm): 662 322 413 48 0 614 0
[pid=3236] vsize: 2648
Current children cumulated CPU time (s) 352.92
Current children cumulated vsize (Kb) 4776
[startup+410.033 s]
Raw data (loadavg): 1.01 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 651 0 0 0 2161 159 0 0 22 0 1 0 1724916924 3993600 621 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 975 621 413 48 0 927 0
[pid=3236] vsize: 3900
Current children cumulated CPU time (s) 361.83
Current children cumulated vsize (Kb) 6028
[startup+420.033 s]
Raw data (loadavg): 1.01 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 662 0 0 0 2998 214 0 0 24 0 1 0 1724916924 3993600 632 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 975 632 413 48 0 927 0
[pid=3236] vsize: 3900
Current children cumulated CPU time (s) 370.75
Current children cumulated vsize (Kb) 6028
[startup+430.034 s]
Raw data (loadavg): 1.01 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 697 0 0 0 3833 270 0 0 19 0 1 0 1724916924 4128768 667 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1008 667 413 48 0 960 0
[pid=3236] vsize: 4032
Current children cumulated CPU time (s) 379.66
Current children cumulated vsize (Kb) 6160
[startup+440.035 s]
Raw data (loadavg): 1.01 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 700 0 0 0 4653 333 0 0 23 0 1 0 1724916924 4128768 670 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1008 670 413 48 0 960 0
[pid=3236] vsize: 4032
Current children cumulated CPU time (s) 388.49
Current children cumulated vsize (Kb) 6160
[startup+450.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 700 0 0 0 5465 397 0 0 17 0 1 0 1724916924 4128768 670 4294967295 134512640 134702520 3221223712 3221223112 134607352 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1008 670 413 48 0 960 0
[pid=3236] vsize: 4032
Current children cumulated CPU time (s) 397.25
Current children cumulated vsize (Kb) 6160
[startup+460.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 706 0 0 0 6306 451 0 0 19 0 1 0 1724916924 4128768 676 4294967295 134512640 134702520 3221223712 3221222608 134557201 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1008 676 413 48 0 960 0
[pid=3236] vsize: 4032
Current children cumulated CPU time (s) 406.2
Current children cumulated vsize (Kb) 6160
[startup+470.037 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 710 0 0 0 7148 504 0 0 25 0 1 0 1724916924 4128768 680 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1008 680 413 48 0 960 0
[pid=3236] vsize: 4032
Current children cumulated CPU time (s) 415.15
Current children cumulated vsize (Kb) 6160
[startup+480.038 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 717 0 0 0 7988 556 0 0 24 0 1 0 1724916924 4128768 687 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1008 687 413 48 0 960 0
[pid=3236] vsize: 4032
Current children cumulated CPU time (s) 424.07
Current children cumulated vsize (Kb) 6160
[startup+490.038 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 720 0 0 0 8812 620 0 0 23 0 1 0 1724916924 4128768 690 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1008 690 413 48 0 960 0
[pid=3236] vsize: 4032
Current children cumulated CPU time (s) 432.95
Current children cumulated vsize (Kb) 6160
[startup+500.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 720 0 0 0 9628 683 0 0 24 0 1 0 1724916924 4128768 690 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1008 690 413 48 0 960 0
[pid=3236] vsize: 4032
Current children cumulated CPU time (s) 441.74
Current children cumulated vsize (Kb) 6160
[startup+510.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 725 0 0 0 10477 734 0 0 23 0 1 0 1724916924 4128768 695 4294967295 134512640 134702520 3221223712 3221222992 134552268 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1008 695 413 48 0 960 0
[pid=3236] vsize: 4032
Current children cumulated CPU time (s) 450.74
Current children cumulated vsize (Kb) 6160
[startup+520.039 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 730 0 0 0 11314 787 0 0 25 0 1 0 1724916924 4251648 700 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1038 700 413 48 0 990 0
[pid=3236] vsize: 4152
Current children cumulated CPU time (s) 459.64
Current children cumulated vsize (Kb) 6280
[startup+530.04 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 737 0 0 0 12152 840 0 0 21 0 1 0 1724916924 4251648 707 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1038 707 413 48 0 990 0
[pid=3236] vsize: 4152
Current children cumulated CPU time (s) 468.55
Current children cumulated vsize (Kb) 6280
[startup+540.042 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 739 0 0 0 12971 903 0 0 22 0 1 0 1724916924 4251648 709 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1038 709 413 48 0 990 0
[pid=3236] vsize: 4152
Current children cumulated CPU time (s) 477.37
Current children cumulated vsize (Kb) 6280
[startup+550.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 739 0 0 0 13773 971 0 0 22 0 1 0 1724916924 4251648 709 4294967295 134512640 134702520 3221223712 3221222608 134553952 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1038 709 413 48 0 990 0
[pid=3236] vsize: 4152
Current children cumulated CPU time (s) 486.07
Current children cumulated vsize (Kb) 6280
[startup+560.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 743 0 0 0 14619 1023 0 0 24 0 1 0 1724916924 4251648 713 4294967295 134512640 134702520 3221223712 3221222992 134552868 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1038 713 413 48 0 990 0
[pid=3236] vsize: 4152
Current children cumulated CPU time (s) 495.05
Current children cumulated vsize (Kb) 6280
[startup+570.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 750 0 0 0 15457 1079 0 0 22 0 1 0 1724916924 4251648 720 4294967295 134512640 134702520 3221223712 3221223196 134608148 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1038 720 413 48 0 990 0
[pid=3236] vsize: 4152
Current children cumulated CPU time (s) 503.99
Current children cumulated vsize (Kb) 6280
[startup+580.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 754 0 0 0 16310 1128 0 0 17 0 1 0 1724916924 4251648 724 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1038 724 413 48 0 990 0
[pid=3236] vsize: 4152
Current children cumulated CPU time (s) 513.01
Current children cumulated vsize (Kb) 6280
[startup+590.046 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 757 0 0 0 17134 1188 0 0 19 0 1 0 1724916924 4251648 727 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1038 727 413 48 0 990 0
[pid=3236] vsize: 4152
Current children cumulated CPU time (s) 521.85
Current children cumulated vsize (Kb) 6280
[startup+600.047 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 757 0 0 0 17949 1250 0 0 19 0 1 0 1724916924 4251648 727 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1038 727 413 48 0 990 0
[pid=3236] vsize: 4152
Current children cumulated CPU time (s) 530.62
Current children cumulated vsize (Kb) 6280
[startup+610.046 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 759 0 0 0 18778 1308 0 0 23 0 1 0 1724916924 4370432 729 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1067 729 413 48 0 1019 0
[pid=3236] vsize: 4268
Current children cumulated CPU time (s) 539.49
Current children cumulated vsize (Kb) 6396
[startup+620.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 764 0 0 0 19635 1359 0 0 24 0 1 0 1724916924 4370432 734 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1067 734 413 48 0 1019 0
[pid=3236] vsize: 4268
Current children cumulated CPU time (s) 548.57
Current children cumulated vsize (Kb) 6396
[startup+630.048 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 769 0 0 0 20478 1411 0 0 23 0 1 0 1724916924 4370432 739 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1067 739 413 48 0 1019 0
[pid=3236] vsize: 4268
Current children cumulated CPU time (s) 557.52
Current children cumulated vsize (Kb) 6396
[startup+640.049 s]
Raw data (loadavg): 1.07 1.02 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 774 0 0 0 21325 1462 0 0 23 0 1 0 1724916924 4370432 744 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1067 744 413 48 0 1019 0
[pid=3236] vsize: 4268
Current children cumulated CPU time (s) 566.5
Current children cumulated vsize (Kb) 6396
[startup+650.05 s]
Raw data (loadavg): 1.06 1.02 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 774 0 0 0 22142 1527 0 0 19 0 1 0 1724916924 4370432 744 4294967295 134512640 134702520 3221223712 3221222608 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1067 744 413 48 0 1019 0
[pid=3236] vsize: 4268
Current children cumulated CPU time (s) 575.32
Current children cumulated vsize (Kb) 6396
[startup+660.051 s]
Raw data (loadavg): 1.05 1.01 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 774 0 0 0 22967 1591 0 0 25 0 1 0 1724916924 4370432 744 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1067 744 413 48 0 1019 0
[pid=3236] vsize: 4268
Current children cumulated CPU time (s) 584.21
Current children cumulated vsize (Kb) 6396
[startup+670.052 s]
Raw data (loadavg): 1.04 1.01 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 777 0 0 0 23818 1640 0 0 17 0 1 0 1724916924 4370432 747 4294967295 134512640 134702520 3221223712 3221222608 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1067 747 413 48 0 1019 0
[pid=3236] vsize: 4268
Current children cumulated CPU time (s) 593.21
Current children cumulated vsize (Kb) 6396
[startup+680.052 s]
Raw data (loadavg): 1.04 1.01 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 781 0 0 0 24674 1685 0 0 25 0 1 0 1724916924 4370432 751 4294967295 134512640 134702520 3221223712 3221222992 134552242 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1067 751 413 48 0 1019 0
[pid=3236] vsize: 4268
Current children cumulated CPU time (s) 602.22
Current children cumulated vsize (Kb) 6396
[startup+690.053 s]
Raw data (loadavg): 1.03 1.01 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 786 0 0 0 25519 1735 0 0 22 0 1 0 1724916924 4370432 756 4294967295 134512640 134702520 3221223712 3221222992 134552284 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1067 756 413 48 0 1019 0
[pid=3236] vsize: 4268
Current children cumulated CPU time (s) 611.17
Current children cumulated vsize (Kb) 6396
[startup+700.054 s]
Raw data (loadavg): 1.02 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 790 0 0 0 26350 1793 0 0 19 0 1 0 1724916924 4509696 760 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1101 760 413 48 0 1053 0
[pid=3236] vsize: 4404
Current children cumulated CPU time (s) 620.06
Current children cumulated vsize (Kb) 6532
[startup+710.054 s]
Raw data (loadavg): 1.02 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 790 0 0 0 27153 1861 0 0 23 0 1 0 1724916924 4509696 760 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1101 760 413 48 0 1053 0
[pid=3236] vsize: 4404
Current children cumulated CPU time (s) 628.77
Current children cumulated vsize (Kb) 6532
[startup+720.055 s]
Raw data (loadavg): 1.02 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 794 0 0 0 27990 1915 0 0 22 0 1 0 1724916924 4493312 764 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1097 764 413 48 0 1049 0
[pid=3236] vsize: 4388
Current children cumulated CPU time (s) 637.68
Current children cumulated vsize (Kb) 6516
[startup+730.056 s]
Raw data (loadavg): 1.01 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 798 0 0 0 28843 1967 0 0 25 0 1 0 1724916924 4493312 768 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1097 768 413 48 0 1049 0
[pid=3236] vsize: 4388
Current children cumulated CPU time (s) 646.73
Current children cumulated vsize (Kb) 6516
[startup+740.057 s]
Raw data (loadavg): 1.01 1.01 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 804 0 0 0 29703 2017 0 0 18 0 1 0 1724916924 4493312 774 4294967295 134512640 134702520 3221223712 3221222608 134553430 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1097 774 413 48 0 1049 0
[pid=3236] vsize: 4388
Current children cumulated CPU time (s) 655.83
Current children cumulated vsize (Kb) 6516
[startup+750.058 s]
Raw data (loadavg): 1.01 1.01 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 805 0 0 0 30552 2068 0 0 18 0 1 0 1724916924 4493312 775 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1097 775 413 48 0 1049 0
[pid=3236] vsize: 4388
Current children cumulated CPU time (s) 664.83
Current children cumulated vsize (Kb) 6516
[startup+760.059 s]
Raw data (loadavg): 1.01 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 808 0 0 0 31384 2127 0 0 19 0 1 0 1724916924 4493312 778 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1097 778 413 48 0 1049 0
[pid=3236] vsize: 4388
Current children cumulated CPU time (s) 673.74
Current children cumulated vsize (Kb) 6516
[startup+770.06 s]
Raw data (loadavg): 1.01 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 808 0 0 0 32180 2195 0 0 22 0 1 0 1724916924 4493312 778 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1097 778 413 48 0 1049 0
[pid=3236] vsize: 4388
Current children cumulated CPU time (s) 682.38
Current children cumulated vsize (Kb) 6516
[startup+780.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 812 0 0 0 33030 2247 0 0 23 0 1 0 1724916924 4493312 782 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1097 782 413 48 0 1049 0
[pid=3236] vsize: 4388
Current children cumulated CPU time (s) 691.4
Current children cumulated vsize (Kb) 6516
[startup+790.062 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 816 0 0 0 33889 2295 0 0 24 0 1 0 1724916924 4493312 786 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1097 786 413 48 0 1049 0
[pid=3236] vsize: 4388
Current children cumulated CPU time (s) 700.47
Current children cumulated vsize (Kb) 6516
[startup+800.062 s]
Raw data (loadavg): 1.08 1.02 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 819 0 0 0 34739 2345 0 0 23 0 1 0 1724916924 4493312 789 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1097 789 413 48 0 1049 0
[pid=3236] vsize: 4388
Current children cumulated CPU time (s) 709.47
Current children cumulated vsize (Kb) 6516
[startup+810.062 s]
Raw data (loadavg): 1.06 1.02 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 851 0 0 0 35601 2392 0 0 25 0 1 0 1724916924 4763648 821 4294967295 134512640 134702520 3221223712 3221222736 134552242 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1163 821 413 48 0 1115 0
[pid=3236] vsize: 4652
Current children cumulated CPU time (s) 718.56
Current children cumulated vsize (Kb) 6780
[startup+820.063 s]
Raw data (loadavg): 1.05 1.02 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 853 0 0 0 36409 2457 0 0 17 0 1 0 1724916924 4763648 823 4294967295 134512640 134702520 3221223712 3221222608 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1163 823 413 48 0 1115 0
[pid=3236] vsize: 4652
Current children cumulated CPU time (s) 727.29
Current children cumulated vsize (Kb) 6780
[startup+830.063 s]
Raw data (loadavg): 1.04 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 853 0 0 0 37231 2519 0 0 25 0 1 0 1724916924 4751360 823 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1160 823 413 48 0 1112 0
[pid=3236] vsize: 4640
Current children cumulated CPU time (s) 736.13
Current children cumulated vsize (Kb) 6768
[startup+840.065 s]
Raw data (loadavg): 1.04 1.01 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 860 0 0 0 38098 2566 0 0 20 0 1 0 1724916924 4751360 830 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1160 830 413 48 0 1112 0
[pid=3236] vsize: 4640
Current children cumulated CPU time (s) 745.27
Current children cumulated vsize (Kb) 6768
[startup+850.066 s]
Raw data (loadavg): 1.03 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 871 0 0 0 38952 2614 0 0 18 0 1 0 1724916924 4751360 841 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1160 841 413 48 0 1112 0
[pid=3236] vsize: 4640
Current children cumulated CPU time (s) 754.29
Current children cumulated vsize (Kb) 6768
[startup+860.066 s]
Raw data (loadavg): 1.03 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 882 0 0 0 39821 2659 0 0 24 0 1 0 1724916924 4751360 852 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1160 852 413 48 0 1112 0
[pid=3236] vsize: 4640
Current children cumulated CPU time (s) 763.43
Current children cumulated vsize (Kb) 6768
[startup+870.066 s]
Raw data (loadavg): 1.02 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 888 0 0 0 40677 2706 0 0 21 0 1 0 1724916924 4874240 858 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1190 858 413 48 0 1142 0
[pid=3236] vsize: 4760
Current children cumulated CPU time (s) 772.46
Current children cumulated vsize (Kb) 6888
[startup+880.067 s]
Raw data (loadavg): 1.02 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 888 0 0 0 41499 2765 0 0 23 0 1 0 1724916924 4874240 858 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1190 858 413 48 0 1142 0
[pid=3236] vsize: 4760
Current children cumulated CPU time (s) 781.27
Current children cumulated vsize (Kb) 6888
[startup+890.069 s]
Raw data (loadavg): 1.01 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 890 0 0 0 42345 2816 0 0 24 0 1 0 1724916924 4874240 860 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1190 860 413 48 0 1142 0
[pid=3236] vsize: 4760
Current children cumulated CPU time (s) 790.24
Current children cumulated vsize (Kb) 6888
[startup+900.069 s]
Raw data (loadavg): 1.01 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 894 0 0 0 43206 2865 0 0 24 0 1 0 1724916924 4874240 864 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1190 864 413 48 0 1142 0
[pid=3236] vsize: 4760
Current children cumulated CPU time (s) 799.34
Current children cumulated vsize (Kb) 6888
[startup+910.069 s]
Raw data (loadavg): 1.01 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 898 0 0 0 44070 2909 0 0 21 0 1 0 1724916924 4874240 868 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1190 868 413 48 0 1142 0
[pid=3236] vsize: 4760
Current children cumulated CPU time (s) 808.42
Current children cumulated vsize (Kb) 6888
[startup+920.07 s]
Raw data (loadavg): 1.01 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 904 0 0 0 44942 2954 0 0 25 0 1 0 1724916924 4874240 874 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1190 874 413 48 0 1142 0
[pid=3236] vsize: 4760
Current children cumulated CPU time (s) 817.59
Current children cumulated vsize (Kb) 6888
[startup+930.069 s]
Raw data (loadavg): 1.01 1.00 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 905 0 0 0 45764 3016 0 0 18 0 1 0 1724916924 4874240 875 4294967295 134512640 134702520 3221223712 3221222608 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1190 875 413 48 0 1142 0
[pid=3236] vsize: 4760
Current children cumulated CPU time (s) 826.43
Current children cumulated vsize (Kb) 6888
[startup+940.071 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 905 0 0 0 46595 3077 0 0 17 0 1 0 1724916924 4874240 875 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1190 875 413 48 0 1142 0
[pid=3236] vsize: 4760
Current children cumulated CPU time (s) 835.35
Current children cumulated vsize (Kb) 6888
[startup+950.072 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 908 0 0 0 47467 3123 0 0 25 0 1 0 1724916924 4874240 878 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1190 878 413 48 0 1142 0
[pid=3236] vsize: 4760
Current children cumulated CPU time (s) 844.53
Current children cumulated vsize (Kb) 6888
[startup+960.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 912 0 0 0 48328 3170 0 0 17 0 1 0 1724916924 4874240 882 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1190 882 413 48 0 1142 0
[pid=3236] vsize: 4760
Current children cumulated CPU time (s) 853.61
Current children cumulated vsize (Kb) 6888
[startup+970.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 917 0 0 0 49210 3211 0 0 25 0 1 0 1724916924 4993024 887 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1219 887 413 48 0 1171 0
[pid=3236] vsize: 4876
Current children cumulated CPU time (s) 862.84
Current children cumulated vsize (Kb) 7004
[startup+980.074 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 924 0 0 0 50071 3257 0 0 24 0 1 0 1724916924 4993024 894 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1219 894 413 48 0 1171 0
[pid=3236] vsize: 4876
Current children cumulated CPU time (s) 871.91
Current children cumulated vsize (Kb) 7004
[startup+990.074 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 924 0 0 0 50890 3317 0 0 17 0 1 0 1724916924 4993024 894 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1219 894 413 48 0 1171 0
[pid=3236] vsize: 4876
Current children cumulated CPU time (s) 880.7
Current children cumulated vsize (Kb) 7004
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 924 0 0 0 51733 3367 0 0 20 0 1 0 1724916924 4993024 894 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1219 894 413 48 0 1171 0
[pid=3236] vsize: 4876
Current children cumulated CPU time (s) 889.63
Current children cumulated vsize (Kb) 7004
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 931 0 0 0 52585 3416 0 0 24 0 1 0 1724916924 4993024 901 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1219 901 413 48 0 1171 0
[pid=3236] vsize: 4876
Current children cumulated CPU time (s) 898.64
Current children cumulated vsize (Kb) 7004
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 934 0 0 0 53446 3461 0 0 25 0 1 0 1724916924 4993024 904 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1219 904 413 48 0 1171 0
[pid=3236] vsize: 4876
Current children cumulated CPU time (s) 907.7
Current children cumulated vsize (Kb) 7004
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 937 0 0 0 54311 3508 0 0 18 0 1 0 1724916924 4993024 907 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1219 907 413 48 0 1171 0
[pid=3236] vsize: 4876
Current children cumulated CPU time (s) 916.82
Current children cumulated vsize (Kb) 7004
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 943 0 0 0 55165 3560 0 0 17 0 1 0 1724916924 4993024 913 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1219 913 413 48 0 1171 0
[pid=3236] vsize: 4876
Current children cumulated CPU time (s) 925.88
Current children cumulated vsize (Kb) 7004
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 943 0 0 0 55976 3623 0 0 18 0 1 0 1724916924 4993024 913 4294967295 134512640 134702520 3221223712 3221222608 134552537 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1219 913 413 48 0 1171 0
[pid=3236] vsize: 4876
Current children cumulated CPU time (s) 934.62
Current children cumulated vsize (Kb) 7004
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 943 0 0 0 56817 3677 0 0 25 0 1 0 1724916924 4993024 913 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1219 913 413 48 0 1171 0
[pid=3236] vsize: 4876
Current children cumulated CPU time (s) 943.57
Current children cumulated vsize (Kb) 7004
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 945 0 0 0 57676 3726 0 0 24 0 1 0 1724916924 4993024 915 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1219 915 413 48 0 1171 0
[pid=3236] vsize: 4876
Current children cumulated CPU time (s) 952.65
Current children cumulated vsize (Kb) 7004
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 947 0 0 0 58539 3772 0 0 25 0 1 0 1724916924 5115904 917 4294967295 134512640 134702520 3221223712 3221222992 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1249 917 413 48 0 1201 0
[pid=3236] vsize: 4996
Current children cumulated CPU time (s) 961.74
Current children cumulated vsize (Kb) 7124
[startup+1090.08 s]
Raw data (loadavg): 1.07 1.02 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 952 0 0 0 59404 3822 0 0 18 0 1 0 1724916924 5115904 922 4294967295 134512640 134702520 3221223712 3221223112 134607244 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1249 922 413 48 0 1201 0
[pid=3236] vsize: 4996
Current children cumulated CPU time (s) 970.89
Current children cumulated vsize (Kb) 7124
[startup+1100.08 s]
Raw data (loadavg): 1.06 1.02 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 955 0 0 0 60263 3867 0 0 24 0 1 0 1724916924 5115904 925 4294967295 134512640 134702520 3221223712 3221222992 134552254 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1249 925 413 48 0 1201 0
[pid=3236] vsize: 4996
Current children cumulated CPU time (s) 979.93
Current children cumulated vsize (Kb) 7124
[startup+1110.08 s]
Raw data (loadavg): 1.05 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 960 0 0 0 61128 3910 0 0 25 0 1 0 1724916924 5115904 930 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1249 930 413 48 0 1201 0
[pid=3236] vsize: 4996
Current children cumulated CPU time (s) 989.01
Current children cumulated vsize (Kb) 7124
[startup+1120.08 s]
Raw data (loadavg): 1.04 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 961 0 0 0 61956 3972 0 0 22 0 1 0 1724916924 5115904 931 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1249 931 413 48 0 1201 0
[pid=3236] vsize: 4996
Current children cumulated CPU time (s) 997.91
Current children cumulated vsize (Kb) 7124
[startup+1130.08 s]
Raw data (loadavg): 1.04 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 961 0 0 0 62763 4038 0 0 18 0 1 0 1724916924 5115904 931 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1249 931 413 48 0 1201 0
[pid=3236] vsize: 4996
Current children cumulated CPU time (s) 1006.64
Current children cumulated vsize (Kb) 7124
[startup+1140.09 s]
Raw data (loadavg): 1.03 1.01 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 963 0 0 0 63621 4089 0 0 18 0 1 0 1724916924 5115904 933 4294967295 134512640 134702520 3221223712 3221223112 134606956 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1249 933 413 48 0 1201 0
[pid=3236] vsize: 4996
Current children cumulated CPU time (s) 1015.73
Current children cumulated vsize (Kb) 7124
[startup+1150.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 966 0 0 0 64487 4135 0 0 22 0 1 0 1724916924 5115904 936 4294967295 134512640 134702520 3221223712 3221222992 134552894 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1249 936 413 48 0 1201 0
[pid=3236] vsize: 4996
Current children cumulated CPU time (s) 1024.85
Current children cumulated vsize (Kb) 7124
[startup+1160.09 s]
Raw data (loadavg): 1.02 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 969 0 0 0 65350 4181 0 0 22 0 1 0 1724916924 5115904 939 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1249 939 413 48 0 1201 0
[pid=3236] vsize: 4996
Current children cumulated CPU time (s) 1033.94
Current children cumulated vsize (Kb) 7124
[startup+1170.09 s]
Raw data (loadavg): 1.02 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 971 0 0 0 66212 4227 0 0 22 0 1 0 1724916924 5115904 941 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1249 941 413 48 0 1201 0
[pid=3236] vsize: 4996
Current children cumulated CPU time (s) 1043.02
Current children cumulated vsize (Kb) 7124
[startup+1180.09 s]
Raw data (loadavg): 1.01 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 973 0 0 0 67081 4271 0 0 24 0 1 0 1724916924 5115904 943 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1249 943 413 48 0 1201 0
[pid=3236] vsize: 4996
Current children cumulated CPU time (s) 1052.15
Current children cumulated vsize (Kb) 7124
[startup+1190.09 s]
Raw data (loadavg): 1.01 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 975 0 0 0 67920 4329 0 0 21 0 1 0 1724916924 5251072 945 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1282 945 413 48 0 1234 0
[pid=3236] vsize: 5128
Current children cumulated CPU time (s) 1061.12
Current children cumulated vsize (Kb) 7256
[startup+1200.09 s]
Raw data (loadavg): 1.01 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 975 0 0 0 68728 4390 0 0 22 0 1 0 1724916924 5251072 945 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1282 945 413 48 0 1234 0
[pid=3236] vsize: 5128
Current children cumulated CPU time (s) 1069.81
Current children cumulated vsize (Kb) 7256
[startup+1210.09 s]
Raw data (loadavg): 1.01 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 976 0 0 0 69590 4436 0 0 25 0 1 0 1724916924 5234688 946 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1278 946 413 48 0 1230 0
[pid=3236] vsize: 5112
Current children cumulated CPU time (s) 1078.89
Current children cumulated vsize (Kb) 7240
[startup+1220.09 s]
Raw data (loadavg): 1.01 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 979 0 0 0 70445 4484 0 0 18 0 1 0 1724916924 5234688 949 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1278 949 413 48 0 1230 0
[pid=3236] vsize: 5112
Current children cumulated CPU time (s) 1087.92
Current children cumulated vsize (Kb) 7240
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 983 0 0 0 71307 4530 0 0 23 0 1 0 1724916924 5234688 953 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1278 953 413 48 0 1230 0
[pid=3236] vsize: 5112
Current children cumulated CPU time (s) 1097
Current children cumulated vsize (Kb) 7240
[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 984 0 0 0 72183 4571 0 0 25 0 1 0 1724916924 5234688 954 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1278 954 413 48 0 1230 0
[pid=3236] vsize: 5112
Current children cumulated CPU time (s) 1106.17
Current children cumulated vsize (Kb) 7240
[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 987 0 0 0 73059 4614 0 0 23 0 1 0 1724916924 5234688 957 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1278 957 413 48 0 1230 0
[pid=3236] vsize: 5112
Current children cumulated CPU time (s) 1115.36
Current children cumulated vsize (Kb) 7240
[startup+1260.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 989 0 0 0 73935 4655 0 0 25 0 1 0 1724916924 5234688 959 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1278 959 413 48 0 1230 0
[pid=3236] vsize: 5112
Current children cumulated CPU time (s) 1124.53
Current children cumulated vsize (Kb) 7240
[startup+1270.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 990 0 0 0 74750 4716 0 0 23 0 1 0 1724916924 5234688 960 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1278 960 413 48 0 1230 0
[pid=3236] vsize: 5112
Current children cumulated CPU time (s) 1133.29
Current children cumulated vsize (Kb) 7240
[startup+1280.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 990 0 0 0 75570 4773 0 0 22 0 1 0 1724916924 5234688 960 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1278 960 413 48 0 1230 0
[pid=3236] vsize: 5112
Current children cumulated CPU time (s) 1142.06
Current children cumulated vsize (Kb) 7240
[startup+1290.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 993 0 0 0 76433 4819 0 0 25 0 1 0 1724916924 5234688 963 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1278 963 413 48 0 1230 0
[pid=3236] vsize: 5112
Current children cumulated CPU time (s) 1151.15
Current children cumulated vsize (Kb) 7240
[startup+1300.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 999 0 0 0 77306 4863 0 0 25 0 1 0 1724916924 5234688 969 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1278 969 413 48 0 1230 0
[pid=3236] vsize: 5112
Current children cumulated CPU time (s) 1160.32
Current children cumulated vsize (Kb) 7240
[startup+1310.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 1006 0 0 0 78191 4901 0 0 17 0 1 0 1724916924 5378048 976 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1313 976 413 48 0 1265 0
[pid=3236] vsize: 5252
Current children cumulated CPU time (s) 1169.55
Current children cumulated vsize (Kb) 7380
[startup+1320.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 1008 0 0 0 79060 4949 0 0 22 0 1 0 1724916924 5357568 978 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1308 978 413 48 0 1260 0
[pid=3236] vsize: 5232
Current children cumulated CPU time (s) 1178.72
Current children cumulated vsize (Kb) 7360
[startup+1330.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 1010 0 0 0 79920 4997 0 0 17 0 1 0 1724916924 5357568 980 4294967295 134512640 134702520 3221223712 3221223196 134608133 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1308 980 413 48 0 1260 0
[pid=3236] vsize: 5232
Current children cumulated CPU time (s) 1187.8
Current children cumulated vsize (Kb) 7360
[startup+1340.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 1014 0 0 0 80784 5048 0 0 19 0 1 0 1724916924 5357568 984 4294967295 134512640 134702520 3221223712 3221222608 134551028 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1308 984 413 48 0 1260 0
[pid=3236] vsize: 5232
Current children cumulated CPU time (s) 1196.95
Current children cumulated vsize (Kb) 7360
[startup+1350.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 1014 0 0 0 81588 5112 0 0 22 0 1 0 1724916924 5357568 984 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1308 984 413 48 0 1260 0
[pid=3236] vsize: 5232
Current children cumulated CPU time (s) 1205.63
Current children cumulated vsize (Kb) 7360
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1350.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 1014 0 0 0 81588 5112 0 0 22 0 1 0 1724916924 5357568 984 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1308 984 413 48 0 1260 0
[pid=3236] vsize: 5232
Current children cumulated CPU time (s) 1205.63
Current children cumulated vsize (Kb) 7360
Sending SIGTERM to -3231
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=3238
New process pid=3239
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
One traced child (pid=3236) exited with status: 3
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/9854/stat
open syscall for file /proc/9854/status
open syscall for file /proc/9854/cmdline
open syscall for file /proc/9854/environ
open syscall for file /proc/23373/stat
open syscall for file /proc/23373/status
open syscall for file /proc/23373/cmdline
open syscall for file /proc/23373/environ
open syscall for file /proc/23400/stat
open syscall for file /proc/23400/status
open syscall for file /proc/23400/cmdline
open syscall for file /proc/23400/environ
open syscall for file /proc/23424/stat
open syscall for file /proc/23424/status
open syscall for file /proc/23424/cmdline
open syscall for file /proc/23424/environ
open syscall for file /proc/6632/stat
open syscall for file /proc/6632/status
open syscall for file /proc/6632/cmdline
open syscall for file /proc/6632/environ
open syscall for file /proc/7718/stat
open syscall for file /proc/7718/status
open syscall for file /proc/7718/cmdline
open syscall for file /proc/7718/environ
open syscall for file /proc/20012/stat
open syscall for file /proc/20012/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/20012/cmdline
open syscall for file /proc/20012/environ
open syscall for file /proc/20048/stat
open syscall for file /proc/20048/status
open syscall for file /proc/20048/cmdline
open syscall for file /proc/20048/environ
open syscall for file /proc/20602/stat
open syscall for file /proc/20602/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/20602/cmdline
open syscall for file /proc/20602/environ
open syscall for file /proc/20603/stat
open syscall for file /proc/20603/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/20603/cmdline
open syscall for file /proc/20603/environ
open syscall for file /proc/20612/stat
open syscall for file /proc/20612/status
open syscall for file /proc/20612/cmdline
open syscall for file /proc/20612/environ
open syscall for file /proc/3194/stat
open syscall for file /proc/3194/status
open syscall for file /proc/3194/cmdline
open syscall for file /proc/3194/environ
open syscall for file /proc/3230/stat
open syscall for file /proc/3230/status
open syscall for file /proc/3230/cmdline
open syscall for file /proc/3230/environ
open syscall for file /proc/3231/stat
open syscall for file /proc/3231/status
open syscall for file /proc/3231/cmdline
open syscall for file /proc/3231/environ
open syscall for file /proc/3238/stat
open syscall for file /proc/3238/status
open syscall for file /proc/3238/cmdline
open syscall for file /proc/3238/environ
open syscall for file /proc/3239/stat
open syscall for file /proc/3239/status
open syscall for file /proc/3239/cmdline
open syscall for file /proc/3239/environ
One traced child (pid=3238) exited with status: 0
One traced child (pid=3239) exited with status: 0
New process pid=3240
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=3240) exited with status: 0
New process pid=3241
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=3241) exited with status: 0
One traced child (pid=3231) 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): 1350.59
CPU time (s): 1205.8
CPU user time (s): 1131.21
CPU system time (s): 74.5847
CPU usage (%): 89.2791
Max. virtual memory (cumulated for all children) (Kb): 7380