1:
seed: 0
Nr of vars set: 8 (#equs: 0)
Nr of vars set: 364 (#equs: 2058)
#decisions: 130; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 81 (80)
#axs: 6442, #non-axs: 1
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: 1398 (1327:>=*);
#decisions: 382644; #end-nodes: 87821;
#proof improvement attempts: 0; #restarts: 576
Current batch, end-nodes: 0 / 223 (223)
#axs: 6445, #non-axs: 40
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:
(pushed:) 1398 (1327:>=*)
No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 374 (#equs: 2061)
Time taken: 5 min, 57 sec
2:
seed: 0
Nr of vars set: 374 (#equs: 0)
Nr of vars set: 374 (#equs: 4)
Interupt request received.
#decisions: 12189326; #end-nodes: 2563734;
#proof improvement attempts: 0; #restarts: 4072
Current batch, end-nodes: 790 / 1138 (1138)
#axs: 675, #non-axs: 128
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 24, end (keep): 34
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 581 (#equs: 4)
Time taken: 14 min, 6 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/1688/stat): 1688 (vallstSAT2005PB) R 1687 1688 22582 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1787538853 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1688/statm): 174 3 169 147 0 27 0
[pid=1688] 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=1689
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=1689) exited with status: 0
New process pid=1690
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=1690) exited with status: 0
New process pid=1691
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/wulflinc10/normalized-ssa7552-159.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0028 s]
Raw data (loadavg): 0.93 1.00 0.99 1/57 1691
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787538853 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 242 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1691/stat): 1691 (vallst) T 1688 1688 22582 0 -1 0 390 0 0 0 730 89 0 0 18 0 1 0 1787538862 2801664 360 4294967295 134512640 134702520 3221223968 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1691/statm): 684 360 413 48 0 636 0
[pid=1691] vsize: 2736
Current children cumulated CPU time (s) 8.21
Current children cumulated vsize (Kb) 4864
[startup+20.0033 s]
Raw data (loadavg): 0.94 1.00 0.99 2/57 1691
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787538853 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 242 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1691/stat): 1691 (vallst) R 1688 1688 22582 0 -1 0 669 0 0 0 1541 158 0 0 25 0 1 0 1787538862 3887104 639 4294967295 134512640 134702520 3221223968 3221223248 134552242 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1691/statm): 949 639 413 48 0 901 0
[pid=1691] vsize: 3796
Current children cumulated CPU time (s) 17.01
Current children cumulated vsize (Kb) 5924
[startup+30.0039 s]
Raw data (loadavg): 0.95 1.00 0.99 1/57 1691
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787538853 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 242 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1691/stat): 1691 (vallst) T 1688 1688 22582 0 -1 0 674 0 0 0 2476 180 0 0 25 0 1 0 1787538862 4009984 644 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1691/statm): 979 644 413 48 0 931 0
[pid=1691] vsize: 3916
Current children cumulated CPU time (s) 26.58
Current children cumulated vsize (Kb) 6044
[startup+40.0054 s]
Raw data (loadavg): 0.96 1.00 0.99 2/57 1691
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787538853 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 242 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1691/stat): 1691 (vallst) R 1688 1688 22582 0 -1 0 678 0 0 0 3412 202 0 0 25 0 1 0 1787538862 4009984 648 4294967295 134512640 134702520 3221223968 3221223248 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1691/statm): 979 648 413 48 0 931 0
[pid=1691] vsize: 3916
Current children cumulated CPU time (s) 36.16
Current children cumulated vsize (Kb) 6044
[startup+50.006 s]
Raw data (loadavg): 0.96 1.00 0.99 2/57 1691
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787538853 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 242 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1691/stat): 1691 (vallst) T 1688 1688 22582 0 -1 0 682 0 0 0 4342 226 0 0 25 0 1 0 1787538862 4009984 652 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1691/statm): 979 652 413 48 0 931 0
[pid=1691] vsize: 3916
Current children cumulated CPU time (s) 45.7
Current children cumulated vsize (Kb) 6044
[startup+60.0055 s]
Raw data (loadavg): 0.97 1.00 0.99 2/57 1691
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787538853 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 242 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1691/stat): 1691 (vallst) R 1688 1688 22582 0 -1 0 682 0 0 0 5281 246 0 0 25 0 1 0 1787538862 4009984 652 4294967295 134512640 134702520 3221223968 3221222864 134552345 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1691/statm): 979 652 413 48 0 931 0
[pid=1691] vsize: 3916
Current children cumulated CPU time (s) 55.29
Current children cumulated vsize (Kb) 6044
[startup+70.0071 s]
Raw data (loadavg): 0.97 1.00 0.99 2/57 1691
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787538853 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 242 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1691/stat): 1691 (vallst) R 1688 1688 22582 0 -1 0 682 0 0 0 6220 267 0 0 25 0 1 0 1787538862 4009984 652 4294967295 134512640 134702520 3221223968 3221223088 134578907 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1691/statm): 979 652 413 48 0 931 0
[pid=1691] vsize: 3916
Current children cumulated CPU time (s) 64.89
Current children cumulated vsize (Kb) 6044
[startup+80.0076 s]
Raw data (loadavg): 0.98 1.00 0.99 2/57 1691
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787538853 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 242 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1691/stat): 1691 (vallst) R 1688 1688 22582 0 -1 0 685 0 0 0 7153 292 0 0 25 0 1 0 1787538862 4009984 655 4294967295 134512640 134702520 3221223968 3221223248 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1691/statm): 979 655 413 48 0 931 0
[pid=1691] vsize: 3916
Current children cumulated CPU time (s) 74.47
Current children cumulated vsize (Kb) 6044
[startup+90.0082 s]
Raw data (loadavg): 0.98 1.00 0.99 2/57 1691
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787538853 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 242 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1691/stat): 1691 (vallst) R 1688 1688 22582 0 -1 0 688 0 0 0 8086 312 0 0 25 0 1 0 1787538862 4009984 658 4294967295 134512640 134702520 3221223968 3221222864 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1691/statm): 979 658 413 48 0 931 0
[pid=1691] vsize: 3916
Current children cumulated CPU time (s) 84
Current children cumulated vsize (Kb) 6044
[startup+100.01 s]
Raw data (loadavg): 0.98 1.00 0.99 2/57 1691
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787538853 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 242 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1691/stat): 1691 (vallst) R 1688 1688 22582 0 -1 0 689 0 0 0 9017 336 0 0 25 0 1 0 1787538862 4009984 659 4294967295 134512640 134702520 3221223968 3221223248 134552347 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1691/statm): 979 659 413 48 0 931 0
[pid=1691] vsize: 3916
Current children cumulated CPU time (s) 93.55
Current children cumulated vsize (Kb) 6044
[startup+110.01 s]
Raw data (loadavg): 0.98 1.00 0.99 2/57 1691
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787538853 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 242 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1691/stat): 1691 (vallst) R 1688 1688 22582 0 -1 0 691 0 0 0 9957 356 0 0 25 0 1 0 1787538862 4009984 661 4294967295 134512640 134702520 3221223968 3221222864 134552553 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1691/statm): 979 661 413 48 0 931 0
[pid=1691] vsize: 3916
Current children cumulated CPU time (s) 103.15
Current children cumulated vsize (Kb) 6044
[startup+120.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/57 1691
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787538853 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 242 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1691/stat): 1691 (vallst) R 1688 1688 22582 0 -1 0 691 0 0 0 10892 377 0 0 25 0 1 0 1787538862 4009984 661 4294967295 134512640 134702520 3221223968 3221223088 134584464 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1691/statm): 979 661 413 48 0 931 0
[pid=1691] vsize: 3916
Current children cumulated CPU time (s) 112.71
Current children cumulated vsize (Kb) 6044
[startup+130.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/57 1691
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787538853 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 242 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1691/stat): 1691 (vallst) R 1688 1688 22582 0 -1 0 692 0 0 0 11819 403 0 0 25 0 1 0 1787538862 4009984 662 4294967295 134512640 134702520 3221223968 3221223248 134552268 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1691/statm): 979 662 413 48 0 931 0
[pid=1691] vsize: 3916
Current children cumulated CPU time (s) 122.24
Current children cumulated vsize (Kb) 6044
[startup+140.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/57 1691
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787538853 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 242 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1691/stat): 1691 (vallst) R 1688 1688 22582 0 -1 0 695 0 0 0 12750 427 0 0 25 0 1 0 1787538862 4009984 665 4294967295 134512640 134702520 3221223968 3221223088 134584491 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1691/statm): 979 665 413 48 0 931 0
[pid=1691] vsize: 3916
Current children cumulated CPU time (s) 131.79
Current children cumulated vsize (Kb) 6044
[startup+150.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/57 1691
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787538853 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 242 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1691/stat): 1691 (vallst) R 1688 1688 22582 0 -1 0 697 0 0 0 13681 451 0 0 25 0 1 0 1787538862 4009984 667 4294967295 134512640 134702520 3221223968 3221223248 134552263 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1691/statm): 979 667 413 48 0 931 0
[pid=1691] vsize: 3916
Current children cumulated CPU time (s) 141.34
Current children cumulated vsize (Kb) 6044
[startup+160.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/57 1691
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787538853 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 242 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1691/stat): 1691 (vallst) R 1688 1688 22582 0 -1 0 699 0 0 0 14608 475 0 0 25 0 1 0 1787538862 4009984 669 4294967295 134512640 134702520 3221223968 3221192684 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1691/statm): 979 669 413 48 0 931 0
[pid=1691] vsize: 3916
Current children cumulated CPU time (s) 150.85
Current children cumulated vsize (Kb) 6044
[startup+170.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/57 1691
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787538853 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 242 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1691/stat): 1691 (vallst) R 1688 1688 22582 0 -1 0 700 0 0 0 15552 494 0 0 25 0 1 0 1787538862 4009984 670 4294967295 134512640 134702520 3221223968 3221222864 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1691/statm): 979 670 413 48 0 931 0
[pid=1691] vsize: 3916
Current children cumulated CPU time (s) 160.48
Current children cumulated vsize (Kb) 6044
[startup+180.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/57 1691
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787538853 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 242 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1691/stat): 1691 (vallst) R 1688 1688 22582 0 -1 0 700 0 0 0 16487 516 0 0 25 0 1 0 1787538862 4009984 670 4294967295 134512640 134702520 3221223968 3221223248 134553489 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1691/statm): 979 670 413 48 0 931 0
[pid=1691] vsize: 3916
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 6044
[startup+190.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/57 1691
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787538853 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 242 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1691/stat): 1691 (vallst) R 1688 1688 22582 0 -1 0 701 0 0 0 17414 540 0 0 25 0 1 0 1787538862 4124672 671 4294967295 134512640 134702520 3221223968 3221223248 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1691/statm): 1007 671 413 48 0 959 0
[pid=1691] vsize: 4028
Current children cumulated CPU time (s) 179.56
Current children cumulated vsize (Kb) 6156
[startup+200.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/57 1691
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787538853 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 242 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1691/stat): 1691 (vallst) R 1688 1688 22582 0 -1 0 703 0 0 0 18344 562 0 0 25 0 1 0 1787538862 4124672 673 4294967295 134512640 134702520 3221223968 3221223248 134552889 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1691/statm): 1007 673 413 48 0 959 0
[pid=1691] vsize: 4028
Current children cumulated CPU time (s) 189.08
Current children cumulated vsize (Kb) 6156
[startup+210.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/57 1691
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787538853 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 242 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1691/stat): 1691 (vallst) R 1688 1688 22582 0 -1 0 704 0 0 0 19271 588 0 0 25 0 1 0 1787538862 4124672 674 4294967295 134512640 134702520 3221223968 3221223248 134552268 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1691/statm): 1007 674 413 48 0 959 0
[pid=1691] vsize: 4028
Current children cumulated CPU time (s) 198.61
Current children cumulated vsize (Kb) 6156
[startup+220.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/57 1691
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787538853 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 242 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1691/stat): 1691 (vallst) T 1688 1688 22582 0 -1 0 705 0 0 0 20199 613 0 0 25 0 1 0 1787538862 4124672 675 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1691/statm): 1007 675 413 48 0 959 0
[pid=1691] vsize: 4028
Current children cumulated CPU time (s) 208.14
Current children cumulated vsize (Kb) 6156
[startup+230.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/57 1691
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787538853 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 242 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1691/stat): 1691 (vallst) R 1688 1688 22582 0 -1 0 706 0 0 0 21137 634 0 0 25 0 1 0 1787538862 4124672 676 4294967295 134512640 134702520 3221223968 3221222864 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1691/statm): 1007 676 413 48 0 959 0
[pid=1691] vsize: 4028
Current children cumulated CPU time (s) 217.73
Current children cumulated vsize (Kb) 6156
[startup+240.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/57 1691
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787538853 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 242 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1691/stat): 1691 (vallst) R 1688 1688 22582 0 -1 0 706 0 0 0 22072 656 0 0 25 0 1 0 1787538862 4124672 676 4294967295 134512640 134702520 3221223968 3221223248 134554260 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1691/statm): 1007 676 413 48 0 959 0
[pid=1691] vsize: 4028
Current children cumulated CPU time (s) 227.3
Current children cumulated vsize (Kb) 6156
[startup+250.022 s]
Raw data (loadavg): 0.99 1.00 0.99 1/57 1691
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787538853 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 242 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1691/stat): 1691 (vallst) T 1688 1688 22582 0 -1 0 707 0 0 0 23002 677 0 0 25 0 1 0 1787538862 4124672 677 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1691/statm): 1007 677 413 48 0 959 0
[pid=1691] vsize: 4028
Current children cumulated CPU time (s) 236.81
Current children cumulated vsize (Kb) 6156
[startup+260.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/57 1691
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787538853 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 242 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1691/stat): 1691 (vallst) R 1688 1688 22582 0 -1 0 708 0 0 0 23928 702 0 0 25 0 1 0 1787538862 4124672 678 4294967295 134512640 134702520 3221223968 3221223248 134552864 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1691/statm): 1007 678 413 48 0 959 0
[pid=1691] vsize: 4028
Current children cumulated CPU time (s) 246.32
Current children cumulated vsize (Kb) 6156
[startup+270.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/57 1691
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787538853 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 242 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1691/stat): 1691 (vallst) R 1688 1688 22582 0 -1 0 709 0 0 0 24861 724 0 0 25 0 1 0 1787538862 4124672 679 4294967295 134512640 134702520 3221223968 3221223088 134579033 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1691/statm): 1007 679 413 48 0 959 0
[pid=1691] vsize: 4028
Current children cumulated CPU time (s) 255.87
Current children cumulated vsize (Kb) 6156
[startup+280.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/57 1691
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787538853 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 242 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1691/stat): 1691 (vallst) R 1688 1688 22582 0 -1 0 710 0 0 0 25784 750 0 0 25 0 1 0 1787538862 4124672 680 4294967295 134512640 134702520 3221223968 3221197804 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1691/statm): 1007 680 413 48 0 959 0
[pid=1691] vsize: 4028
Current children cumulated CPU time (s) 265.36
Current children cumulated vsize (Kb) 6156
[startup+290.024 s]
Raw data (loadavg): 0.99 1.00 0.99 1/57 1691
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787538853 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 242 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1691/stat): 1691 (vallst) T 1688 1688 22582 0 -1 0 714 0 0 0 26715 773 0 0 25 0 1 0 1787538862 4124672 684 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1691/statm): 1007 684 413 48 0 959 0
[pid=1691] vsize: 4028
Current children cumulated CPU time (s) 274.9
Current children cumulated vsize (Kb) 6156
[startup+300.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/57 1691
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787538853 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 242 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1691/stat): 1691 (vallst) R 1688 1688 22582 0 -1 0 714 0 0 0 27655 796 0 0 25 0 1 0 1787538862 4124672 684 4294967295 134512640 134702520 3221223968 3221222864 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1691/statm): 1007 684 413 48 0 959 0
[pid=1691] vsize: 4028
Current children cumulated CPU time (s) 284.53
Current children cumulated vsize (Kb) 6156
[startup+310.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/57 1691
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787538853 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 242 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1691/stat): 1691 (vallst) R 1688 1688 22582 0 -1 0 714 0 0 0 28586 818 0 0 25 0 1 0 1787538862 4124672 684 4294967295 134512640 134702520 3221223968 3221223248 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1691/statm): 1007 684 413 48 0 959 0
[pid=1691] vsize: 4028
Current children cumulated CPU time (s) 294.06
Current children cumulated vsize (Kb) 6156
[startup+320.026 s]
Raw data (loadavg): 0.99 1.00 0.99 1/57 1691
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787538853 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 242 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1691/stat): 1691 (vallst) T 1688 1688 22582 0 -1 0 716 0 0 0 29513 842 0 0 25 0 1 0 1787538862 4124672 686 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1691/statm): 1007 686 413 48 0 959 0
[pid=1691] vsize: 4028
Current children cumulated CPU time (s) 303.57
Current children cumulated vsize (Kb) 6156
[startup+330.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/57 1691
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787538853 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 242 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1691/stat): 1691 (vallst) R 1688 1688 22582 0 -1 0 717 0 0 0 30437 868 0 0 25 0 1 0 1787538862 4124672 687 4294967295 134512640 134702520 3221223968 3221223248 134552347 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1691/statm): 1007 687 413 48 0 959 0
[pid=1691] vsize: 4028
Current children cumulated CPU time (s) 313.07
Current children cumulated vsize (Kb) 6156
[startup+340.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/57 1691
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787538853 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 242 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1691/stat): 1691 (vallst) R 1688 1688 22582 0 -1 0 718 0 0 0 31361 893 0 0 25 0 1 0 1787538862 4124672 688 4294967295 134512640 134702520 3221223968 3221223248 134552242 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1691/statm): 1007 688 413 48 0 959 0
[pid=1691] vsize: 4028
Current children cumulated CPU time (s) 322.56
Current children cumulated vsize (Kb) 6156
[startup+350.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/57 1691
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787538853 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 242 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1691/stat): 1691 (vallst) R 1688 1688 22582 0 -1 0 719 0 0 0 32290 915 0 0 25 0 1 0 1787538862 4124672 689 4294967295 134512640 134702520 3221223968 3221223360 134605854 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1691/statm): 1007 689 413 48 0 959 0
[pid=1691] vsize: 4028
Current children cumulated CPU time (s) 332.07
Current children cumulated vsize (Kb) 6156
[startup+360.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/57 1691
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787538853 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 242 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1691/stat): 1691 (vallst) R 1688 1688 22582 0 -1 0 719 0 0 0 33213 941 0 0 25 0 1 0 1787538862 4124672 689 4294967295 134512640 134702520 3221223968 3221223248 134552115 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1691/statm): 1007 689 413 48 0 959 0
[pid=1691] vsize: 4028
Current children cumulated CPU time (s) 341.56
Current children cumulated vsize (Kb) 6156
[startup+370.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/57 1691
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787538853 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 242 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1691/stat): 1691 (vallst) R 1688 1688 22582 0 -1 0 720 0 0 0 34160 959 0 0 25 0 1 0 1787538862 4124672 690 4294967295 134512640 134702520 3221223968 3221222864 134552340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1691/statm): 1007 690 413 48 0 959 0
[pid=1691] vsize: 4028
Current children cumulated CPU time (s) 351.21
Current children cumulated vsize (Kb) 6156
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=1691) exited with status: 2
New process pid=1692
execve syscall for /usr/bin/head executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=1692) exited with status: 0
New process pid=1693
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
[startup+380.03 s]
Raw data (loadavg): 0.99 1.00 0.99 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 333 0 0 0 126 66 0 0 16 0 1 0 1787576540 2854912 304 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 697 304 413 48 0 649 0
[pid=1693] vsize: 2788
Current children cumulated CPU time (s) 359.69
Current children cumulated vsize (Kb) 4916
[startup+390.032 s]
Raw data (loadavg): 0.99 1.00 0.99 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 411 0 0 0 539 261 0 0 16 0 1 0 1787576540 4046848 382 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1693/statm): 988 382 413 48 0 940 0
[pid=1693] vsize: 3952
Current children cumulated CPU time (s) 365.77
Current children cumulated vsize (Kb) 6080
[startup+400.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) R 1688 1688 22582 0 -1 0 421 0 0 0 942 466 0 0 17 0 1 0 1787576540 4046848 392 4294967295 134512640 134702520 3221223712 3221073888 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1693/statm): 988 392 413 48 0 940 0
[pid=1693] vsize: 3952
Current children cumulated CPU time (s) 371.85
Current children cumulated vsize (Kb) 6080
[startup+410.032 s]
Raw data (loadavg): 0.99 1.00 0.99 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 428 0 0 0 1364 660 0 0 16 0 1 0 1787576540 4046848 399 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1693/statm): 988 399 413 48 0 940 0
[pid=1693] vsize: 3952
Current children cumulated CPU time (s) 378.01
Current children cumulated vsize (Kb) 6080
[startup+420.032 s]
Raw data (loadavg): 1.15 1.03 1.00 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 433 0 0 0 1754 868 0 0 17 0 1 0 1787576540 4046848 404 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 988 404 413 48 0 940 0
[pid=1693] vsize: 3952
Current children cumulated CPU time (s) 383.99
Current children cumulated vsize (Kb) 6080
[startup+430.033 s]
Raw data (loadavg): 1.12 1.03 1.00 2/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) R 1688 1688 22582 0 -1 0 438 0 0 0 2166 1067 0 0 16 0 1 0 1787576540 4046848 409 4294967295 134512640 134702520 3221223712 3221222480 134552449 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1693/statm): 988 409 413 48 0 940 0
[pid=1693] vsize: 3952
Current children cumulated CPU time (s) 390.1
Current children cumulated vsize (Kb) 6080
[startup+440.033 s]
Raw data (loadavg): 1.10 1.03 1.00 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 442 0 0 0 2592 1249 0 0 17 0 1 0 1787576540 4046848 413 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 988 413 413 48 0 940 0
[pid=1693] vsize: 3952
Current children cumulated CPU time (s) 396.18
Current children cumulated vsize (Kb) 6080
[startup+450.034 s]
Raw data (loadavg): 1.09 1.02 1.00 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 446 0 0 0 2987 1448 0 0 17 0 1 0 1787576540 4153344 417 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1014 417 413 48 0 966 0
[pid=1693] vsize: 4056
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (Kb) 6184
[startup+460.035 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) R 1688 1688 22582 0 -1 0 450 0 0 0 3408 1640 0 0 17 0 1 0 1787576540 4153344 421 4294967295 134512640 134702520 3221223712 3221124268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1014 421 413 48 0 966 0
[pid=1693] vsize: 4056
Current children cumulated CPU time (s) 408.25
Current children cumulated vsize (Kb) 6184
[startup+470.035 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) R 1688 1688 22582 0 -1 0 453 0 0 0 3798 1845 0 0 17 0 1 0 1787576540 4153344 424 4294967295 134512640 134702520 3221223712 3221138208 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1014 424 413 48 0 966 0
[pid=1693] vsize: 4056
Current children cumulated CPU time (s) 414.2
Current children cumulated vsize (Kb) 6184
[startup+480.036 s]
Raw data (loadavg): 1.13 1.04 1.00 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 458 0 0 0 4218 2034 0 0 16 0 1 0 1787576540 4153344 429 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1014 429 413 48 0 966 0
[pid=1693] vsize: 4056
Current children cumulated CPU time (s) 420.29
Current children cumulated vsize (Kb) 6184
[startup+490.037 s]
Raw data (loadavg): 1.11 1.04 1.00 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 461 0 0 0 4620 2237 0 0 15 0 1 0 1787576540 4153344 432 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1014 432 413 48 0 966 0
[pid=1693] vsize: 4056
Current children cumulated CPU time (s) 426.34
Current children cumulated vsize (Kb) 6184
[startup+500.038 s]
Raw data (loadavg): 1.09 1.03 1.00 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 466 0 0 0 5042 2425 0 0 15 0 1 0 1787576540 4153344 437 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1014 437 413 48 0 966 0
[pid=1693] vsize: 4056
Current children cumulated CPU time (s) 432.44
Current children cumulated vsize (Kb) 6184
[startup+510.038 s]
Raw data (loadavg): 1.08 1.03 1.00 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 472 0 0 0 5453 2617 0 0 15 0 1 0 1787576540 4153344 443 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1014 443 413 48 0 966 0
[pid=1693] vsize: 4056
Current children cumulated CPU time (s) 438.47
Current children cumulated vsize (Kb) 6184
[startup+520.04 s]
Raw data (loadavg): 1.14 1.05 1.01 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 475 0 0 0 5870 2808 0 0 15 0 1 0 1787576540 4153344 446 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1014 446 413 48 0 966 0
[pid=1693] vsize: 4056
Current children cumulated CPU time (s) 444.55
Current children cumulated vsize (Kb) 6184
[startup+530.04 s]
Raw data (loadavg): 1.12 1.04 1.01 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 477 0 0 0 6268 3008 0 0 15 0 1 0 1787576540 4153344 448 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1014 448 413 48 0 966 0
[pid=1693] vsize: 4056
Current children cumulated CPU time (s) 450.53
Current children cumulated vsize (Kb) 6184
[startup+540.042 s]
Raw data (loadavg): 1.10 1.04 1.00 2/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) R 1688 1688 22582 0 -1 0 482 0 0 0 6690 3206 0 0 16 0 1 0 1787576540 4153344 453 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1014 453 413 48 0 966 0
[pid=1693] vsize: 4056
Current children cumulated CPU time (s) 456.73
Current children cumulated vsize (Kb) 6184
[startup+550.043 s]
Raw data (loadavg): 1.17 1.06 1.01 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 487 0 0 0 7079 3410 0 0 15 0 1 0 1787576540 4251648 458 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1038 458 413 48 0 990 0
[pid=1693] vsize: 4152
Current children cumulated CPU time (s) 462.66
Current children cumulated vsize (Kb) 6280
[startup+560.043 s]
Raw data (loadavg): 1.22 1.07 1.01 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 491 0 0 0 7495 3602 0 0 15 0 1 0 1787576540 4251648 462 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1038 462 413 48 0 990 0
[pid=1693] vsize: 4152
Current children cumulated CPU time (s) 468.74
Current children cumulated vsize (Kb) 6280
[startup+570.045 s]
Raw data (loadavg): 1.18 1.07 1.01 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 494 0 0 0 7899 3799 0 0 15 0 1 0 1787576540 4251648 465 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1038 465 413 48 0 990 0
[pid=1693] vsize: 4152
Current children cumulated CPU time (s) 474.75
Current children cumulated vsize (Kb) 6280
[startup+580.045 s]
Raw data (loadavg): 1.16 1.07 1.01 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 499 0 0 0 8306 3994 0 0 15 0 1 0 1787576540 4251648 470 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1038 470 413 48 0 990 0
[pid=1693] vsize: 4152
Current children cumulated CPU time (s) 480.77
Current children cumulated vsize (Kb) 6280
[startup+590.047 s]
Raw data (loadavg): 1.13 1.06 1.01 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 501 0 0 0 8719 4193 0 0 15 0 1 0 1787576540 4251648 472 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1038 472 413 48 0 990 0
[pid=1693] vsize: 4152
Current children cumulated CPU time (s) 486.89
Current children cumulated vsize (Kb) 6280
[startup+600.047 s]
Raw data (loadavg): 1.19 1.08 1.01 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 503 0 0 0 9126 4390 0 0 15 0 1 0 1787576540 4251648 474 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1038 474 413 48 0 990 0
[pid=1693] vsize: 4152
Current children cumulated CPU time (s) 492.93
Current children cumulated vsize (Kb) 6280
[startup+610.048 s]
Raw data (loadavg): 1.16 1.07 1.01 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 506 0 0 0 9548 4582 0 0 15 0 1 0 1787576540 4251648 477 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1038 477 413 48 0 990 0
[pid=1693] vsize: 4152
Current children cumulated CPU time (s) 499.07
Current children cumulated vsize (Kb) 6280
[startup+620.049 s]
Raw data (loadavg): 1.21 1.09 1.02 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 512 0 0 0 9939 4782 0 0 15 0 1 0 1787576540 4251648 483 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1038 483 413 48 0 990 0
[pid=1693] vsize: 4152
Current children cumulated CPU time (s) 504.98
Current children cumulated vsize (Kb) 6280
[startup+630.05 s]
Raw data (loadavg): 1.25 1.10 1.02 2/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) R 1688 1688 22582 0 -1 0 514 0 0 0 10370 4970 0 0 16 0 1 0 1787576540 4251648 485 4294967295 134512640 134702520 3221223712 3221103628 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1038 485 413 48 0 990 0
[pid=1693] vsize: 4152
Current children cumulated CPU time (s) 511.17
Current children cumulated vsize (Kb) 6280
[startup+640.052 s]
Raw data (loadavg): 1.29 1.11 1.03 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 516 0 0 0 10770 5169 0 0 16 0 1 0 1787576540 4251648 487 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1038 487 413 48 0 990 0
[pid=1693] vsize: 4152
Current children cumulated CPU time (s) 517.16
Current children cumulated vsize (Kb) 6280
[startup+650.052 s]
Raw data (loadavg): 1.33 1.13 1.03 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 520 0 0 0 11182 5371 0 0 15 0 1 0 1787576540 4251648 491 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1038 491 413 48 0 990 0
[pid=1693] vsize: 4152
Current children cumulated CPU time (s) 523.3
Current children cumulated vsize (Kb) 6280
[startup+660.053 s]
Raw data (loadavg): 1.35 1.14 1.04 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 523 0 0 0 11585 5563 0 0 16 0 1 0 1787576540 4251648 494 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1038 494 413 48 0 990 0
[pid=1693] vsize: 4152
Current children cumulated CPU time (s) 529.25
Current children cumulated vsize (Kb) 6280
[startup+670.053 s]
Raw data (loadavg): 1.30 1.13 1.03 2/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) R 1688 1688 22582 0 -1 0 527 0 0 0 11992 5763 0 0 16 0 1 0 1787576540 4251648 498 4294967295 134512640 134702520 3221223712 3221021388 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1038 498 413 48 0 990 0
[pid=1693] vsize: 4152
Current children cumulated CPU time (s) 535.32
Current children cumulated vsize (Kb) 6280
[startup+680.054 s]
Raw data (loadavg): 1.25 1.13 1.03 2/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) R 1688 1688 22582 0 -1 0 530 0 0 0 12401 5959 0 0 16 0 1 0 1787576540 4251648 501 4294967295 134512640 134702520 3221223712 3221145388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1038 501 413 48 0 990 0
[pid=1693] vsize: 4152
Current children cumulated CPU time (s) 541.37
Current children cumulated vsize (Kb) 6280
[startup+690.055 s]
Raw data (loadavg): 1.21 1.12 1.03 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 532 0 0 0 12799 6172 0 0 15 0 1 0 1787576540 4251648 503 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1038 503 413 48 0 990 0
[pid=1693] vsize: 4152
Current children cumulated CPU time (s) 547.48
Current children cumulated vsize (Kb) 6280
[startup+700.056 s]
Raw data (loadavg): 1.18 1.12 1.03 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 533 0 0 0 13217 6361 0 0 15 0 1 0 1787576540 4251648 504 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1038 504 413 48 0 990 0
[pid=1693] vsize: 4152
Current children cumulated CPU time (s) 553.55
Current children cumulated vsize (Kb) 6280
[startup+710.057 s]
Raw data (loadavg): 1.15 1.11 1.03 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 536 0 0 0 13632 6552 0 0 15 0 1 0 1787576540 4251648 507 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1038 507 413 48 0 990 0
[pid=1693] vsize: 4152
Current children cumulated CPU time (s) 559.61
Current children cumulated vsize (Kb) 6280
[startup+720.058 s]
Raw data (loadavg): 1.13 1.11 1.03 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 537 0 0 0 14022 6749 0 0 15 0 1 0 1787576540 4345856 508 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1061 508 413 48 0 1013 0
[pid=1693] vsize: 4244
Current children cumulated CPU time (s) 565.48
Current children cumulated vsize (Kb) 6372
[startup+730.059 s]
Raw data (loadavg): 1.11 1.11 1.03 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 541 0 0 0 14442 6944 0 0 15 0 1 0 1787576540 4345856 512 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1061 512 413 48 0 1013 0
[pid=1693] vsize: 4244
Current children cumulated CPU time (s) 571.63
Current children cumulated vsize (Kb) 6372
[startup+740.06 s]
Raw data (loadavg): 1.09 1.10 1.03 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 544 0 0 0 14850 7147 0 0 15 0 1 0 1787576540 4345856 515 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1061 515 413 48 0 1013 0
[pid=1693] vsize: 4244
Current children cumulated CPU time (s) 577.74
Current children cumulated vsize (Kb) 6372
[startup+750.061 s]
Raw data (loadavg): 1.08 1.10 1.03 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 547 0 0 0 15260 7349 0 0 15 0 1 0 1787576540 4345856 518 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1061 518 413 48 0 1013 0
[pid=1693] vsize: 4244
Current children cumulated CPU time (s) 583.86
Current children cumulated vsize (Kb) 6372
[startup+760.061 s]
Raw data (loadavg): 1.06 1.09 1.03 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 553 0 0 0 15676 7541 0 0 15 0 1 0 1787576540 4345856 524 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1061 524 413 48 0 1013 0
[pid=1693] vsize: 4244
Current children cumulated CPU time (s) 589.94
Current children cumulated vsize (Kb) 6372
[startup+770.063 s]
Raw data (loadavg): 1.13 1.11 1.03 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 557 0 0 0 16078 7731 0 0 15 0 1 0 1787576540 4345856 528 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1061 528 413 48 0 1013 0
[pid=1693] vsize: 4244
Current children cumulated CPU time (s) 595.86
Current children cumulated vsize (Kb) 6372
[startup+780.063 s]
Raw data (loadavg): 1.19 1.12 1.03 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 564 0 0 0 16507 7923 0 0 15 0 1 0 1787576540 4345856 535 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1061 535 413 48 0 1013 0
[pid=1693] vsize: 4244
Current children cumulated CPU time (s) 602.07
Current children cumulated vsize (Kb) 6372
[startup+790.064 s]
Raw data (loadavg): 1.24 1.13 1.04 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 568 0 0 0 16928 8123 0 0 16 0 1 0 1787576540 4345856 539 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1061 539 413 48 0 1013 0
[pid=1693] vsize: 4244
Current children cumulated CPU time (s) 608.28
Current children cumulated vsize (Kb) 6372
[startup+800.064 s]
Raw data (loadavg): 1.20 1.13 1.04 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 570 0 0 0 17325 8322 0 0 15 0 1 0 1787576540 4440064 541 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1084 541 413 48 0 1036 0
[pid=1693] vsize: 4336
Current children cumulated CPU time (s) 614.24
Current children cumulated vsize (Kb) 6464
[startup+810.065 s]
Raw data (loadavg): 1.17 1.12 1.04 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 575 0 0 0 17752 8515 0 0 15 0 1 0 1787576540 4440064 546 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1084 546 413 48 0 1036 0
[pid=1693] vsize: 4336
Current children cumulated CPU time (s) 620.44
Current children cumulated vsize (Kb) 6464
[startup+820.067 s]
Raw data (loadavg): 1.22 1.13 1.04 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 580 0 0 0 18169 8712 0 0 15 0 1 0 1787576540 4440064 551 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1084 551 413 48 0 1036 0
[pid=1693] vsize: 4336
Current children cumulated CPU time (s) 626.58
Current children cumulated vsize (Kb) 6464
[startup+830.067 s]
Raw data (loadavg): 1.18 1.13 1.04 2/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) R 1688 1688 22582 0 -1 0 581 0 0 0 18573 8907 0 0 16 0 1 0 1787576540 4440064 552 4294967295 134512640 134702520 3221223712 3221223272 134550241 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1084 552 413 48 0 1036 0
[pid=1693] vsize: 4336
Current children cumulated CPU time (s) 632.57
Current children cumulated vsize (Kb) 6464
[startup+840.068 s]
Raw data (loadavg): 1.23 1.14 1.04 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 586 0 0 0 18991 9102 0 0 15 0 1 0 1787576540 4440064 557 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1084 557 413 48 0 1036 0
[pid=1693] vsize: 4336
Current children cumulated CPU time (s) 638.7
Current children cumulated vsize (Kb) 6464
[startup+850.068 s]
Raw data (loadavg): 1.19 1.14 1.04 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 589 0 0 0 19419 9296 0 0 15 0 1 0 1787576540 4440064 560 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1084 560 413 48 0 1036 0
[pid=1693] vsize: 4336
Current children cumulated CPU time (s) 644.92
Current children cumulated vsize (Kb) 6464
[startup+860.069 s]
Raw data (loadavg): 1.16 1.13 1.04 2/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) R 1688 1688 22582 0 -1 0 591 0 0 0 19821 9497 0 0 16 0 1 0 1787576540 4440064 562 4294967295 134512640 134702520 3221223712 3221089728 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1084 562 413 48 0 1036 0
[pid=1693] vsize: 4336
Current children cumulated CPU time (s) 650.95
Current children cumulated vsize (Kb) 6464
[startup+870.069 s]
Raw data (loadavg): 1.21 1.14 1.05 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 593 0 0 0 20234 9690 0 0 15 0 1 0 1787576540 4440064 564 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1084 564 413 48 0 1036 0
[pid=1693] vsize: 4336
Current children cumulated CPU time (s) 657.01
Current children cumulated vsize (Kb) 6464
[startup+880.07 s]
Raw data (loadavg): 1.18 1.14 1.05 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 598 0 0 0 20662 9881 0 0 15 0 1 0 1787576540 4440064 569 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1084 569 413 48 0 1036 0
[pid=1693] vsize: 4336
Current children cumulated CPU time (s) 663.2
Current children cumulated vsize (Kb) 6464
[startup+890.072 s]
Raw data (loadavg): 1.22 1.15 1.05 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 601 0 0 0 21059 10085 0 0 15 0 1 0 1787576540 4440064 572 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1084 572 413 48 0 1036 0
[pid=1693] vsize: 4336
Current children cumulated CPU time (s) 669.21
Current children cumulated vsize (Kb) 6464
[startup+900.072 s]
Raw data (loadavg): 1.19 1.14 1.05 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 609 0 0 0 21481 10276 0 0 15 0 1 0 1787576540 4546560 580 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1110 580 413 48 0 1062 0
[pid=1693] vsize: 4440
Current children cumulated CPU time (s) 675.34
Current children cumulated vsize (Kb) 6568
[startup+910.073 s]
Raw data (loadavg): 1.23 1.15 1.05 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 610 0 0 0 21906 10470 0 0 15 0 1 0 1787576540 4546560 581 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1110 581 413 48 0 1062 0
[pid=1693] vsize: 4440
Current children cumulated CPU time (s) 681.53
Current children cumulated vsize (Kb) 6568
[startup+920.074 s]
Raw data (loadavg): 1.20 1.15 1.05 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 614 0 0 0 22306 10671 0 0 15 0 1 0 1787576540 4546560 585 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1110 585 413 48 0 1062 0
[pid=1693] vsize: 4440
Current children cumulated CPU time (s) 687.54
Current children cumulated vsize (Kb) 6568
[startup+930.075 s]
Raw data (loadavg): 1.25 1.16 1.06 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 616 0 0 0 22750 10854 0 0 15 0 1 0 1787576540 4546560 587 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1110 587 413 48 0 1062 0
[pid=1693] vsize: 4440
Current children cumulated CPU time (s) 693.81
Current children cumulated vsize (Kb) 6568
[startup+940.076 s]
Raw data (loadavg): 1.21 1.15 1.06 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 620 0 0 0 23182 11042 0 0 16 0 1 0 1787576540 4546560 591 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1110 591 413 48 0 1062 0
[pid=1693] vsize: 4440
Current children cumulated CPU time (s) 700.01
Current children cumulated vsize (Kb) 6568
[startup+950.078 s]
Raw data (loadavg): 1.17 1.15 1.06 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 623 0 0 0 23594 11238 0 0 15 0 1 0 1787576540 4546560 594 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1110 594 413 48 0 1062 0
[pid=1693] vsize: 4440
Current children cumulated CPU time (s) 706.09
Current children cumulated vsize (Kb) 6568
[startup+960.079 s]
Raw data (loadavg): 1.15 1.14 1.05 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 624 0 0 0 24022 11429 0 0 15 0 1 0 1787576540 4546560 595 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1110 595 413 48 0 1062 0
[pid=1693] vsize: 4440
Current children cumulated CPU time (s) 712.28
Current children cumulated vsize (Kb) 6568
[startup+970.079 s]
Raw data (loadavg): 1.20 1.15 1.06 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 1264 0 0 0 24524 11593 0 0 16 0 1 0 1787576540 7163904 1235 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1749 1235 413 48 0 1701 0
[pid=1693] vsize: 6996
Current children cumulated CPU time (s) 718.94
Current children cumulated vsize (Kb) 9124
[startup+980.08 s]
Raw data (loadavg): 1.24 1.16 1.06 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 1616 0 0 0 25060 11747 0 0 15 0 1 0 1787576540 7540736 1367 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1841 1367 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 725.84
Current children cumulated vsize (Kb) 9492
[startup+990.081 s]
Raw data (loadavg): 1.20 1.16 1.06 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 1616 0 0 0 25496 11928 0 0 16 0 1 0 1787576540 7540736 1367 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1841 1367 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 732.01
Current children cumulated vsize (Kb) 9492
[startup+1000.08 s]
Raw data (loadavg): 1.17 1.15 1.06 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 1694 0 0 0 26023 12089 0 0 15 0 1 0 1787576540 7999488 1440 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1953 1440 413 48 0 1905 0
[pid=1693] vsize: 7812
Current children cumulated CPU time (s) 738.89
Current children cumulated vsize (Kb) 9940
[startup+1010.08 s]
Raw data (loadavg): 1.22 1.16 1.07 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 1871 0 0 0 26550 12245 0 0 15 0 1 0 1787576540 7540736 1369 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1369 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 745.72
Current children cumulated vsize (Kb) 9492
[startup+1020.08 s]
Raw data (loadavg): 1.18 1.16 1.06 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 1900 0 0 0 27045 12417 0 0 15 0 1 0 1787576540 7540736 1369 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1841 1369 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 752.39
Current children cumulated vsize (Kb) 9492
[startup+1030.08 s]
Raw data (loadavg): 1.16 1.15 1.06 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 1900 0 0 0 27490 12598 0 0 15 0 1 0 1787576540 7540736 1369 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1369 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 758.65
Current children cumulated vsize (Kb) 9492
[startup+1040.09 s]
Raw data (loadavg): 1.13 1.15 1.06 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 1903 0 0 0 27970 12778 0 0 16 0 1 0 1787576540 7540736 1372 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1372 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 765.25
Current children cumulated vsize (Kb) 9492
[startup+1050.09 s]
Raw data (loadavg): 1.19 1.16 1.07 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 1903 0 0 0 28446 12953 0 0 15 0 1 0 1787576540 7540736 1372 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1372 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 771.76
Current children cumulated vsize (Kb) 9492
[startup+1060.09 s]
Raw data (loadavg): 1.16 1.15 1.07 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 1903 0 0 0 28908 13132 0 0 15 0 1 0 1787576540 7540736 1372 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1372 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 778.17
Current children cumulated vsize (Kb) 9492
[startup+1070.09 s]
Raw data (loadavg): 1.14 1.15 1.07 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 1904 0 0 0 29339 13325 0 0 15 0 1 0 1787576540 7540736 1373 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1373 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 784.41
Current children cumulated vsize (Kb) 9492
[startup+1080.09 s]
Raw data (loadavg): 1.11 1.14 1.06 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 1905 0 0 0 29803 13501 0 0 15 0 1 0 1787576540 7540736 1374 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1841 1374 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 790.81
Current children cumulated vsize (Kb) 9492
[startup+1090.09 s]
Raw data (loadavg): 1.10 1.14 1.06 2/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) R 1688 1688 22582 0 -1 0 1908 0 0 0 30276 13675 0 0 16 0 1 0 1787576540 7540736 1377 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1377 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 797.28
Current children cumulated vsize (Kb) 9492
[startup+1100.09 s]
Raw data (loadavg): 1.08 1.13 1.06 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 1908 0 0 0 30700 13869 0 0 15 0 1 0 1787576540 7540736 1377 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1377 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 803.46
Current children cumulated vsize (Kb) 9492
[startup+1110.09 s]
Raw data (loadavg): 1.07 1.13 1.06 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 1908 0 0 0 31107 14073 0 0 15 0 1 0 1787576540 7540736 1377 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1377 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 809.57
Current children cumulated vsize (Kb) 9492
[startup+1120.09 s]
Raw data (loadavg): 1.06 1.12 1.06 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 1910 0 0 0 31541 14268 0 0 15 0 1 0 1787576540 7540736 1379 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1841 1379 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 815.86
Current children cumulated vsize (Kb) 9492
[startup+1130.09 s]
Raw data (loadavg): 1.05 1.12 1.06 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 1910 0 0 0 31970 14460 0 0 15 0 1 0 1787576540 7540736 1379 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1379 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (Kb) 9492
[startup+1140.09 s]
Raw data (loadavg): 1.12 1.13 1.06 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 1910 0 0 0 32368 14666 0 0 16 0 1 0 1787576540 7540736 1379 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1379 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 828.11
Current children cumulated vsize (Kb) 9492
[startup+1150.09 s]
Raw data (loadavg): 1.25 1.16 1.07 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 1911 0 0 0 32787 14859 0 0 15 0 1 0 1787576540 7540736 1380 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1841 1380 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 834.23
Current children cumulated vsize (Kb) 9492
[startup+1160.09 s]
Raw data (loadavg): 1.21 1.15 1.07 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 1913 0 0 0 33207 15052 0 0 15 0 1 0 1787576540 7540736 1382 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1382 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 840.36
Current children cumulated vsize (Kb) 9492
[startup+1170.1 s]
Raw data (loadavg): 1.18 1.15 1.07 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 1914 0 0 0 33621 15249 0 0 15 0 1 0 1787576540 7540736 1383 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1383 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 846.47
Current children cumulated vsize (Kb) 9492
[startup+1180.1 s]
Raw data (loadavg): 1.15 1.14 1.07 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 1915 0 0 0 34020 15456 0 0 15 0 1 0 1787576540 7540736 1384 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1384 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 852.53
Current children cumulated vsize (Kb) 9492
[startup+1190.1 s]
Raw data (loadavg): 1.13 1.14 1.07 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 34434 15649 0 0 16 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 858.6
Current children cumulated vsize (Kb) 9492
[startup+1200.1 s]
Raw data (loadavg): 1.11 1.13 1.07 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 34841 15845 0 0 16 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 864.63
Current children cumulated vsize (Kb) 9492
[startup+1210.1 s]
Raw data (loadavg): 1.17 1.14 1.07 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 35258 16032 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 870.67
Current children cumulated vsize (Kb) 9492
[startup+1220.1 s]
Raw data (loadavg): 1.14 1.14 1.07 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 35681 16228 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 876.86
Current children cumulated vsize (Kb) 9492
[startup+1230.1 s]
Raw data (loadavg): 1.12 1.13 1.07 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 36093 16418 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 882.88
Current children cumulated vsize (Kb) 9492
[startup+1240.1 s]
Raw data (loadavg): 1.18 1.14 1.08 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 36511 16607 0 0 16 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 888.95
Current children cumulated vsize (Kb) 9492
[startup+1250.1 s]
Raw data (loadavg): 1.22 1.16 1.08 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 36934 16804 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 895.15
Current children cumulated vsize (Kb) 9492
[startup+1260.1 s]
Raw data (loadavg): 1.19 1.15 1.08 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 37360 16992 0 0 16 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 901.29
Current children cumulated vsize (Kb) 9492
[startup+1270.1 s]
Raw data (loadavg): 1.23 1.16 1.08 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 37749 17198 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 907.24
Current children cumulated vsize (Kb) 9492
[startup+1280.1 s]
Raw data (loadavg): 1.28 1.17 1.09 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 38172 17387 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 913.36
Current children cumulated vsize (Kb) 9492
[startup+1290.11 s]
Raw data (loadavg): 1.39 1.20 1.10 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 38600 17582 0 0 16 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 919.59
Current children cumulated vsize (Kb) 9492
[startup+1300.11 s]
Raw data (loadavg): 1.33 1.19 1.10 2/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) R 1688 1688 22582 0 -1 0 2043 0 0 0 39016 17772 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 925.65
Current children cumulated vsize (Kb) 9492
[startup+1310.11 s]
Raw data (loadavg): 1.28 1.18 1.09 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 39416 17971 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 931.64
Current children cumulated vsize (Kb) 9492
[startup+1320.11 s]
Raw data (loadavg): 1.23 1.18 1.09 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 39822 18167 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 937.66
Current children cumulated vsize (Kb) 9492
[startup+1330.11 s]
Raw data (loadavg): 1.27 1.19 1.09 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 40235 18360 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 943.72
Current children cumulated vsize (Kb) 9492
[startup+1340.11 s]
Raw data (loadavg): 1.30 1.20 1.10 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 40636 18563 0 0 16 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 949.76
Current children cumulated vsize (Kb) 9492
[startup+1350.11 s]
Raw data (loadavg): 1.26 1.19 1.10 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 41033 18760 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 955.7
Current children cumulated vsize (Kb) 9492
[startup+1360.11 s]
Raw data (loadavg): 1.29 1.20 1.10 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 41461 18950 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 961.88
Current children cumulated vsize (Kb) 9492
[startup+1370.11 s]
Raw data (loadavg): 1.24 1.19 1.10 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 41859 19146 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 967.82
Current children cumulated vsize (Kb) 9492
[startup+1380.11 s]
Raw data (loadavg): 1.21 1.19 1.10 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 42277 19339 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 973.93
Current children cumulated vsize (Kb) 9492
[startup+1390.11 s]
Raw data (loadavg): 1.17 1.18 1.09 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 42678 19536 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 979.91
Current children cumulated vsize (Kb) 9492
[startup+1400.11 s]
Raw data (loadavg): 1.22 1.19 1.10 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 43076 19735 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 985.88
Current children cumulated vsize (Kb) 9492
[startup+1410.11 s]
Raw data (loadavg): 1.26 1.20 1.10 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 43471 19932 0 0 16 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 991.8
Current children cumulated vsize (Kb) 9492
[startup+1420.11 s]
Raw data (loadavg): 1.22 1.19 1.10 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 43892 20129 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 997.98
Current children cumulated vsize (Kb) 9492
[startup+1430.11 s]
Raw data (loadavg): 1.18 1.19 1.10 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 44314 20320 0 0 16 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 1004.11
Current children cumulated vsize (Kb) 9492
[startup+1440.11 s]
Raw data (loadavg): 1.23 1.20 1.10 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 44701 20521 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 1009.99
Current children cumulated vsize (Kb) 9492
[startup+1450.11 s]
Raw data (loadavg): 1.27 1.20 1.10 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 45097 20725 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 1015.99
Current children cumulated vsize (Kb) 9492
[startup+1460.12 s]
Raw data (loadavg): 1.23 1.20 1.10 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 45507 20926 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 1022.1
Current children cumulated vsize (Kb) 9492
[startup+1470.12 s]
Raw data (loadavg): 1.27 1.21 1.10 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 45943 21108 0 0 16 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 1028.28
Current children cumulated vsize (Kb) 9492
[startup+1480.12 s]
Raw data (loadavg): 1.23 1.20 1.10 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 46343 21311 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 1034.31
Current children cumulated vsize (Kb) 9492
[startup+1490.12 s]
Raw data (loadavg): 1.19 1.19 1.10 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 46753 21512 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 1040.42
Current children cumulated vsize (Kb) 9492
[startup+1500.12 s]
Raw data (loadavg): 1.16 1.19 1.10 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 47165 21701 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 1046.43
Current children cumulated vsize (Kb) 9492
[startup+1510.12 s]
Raw data (loadavg): 1.22 1.20 1.10 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 47571 21895 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 1052.43
Current children cumulated vsize (Kb) 9492
[startup+1520.12 s]
Raw data (loadavg): 1.18 1.19 1.10 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 47994 22077 0 0 16 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 1058.48
Current children cumulated vsize (Kb) 9492
[startup+1530.12 s]
Raw data (loadavg): 1.15 1.18 1.10 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 48400 22268 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 1064.45
Current children cumulated vsize (Kb) 9492
[startup+1540.12 s]
Raw data (loadavg): 1.21 1.19 1.10 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 48809 22463 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 1070.49
Current children cumulated vsize (Kb) 9492
[startup+1550.12 s]
Raw data (loadavg): 1.18 1.19 1.10 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 49218 22655 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 1076.5
Current children cumulated vsize (Kb) 9492
[startup+1560.12 s]
Raw data (loadavg): 1.15 1.18 1.10 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 49632 22845 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 1082.54
Current children cumulated vsize (Kb) 9492
[startup+1570.12 s]
Raw data (loadavg): 1.21 1.19 1.10 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 50075 23030 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 1088.82
Current children cumulated vsize (Kb) 9492
[startup+1580.13 s]
Raw data (loadavg): 1.17 1.18 1.10 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 50480 23229 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 1094.86
Current children cumulated vsize (Kb) 9492
[startup+1590.13 s]
Raw data (loadavg): 1.15 1.18 1.10 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 50890 23432 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 1100.99
Current children cumulated vsize (Kb) 9492
[startup+1600.13 s]
Raw data (loadavg): 1.12 1.17 1.10 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 51319 23624 0 0 16 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 1107.2
Current children cumulated vsize (Kb) 9492
[startup+1610.13 s]
Raw data (loadavg): 1.10 1.16 1.09 2/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) R 1688 1688 22582 0 -1 0 2043 0 0 0 51735 23814 0 0 16 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221191948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 1113.26
Current children cumulated vsize (Kb) 9492
[startup+1620.13 s]
Raw data (loadavg): 1.09 1.16 1.09 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 52157 24005 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 1119.39
Current children cumulated vsize (Kb) 9492
[startup+1630.13 s]
Raw data (loadavg): 1.15 1.17 1.10 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 52581 24201 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 1125.59
Current children cumulated vsize (Kb) 9492
[startup+1640.13 s]
Raw data (loadavg): 1.13 1.16 1.09 2/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) R 1688 1688 22582 0 -1 0 2043 0 0 0 52975 24405 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 1131.57
Current children cumulated vsize (Kb) 9492
[startup+1650.13 s]
Raw data (loadavg): 1.11 1.16 1.09 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 53396 24601 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 1137.74
Current children cumulated vsize (Kb) 9492
[startup+1660.13 s]
Raw data (loadavg): 1.17 1.17 1.10 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 53805 24796 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 1143.78
Current children cumulated vsize (Kb) 9492
[startup+1670.13 s]
Raw data (loadavg): 1.14 1.16 1.09 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 54222 24996 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 1149.95
Current children cumulated vsize (Kb) 9492
[startup+1680.13 s]
Raw data (loadavg): 1.12 1.16 1.09 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 54632 25197 0 0 16 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 1156.06
Current children cumulated vsize (Kb) 9492
[startup+1690.13 s]
Raw data (loadavg): 1.10 1.15 1.09 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 55024 25401 0 0 16 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 1162.02
Current children cumulated vsize (Kb) 9492
[startup+1700.13 s]
Raw data (loadavg): 1.16 1.16 1.09 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 55439 25594 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 1168.1
Current children cumulated vsize (Kb) 9492
[startup+1710.14 s]
Raw data (loadavg): 1.21 1.17 1.10 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 55861 25787 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 1174.25
Current children cumulated vsize (Kb) 9492
[startup+1720.14 s]
Raw data (loadavg): 1.18 1.17 1.10 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 56274 25985 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 1180.36
Current children cumulated vsize (Kb) 9492
[startup+1730.14 s]
Raw data (loadavg): 1.15 1.16 1.09 2/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) R 1688 1688 22582 0 -1 0 2043 0 0 0 56676 26174 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 1186.27
Current children cumulated vsize (Kb) 9492
[startup+1740.14 s]
Raw data (loadavg): 1.12 1.15 1.09 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 57067 26379 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 1192.23
Current children cumulated vsize (Kb) 9492
[startup+1750.14 s]
Raw data (loadavg): 1.26 1.18 1.10 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 57468 26572 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 1198.17
Current children cumulated vsize (Kb) 9492
[startup+1760.14 s]
Raw data (loadavg): 1.22 1.17 1.10 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 57874 26774 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 1204.25
Current children cumulated vsize (Kb) 9492
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1760.14 s]
Raw data (loadavg): 1.22 1.17 1.10 1/57 1693
Raw data (/proc/1688/stat): 1688 (vallstSAT2005PB) S 1687 1688 22582 0 -1 0 378 1095 0 0 2 1 34802 972 19 0 1 0 1787538853 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1688/statm): 532 248 485 147 0 385 0
[pid=1688] vsize: 2128
Raw data (/proc/1693/stat): 1693 (vallst) T 1688 1688 22582 0 -1 0 2043 0 0 0 57874 26774 0 0 15 0 1 0 1787576540 7540736 1512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1693/statm): 1841 1512 413 48 0 1793 0
[pid=1693] vsize: 7364
Current children cumulated CPU time (s) 1204.25
Current children cumulated vsize (Kb) 9492
Sending SIGTERM to -1688
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=1695
New process pid=1696
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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
One traced child (pid=1693) exited with status: 3
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/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/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/1565/stat
open syscall for file /proc/1565/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/1565/cmdline
open syscall for file /proc/1565/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/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1665/stat
open syscall for file /proc/1665/status
open syscall for file /proc/1665/cmdline
open syscall for file /proc/1665/environ
open syscall for file /proc/13967/stat
open syscall for file /proc/13967/status
open syscall for file /proc/13967/cmdline
open syscall for file /proc/13967/environ
open syscall for file /proc/9077/stat
open syscall for file /proc/9077/status
open syscall for file /proc/9077/cmdline
open syscall for file /proc/9077/environ
open syscall for file /proc/9104/stat
open syscall for file /proc/9104/status
open syscall for file /proc/9104/cmdline
open syscall for file /proc/9104/environ
open syscall for file /proc/9128/stat
open syscall for file /proc/9128/status
open syscall for file /proc/9128/cmdline
open syscall for file /proc/9128/environ
open syscall for file /proc/17043/stat
open syscall for file /proc/17043/status
open syscall for file /proc/17043/cmdline
open syscall for file /proc/17043/environ
open syscall for file /proc/17049/stat
open syscall for file /proc/17049/status
open syscall for file /proc/17049/cmdline
open syscall for file /proc/17049/environ
open syscall for file /proc/2284/stat
open syscall for file /proc/2284/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/2284/cmdline
open syscall for file /proc/2284/environ
open syscall for file /proc/2319/stat
open syscall for file /proc/2319/status
open syscall for file /proc/2319/cmdline
open syscall for file /proc/2319/environ
open syscall for file /proc/22582/stat
open syscall for file /proc/22582/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/22582/cmdline
open syscall for file /proc/22582/environ
open syscall for file /proc/22583/stat
open syscall for file /proc/22583/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/22583/cmdline
open syscall for file /proc/22583/environ
open syscall for file /proc/22592/stat
open syscall for file /proc/22592/status
open syscall for file /proc/22592/cmdline
open syscall for file /proc/22592/environ
open syscall for file /proc/1644/stat
open syscall for file /proc/1644/status
open syscall for file /proc/1644/cmdline
open syscall for file /proc/1644/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1695/stat
open syscall for file /proc/1695/status
open syscall for file /proc/1695/cmdline
open syscall for file /proc/1695/environ
open syscall for file /proc/1696/stat
open syscall for file /proc/1696/status
open syscall for file /proc/1696/cmdline
open syscall for file /proc/1696/environ
One traced child (pid=1695) exited with status: 0
One traced child (pid=1696) exited with status: 0
New process pid=1697
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=1697) exited with status: 0
New process pid=1698
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=1698) exited with status: 0
One traced child (pid=1688) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1760.63
CPU time (s): 1204.38
CPU user time (s): 926.826
CPU system time (s): 277.558
CPU usage (%): 68.4062
Max. virtual memory (cumulated for all children) (Kb): 9940