1:
Interupt; Current theory and settings are copied here:
/tmp/vallst_sh_out_theory.vnf
/tmp/vallst_sh_changing_setting.options
cp: cannot stat `/tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options': No such file or directory
Error: changing-setting file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options couldn't be opened.
No such file or directory
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 0 (#equs: 0)
#decisions: 1148; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 80036, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant: 2 (1147:>=*);
#decisions: 1160; #end-nodes: 22;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 22 / 80 (80)
#axs: 80036, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 3 (1146:>=*);
#decisions: 2280; #end-nodes: 111;
#proof improvement attempts: 0; #restarts: 1
Current batch, end-nodes: 21 / 80 (80)
#axs: 80036, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 4 (1145:>=*);
#decisions: 24411; #end-nodes: 1931;
#proof improvement attempts: 0; #restarts: 21
Current batch, end-nodes: 17 / 85 (85)
#axs: 80036, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 5 (1144:>=*);
#decisions: 2477701; #end-nodes: 595404;
#proof improvement attempts: 0; #restarts: 1861
Current batch, end-nodes: 404 / 545 (545)
#axs: 80036, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 6 (1143:>=*);
Interupt request received.
Model found with constant:
(pushed:) 6 (1143:>=*)
No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 0 (#equs: 0)
Time taken: 20 min, 1 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/1543/stat): 1543 (vallstSAT2005PB) R 1542 1543 20602 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1723447856 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1543/statm): 174 3 169 147 0 27 0
[pid=1543] 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=1544
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=1544) exited with status: 0
New process pid=1545
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=1545) exited with status: 0
New process pid=1546
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-frb50-23-5.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0028 s]
Raw data (loadavg): 0.94 1.03 1.01 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 1204 0 0 0 776 77 0 0 20 0 1 0 1723447863 7561216 1174 4294967295 134512640 134702520 3221223968 3221223336 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 1846 1174 413 48 0 1798 0
[pid=1546] vsize: 7384
Current children cumulated CPU time (s) 8.55
Current children cumulated vsize (Kb) 9512
[startup+20.0065 s]
Raw data (loadavg): 0.95 1.03 1.01 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 1204 0 0 0 1545 159 0 0 21 0 1 0 1723447863 7561216 1174 4294967295 134512640 134702520 3221223968 3221223104 134553045 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 1846 1174 413 48 0 1798 0
[pid=1546] vsize: 7384
Current children cumulated CPU time (s) 17.06
Current children cumulated vsize (Kb) 9512
[startup+30.0072 s]
Raw data (loadavg): 0.96 1.03 1.01 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 1646 0 0 0 2239 256 0 0 18 0 1 0 1723447863 17731584 1616 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4329 1616 413 48 0 4281 0
[pid=1546] vsize: 17316
Current children cumulated CPU time (s) 24.97
Current children cumulated vsize (Kb) 19444
[startup+40.0079 s]
Raw data (loadavg): 0.96 1.03 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 1715 0 0 0 2950 350 0 0 18 0 1 0 1723447863 17731584 1685 4294967295 134512640 134702520 3221223968 3221223248 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4329 1685 413 48 0 4281 0
[pid=1546] vsize: 17316
Current children cumulated CPU time (s) 33.02
Current children cumulated vsize (Kb) 19444
[startup+50.0086 s]
Raw data (loadavg): 0.97 1.03 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 1760 0 0 0 3687 438 0 0 21 0 1 0 1723447863 17731584 1730 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4329 1730 413 48 0 4281 0
[pid=1546] vsize: 17316
Current children cumulated CPU time (s) 41.27
Current children cumulated vsize (Kb) 19444
[startup+60.0093 s]
Raw data (loadavg): 0.97 1.02 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 1760 0 0 0 4451 516 0 0 19 0 1 0 1723447863 17731584 1730 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4329 1730 413 48 0 4281 0
[pid=1546] vsize: 17316
Current children cumulated CPU time (s) 49.69
Current children cumulated vsize (Kb) 19444
[startup+70.0109 s]
Raw data (loadavg): 0.98 1.02 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 1762 0 0 0 5199 602 0 0 17 0 1 0 1723447863 17731584 1732 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4329 1732 413 48 0 4281 0
[pid=1546] vsize: 17316
Current children cumulated CPU time (s) 58.03
Current children cumulated vsize (Kb) 19444
[startup+80.0116 s]
Raw data (loadavg): 0.98 1.02 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 1822 0 0 0 5938 684 0 0 20 0 1 0 1723447863 17862656 1792 4294967295 134512640 134702520 3221223968 3221222864 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4361 1792 413 48 0 4313 0
[pid=1546] vsize: 17444
Current children cumulated CPU time (s) 66.24
Current children cumulated vsize (Kb) 19572
[startup+90.0123 s]
Raw data (loadavg): 0.98 1.02 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 1884 0 0 0 6670 776 0 0 20 0 1 0 1723447863 17993728 1854 4294967295 134512640 134702520 3221223968 3221222864 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4393 1854 413 48 0 4345 0
[pid=1546] vsize: 17572
Current children cumulated CPU time (s) 74.48
Current children cumulated vsize (Kb) 19700
[startup+100.013 s]
Raw data (loadavg): 0.98 1.02 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 1911 0 0 0 7432 857 0 0 16 0 1 0 1723447863 17993728 1881 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4393 1881 413 48 0 4345 0
[pid=1546] vsize: 17572
Current children cumulated CPU time (s) 82.91
Current children cumulated vsize (Kb) 19700
[startup+110.014 s]
Raw data (loadavg): 0.99 1.02 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 1911 0 0 0 8194 940 0 0 16 0 1 0 1723447863 17993728 1881 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4393 1881 413 48 0 4345 0
[pid=1546] vsize: 17572
Current children cumulated CPU time (s) 91.36
Current children cumulated vsize (Kb) 19700
[startup+120.015 s]
Raw data (loadavg): 1.07 1.04 1.01 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 1948 0 0 0 8955 1014 0 0 16 0 1 0 1723447863 17993728 1918 4294967295 134512640 134702520 3221223968 3221223368 134607252 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4393 1918 413 48 0 4345 0
[pid=1546] vsize: 17572
Current children cumulated CPU time (s) 99.71
Current children cumulated vsize (Kb) 19700
[startup+130.016 s]
Raw data (loadavg): 1.13 1.05 1.01 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 1993 0 0 0 9701 1099 0 0 16 0 1 0 1723447863 18128896 1963 4294967295 134512640 134702520 3221223968 3221223248 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1546/statm): 4426 1963 413 48 0 4378 0
[pid=1546] vsize: 17704
Current children cumulated CPU time (s) 108.02
Current children cumulated vsize (Kb) 19832
[startup+140.017 s]
Raw data (loadavg): 1.11 1.05 1.01 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 2039 0 0 0 10454 1184 0 0 16 0 1 0 1723447863 18128896 2009 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4426 2009 413 48 0 4378 0
[pid=1546] vsize: 17704
Current children cumulated CPU time (s) 116.4
Current children cumulated vsize (Kb) 19832
[startup+150.017 s]
Raw data (loadavg): 1.09 1.05 1.01 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 2059 0 0 0 11226 1264 0 0 16 0 1 0 1723447863 18128896 2029 4294967295 134512640 134702520 3221223968 3221222864 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4426 2029 413 48 0 4378 0
[pid=1546] vsize: 17704
Current children cumulated CPU time (s) 124.92
Current children cumulated vsize (Kb) 19832
[startup+160.018 s]
Raw data (loadavg): 1.08 1.04 1.01 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 2059 0 0 0 11988 1345 0 0 16 0 1 0 1723447863 18128896 2029 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 4426 2029 413 48 0 4378 0
[pid=1546] vsize: 17704
Current children cumulated CPU time (s) 133.35
Current children cumulated vsize (Kb) 19832
[startup+170.019 s]
Raw data (loadavg): 1.07 1.04 1.01 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 2111 0 0 0 12757 1421 0 0 16 0 1 0 1723447863 18259968 2081 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4458 2081 413 48 0 4410 0
[pid=1546] vsize: 17832
Current children cumulated CPU time (s) 141.8
Current children cumulated vsize (Kb) 19960
[startup+180.019 s]
Raw data (loadavg): 1.06 1.04 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 2175 0 0 0 13532 1494 0 0 16 0 1 0 1723447863 18395136 2145 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 4491 2145 413 48 0 4443 0
[pid=1546] vsize: 17964
Current children cumulated CPU time (s) 150.28
Current children cumulated vsize (Kb) 20092
[startup+190.02 s]
Raw data (loadavg): 1.05 1.04 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 2220 0 0 0 14305 1569 0 0 16 0 1 0 1723447863 18395136 2190 4294967295 134512640 134702520 3221223968 3221223088 134588577 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1546/statm): 4491 2190 413 48 0 4443 0
[pid=1546] vsize: 17964
Current children cumulated CPU time (s) 158.76
Current children cumulated vsize (Kb) 20092
[startup+200.021 s]
Raw data (loadavg): 1.04 1.04 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 2244 0 0 0 15066 1650 0 0 16 0 1 0 1723447863 18395136 2214 4294967295 134512640 134702520 3221223968 3221222864 134550404 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4491 2214 413 48 0 4443 0
[pid=1546] vsize: 17964
Current children cumulated CPU time (s) 167.18
Current children cumulated vsize (Kb) 20092
[startup+210.022 s]
Raw data (loadavg): 1.03 1.03 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 2244 0 0 0 15827 1735 0 0 16 0 1 0 1723447863 18395136 2214 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4491 2214 413 48 0 4443 0
[pid=1546] vsize: 17964
Current children cumulated CPU time (s) 175.64
Current children cumulated vsize (Kb) 20092
[startup+220.023 s]
Raw data (loadavg): 1.03 1.03 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 2281 0 0 0 16612 1806 0 0 16 0 1 0 1723447863 18530304 2251 4294967295 134512640 134702520 3221223968 3221222864 134553011 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4524 2251 413 48 0 4476 0
[pid=1546] vsize: 18096
Current children cumulated CPU time (s) 184.2
Current children cumulated vsize (Kb) 20224
[startup+230.024 s]
Raw data (loadavg): 1.02 1.03 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 2326 0 0 0 17392 1877 0 0 16 0 1 0 1723447863 18518016 2296 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4521 2296 413 48 0 4473 0
[pid=1546] vsize: 18084
Current children cumulated CPU time (s) 192.71
Current children cumulated vsize (Kb) 20212
[startup+240.024 s]
Raw data (loadavg): 1.02 1.03 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 2369 0 0 0 18169 1955 0 0 16 0 1 0 1723447863 18653184 2339 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4554 2339 413 48 0 4506 0
[pid=1546] vsize: 18216
Current children cumulated CPU time (s) 201.26
Current children cumulated vsize (Kb) 20344
[startup+250.025 s]
Raw data (loadavg): 1.02 1.03 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 2388 0 0 0 18944 2032 0 0 16 0 1 0 1723447863 18653184 2358 4294967295 134512640 134702520 3221223968 3221222864 134550645 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4554 2358 413 48 0 4506 0
[pid=1546] vsize: 18216
Current children cumulated CPU time (s) 209.78
Current children cumulated vsize (Kb) 20344
[startup+260.026 s]
Raw data (loadavg): 1.01 1.03 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 2388 0 0 0 19709 2116 0 0 16 0 1 0 1723447863 18653184 2358 4294967295 134512640 134702520 3221223968 3221222864 134553045 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4554 2358 413 48 0 4506 0
[pid=1546] vsize: 18216
Current children cumulated CPU time (s) 218.27
Current children cumulated vsize (Kb) 20344
[startup+270.027 s]
Raw data (loadavg): 1.01 1.03 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 2423 0 0 0 20488 2193 0 0 16 0 1 0 1723447863 18653184 2393 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 4554 2393 413 48 0 4506 0
[pid=1546] vsize: 18216
Current children cumulated CPU time (s) 226.83
Current children cumulated vsize (Kb) 20344
[startup+280.027 s]
Raw data (loadavg): 1.09 1.04 1.01 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 2499 0 0 0 21308 2252 0 0 16 0 1 0 1723447863 18923520 2469 4294967295 134512640 134702520 3221223968 3221222864 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4620 2469 413 48 0 4572 0
[pid=1546] vsize: 18480
Current children cumulated CPU time (s) 235.62
Current children cumulated vsize (Kb) 20608
[startup+290.027 s]
Raw data (loadavg): 1.07 1.04 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 2530 0 0 0 22104 2323 0 0 16 0 1 0 1723447863 18923520 2500 4294967295 134512640 134702520 3221223968 3221223248 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4620 2500 413 48 0 4572 0
[pid=1546] vsize: 18480
Current children cumulated CPU time (s) 244.29
Current children cumulated vsize (Kb) 20608
[startup+300.028 s]
Raw data (loadavg): 1.06 1.04 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 2583 0 0 0 22908 2389 0 0 16 0 1 0 1723447863 18923520 2553 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4620 2553 413 48 0 4572 0
[pid=1546] vsize: 18480
Current children cumulated CPU time (s) 252.99
Current children cumulated vsize (Kb) 20608
[startup+310.028 s]
Raw data (loadavg): 1.05 1.04 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 2583 0 0 0 23669 2470 0 0 16 0 1 0 1723447863 18923520 2553 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 4620 2553 413 48 0 4572 0
[pid=1546] vsize: 18480
Current children cumulated CPU time (s) 261.41
Current children cumulated vsize (Kb) 20608
[startup+320.03 s]
Raw data (loadavg): 1.04 1.03 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 2583 0 0 0 24437 2549 0 0 16 0 1 0 1723447863 18923520 2553 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4620 2553 413 48 0 4572 0
[pid=1546] vsize: 18480
Current children cumulated CPU time (s) 269.88
Current children cumulated vsize (Kb) 20608
[startup+330.031 s]
Raw data (loadavg): 1.04 1.03 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 2632 0 0 0 25256 2611 0 0 16 0 1 0 1723447863 19058688 2602 4294967295 134512640 134702520 3221223968 3221222864 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4653 2602 413 48 0 4605 0
[pid=1546] vsize: 18612
Current children cumulated CPU time (s) 278.69
Current children cumulated vsize (Kb) 20740
[startup+340.03 s]
Raw data (loadavg): 1.03 1.03 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 2649 0 0 0 26057 2680 0 0 16 0 1 0 1723447863 19058688 2619 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4653 2619 413 48 0 4605 0
[pid=1546] vsize: 18612
Current children cumulated CPU time (s) 287.39
Current children cumulated vsize (Kb) 20740
[startup+350.031 s]
Raw data (loadavg): 1.02 1.03 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 2750 0 0 0 26884 2739 0 0 16 0 1 0 1723447863 19329024 2720 4294967295 134512640 134702520 3221223968 3221223360 134605854 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4719 2720 413 48 0 4671 0
[pid=1546] vsize: 18876
Current children cumulated CPU time (s) 296.25
Current children cumulated vsize (Kb) 21004
[startup+360.032 s]
Raw data (loadavg): 1.02 1.03 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 2778 0 0 0 27707 2799 0 0 16 0 1 0 1723447863 19329024 2748 4294967295 134512640 134702520 3221223968 3221223132 1074652272 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4719 2748 413 48 0 4671 0
[pid=1546] vsize: 18876
Current children cumulated CPU time (s) 305.08
Current children cumulated vsize (Kb) 21004
[startup+370.033 s]
Raw data (loadavg): 1.02 1.03 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 2778 0 0 0 28468 2879 0 0 16 0 1 0 1723447863 19329024 2748 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 4719 2748 413 48 0 4671 0
[pid=1546] vsize: 18876
Current children cumulated CPU time (s) 313.49
Current children cumulated vsize (Kb) 21004
[startup+380.034 s]
Raw data (loadavg): 1.01 1.03 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 2778 0 0 0 29253 2956 0 0 17 0 1 0 1723447863 19329024 2748 4294967295 134512640 134702520 3221223968 3221223248 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4719 2748 413 48 0 4671 0
[pid=1546] vsize: 18876
Current children cumulated CPU time (s) 322.11
Current children cumulated vsize (Kb) 21004
[startup+390.035 s]
Raw data (loadavg): 1.01 1.02 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 2845 0 0 0 30065 3022 0 0 16 0 1 0 1723447863 19464192 2815 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 4752 2815 413 48 0 4704 0
[pid=1546] vsize: 19008
Current children cumulated CPU time (s) 330.89
Current children cumulated vsize (Kb) 21136
[startup+400.036 s]
Raw data (loadavg): 1.01 1.02 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 2859 0 0 0 30870 3089 0 0 16 0 1 0 1723447863 19464192 2829 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4752 2829 413 48 0 4704 0
[pid=1546] vsize: 19008
Current children cumulated CPU time (s) 339.61
Current children cumulated vsize (Kb) 21136
[startup+410.036 s]
Raw data (loadavg): 1.01 1.02 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 2898 0 0 0 31700 3145 0 0 16 0 1 0 1723447863 19599360 2868 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 4785 2868 413 48 0 4737 0
[pid=1546] vsize: 19140
Current children cumulated CPU time (s) 348.47
Current children cumulated vsize (Kb) 21268
[startup+420.038 s]
Raw data (loadavg): 1.01 1.02 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 3583 0 0 0 32554 3196 0 0 16 0 1 0 1723447863 19734528 3553 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4818 3553 413 48 0 4770 0
[pid=1546] vsize: 19272
Current children cumulated CPU time (s) 357.52
Current children cumulated vsize (Kb) 21400
[startup+430.039 s]
Raw data (loadavg): 1.00 1.02 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4198 0 0 0 33323 3273 0 0 16 0 1 0 1723447863 19734528 4168 4294967295 134512640 134702520 3221223968 3221222848 134553196 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4818 4168 413 48 0 4770 0
[pid=1546] vsize: 19272
Current children cumulated CPU time (s) 365.98
Current children cumulated vsize (Kb) 21400
[startup+440.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4198 0 0 0 34087 3356 0 0 16 0 1 0 1723447863 19734528 4168 4294967295 134512640 134702520 3221223968 3221223368 134606961 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4818 4168 413 48 0 4770 0
[pid=1546] vsize: 19272
Current children cumulated CPU time (s) 374.45
Current children cumulated vsize (Kb) 21400
[startup+450.039 s]
Raw data (loadavg): 1.00 1.02 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4224 0 0 0 34906 3418 0 0 16 0 1 0 1723447863 19734528 4194 4294967295 134512640 134702520 3221223968 3221223248 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1546/statm): 4818 4194 413 48 0 4770 0
[pid=1546] vsize: 19272
Current children cumulated CPU time (s) 383.26
Current children cumulated vsize (Kb) 21400
[startup+460.04 s]
Raw data (loadavg): 1.00 1.02 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4233 0 0 0 35723 3478 0 0 16 0 1 0 1723447863 19869696 4203 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 4851 4203 413 48 0 4803 0
[pid=1546] vsize: 19404
Current children cumulated CPU time (s) 392.03
Current children cumulated vsize (Kb) 21532
[startup+470.04 s]
Raw data (loadavg): 1.00 1.02 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4237 0 0 0 36541 3544 0 0 16 0 1 0 1723447863 19869696 4207 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4851 4207 413 48 0 4803 0
[pid=1546] vsize: 19404
Current children cumulated CPU time (s) 400.87
Current children cumulated vsize (Kb) 21532
[startup+480.041 s]
Raw data (loadavg): 1.00 1.02 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4249 0 0 0 37376 3595 0 0 17 0 1 0 1723447863 19869696 4219 4294967295 134512640 134702520 3221223968 3221223248 134553147 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4851 4219 413 48 0 4803 0
[pid=1546] vsize: 19404
Current children cumulated CPU time (s) 409.73
Current children cumulated vsize (Kb) 21532
[startup+490.042 s]
Raw data (loadavg): 1.00 1.01 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4272 0 0 0 38184 3659 0 0 16 0 1 0 1723447863 20004864 4242 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 4884 4242 413 48 0 4836 0
[pid=1546] vsize: 19536
Current children cumulated CPU time (s) 418.45
Current children cumulated vsize (Kb) 21664
[startup+500.042 s]
Raw data (loadavg): 1.00 1.01 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4272 0 0 0 38949 3740 0 0 15 0 1 0 1723447863 20004864 4242 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4884 4242 413 48 0 4836 0
[pid=1546] vsize: 19536
Current children cumulated CPU time (s) 426.91
Current children cumulated vsize (Kb) 21664
[startup+510.043 s]
Raw data (loadavg): 1.00 1.01 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4276 0 0 0 39762 3803 0 0 16 0 1 0 1723447863 20004864 4246 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 4884 4246 413 48 0 4836 0
[pid=1546] vsize: 19536
Current children cumulated CPU time (s) 435.67
Current children cumulated vsize (Kb) 21664
[startup+520.044 s]
Raw data (loadavg): 1.00 1.01 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4290 0 0 0 40581 3866 0 0 16 0 1 0 1723447863 20004864 4260 4294967295 134512640 134702520 3221223968 3221223248 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4884 4260 413 48 0 4836 0
[pid=1546] vsize: 19536
Current children cumulated CPU time (s) 444.49
Current children cumulated vsize (Kb) 21664
[startup+530.044 s]
Raw data (loadavg): 1.00 1.01 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4294 0 0 0 41401 3926 0 0 16 0 1 0 1723447863 20004864 4264 4294967295 134512640 134702520 3221223968 3221223368 134607261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4884 4264 413 48 0 4836 0
[pid=1546] vsize: 19536
Current children cumulated CPU time (s) 453.29
Current children cumulated vsize (Kb) 21664
[startup+540.044 s]
Raw data (loadavg): 1.00 1.01 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4304 0 0 0 42239 3979 0 0 17 0 1 0 1723447863 20140032 4274 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 4917 4274 413 48 0 4869 0
[pid=1546] vsize: 19668
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (Kb) 21796
[startup+550.045 s]
Raw data (loadavg): 1.00 1.01 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4310 0 0 0 43049 4043 0 0 16 0 1 0 1723447863 20140032 4280 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 4917 4280 413 48 0 4869 0
[pid=1546] vsize: 19668
Current children cumulated CPU time (s) 470.94
Current children cumulated vsize (Kb) 21796
[startup+560.045 s]
Raw data (loadavg): 1.00 1.01 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4310 0 0 0 43815 4120 0 0 16 0 1 0 1723447863 20140032 4280 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4917 4280 413 48 0 4869 0
[pid=1546] vsize: 19668
Current children cumulated CPU time (s) 479.37
Current children cumulated vsize (Kb) 21796
[startup+570.046 s]
Raw data (loadavg): 1.00 1.01 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4320 0 0 0 44616 4192 0 0 17 0 1 0 1723447863 20140032 4290 4294967295 134512640 134702520 3221223968 3221223248 134557267 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4917 4290 413 48 0 4869 0
[pid=1546] vsize: 19668
Current children cumulated CPU time (s) 488.1
Current children cumulated vsize (Kb) 21796
[startup+580.047 s]
Raw data (loadavg): 1.00 1.01 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4329 0 0 0 45454 4249 0 0 17 0 1 0 1723447863 20275200 4299 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 4950 4299 413 48 0 4902 0
[pid=1546] vsize: 19800
Current children cumulated CPU time (s) 497.05
Current children cumulated vsize (Kb) 21928
[startup+590.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4335 0 0 0 46299 4301 0 0 17 0 1 0 1723447863 20275200 4305 4294967295 134512640 134702520 3221223968 3221223088 134579045 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4950 4305 413 48 0 4902 0
[pid=1546] vsize: 19800
Current children cumulated CPU time (s) 506.02
Current children cumulated vsize (Kb) 21928
[startup+600.048 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4343 0 0 0 47130 4357 0 0 16 0 1 0 1723447863 20275200 4313 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4950 4313 413 48 0 4902 0
[pid=1546] vsize: 19800
Current children cumulated CPU time (s) 514.89
Current children cumulated vsize (Kb) 21928
[startup+610.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4350 0 0 0 47952 4418 0 0 17 0 1 0 1723447863 20275200 4320 4294967295 134512640 134702520 3221223968 3221223248 134553142 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4950 4320 413 48 0 4902 0
[pid=1546] vsize: 19800
Current children cumulated CPU time (s) 523.72
Current children cumulated vsize (Kb) 21928
[startup+620.049 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4385 0 0 0 48793 4472 0 0 16 0 1 0 1723447863 20410368 4355 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 4983 4355 413 48 0 4935 0
[pid=1546] vsize: 19932
Current children cumulated CPU time (s) 532.67
Current children cumulated vsize (Kb) 22060
[startup+630.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4385 0 0 0 49560 4550 0 0 16 0 1 0 1723447863 20410368 4355 4294967295 134512640 134702520 3221223968 3221223168 134617912 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4983 4355 413 48 0 4935 0
[pid=1546] vsize: 19932
Current children cumulated CPU time (s) 541.12
Current children cumulated vsize (Kb) 22060
[startup+640.05 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4390 0 0 0 50367 4617 0 0 17 0 1 0 1723447863 20410368 4360 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 4983 4360 413 48 0 4935 0
[pid=1546] vsize: 19932
Current children cumulated CPU time (s) 549.86
Current children cumulated vsize (Kb) 22060
[startup+650.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4402 0 0 0 51223 4665 0 0 17 0 1 0 1723447863 20549632 4372 4294967295 134512640 134702520 3221223968 3221223248 134557285 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5017 4372 413 48 0 4969 0
[pid=1546] vsize: 20068
Current children cumulated CPU time (s) 558.9
Current children cumulated vsize (Kb) 22196
[startup+660.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4413 0 0 0 52077 4715 0 0 17 0 1 0 1723447863 20549632 4383 4294967295 134512640 134702520 3221223968 3221223248 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5017 4383 413 48 0 4969 0
[pid=1546] vsize: 20068
Current children cumulated CPU time (s) 567.94
Current children cumulated vsize (Kb) 22196
[startup+670.053 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4431 0 0 0 52931 4765 0 0 17 0 1 0 1723447863 20684800 4401 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5050 4401 413 48 0 5002 0
[pid=1546] vsize: 20200
Current children cumulated CPU time (s) 576.98
Current children cumulated vsize (Kb) 22328
[startup+680.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4441 0 0 0 53758 4823 0 0 16 0 1 0 1723447863 20684800 4411 4294967295 134512640 134702520 3221223968 3221222864 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5050 4411 413 48 0 5002 0
[pid=1546] vsize: 20200
Current children cumulated CPU time (s) 585.83
Current children cumulated vsize (Kb) 22328
[startup+690.053 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4448 0 0 0 54581 4885 0 0 16 0 1 0 1723447863 20684800 4418 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5050 4418 413 48 0 5002 0
[pid=1546] vsize: 20200
Current children cumulated CPU time (s) 594.68
Current children cumulated vsize (Kb) 22328
[startup+700.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4448 0 0 0 55346 4971 0 0 16 0 1 0 1723447863 20684800 4418 4294967295 134512640 134702520 3221223968 3221223100 1074652320 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5050 4418 413 48 0 5002 0
[pid=1546] vsize: 20200
Current children cumulated CPU time (s) 603.19
Current children cumulated vsize (Kb) 22328
[startup+710.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4451 0 0 0 56153 5038 0 0 17 0 1 0 1723447863 20684800 4421 4294967295 134512640 134702520 3221223968 3221223248 134557259 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5050 4421 413 48 0 5002 0
[pid=1546] vsize: 20200
Current children cumulated CPU time (s) 611.93
Current children cumulated vsize (Kb) 22328
[startup+720.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4461 0 0 0 57007 5089 0 0 17 0 1 0 1723447863 20684800 4431 4294967295 134512640 134702520 3221223968 3221223248 134553133 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5050 4431 413 48 0 5002 0
[pid=1546] vsize: 20200
Current children cumulated CPU time (s) 620.98
Current children cumulated vsize (Kb) 22328
[startup+730.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4478 0 0 0 57877 5134 0 0 17 0 1 0 1723447863 20824064 4448 4294967295 134512640 134702520 3221223968 3221223248 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5084 4448 413 48 0 5036 0
[pid=1546] vsize: 20336
Current children cumulated CPU time (s) 630.13
Current children cumulated vsize (Kb) 22464
[startup+740.057 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4494 0 0 0 58722 5188 0 0 16 0 1 0 1723447863 20824064 4464 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5084 4464 413 48 0 5036 0
[pid=1546] vsize: 20336
Current children cumulated CPU time (s) 639.12
Current children cumulated vsize (Kb) 22464
[startup+750.057 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4502 0 0 0 59571 5235 0 0 17 0 1 0 1723447863 20959232 4472 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5117 4472 413 48 0 5069 0
[pid=1546] vsize: 20468
Current children cumulated CPU time (s) 648.08
Current children cumulated vsize (Kb) 22596
[startup+760.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4510 0 0 0 60421 5286 0 0 17 0 1 0 1723447863 20959232 4480 4294967295 134512640 134702520 3221223968 3221223248 134557252 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5117 4480 413 48 0 5069 0
[pid=1546] vsize: 20468
Current children cumulated CPU time (s) 657.09
Current children cumulated vsize (Kb) 22596
[startup+770.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4514 0 0 0 61200 5365 0 0 16 0 1 0 1723447863 20959232 4484 4294967295 134512640 134702520 3221223968 3221222864 134553029 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5117 4484 413 48 0 5069 0
[pid=1546] vsize: 20468
Current children cumulated CPU time (s) 665.67
Current children cumulated vsize (Kb) 22596
[startup+780.06 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4514 0 0 0 61958 5451 0 0 16 0 1 0 1723447863 20959232 4484 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5117 4484 413 48 0 5069 0
[pid=1546] vsize: 20468
Current children cumulated CPU time (s) 674.11
Current children cumulated vsize (Kb) 22596
[startup+790.061 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4532 0 0 0 62826 5496 0 0 16 0 1 0 1723447863 21098496 4502 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5151 4502 413 48 0 5103 0
[pid=1546] vsize: 20604
Current children cumulated CPU time (s) 683.24
Current children cumulated vsize (Kb) 22732
[startup+800.062 s]
Raw data (loadavg): 1.08 1.02 1.01 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4540 0 0 0 63673 5548 0 0 16 0 1 0 1723447863 21098496 4510 4294967295 134512640 134702520 3221223968 3221223248 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5151 4510 413 48 0 5103 0
[pid=1546] vsize: 20604
Current children cumulated CPU time (s) 692.23
Current children cumulated vsize (Kb) 22732
[startup+810.062 s]
Raw data (loadavg): 1.07 1.02 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4554 0 0 0 64540 5593 0 0 16 0 1 0 1723447863 21098496 4524 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5151 4524 413 48 0 5103 0
[pid=1546] vsize: 20604
Current children cumulated CPU time (s) 701.35
Current children cumulated vsize (Kb) 22732
[startup+820.063 s]
Raw data (loadavg): 1.06 1.01 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4562 0 0 0 65385 5643 0 0 17 0 1 0 1723447863 21098496 4532 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5151 4532 413 48 0 5103 0
[pid=1546] vsize: 20604
Current children cumulated CPU time (s) 710.3
Current children cumulated vsize (Kb) 22732
[startup+830.064 s]
Raw data (loadavg): 1.05 1.01 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4577 0 0 0 66245 5690 0 0 16 0 1 0 1723447863 21233664 4547 4294967295 134512640 134702520 3221223968 3221223088 134588359 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5184 4547 413 48 0 5136 0
[pid=1546] vsize: 20736
Current children cumulated CPU time (s) 719.37
Current children cumulated vsize (Kb) 22864
[startup+840.065 s]
Raw data (loadavg): 1.04 1.01 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4583 0 0 0 67098 5743 0 0 16 0 1 0 1723447863 21233664 4553 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5184 4553 413 48 0 5136 0
[pid=1546] vsize: 20736
Current children cumulated CPU time (s) 728.43
Current children cumulated vsize (Kb) 22864
[startup+850.066 s]
Raw data (loadavg): 1.03 1.01 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4583 0 0 0 67860 5826 0 0 16 0 1 0 1723447863 21233664 4553 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5184 4553 413 48 0 5136 0
[pid=1546] vsize: 20736
Current children cumulated CPU time (s) 736.88
Current children cumulated vsize (Kb) 22864
[startup+860.067 s]
Raw data (loadavg): 1.03 1.01 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4585 0 0 0 68664 5898 0 0 17 0 1 0 1723447863 21233664 4555 4294967295 134512640 134702520 3221223968 3221223248 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5184 4555 413 48 0 5136 0
[pid=1546] vsize: 20736
Current children cumulated CPU time (s) 745.64
Current children cumulated vsize (Kb) 22864
[startup+870.069 s]
Raw data (loadavg): 1.02 1.01 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4593 0 0 0 69508 5946 0 0 17 0 1 0 1723447863 21233664 4563 4294967295 134512640 134702520 3221223968 3221223088 134588537 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5184 4563 413 48 0 5136 0
[pid=1546] vsize: 20736
Current children cumulated CPU time (s) 754.56
Current children cumulated vsize (Kb) 22864
[startup+880.069 s]
Raw data (loadavg): 1.02 1.01 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4600 0 0 0 70384 5986 0 0 16 0 1 0 1723447863 21372928 4570 4294967295 134512640 134702520 3221223968 3221223248 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5218 4570 413 48 0 5170 0
[pid=1546] vsize: 20872
Current children cumulated CPU time (s) 763.72
Current children cumulated vsize (Kb) 23000
[startup+890.069 s]
Raw data (loadavg): 1.02 1.01 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4620 0 0 0 71269 6028 0 0 16 0 1 0 1723447863 21372928 4590 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5218 4590 413 48 0 5170 0
[pid=1546] vsize: 20872
Current children cumulated CPU time (s) 772.99
Current children cumulated vsize (Kb) 23000
[startup+900.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4628 0 0 0 72125 6075 0 0 16 0 1 0 1723447863 21372928 4598 4294967295 134512640 134702520 3221223968 3221223088 134584563 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5218 4598 413 48 0 5170 0
[pid=1546] vsize: 20872
Current children cumulated CPU time (s) 782.02
Current children cumulated vsize (Kb) 23000
[startup+910.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4637 0 0 0 72996 6117 0 0 16 0 1 0 1723447863 21508096 4607 4294967295 134512640 134702520 3221223968 3221222864 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5251 4607 413 48 0 5203 0
[pid=1546] vsize: 21004
Current children cumulated CPU time (s) 791.15
Current children cumulated vsize (Kb) 23132
[startup+920.071 s]
Raw data (loadavg): 1.01 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4647 0 0 0 73875 6158 0 0 16 0 1 0 1723447863 21508096 4617 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5251 4617 413 48 0 5203 0
[pid=1546] vsize: 21004
Current children cumulated CPU time (s) 800.35
Current children cumulated vsize (Kb) 23132
[startup+930.072 s]
Raw data (loadavg): 1.01 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4647 0 0 0 74643 6237 0 0 16 0 1 0 1723447863 21508096 4617 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5251 4617 413 48 0 5203 0
[pid=1546] vsize: 21004
Current children cumulated CPU time (s) 808.82
Current children cumulated vsize (Kb) 23132
[startup+940.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4647 0 0 0 75419 6317 0 0 17 0 1 0 1723447863 21508096 4617 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5251 4617 413 48 0 5203 0
[pid=1546] vsize: 21004
Current children cumulated CPU time (s) 817.38
Current children cumulated vsize (Kb) 23132
[startup+950.072 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4658 0 0 0 76316 6354 0 0 16 0 1 0 1723447863 21508096 4628 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5251 4628 413 48 0 5203 0
[pid=1546] vsize: 21004
Current children cumulated CPU time (s) 826.72
Current children cumulated vsize (Kb) 23132
[startup+960.073 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4666 0 0 0 77172 6400 0 0 16 0 1 0 1723447863 21647360 4636 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5285 4636 413 48 0 5237 0
[pid=1546] vsize: 21140
Current children cumulated CPU time (s) 835.74
Current children cumulated vsize (Kb) 23268
[startup+970.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4670 0 0 0 78051 6441 0 0 17 0 1 0 1723447863 21647360 4640 4294967295 134512640 134702520 3221223968 3221223296 134617472 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5285 4640 413 48 0 5237 0
[pid=1546] vsize: 21140
Current children cumulated CPU time (s) 844.94
Current children cumulated vsize (Kb) 23268
[startup+980.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4678 0 0 0 78906 6491 0 0 17 0 1 0 1723447863 21647360 4648 4294967295 134512640 134702520 3221223968 3221223088 134573708 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5285 4648 413 48 0 5237 0
[pid=1546] vsize: 21140
Current children cumulated CPU time (s) 853.99
Current children cumulated vsize (Kb) 23268
[startup+990.076 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4686 0 0 0 79778 6533 0 0 17 0 1 0 1723447863 21647360 4656 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5285 4656 413 48 0 5237 0
[pid=1546] vsize: 21140
Current children cumulated CPU time (s) 863.13
Current children cumulated vsize (Kb) 23268
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4692 0 0 0 80649 6578 0 0 17 0 1 0 1723447863 21647360 4662 4294967295 134512640 134702520 3221223968 3221223088 134573718 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5285 4662 413 48 0 5237 0
[pid=1546] vsize: 21140
Current children cumulated CPU time (s) 872.29
Current children cumulated vsize (Kb) 23268
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4711 0 0 0 81488 6636 0 0 16 0 1 0 1723447863 21782528 4681 4294967295 134512640 134702520 3221223968 3221222864 134550404 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5318 4681 413 48 0 5270 0
[pid=1546] vsize: 21272
Current children cumulated CPU time (s) 881.26
Current children cumulated vsize (Kb) 23400
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4711 0 0 0 82253 6722 0 0 16 0 1 0 1723447863 21782528 4681 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5318 4681 413 48 0 5270 0
[pid=1546] vsize: 21272
Current children cumulated CPU time (s) 889.77
Current children cumulated vsize (Kb) 23400
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4717 0 0 0 83097 6774 0 0 17 0 1 0 1723447863 21782528 4687 4294967295 134512640 134702520 3221223968 3221223248 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5318 4687 413 48 0 5270 0
[pid=1546] vsize: 21272
Current children cumulated CPU time (s) 898.73
Current children cumulated vsize (Kb) 23400
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4725 0 0 0 83959 6820 0 0 17 0 1 0 1723447863 21782528 4695 4294967295 134512640 134702520 3221223968 3221223360 134605861 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5318 4695 413 48 0 5270 0
[pid=1546] vsize: 21272
Current children cumulated CPU time (s) 907.81
Current children cumulated vsize (Kb) 23400
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4733 0 0 0 84824 6869 0 0 16 0 1 0 1723447863 21913600 4703 4294967295 134512640 134702520 3221223968 3221223248 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5350 4703 413 48 0 5302 0
[pid=1546] vsize: 21400
Current children cumulated CPU time (s) 916.95
Current children cumulated vsize (Kb) 23528
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4743 0 0 0 85686 6916 0 0 17 0 1 0 1723447863 21913600 4713 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5350 4713 413 48 0 5302 0
[pid=1546] vsize: 21400
Current children cumulated CPU time (s) 926.04
Current children cumulated vsize (Kb) 23528
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4747 0 0 0 86558 6959 0 0 17 0 1 0 1723447863 21913600 4717 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5350 4717 413 48 0 5302 0
[pid=1546] vsize: 21400
Current children cumulated CPU time (s) 935.19
Current children cumulated vsize (Kb) 23528
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4753 0 0 0 87438 6998 0 0 16 0 1 0 1723447863 21913600 4723 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5350 4723 413 48 0 5302 0
[pid=1546] vsize: 21400
Current children cumulated CPU time (s) 944.38
Current children cumulated vsize (Kb) 23528
[startup+1090.08 s]
Raw data (loadavg): 1.07 1.02 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4761 0 0 0 88321 7037 0 0 16 0 1 0 1723447863 21913600 4731 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5350 4731 413 48 0 5302 0
[pid=1546] vsize: 21400
Current children cumulated CPU time (s) 953.6
Current children cumulated vsize (Kb) 23528
[startup+1100.08 s]
Raw data (loadavg): 1.06 1.02 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4761 0 0 0 89083 7119 0 0 16 0 1 0 1723447863 21913600 4731 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5350 4731 413 48 0 5302 0
[pid=1546] vsize: 21400
Current children cumulated CPU time (s) 962.04
Current children cumulated vsize (Kb) 23528
[startup+1110.08 s]
Raw data (loadavg): 1.05 1.01 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4763 0 0 0 89868 7192 0 0 17 0 1 0 1723447863 22052864 4733 4294967295 134512640 134702520 3221223968 3221223248 134557252 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5384 4733 413 48 0 5336 0
[pid=1546] vsize: 21536
Current children cumulated CPU time (s) 970.62
Current children cumulated vsize (Kb) 23664
[startup+1120.08 s]
Raw data (loadavg): 1.04 1.01 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4769 0 0 0 90755 7231 0 0 16 0 1 0 1723447863 22052864 4739 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5384 4739 413 48 0 5336 0
[pid=1546] vsize: 21536
Current children cumulated CPU time (s) 979.88
Current children cumulated vsize (Kb) 23664
[startup+1130.09 s]
Raw data (loadavg): 1.04 1.01 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4777 0 0 0 91642 7269 0 0 17 0 1 0 1723447863 22052864 4747 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5384 4747 413 48 0 5336 0
[pid=1546] vsize: 21536
Current children cumulated CPU time (s) 989.13
Current children cumulated vsize (Kb) 23664
[startup+1140.09 s]
Raw data (loadavg): 1.03 1.01 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4781 0 0 0 92511 7311 0 0 17 0 1 0 1723447863 22052864 4751 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5384 4751 413 48 0 5336 0
[pid=1546] vsize: 21536
Current children cumulated CPU time (s) 998.24
Current children cumulated vsize (Kb) 23664
[startup+1150.09 s]
Raw data (loadavg): 1.02 1.01 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4785 0 0 0 93388 7352 0 0 16 0 1 0 1723447863 22052864 4755 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5384 4755 413 48 0 5336 0
[pid=1546] vsize: 21536
Current children cumulated CPU time (s) 1007.42
Current children cumulated vsize (Kb) 23664
[startup+1160.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4793 0 0 0 94253 7398 0 0 17 0 1 0 1723447863 22052864 4763 4294967295 134512640 134702520 3221223968 3221223088 134588505 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5384 4763 413 48 0 5336 0
[pid=1546] vsize: 21536
Current children cumulated CPU time (s) 1016.53
Current children cumulated vsize (Kb) 23664
[startup+1170.09 s]
Raw data (loadavg): 1.02 1.01 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4797 0 0 0 95119 7444 0 0 17 0 1 0 1723447863 22192128 4767 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5418 4767 413 48 0 5370 0
[pid=1546] vsize: 21672
Current children cumulated CPU time (s) 1025.65
Current children cumulated vsize (Kb) 23800
[startup+1180.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4815 0 0 0 95997 7487 0 0 16 0 1 0 1723447863 22192128 4785 4294967295 134512640 134702520 3221223968 3221222864 134552530 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5418 4785 413 48 0 5370 0
[pid=1546] vsize: 21672
Current children cumulated CPU time (s) 1034.86
Current children cumulated vsize (Kb) 23800
[startup+1190.09 s]
Raw data (loadavg): 1.01 1.01 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4815 0 0 0 96764 7571 0 0 16 0 1 0 1723447863 22192128 4785 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5418 4785 413 48 0 5370 0
[pid=1546] vsize: 21672
Current children cumulated CPU time (s) 1043.37
Current children cumulated vsize (Kb) 23800
[startup+1200.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4819 0 0 0 97567 7641 0 0 16 0 1 0 1723447863 22192128 4789 4294967295 134512640 134702520 3221223968 3221223088 134588369 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5418 4789 413 48 0 5370 0
[pid=1546] vsize: 21672
Current children cumulated CPU time (s) 1052.1
Current children cumulated vsize (Kb) 23800
[startup+1210.09 s]
Raw data (loadavg): 1.01 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4835 0 0 0 98434 7685 0 0 16 0 1 0 1723447863 22331392 4805 4294967295 134512640 134702520 3221223968 3221223248 134553168 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5452 4805 413 48 0 5404 0
[pid=1546] vsize: 21808
Current children cumulated CPU time (s) 1061.21
Current children cumulated vsize (Kb) 23936
[startup+1220.09 s]
Raw data (loadavg): 1.01 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4845 0 0 0 99311 7725 0 0 16 0 1 0 1723447863 22331392 4815 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5452 4815 413 48 0 5404 0
[pid=1546] vsize: 21808
Current children cumulated CPU time (s) 1070.38
Current children cumulated vsize (Kb) 23936
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4853 0 0 0 100204 7760 0 0 17 0 1 0 1723447863 22331392 4823 4294967295 134512640 134702520 3221223968 3221223248 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5452 4823 413 48 0 5404 0
[pid=1546] vsize: 21808
Current children cumulated CPU time (s) 1079.66
Current children cumulated vsize (Kb) 23936
[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4879 0 0 0 101079 7801 0 0 17 0 1 0 1723447863 22470656 4849 4294967295 134512640 134702520 3221223968 3221223248 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5486 4849 413 48 0 5438 0
[pid=1546] vsize: 21944
Current children cumulated CPU time (s) 1088.82
Current children cumulated vsize (Kb) 24072
[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4887 0 0 0 101943 7848 0 0 16 0 1 0 1723447863 22470656 4857 4294967295 134512640 134702520 3221223968 3221223368 134606953 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5486 4857 413 48 0 5438 0
[pid=1546] vsize: 21944
Current children cumulated CPU time (s) 1097.93
Current children cumulated vsize (Kb) 24072
[startup+1260.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4900 0 0 0 102808 7892 0 0 17 0 1 0 1723447863 22605824 4870 4294967295 134512640 134702520 3221223968 3221223248 134557278 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5519 4870 413 48 0 5471 0
[pid=1546] vsize: 22076
Current children cumulated CPU time (s) 1107.02
Current children cumulated vsize (Kb) 24204
[startup+1270.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4912 0 0 0 103697 7930 0 0 16 0 1 0 1723447863 22605824 4882 4294967295 134512640 134702520 3221223968 3221222864 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5519 4882 413 48 0 5471 0
[pid=1546] vsize: 22076
Current children cumulated CPU time (s) 1116.29
Current children cumulated vsize (Kb) 24204
[startup+1280.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4912 0 0 0 104462 8009 0 0 16 0 1 0 1723447863 22605824 4882 4294967295 134512640 134702520 3221223968 3221222864 134551086 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5519 4882 413 48 0 5471 0
[pid=1546] vsize: 22076
Current children cumulated CPU time (s) 1124.73
Current children cumulated vsize (Kb) 24204
[startup+1290.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4914 0 0 0 105262 8081 0 0 17 0 1 0 1723447863 22605824 4884 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5519 4884 413 48 0 5471 0
[pid=1546] vsize: 22076
Current children cumulated CPU time (s) 1133.45
Current children cumulated vsize (Kb) 24204
[startup+1300.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4920 0 0 0 106135 8123 0 0 16 0 1 0 1723447863 22605824 4890 4294967295 134512640 134702520 3221223968 3221223248 134557278 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5519 4890 413 48 0 5471 0
[pid=1546] vsize: 22076
Current children cumulated CPU time (s) 1142.6
Current children cumulated vsize (Kb) 24204
[startup+1310.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4938 0 0 0 107027 8157 0 0 16 0 1 0 1723447863 22745088 4908 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5553 4908 413 48 0 5505 0
[pid=1546] vsize: 22212
Current children cumulated CPU time (s) 1151.86
Current children cumulated vsize (Kb) 24340
[startup+1320.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4940 0 0 0 107810 8230 0 0 16 0 1 0 1723447863 22745088 4910 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5553 4910 413 48 0 5505 0
[pid=1546] vsize: 22212
Current children cumulated CPU time (s) 1160.42
Current children cumulated vsize (Kb) 24340
[startup+1330.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4940 0 0 0 108534 8324 0 0 16 0 1 0 1723447863 22745088 4910 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5553 4910 413 48 0 5505 0
[pid=1546] vsize: 22212
Current children cumulated CPU time (s) 1168.6
Current children cumulated vsize (Kb) 24340
[startup+1340.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4940 0 0 0 109267 8413 0 0 16 0 1 0 1723447863 22745088 4910 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5553 4910 413 48 0 5505 0
[pid=1546] vsize: 22212
Current children cumulated CPU time (s) 1176.82
Current children cumulated vsize (Kb) 24340
[startup+1350.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4940 0 0 0 110023 8499 0 0 16 0 1 0 1723447863 22745088 4910 4294967295 134512640 134702520 3221223968 3221222864 134553460 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5553 4910 413 48 0 5505 0
[pid=1546] vsize: 22212
Current children cumulated CPU time (s) 1185.24
Current children cumulated vsize (Kb) 24340
[startup+1360.1 s]
Raw data (loadavg): 1.08 1.02 1.01 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4940 0 0 0 110768 8586 0 0 16 0 1 0 1723447863 22745088 4910 4294967295 134512640 134702520 3221223968 3221223248 134557278 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5553 4910 413 48 0 5505 0
[pid=1546] vsize: 22212
Current children cumulated CPU time (s) 1193.56
Current children cumulated vsize (Kb) 24340
[startup+1370.1 s]
Raw data (loadavg): 1.07 1.02 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4940 0 0 0 111497 8675 0 0 16 0 1 0 1723447863 22745088 4910 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5553 4910 413 48 0 5505 0
[pid=1546] vsize: 22212
Current children cumulated CPU time (s) 1201.74
Current children cumulated vsize (Kb) 24340
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1370.1 s]
Raw data (loadavg): 1.07 1.02 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4940 0 0 0 111497 8675 0 0 16 0 1 0 1723447863 22745088 4910 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5553 4910 413 48 0 5505 0
[pid=1546] vsize: 22212
Current children cumulated CPU time (s) 1201.74
Current children cumulated vsize (Kb) 24340
Sending SIGTERM to -1543
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=1548
New process pid=1549
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 /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)
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/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1543/stat
open syscall for file /proc/1543/status
open syscall for file /proc/1543/cmdline
open syscall for file /proc/1543/environ
open syscall for file /proc/1546/stat
open syscall for file /proc/1546/status
open syscall for file /proc/1546/cmdline
open syscall for file /proc/1546/environ
open syscall for file /proc/1548/stat
open syscall for file /proc/1548/status
open syscall for file /proc/1548/cmdline
open syscall for file /proc/1548/environ
open syscall for file /proc/1549/stat
open syscall for file /proc/1549/status
open syscall for file /proc/1549/cmdline
open syscall for file /proc/1549/environ
One traced child (pid=1548) exited with status: 0
One traced child (pid=1549) exited with status: 0
New process pid=1550
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=1550) exited with status: 0
New process pid=1551
execve syscall for /bin/nice 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 /etc/ld.so.preload
open syscall for file tls/i686/mmx/libacl.so.1
open syscall for file tls/i686/libacl.so.1
open syscall for file tls/mmx/libacl.so.1
open syscall for file tls/libacl.so.1
open syscall for file i686/mmx/libacl.so.1
open syscall for file i686/libacl.so.1
open syscall for file mmx/libacl.so.1
open syscall for file libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/libacl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libacl.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/libattr.so.1
open syscall for file tls/i686/libattr.so.1
open syscall for file tls/mmx/libattr.so.1
open syscall for file tls/libattr.so.1
open syscall for file i686/mmx/libattr.so.1
open syscall for file i686/libattr.so.1
open syscall for file mmx/libattr.so.1
open syscall for file libattr.so.1
open syscall for file /oldhome/oroussel/lib/libattr.so.1
open syscall for file /lib/libattr.so.1
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_out_theory.vnf
One traced child (pid=1551) exited with status: 0
New process pid=1552
execve syscall for /bin/cp executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libacl.so.1
open syscall for file tls/i686/libacl.so.1
open syscall for file tls/mmx/libacl.so.1
open syscall for file tls/libacl.so.1
open syscall for file i686/mmx/libacl.so.1
open syscall for file i686/libacl.so.1
open syscall for file mmx/libacl.so.1
open syscall for file libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/libacl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libacl.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/libattr.so.1
open syscall for file tls/i686/libattr.so.1
open syscall for file tls/mmx/libattr.so.1
open syscall for file tls/libattr.so.1
open syscall for file i686/mmx/libattr.so.1
open syscall for file i686/libattr.so.1
open syscall for file mmx/libattr.so.1
open syscall for file libattr.so.1
open syscall for file /oldhome/oroussel/lib/libattr.so.1
open syscall for file /lib/libattr.so.1
One traced child (pid=1552) exited with status: 1
New process pid=1553
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=1553) exited with status: 0
One traced child (pid=1543) ended because it received signal 15 (SIGTERM)
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=1546) exited with status: 3
All traced children have exited ! Game is over.
Child status: 3
Real time (s): 1370.76
CPU time (s): 1202.35
CPU user time (s): 1115.53
CPU system time (s): 86.8218
CPU usage (%): 87.7144
Max. virtual memory (cumulated for all children) (Kb): 24340