1:
seed: 0
Nr of vars set: 1266 (#equs: 0)
Nr of vars set: 2123 (#equs: 30)
#decisions: 3017134; #end-nodes: 136118;
#proof improvement attempts: 0; #restarts: 768
Current batch, end-nodes: 0 / 271 (271)
#axs: 763, #non-axs: 1007
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 29, end (keep): 48
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 2150 (#equs: 30)
Time taken: 5 min, 8 sec
2:
seed: 0
Nr of vars set: 2150 (#equs: 0)
Nr of vars set: 2150 (#equs: 15)
#decisions: 8586498; #end-nodes: 703745;
#proof improvement attempts: 0; #restarts: 1920
Current batch, end-nodes: 0 / 615 (599)
#axs: 755, #non-axs: 715
tight: meta-meta: start: 3, end: 4; meta: start: 11, end (keep): 20
loose: meta-meta: start: 4, end: 5; meta: start: 8, end (keep): 12
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 2157 (#equs: 23)
Time taken: 12 min, 9 sec
3:
seed: 0
Nr of vars set: 2157 (#equs: 0)
Nr of vars set: 2157 (#equs: 15)
Interupt request received.
#decisions: 1660954; #end-nodes: 85650;
#proof improvement attempts: 0; #restarts: 402
Current batch, end-nodes: 62 / 260 (260)
#axs: 750, #non-axs: 972
tight: meta-meta: start: 3, end: 4; meta: start: 11, end (keep): 20
loose: meta-meta: start: 4, end: 5; meta: start: 8, end (keep): 12
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 2868 (#equs: 18)
Time taken: 2 min, 44 sec
/oldhome/oroussel/solvers/vallstSAT2005PB.sh: line 71: kill: (5898) - No such process
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/5828/stat): 5828 (vallstSAT2005PB) R 5827 5828 4004 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20234043 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5828/statm): 174 3 169 147 0 27 0
[pid=5828] 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=5829
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=5829) exited with status: 0
New process pid=5830
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=5830) exited with status: 0
New process pid=5831
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-set1ch.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0034 s]
Raw data (loadavg): 0.84 0.95 0.98 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 952 0 0 0 652 115 0 0 18 0 1 0 20234050 4767744 805 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1164 805 413 48 0 1116 0
[pid=5831] vsize: 4656
Current children cumulated CPU time (s) 7.69
Current children cumulated vsize (Kb) 6784
[startup+20.004 s]
Raw data (loadavg): 0.86 0.95 0.98 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 952 0 0 0 1272 239 0 0 20 0 1 0 20234050 4767744 805 4294967295 134512640 134702520 3221223952 3221223192 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1164 805 413 48 0 1116 0
[pid=5831] vsize: 4656
Current children cumulated CPU time (s) 15.13
Current children cumulated vsize (Kb) 6784
[startup+30.0046 s]
Raw data (loadavg): 0.88 0.95 0.98 2/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) R 5828 5828 4004 0 -1 0 1019 0 0 0 1775 395 0 0 16 0 1 0 20234050 6959104 872 4294967295 134512640 134702520 3221223952 3221223232 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1699 872 413 48 0 1651 0
[pid=5831] vsize: 6796
Current children cumulated CPU time (s) 21.72
Current children cumulated vsize (Kb) 8924
[startup+40.0052 s]
Raw data (loadavg): 0.90 0.96 0.98 2/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) R 5828 5828 4004 0 -1 0 1023 0 0 0 2332 533 0 0 17 0 1 0 20234050 6963200 876 4294967295 134512640 134702520 3221223952 3221201308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 876 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 28.67
Current children cumulated vsize (Kb) 8928
[startup+50.0058 s]
Raw data (loadavg): 0.92 0.96 0.98 2/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) R 5828 5828 4004 0 -1 0 1025 0 0 0 2864 682 0 0 17 0 1 0 20234050 6963200 878 4294967295 134512640 134702520 3221223952 3221220848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 878 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 35.48
Current children cumulated vsize (Kb) 8928
[startup+60.0064 s]
Raw data (loadavg): 0.93 0.96 0.98 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1025 0 0 0 3539 790 0 0 18 0 1 0 20234050 6963200 878 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 878 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 43.31
Current children cumulated vsize (Kb) 8928
[startup+70.008 s]
Raw data (loadavg): 0.94 0.96 0.98 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1025 0 0 0 4152 912 0 0 19 0 1 0 20234050 6963200 878 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 878 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (Kb) 8928
[startup+80.0086 s]
Raw data (loadavg): 0.95 0.96 0.98 2/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) R 5828 5828 4004 0 -1 0 1027 0 0 0 4700 1054 0 0 25 0 1 0 20234050 6963200 880 4294967295 134512640 134702520 3221223952 3221038748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5831/statm): 1700 880 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 57.56
Current children cumulated vsize (Kb) 8928
[startup+90.0092 s]
Raw data (loadavg): 0.95 0.96 0.98 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1029 0 0 0 5282 1191 0 0 16 0 1 0 20234050 6963200 882 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5831/statm): 1700 882 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 64.75
Current children cumulated vsize (Kb) 8928
[startup+100.01 s]
Raw data (loadavg): 0.96 0.96 0.98 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1031 0 0 0 5889 1315 0 0 19 0 1 0 20234050 6963200 884 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5831/statm): 1700 884 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 72.06
Current children cumulated vsize (Kb) 8928
[startup+110.011 s]
Raw data (loadavg): 0.97 0.96 0.98 2/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) R 5828 5828 4004 0 -1 0 1031 0 0 0 6511 1443 0 0 18 0 1 0 20234050 6963200 884 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 884 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 79.56
Current children cumulated vsize (Kb) 8928
[startup+120.012 s]
Raw data (loadavg): 1.05 0.98 0.99 2/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) R 5828 5828 4004 0 -1 0 1031 0 0 0 7048 1594 0 0 17 0 1 0 20234050 6963200 884 4294967295 134512640 134702520 3221223952 3221215568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5831/statm): 1700 884 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 86.44
Current children cumulated vsize (Kb) 8928
[startup+130.013 s]
Raw data (loadavg): 1.04 0.98 0.99 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1034 0 0 0 7592 1746 0 0 17 0 1 0 20234050 6963200 887 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5831/statm): 1700 887 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 93.4
Current children cumulated vsize (Kb) 8928
[startup+140.013 s]
Raw data (loadavg): 1.04 0.98 0.99 2/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) R 5828 5828 4004 0 -1 0 1035 0 0 0 8164 1889 0 0 18 0 1 0 20234050 6963200 888 4294967295 134512640 134702520 3221223952 3221196528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 888 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 100.55
Current children cumulated vsize (Kb) 8928
[startup+150.014 s]
Raw data (loadavg): 1.03 0.98 0.99 2/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) R 5828 5828 4004 0 -1 0 1036 0 0 0 8819 2001 0 0 18 0 1 0 20234050 6963200 889 4294967295 134512640 134702520 3221223952 3221222848 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 889 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 108.22
Current children cumulated vsize (Kb) 8928
[startup+160.014 s]
Raw data (loadavg): 1.03 0.98 0.99 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1036 0 0 0 9437 2131 0 0 18 0 1 0 20234050 6963200 889 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 889 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 115.7
Current children cumulated vsize (Kb) 8928
[startup+170.015 s]
Raw data (loadavg): 1.02 0.98 0.99 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1037 0 0 0 10034 2265 0 0 18 0 1 0 20234050 6963200 890 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5831/statm): 1700 890 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 123.01
Current children cumulated vsize (Kb) 8928
[startup+180.015 s]
Raw data (loadavg): 1.02 0.98 0.99 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1041 0 0 0 10596 2404 0 0 17 0 1 0 20234050 6963200 894 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5831/statm): 1700 894 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 8928
[startup+190.015 s]
Raw data (loadavg): 1.09 1.00 0.99 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1041 0 0 0 11157 2548 0 0 16 0 1 0 20234050 6963200 894 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 894 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 137.07
Current children cumulated vsize (Kb) 8928
[startup+200.016 s]
Raw data (loadavg): 1.07 1.00 0.99 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1041 0 0 0 11791 2664 0 0 18 0 1 0 20234050 6963200 894 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5831/statm): 1700 894 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 144.57
Current children cumulated vsize (Kb) 8928
[startup+210.017 s]
Raw data (loadavg): 1.06 1.00 0.99 2/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) R 5828 5828 4004 0 -1 0 1041 0 0 0 12417 2789 0 0 18 0 1 0 20234050 6963200 894 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5831/statm): 1700 894 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 152.08
Current children cumulated vsize (Kb) 8928
[startup+220.018 s]
Raw data (loadavg): 1.12 1.01 1.00 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1044 0 0 0 12934 2946 0 0 16 0 1 0 20234050 6963200 897 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 897 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 158.82
Current children cumulated vsize (Kb) 8928
[startup+230.018 s]
Raw data (loadavg): 1.11 1.01 1.00 2/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) R 5828 5828 4004 0 -1 0 1044 0 0 0 13573 3066 0 0 25 0 1 0 20234050 6963200 897 4294967295 134512640 134702520 3221223952 3221103388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 897 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 166.41
Current children cumulated vsize (Kb) 8928
[startup+240.019 s]
Raw data (loadavg): 1.16 1.03 1.00 2/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) R 5828 5828 4004 0 -1 0 1049 0 0 0 14073 3231 0 0 18 0 1 0 20234050 6963200 902 4294967295 134512640 134702520 3221223952 3221193948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 902 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 173.06
Current children cumulated vsize (Kb) 8928
[startup+250.02 s]
Raw data (loadavg): 1.14 1.03 1.00 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1049 0 0 0 14763 3335 0 0 18 0 1 0 20234050 6963200 902 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 902 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 181
Current children cumulated vsize (Kb) 8928
[startup+260.02 s]
Raw data (loadavg): 1.12 1.03 1.00 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1049 0 0 0 15396 3457 0 0 19 0 1 0 20234050 6963200 902 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 902 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 188.55
Current children cumulated vsize (Kb) 8928
[startup+270.021 s]
Raw data (loadavg): 1.10 1.02 1.00 2/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) R 5828 5828 4004 0 -1 0 1052 0 0 0 15954 3598 0 0 25 0 1 0 20234050 6963200 905 4294967295 134512640 134702520 3221223952 3220978908 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 905 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 195.54
Current children cumulated vsize (Kb) 8928
[startup+280.022 s]
Raw data (loadavg): 1.08 1.02 1.00 3/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) R 5828 5828 4004 0 -1 0 1052 0 0 0 16392 3780 0 0 16 0 1 0 20234050 6963200 905 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 905 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 201.74
Current children cumulated vsize (Kb) 8928
[startup+290.022 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1053 0 0 0 16943 3921 0 0 21 0 1 0 20234050 6963200 906 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 906 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 208.66
Current children cumulated vsize (Kb) 8928
[startup+300.023 s]
Raw data (loadavg): 1.06 1.02 1.00 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1053 0 0 0 17526 4058 0 0 19 0 1 0 20234050 6963200 906 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 906 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 215.86
Current children cumulated vsize (Kb) 8928
[startup+310.024 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) R 5828 5828 4004 0 -1 0 1053 0 0 0 18159 4179 0 0 18 0 1 0 20234050 6963200 906 4294967295 134512640 134702520 3221223952 3221222848 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 906 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 223.4
Current children cumulated vsize (Kb) 8928
[startup+320.025 s]
Raw data (loadavg): 1.04 1.02 1.00 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1054 0 0 0 18746 4309 0 0 17 0 1 0 20234050 6963200 907 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 907 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 230.57
Current children cumulated vsize (Kb) 8928
[startup+330.026 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1094 0 0 0 19313 4440 0 0 17 0 1 0 20234050 6963200 947 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 947 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 237.55
Current children cumulated vsize (Kb) 8928
[startup+340.026 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1106 0 0 0 19612 4660 0 0 16 0 1 0 20234050 6963200 959 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5831/statm): 1700 959 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 242.74
Current children cumulated vsize (Kb) 8928
[startup+350.027 s]
Raw data (loadavg): 1.10 1.03 1.01 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1125 0 0 0 20045 4842 0 0 16 0 1 0 20234050 7208960 978 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5831/statm): 1760 978 413 48 0 1712 0
[pid=5831] vsize: 7040
Current children cumulated CPU time (s) 248.89
Current children cumulated vsize (Kb) 9168
[startup+360.028 s]
Raw data (loadavg): 1.09 1.03 1.00 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1139 0 0 0 20620 4978 0 0 19 0 1 0 20234050 7208960 992 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1760 992 413 48 0 1712 0
[pid=5831] vsize: 7040
Current children cumulated CPU time (s) 256
Current children cumulated vsize (Kb) 9168
[startup+370.029 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1139 0 0 0 21266 5094 0 0 19 0 1 0 20234050 7208960 992 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1760 992 413 48 0 1712 0
[pid=5831] vsize: 7040
Current children cumulated CPU time (s) 263.62
Current children cumulated vsize (Kb) 9168
[startup+380.03 s]
Raw data (loadavg): 1.14 1.04 1.01 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1139 0 0 0 21841 5232 0 0 17 0 1 0 20234050 7208960 992 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1760 992 413 48 0 1712 0
[pid=5831] vsize: 7040
Current children cumulated CPU time (s) 270.75
Current children cumulated vsize (Kb) 9168
[startup+390.03 s]
Raw data (loadavg): 1.12 1.04 1.01 2/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) R 5828 5828 4004 0 -1 0 1141 0 0 0 22418 5365 0 0 16 0 1 0 20234050 7208960 994 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5831/statm): 1760 994 413 48 0 1712 0
[pid=5831] vsize: 7040
Current children cumulated CPU time (s) 277.85
Current children cumulated vsize (Kb) 9168
[startup+400.031 s]
Raw data (loadavg): 1.10 1.04 1.01 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1141 0 0 0 22990 5499 0 0 24 0 1 0 20234050 7208960 994 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5831/statm): 1760 994 413 48 0 1712 0
[pid=5831] vsize: 7040
Current children cumulated CPU time (s) 284.91
Current children cumulated vsize (Kb) 9168
[startup+410.031 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1160 0 0 0 23432 5680 0 0 17 0 1 0 20234050 7208960 1013 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1760 1013 413 48 0 1712 0
[pid=5831] vsize: 7040
Current children cumulated CPU time (s) 291.14
Current children cumulated vsize (Kb) 9168
[startup+420.033 s]
Raw data (loadavg): 1.07 1.04 1.00 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1165 0 0 0 24045 5809 0 0 19 0 1 0 20234050 7208960 1018 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1760 1018 413 48 0 1712 0
[pid=5831] vsize: 7040
Current children cumulated CPU time (s) 298.56
Current children cumulated vsize (Kb) 9168
[startup+430.034 s]
Raw data (loadavg): 1.06 1.04 1.00 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1165 0 0 0 24700 5924 0 0 19 0 1 0 20234050 7208960 1018 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1760 1018 413 48 0 1712 0
[pid=5831] vsize: 7040
Current children cumulated CPU time (s) 306.26
Current children cumulated vsize (Kb) 9168
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=5831) exited with status: 2
New process pid=5832
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=5832) exited with status: 0
New process pid=5833
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+440.034 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 667 0 0 0 452 66 0 0 16 0 1 0 20277397 4263936 637 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1041 637 413 48 0 993 0
[pid=5833] vsize: 4164
Current children cumulated CPU time (s) 314.08
Current children cumulated vsize (Kb) 6292
[startup+450.035 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 669 0 0 0 870 254 0 0 17 0 1 0 20277397 4399104 639 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1074 639 413 48 0 1026 0
[pid=5833] vsize: 4296
Current children cumulated CPU time (s) 320.14
Current children cumulated vsize (Kb) 6424
[startup+460.035 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 769 0 0 0 1333 425 0 0 16 0 1 0 20277397 6512640 739 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1590 739 413 48 0 1542 0
[pid=5833] vsize: 6360
Current children cumulated CPU time (s) 326.48
Current children cumulated vsize (Kb) 8488
[startup+470.036 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 781 0 0 0 1866 579 0 0 16 0 1 0 20277397 6512640 751 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1590 751 413 48 0 1542 0
[pid=5833] vsize: 6360
Current children cumulated CPU time (s) 333.35
Current children cumulated vsize (Kb) 8488
[startup+480.037 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 785 0 0 0 2354 742 0 0 16 0 1 0 20277397 6512640 755 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1590 755 413 48 0 1542 0
[pid=5833] vsize: 6360
Current children cumulated CPU time (s) 339.86
Current children cumulated vsize (Kb) 8488
[startup+490.038 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 790 0 0 0 2820 919 0 0 16 0 1 0 20277397 6647808 760 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1623 760 413 48 0 1575 0
[pid=5833] vsize: 6492
Current children cumulated CPU time (s) 346.29
Current children cumulated vsize (Kb) 8620
[startup+500.039 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 791 0 0 0 3273 1094 0 0 18 0 1 0 20277397 6647808 761 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1623 761 413 48 0 1575 0
[pid=5833] vsize: 6492
Current children cumulated CPU time (s) 352.57
Current children cumulated vsize (Kb) 8620
[startup+510.039 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 792 0 0 0 3788 1252 0 0 25 0 1 0 20277397 6619136 762 4294967295 134512640 134702520 3221223712 3221063948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1616 762 413 48 0 1568 0
[pid=5833] vsize: 6464
Current children cumulated CPU time (s) 359.3
Current children cumulated vsize (Kb) 8592
[startup+520.04 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 793 0 0 0 4212 1433 0 0 18 0 1 0 20277397 6619136 763 4294967295 134512640 134702520 3221223712 3221193408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1616 763 413 48 0 1568 0
[pid=5833] vsize: 6464
Current children cumulated CPU time (s) 365.35
Current children cumulated vsize (Kb) 8592
[startup+530.04 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 804 0 0 0 4682 1603 0 0 16 0 1 0 20277397 6619136 774 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1616 774 413 48 0 1568 0
[pid=5833] vsize: 6464
Current children cumulated CPU time (s) 371.75
Current children cumulated vsize (Kb) 8592
[startup+540.041 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 806 0 0 0 5290 1729 0 0 16 0 1 0 20277397 6619136 776 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1616 776 413 48 0 1568 0
[pid=5833] vsize: 6464
Current children cumulated CPU time (s) 379.09
Current children cumulated vsize (Kb) 8592
[startup+550.042 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 807 0 0 0 5740 1903 0 0 17 0 1 0 20277397 6619136 777 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1616 777 413 48 0 1568 0
[pid=5833] vsize: 6464
Current children cumulated CPU time (s) 385.33
Current children cumulated vsize (Kb) 8592
[startup+560.043 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 810 0 0 0 6313 2043 0 0 16 0 1 0 20277397 6660096 780 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1626 780 413 48 0 1578 0
[pid=5833] vsize: 6504
Current children cumulated CPU time (s) 392.46
Current children cumulated vsize (Kb) 8632
[startup+570.044 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 819 0 0 0 6805 2205 0 0 16 0 1 0 20277397 6660096 789 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1626 789 413 48 0 1578 0
[pid=5833] vsize: 6504
Current children cumulated CPU time (s) 399
Current children cumulated vsize (Kb) 8632
[startup+580.045 s]
Raw data (loadavg): 1.08 1.03 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 824 0 0 0 7372 2344 0 0 19 0 1 0 20277397 6660096 794 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1626 794 413 48 0 1578 0
[pid=5833] vsize: 6504
Current children cumulated CPU time (s) 406.06
Current children cumulated vsize (Kb) 8632
[startup+590.046 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 827 0 0 0 7829 2513 0 0 16 0 1 0 20277397 6660096 797 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1626 797 413 48 0 1578 0
[pid=5833] vsize: 6504
Current children cumulated CPU time (s) 412.32
Current children cumulated vsize (Kb) 8632
[startup+600.047 s]
Raw data (loadavg): 1.13 1.05 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 828 0 0 0 8275 2690 0 0 17 0 1 0 20277397 6799360 798 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1660 798 413 48 0 1612 0
[pid=5833] vsize: 6640
Current children cumulated CPU time (s) 418.55
Current children cumulated vsize (Kb) 8768
[startup+610.048 s]
Raw data (loadavg): 1.11 1.04 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 852 0 0 0 8712 2867 0 0 17 0 1 0 20277397 6709248 822 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1638 822 413 48 0 1590 0
[pid=5833] vsize: 6552
Current children cumulated CPU time (s) 424.69
Current children cumulated vsize (Kb) 8680
[startup+620.049 s]
Raw data (loadavg): 1.09 1.04 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 852 0 0 0 9240 3019 0 0 16 0 1 0 20277397 6709248 822 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1638 822 413 48 0 1590 0
[pid=5833] vsize: 6552
Current children cumulated CPU time (s) 431.49
Current children cumulated vsize (Kb) 8680
[startup+630.05 s]
Raw data (loadavg): 1.08 1.04 1.01 2/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 857 0 0 0 9740 3180 0 0 17 0 1 0 20277397 6832128 827 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1668 827 413 48 0 1620 0
[pid=5833] vsize: 6672
Current children cumulated CPU time (s) 438.1
Current children cumulated vsize (Kb) 8800
[startup+640.05 s]
Raw data (loadavg): 1.06 1.04 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 857 0 0 0 10218 3350 0 0 16 0 1 0 20277397 6832128 827 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1668 827 413 48 0 1620 0
[pid=5833] vsize: 6672
Current children cumulated CPU time (s) 444.58
Current children cumulated vsize (Kb) 8800
[startup+650.051 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 859 0 0 0 10683 3523 0 0 17 0 1 0 20277397 6832128 829 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1668 829 413 48 0 1620 0
[pid=5833] vsize: 6672
Current children cumulated CPU time (s) 450.96
Current children cumulated vsize (Kb) 8800
[startup+660.053 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 860 0 0 0 11123 3707 0 0 16 0 1 0 20277397 6832128 830 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1668 830 413 48 0 1620 0
[pid=5833] vsize: 6672
Current children cumulated CPU time (s) 457.2
Current children cumulated vsize (Kb) 8800
[startup+670.053 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 862 0 0 0 11637 3860 0 0 16 0 1 0 20277397 6832128 832 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1668 832 413 48 0 1620 0
[pid=5833] vsize: 6672
Current children cumulated CPU time (s) 463.87
Current children cumulated vsize (Kb) 8800
[startup+680.054 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 865 0 0 0 12267 3974 0 0 16 0 1 0 20277397 6832128 835 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1668 835 413 48 0 1620 0
[pid=5833] vsize: 6672
Current children cumulated CPU time (s) 471.31
Current children cumulated vsize (Kb) 8800
[startup+690.054 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 870 0 0 0 12730 4145 0 0 16 0 1 0 20277397 6832128 840 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1668 840 413 48 0 1620 0
[pid=5833] vsize: 6672
Current children cumulated CPU time (s) 477.65
Current children cumulated vsize (Kb) 8800
[startup+700.055 s]
Raw data (loadavg): 1.18 1.06 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 871 0 0 0 13185 4322 0 0 17 0 1 0 20277397 6832128 841 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1668 841 413 48 0 1620 0
[pid=5833] vsize: 6672
Current children cumulated CPU time (s) 483.97
Current children cumulated vsize (Kb) 8800
[startup+710.056 s]
Raw data (loadavg): 1.15 1.06 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 880 0 0 0 13651 4503 0 0 17 0 1 0 20277397 6848512 850 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1672 850 413 48 0 1624 0
[pid=5833] vsize: 6688
Current children cumulated CPU time (s) 490.44
Current children cumulated vsize (Kb) 8816
[startup+720.056 s]
Raw data (loadavg): 1.12 1.06 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 883 0 0 0 14228 4634 0 0 16 0 1 0 20277397 6848512 853 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1672 853 413 48 0 1624 0
[pid=5833] vsize: 6688
Current children cumulated CPU time (s) 497.52
Current children cumulated vsize (Kb) 8816
[startup+730.057 s]
Raw data (loadavg): 1.10 1.05 1.01 2/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 885 0 0 0 14729 4797 0 0 21 0 1 0 20277397 6848512 855 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1672 855 413 48 0 1624 0
[pid=5833] vsize: 6688
Current children cumulated CPU time (s) 504.16
Current children cumulated vsize (Kb) 8816
[startup+740.057 s]
Raw data (loadavg): 1.17 1.07 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 894 0 0 0 15187 4974 0 0 16 0 1 0 20277397 6848512 864 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1672 864 413 48 0 1624 0
[pid=5833] vsize: 6688
Current children cumulated CPU time (s) 510.51
Current children cumulated vsize (Kb) 8816
[startup+750.058 s]
Raw data (loadavg): 1.22 1.08 1.02 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 895 0 0 0 15617 5165 0 0 17 0 1 0 20277397 6995968 865 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1708 865 413 48 0 1660 0
[pid=5833] vsize: 6832
Current children cumulated CPU time (s) 516.72
Current children cumulated vsize (Kb) 8960
[startup+760.059 s]
Raw data (loadavg): 1.18 1.08 1.02 2/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 898 0 0 0 16074 5340 0 0 16 0 1 0 20277397 6905856 868 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1686 868 413 48 0 1638 0
[pid=5833] vsize: 6744
Current children cumulated CPU time (s) 523.04
Current children cumulated vsize (Kb) 8872
[startup+770.06 s]
Raw data (loadavg): 1.15 1.08 1.01 2/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 902 0 0 0 16553 5512 0 0 25 0 1 0 20277397 6905856 872 4294967295 134512640 134702520 3221223712 3221017408 134612101 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1686 872 413 48 0 1638 0
[pid=5833] vsize: 6744
Current children cumulated CPU time (s) 529.55
Current children cumulated vsize (Kb) 8872
[startup+780.061 s]
Raw data (loadavg): 1.13 1.07 1.01 2/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1083 0 0 0 17050 5673 0 0 25 0 1 0 20277397 7630848 1053 4294967295 134512640 134702520 3221223712 3221083788 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1863 1053 413 48 0 1815 0
[pid=5833] vsize: 7452
Current children cumulated CPU time (s) 536.13
Current children cumulated vsize (Kb) 9580
[startup+790.062 s]
Raw data (loadavg): 1.11 1.07 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1193 0 0 0 17560 5835 0 0 17 0 1 0 20277397 7737344 1099 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1889 1099 413 48 0 1841 0
[pid=5833] vsize: 7556
Current children cumulated CPU time (s) 542.85
Current children cumulated vsize (Kb) 9684
[startup+800.063 s]
Raw data (loadavg): 1.09 1.07 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1194 0 0 0 18023 6011 0 0 18 0 1 0 20277397 7737344 1100 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1889 1100 413 48 0 1841 0
[pid=5833] vsize: 7556
Current children cumulated CPU time (s) 549.24
Current children cumulated vsize (Kb) 9684
[startup+810.063 s]
Raw data (loadavg): 1.08 1.06 1.01 2/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1198 0 0 0 18557 6162 0 0 25 0 1 0 20277397 7737344 1104 4294967295 134512640 134702520 3221223712 3220976428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1889 1104 413 48 0 1841 0
[pid=5833] vsize: 7556
Current children cumulated CPU time (s) 556.09
Current children cumulated vsize (Kb) 9684
[startup+820.064 s]
Raw data (loadavg): 1.06 1.06 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1214 0 0 0 18981 6347 0 0 16 0 1 0 20277397 7979008 1120 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1948 1120 413 48 0 1900 0
[pid=5833] vsize: 7792
Current children cumulated CPU time (s) 562.18
Current children cumulated vsize (Kb) 9920
[startup+830.065 s]
Raw data (loadavg): 1.05 1.06 1.01 2/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1223 0 0 0 19388 6534 0 0 17 0 1 0 20277397 7979008 1129 4294967295 134512640 134702520 3221223712 3221218028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1948 1129 413 48 0 1900 0
[pid=5833] vsize: 7792
Current children cumulated CPU time (s) 568.12
Current children cumulated vsize (Kb) 9920
[startup+840.066 s]
Raw data (loadavg): 1.05 1.06 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1231 0 0 0 19939 6678 0 0 16 0 1 0 20277397 8118272 1137 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1982 1137 413 48 0 1934 0
[pid=5833] vsize: 7928
Current children cumulated CPU time (s) 575.07
Current children cumulated vsize (Kb) 10056
[startup+850.067 s]
Raw data (loadavg): 1.04 1.05 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1234 0 0 0 20457 6835 0 0 17 0 1 0 20277397 7876608 1132 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1923 1132 413 48 0 1875 0
[pid=5833] vsize: 7692
Current children cumulated CPU time (s) 581.82
Current children cumulated vsize (Kb) 9820
[startup+860.068 s]
Raw data (loadavg): 1.03 1.05 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1235 0 0 0 20968 6999 0 0 17 0 1 0 20277397 7876608 1133 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1923 1133 413 48 0 1875 0
[pid=5833] vsize: 7692
Current children cumulated CPU time (s) 588.57
Current children cumulated vsize (Kb) 9820
[startup+870.069 s]
Raw data (loadavg): 1.03 1.05 1.00 2/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1241 0 0 0 21446 7162 0 0 16 0 1 0 20277397 7876608 1139 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1923 1139 413 48 0 1875 0
[pid=5833] vsize: 7692
Current children cumulated CPU time (s) 594.98
Current children cumulated vsize (Kb) 9820
[startup+880.069 s]
Raw data (loadavg): 1.10 1.06 1.01 2/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1246 0 0 0 21816 7361 0 0 16 0 1 0 20277397 7876608 1144 4294967295 134512640 134702520 3221223712 3221222992 134551028 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1923 1144 413 48 0 1875 0
[pid=5833] vsize: 7692
Current children cumulated CPU time (s) 600.67
Current children cumulated vsize (Kb) 9820
[startup+890.069 s]
Raw data (loadavg): 1.08 1.06 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1250 0 0 0 22220 7553 0 0 16 0 1 0 20277397 7876608 1148 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1923 1148 413 48 0 1875 0
[pid=5833] vsize: 7692
Current children cumulated CPU time (s) 606.63
Current children cumulated vsize (Kb) 9820
[startup+900.07 s]
Raw data (loadavg): 1.07 1.06 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1259 0 0 0 22746 7700 0 0 16 0 1 0 20277397 7876608 1157 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1923 1157 413 48 0 1875 0
[pid=5833] vsize: 7692
Current children cumulated CPU time (s) 613.36
Current children cumulated vsize (Kb) 9820
[startup+910.071 s]
Raw data (loadavg): 1.06 1.06 1.01 2/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1264 0 0 0 23247 7861 0 0 17 0 1 0 20277397 7876608 1162 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1923 1162 413 48 0 1875 0
[pid=5833] vsize: 7692
Current children cumulated CPU time (s) 619.98
Current children cumulated vsize (Kb) 9820
[startup+920.072 s]
Raw data (loadavg): 1.05 1.05 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1265 0 0 0 23738 8029 0 0 17 0 1 0 20277397 8019968 1163 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1958 1163 413 48 0 1910 0
[pid=5833] vsize: 7832
Current children cumulated CPU time (s) 626.57
Current children cumulated vsize (Kb) 9960
[startup+930.073 s]
Raw data (loadavg): 1.04 1.05 1.00 2/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1269 0 0 0 24281 8172 0 0 19 0 1 0 20277397 7929856 1167 4294967295 134512640 134702520 3221223712 3221162368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1936 1167 413 48 0 1888 0
[pid=5833] vsize: 7744
Current children cumulated CPU time (s) 633.43
Current children cumulated vsize (Kb) 9872
[startup+940.073 s]
Raw data (loadavg): 1.03 1.05 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1273 0 0 0 24705 8360 0 0 16 0 1 0 20277397 7929856 1171 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1936 1171 413 48 0 1888 0
[pid=5833] vsize: 7744
Current children cumulated CPU time (s) 639.55
Current children cumulated vsize (Kb) 9872
[startup+950.074 s]
Raw data (loadavg): 1.11 1.07 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1276 0 0 0 25237 8512 0 0 17 0 1 0 20277397 7929856 1174 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1936 1174 413 48 0 1888 0
[pid=5833] vsize: 7744
Current children cumulated CPU time (s) 646.39
Current children cumulated vsize (Kb) 9872
[startup+960.074 s]
Raw data (loadavg): 1.09 1.06 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1284 0 0 0 25761 8671 0 0 18 0 1 0 20277397 7929856 1182 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1936 1182 413 48 0 1888 0
[pid=5833] vsize: 7744
Current children cumulated CPU time (s) 653.22
Current children cumulated vsize (Kb) 9872
[startup+970.076 s]
Raw data (loadavg): 1.08 1.06 1.01 2/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1284 0 0 0 26233 8846 0 0 17 0 1 0 20277397 7929856 1182 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1936 1182 413 48 0 1888 0
[pid=5833] vsize: 7744
Current children cumulated CPU time (s) 659.69
Current children cumulated vsize (Kb) 9872
[startup+980.076 s]
Raw data (loadavg): 1.06 1.06 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1286 0 0 0 26802 8991 0 0 18 0 1 0 20277397 8077312 1184 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1972 1184 413 48 0 1924 0
[pid=5833] vsize: 7888
Current children cumulated CPU time (s) 666.83
Current children cumulated vsize (Kb) 10016
[startup+990.076 s]
Raw data (loadavg): 1.05 1.06 1.00 2/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1289 0 0 0 27283 9164 0 0 21 0 1 0 20277397 7987200 1187 4294967295 134512640 134702520 3221223712 3221148268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1950 1187 413 48 0 1902 0
[pid=5833] vsize: 7800
Current children cumulated CPU time (s) 673.37
Current children cumulated vsize (Kb) 9928
[startup+1000.08 s]
Raw data (loadavg): 1.04 1.05 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1293 0 0 0 27784 9321 0 0 17 0 1 0 20277397 7987200 1191 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1950 1191 413 48 0 1902 0
[pid=5833] vsize: 7800
Current children cumulated CPU time (s) 679.95
Current children cumulated vsize (Kb) 9928
[startup+1010.08 s]
Raw data (loadavg): 1.12 1.07 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1301 0 0 0 28318 9472 0 0 16 0 1 0 20277397 7987200 1199 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1950 1199 413 48 0 1902 0
[pid=5833] vsize: 7800
Current children cumulated CPU time (s) 686.8
Current children cumulated vsize (Kb) 9928
[startup+1020.08 s]
Raw data (loadavg): 1.10 1.06 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1304 0 0 0 28836 9628 0 0 17 0 1 0 20277397 8142848 1202 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1988 1202 413 48 0 1940 0
[pid=5833] vsize: 7952
Current children cumulated CPU time (s) 693.54
Current children cumulated vsize (Kb) 10080
[startup+1030.08 s]
Raw data (loadavg): 1.08 1.06 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1305 0 0 0 29353 9785 0 0 18 0 1 0 20277397 8142848 1203 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1988 1203 413 48 0 1940 0
[pid=5833] vsize: 7952
Current children cumulated CPU time (s) 700.28
Current children cumulated vsize (Kb) 10080
[startup+1040.08 s]
Raw data (loadavg): 1.07 1.06 1.00 2/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1309 0 0 0 29905 9930 0 0 25 0 1 0 20277397 8081408 1207 4294967295 134512640 134702520 3221223712 3220999808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1973 1207 413 48 0 1925 0
[pid=5833] vsize: 7892
Current children cumulated CPU time (s) 707.25
Current children cumulated vsize (Kb) 10020
[startup+1050.08 s]
Raw data (loadavg): 1.06 1.06 1.00 2/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1317 0 0 0 30341 10116 0 0 16 0 1 0 20277397 8081408 1215 4294967295 134512640 134702520 3221223712 3221223148 1074228942 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1973 1215 413 48 0 1925 0
[pid=5833] vsize: 7892
Current children cumulated CPU time (s) 713.47
Current children cumulated vsize (Kb) 10020
[startup+1060.08 s]
Raw data (loadavg): 1.05 1.05 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1324 0 0 0 30859 10273 0 0 17 0 1 0 20277397 8081408 1222 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1973 1222 413 48 0 1925 0
[pid=5833] vsize: 7892
Current children cumulated CPU time (s) 720.22
Current children cumulated vsize (Kb) 10020
[startup+1070.08 s]
Raw data (loadavg): 1.12 1.07 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1332 0 0 0 31389 10429 0 0 25 0 1 0 20277397 8081408 1230 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1973 1230 413 48 0 1925 0
[pid=5833] vsize: 7892
Current children cumulated CPU time (s) 727.08
Current children cumulated vsize (Kb) 10020
[startup+1080.08 s]
Raw data (loadavg): 1.18 1.08 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1333 0 0 0 31852 10604 0 0 17 0 1 0 20277397 8228864 1231 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2009 1231 413 48 0 1961 0
[pid=5833] vsize: 8036
Current children cumulated CPU time (s) 733.46
Current children cumulated vsize (Kb) 10164
[startup+1090.08 s]
Raw data (loadavg): 1.15 1.08 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1335 0 0 0 32406 10753 0 0 19 0 1 0 20277397 8228864 1233 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 2009 1233 413 48 0 1961 0
[pid=5833] vsize: 8036
Current children cumulated CPU time (s) 740.49
Current children cumulated vsize (Kb) 10164
[startup+1100.08 s]
Raw data (loadavg): 1.20 1.09 1.01 1/56 5888
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1343 0 0 0 32855 10930 0 0 16 0 1 0 20277397 8167424 1241 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1994 1241 413 48 0 1946 0
[pid=5833] vsize: 7976
Current children cumulated CPU time (s) 746.75
Current children cumulated vsize (Kb) 10104
[startup+1110.08 s]
Raw data (loadavg): 1.17 1.09 1.01 1/56 5888
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1355 0 0 0 33392 11073 0 0 16 0 1 0 20277397 8167424 1253 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1994 1253 413 48 0 1946 0
[pid=5833] vsize: 7976
Current children cumulated CPU time (s) 753.55
Current children cumulated vsize (Kb) 10104
[startup+1120.08 s]
Raw data (loadavg): 1.14 1.09 1.01 2/56 5888
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1360 0 0 0 33923 11225 0 0 17 0 1 0 20277397 8167424 1258 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1994 1258 413 48 0 1946 0
[pid=5833] vsize: 7976
Current children cumulated CPU time (s) 760.38
Current children cumulated vsize (Kb) 10104
[startup+1130.08 s]
Raw data (loadavg): 1.12 1.08 1.01 1/56 5888
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1362 0 0 0 34426 11391 0 0 17 0 1 0 20277397 8306688 1260 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2028 1260 413 48 0 1980 0
[pid=5833] vsize: 8112
Current children cumulated CPU time (s) 767.07
Current children cumulated vsize (Kb) 10240
[startup+1140.09 s]
Raw data (loadavg): 1.10 1.08 1.01 1/56 5888
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1363 0 0 0 34934 11551 0 0 18 0 1 0 20277397 8306688 1261 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 2028 1261 413 48 0 1980 0
[pid=5833] vsize: 8112
Current children cumulated CPU time (s) 773.75
Current children cumulated vsize (Kb) 10240
[startup+1150.09 s]
Raw data (loadavg): 1.09 1.08 1.01 2/58 5890
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1365 0 0 0 35410 11710 0 0 24 0 1 0 20277397 8245248 1263 4294967295 134512640 134702520 3221223712 3221095308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2013 1263 413 48 0 1965 0
[pid=5833] vsize: 8052
Current children cumulated CPU time (s) 780.1
Current children cumulated vsize (Kb) 10180
[startup+1160.09 s]
Raw data (loadavg): 1.15 1.09 1.01 1/56 5890
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1371 0 0 0 35867 11883 0 0 17 0 1 0 20277397 8245248 1269 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2013 1269 413 48 0 1965 0
[pid=5833] vsize: 8052
Current children cumulated CPU time (s) 786.4
Current children cumulated vsize (Kb) 10180
[startup+1170.09 s]
Raw data (loadavg): 1.13 1.09 1.01 1/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1373 0 0 0 36402 12030 0 0 17 0 1 0 20277397 8245248 1271 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2013 1271 413 48 0 1965 0
[pid=5833] vsize: 8052
Current children cumulated CPU time (s) 793.22
Current children cumulated vsize (Kb) 10180
[startup+1180.09 s]
Raw data (loadavg): 1.11 1.08 1.01 2/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1378 0 0 0 36901 12190 0 0 25 0 1 0 20277397 8245248 1276 4294967295 134512640 134702520 3221223712 3221056748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2013 1276 413 48 0 1965 0
[pid=5833] vsize: 8052
Current children cumulated CPU time (s) 799.81
Current children cumulated vsize (Kb) 10180
[startup+1190.09 s]
Raw data (loadavg): 1.09 1.08 1.01 1/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1380 0 0 0 37359 12362 0 0 17 0 1 0 20277397 8245248 1278 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2013 1278 413 48 0 1965 0
[pid=5833] vsize: 8052
Current children cumulated CPU time (s) 806.11
Current children cumulated vsize (Kb) 10180
[startup+1200.09 s]
Raw data (loadavg): 1.08 1.08 1.01 1/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1382 0 0 0 37897 12515 0 0 18 0 1 0 20277397 8310784 1280 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 2029 1280 413 48 0 1981 0
[pid=5833] vsize: 8116
Current children cumulated CPU time (s) 813.02
Current children cumulated vsize (Kb) 10244
[startup+1210.09 s]
Raw data (loadavg): 1.06 1.08 1.01 2/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1386 0 0 0 38303 12707 0 0 17 0 1 0 20277397 8310784 1284 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2029 1284 413 48 0 1981 0
[pid=5833] vsize: 8116
Current children cumulated CPU time (s) 819
Current children cumulated vsize (Kb) 10244
[startup+1220.09 s]
Raw data (loadavg): 1.05 1.07 1.01 2/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1388 0 0 0 38820 12869 0 0 17 0 1 0 20277397 8310784 1286 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2029 1286 413 48 0 1981 0
[pid=5833] vsize: 8116
Current children cumulated CPU time (s) 825.79
Current children cumulated vsize (Kb) 10244
[startup+1230.09 s]
Raw data (loadavg): 1.05 1.07 1.01 2/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1392 0 0 0 39276 13041 0 0 19 0 1 0 20277397 8310784 1290 4294967295 134512640 134702520 3221223712 3221169068 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2029 1290 413 48 0 1981 0
[pid=5833] vsize: 8116
Current children cumulated CPU time (s) 832.07
Current children cumulated vsize (Kb) 10244
[startup+1240.09 s]
Raw data (loadavg): 1.04 1.07 1.01 1/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1399 0 0 0 39790 13194 0 0 17 0 1 0 20277397 8310784 1297 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2029 1297 413 48 0 1981 0
[pid=5833] vsize: 8116
Current children cumulated CPU time (s) 838.74
Current children cumulated vsize (Kb) 10244
[startup+1250.09 s]
Raw data (loadavg): 1.11 1.08 1.01 2/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1399 0 0 0 40239 13376 0 0 17 0 1 0 20277397 8310784 1297 4294967295 134512640 134702520 3221223712 3221222608 134550744 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2029 1297 413 48 0 1981 0
[pid=5833] vsize: 8116
Current children cumulated CPU time (s) 845.05
Current children cumulated vsize (Kb) 10244
[startup+1260.09 s]
Raw data (loadavg): 1.17 1.09 1.01 1/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1402 0 0 0 40747 13539 0 0 17 0 1 0 20277397 8372224 1300 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 2044 1300 413 48 0 1996 0
[pid=5833] vsize: 8176
Current children cumulated CPU time (s) 851.76
Current children cumulated vsize (Kb) 10304
[startup+1270.09 s]
Raw data (loadavg): 1.15 1.09 1.01 1/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1406 0 0 0 41272 13693 0 0 17 0 1 0 20277397 8372224 1304 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2044 1304 413 48 0 1996 0
[pid=5833] vsize: 8176
Current children cumulated CPU time (s) 858.55
Current children cumulated vsize (Kb) 10304
[startup+1280.09 s]
Raw data (loadavg): 1.12 1.09 1.01 1/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1408 0 0 0 41692 13876 0 0 16 0 1 0 20277397 8372224 1306 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2044 1306 413 48 0 1996 0
[pid=5833] vsize: 8176
Current children cumulated CPU time (s) 864.58
Current children cumulated vsize (Kb) 10304
[startup+1290.09 s]
Raw data (loadavg): 1.10 1.08 1.01 1/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1414 0 0 0 42219 14024 0 0 16 0 1 0 20277397 8372224 1312 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 2044 1312 413 48 0 1996 0
[pid=5833] vsize: 8176
Current children cumulated CPU time (s) 871.33
Current children cumulated vsize (Kb) 10304
[startup+1300.09 s]
Raw data (loadavg): 1.09 1.08 1.01 1/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1416 0 0 0 42716 14185 0 0 17 0 1 0 20277397 8372224 1314 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 2044 1314 413 48 0 1996 0
[pid=5833] vsize: 8176
Current children cumulated CPU time (s) 877.91
Current children cumulated vsize (Kb) 10304
[startup+1310.09 s]
Raw data (loadavg): 1.07 1.08 1.01 1/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1417 0 0 0 43205 14350 0 0 18 0 1 0 20277397 8523776 1315 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 2081 1315 413 48 0 2033 0
[pid=5833] vsize: 8324
Current children cumulated CPU time (s) 884.45
Current children cumulated vsize (Kb) 10452
[startup+1320.1 s]
Raw data (loadavg): 1.06 1.07 1.01 2/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1418 0 0 0 43704 14507 0 0 25 0 1 0 20277397 8433664 1316 4294967295 134512640 134702520 3221223712 3221066208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5833/statm): 2059 1316 413 48 0 2011 0
[pid=5833] vsize: 8236
Current children cumulated CPU time (s) 891.01
Current children cumulated vsize (Kb) 10364
[startup+1330.1 s]
Raw data (loadavg): 1.12 1.09 1.01 2/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1422 0 0 0 44165 14676 0 0 16 0 1 0 20277397 8433664 1320 4294967295 134512640 134702520 3221223712 3221223112 134607341 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2059 1320 413 48 0 2011 0
[pid=5833] vsize: 8236
Current children cumulated CPU time (s) 897.31
Current children cumulated vsize (Kb) 10364
[startup+1340.1 s]
Raw data (loadavg): 1.11 1.08 1.01 2/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1427 0 0 0 44670 14838 0 0 25 0 1 0 20277397 8433664 1325 4294967295 134512640 134702520 3221223712 3221038528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2059 1325 413 48 0 2011 0
[pid=5833] vsize: 8236
Current children cumulated CPU time (s) 903.98
Current children cumulated vsize (Kb) 10364
[startup+1350.1 s]
Raw data (loadavg): 1.16 1.10 1.02 1/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1430 0 0 0 45111 15020 0 0 17 0 1 0 20277397 8433664 1328 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 2059 1328 413 48 0 2011 0
[pid=5833] vsize: 8236
Current children cumulated CPU time (s) 910.21
Current children cumulated vsize (Kb) 10364
[startup+1360.1 s]
Raw data (loadavg): 1.14 1.09 1.02 2/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1431 0 0 0 45622 15179 0 0 17 0 1 0 20277397 8433664 1329 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5833/statm): 2059 1329 413 48 0 2011 0
[pid=5833] vsize: 8236
Current children cumulated CPU time (s) 916.91
Current children cumulated vsize (Kb) 10364
[startup+1370.1 s]
Raw data (loadavg): 1.12 1.09 1.01 2/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1432 0 0 0 46132 15339 0 0 18 0 1 0 20277397 8581120 1330 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5833/statm): 2095 1330 413 48 0 2047 0
[pid=5833] vsize: 8380
Current children cumulated CPU time (s) 923.61
Current children cumulated vsize (Kb) 10508
[startup+1380.1 s]
Raw data (loadavg): 1.10 1.09 1.01 1/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1436 0 0 0 46625 15504 0 0 25 0 1 0 20277397 8491008 1334 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 2073 1334 413 48 0 2025 0
[pid=5833] vsize: 8292
Current children cumulated CPU time (s) 930.19
Current children cumulated vsize (Kb) 10420
[startup+1390.1 s]
Raw data (loadavg): 1.08 1.08 1.01 2/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1443 0 0 0 47044 15683 0 0 16 0 1 0 20277397 8491008 1341 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 2073 1341 413 48 0 2025 0
[pid=5833] vsize: 8292
Current children cumulated CPU time (s) 936.17
Current children cumulated vsize (Kb) 10420
[startup+1400.1 s]
Raw data (loadavg): 1.15 1.10 1.02 1/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1452 0 0 0 47586 15831 0 0 16 0 1 0 20277397 8491008 1350 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2073 1350 413 48 0 2025 0
[pid=5833] vsize: 8292
Current children cumulated CPU time (s) 943.07
Current children cumulated vsize (Kb) 10420
[startup+1410.1 s]
Raw data (loadavg): 1.13 1.09 1.02 2/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1454 0 0 0 48054 16001 0 0 20 0 1 0 20277397 8491008 1352 4294967295 134512640 134702520 3221223712 3221161068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2073 1352 413 48 0 2025 0
[pid=5833] vsize: 8292
Current children cumulated CPU time (s) 949.45
Current children cumulated vsize (Kb) 10420
[startup+1420.1 s]
Raw data (loadavg): 1.19 1.11 1.02 2/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1456 0 0 0 48529 16172 0 0 17 0 1 0 20277397 8491008 1354 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2073 1354 413 48 0 2025 0
[pid=5833] vsize: 8292
Current children cumulated CPU time (s) 955.91
Current children cumulated vsize (Kb) 10420
[startup+1430.1 s]
Raw data (loadavg): 1.16 1.10 1.02 1/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1458 0 0 0 49038 16332 0 0 16 0 1 0 20277397 8560640 1356 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 2090 1356 413 48 0 2042 0
[pid=5833] vsize: 8360
Current children cumulated CPU time (s) 962.6
Current children cumulated vsize (Kb) 10488
[startup+1440.1 s]
Raw data (loadavg): 1.13 1.10 1.02 1/56 5896
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1462 0 0 0 49423 16540 0 0 17 0 1 0 20277397 8560640 1360 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 2090 1360 413 48 0 2042 0
[pid=5833] vsize: 8360
Current children cumulated CPU time (s) 968.53
Current children cumulated vsize (Kb) 10488
[startup+1450.1 s]
Raw data (loadavg): 1.11 1.09 1.02 2/56 5896
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1466 0 0 0 49873 16709 0 0 17 0 1 0 20277397 8560640 1364 4294967295 134512640 134702520 3221223712 3221210348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2090 1364 413 48 0 2042 0
[pid=5833] vsize: 8360
Current children cumulated CPU time (s) 974.72
Current children cumulated vsize (Kb) 10488
[startup+1460.1 s]
Raw data (loadavg): 1.09 1.09 1.02 1/56 5896
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1470 0 0 0 50395 16861 0 0 16 0 1 0 20277397 8560640 1368 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2090 1368 413 48 0 2042 0
[pid=5833] vsize: 8360
Current children cumulated CPU time (s) 981.46
Current children cumulated vsize (Kb) 10488
[startup+1470.1 s]
Raw data (loadavg): 1.08 1.09 1.02 2/56 5896
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1475 0 0 0 50933 17012 0 0 25 0 1 0 20277397 8634368 1373 4294967295 134512640 134702520 3221223712 3220947308 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5833/statm): 2108 1373 413 48 0 2060 0
[pid=5833] vsize: 8432
Current children cumulated CPU time (s) 988.35
Current children cumulated vsize (Kb) 10560
[startup+1480.1 s]
Raw data (loadavg): 1.14 1.10 1.02 1/56 5896
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1477 0 0 0 51355 17197 0 0 17 0 1 0 20277397 8634368 1375 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 2108 1375 413 48 0 2060 0
[pid=5833] vsize: 8432
Current children cumulated CPU time (s) 994.42
Current children cumulated vsize (Kb) 10560
[startup+1490.1 s]
Raw data (loadavg): 1.12 1.10 1.02 1/56 5896
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1480 0 0 0 51848 17363 0 0 16 0 1 0 20277397 8654848 1378 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2113 1378 413 48 0 2065 0
[pid=5833] vsize: 8452
Current children cumulated CPU time (s) 1001.01
Current children cumulated vsize (Kb) 10580
[startup+1500.1 s]
Raw data (loadavg): 1.10 1.09 1.02 1/56 5896
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1484 0 0 0 52260 17554 0 0 16 0 1 0 20277397 8654848 1382 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2113 1382 413 48 0 2065 0
[pid=5833] vsize: 8452
Current children cumulated CPU time (s) 1007.04
Current children cumulated vsize (Kb) 10580
[startup+1510.11 s]
Raw data (loadavg): 1.08 1.09 1.02 1/56 5896
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1488 0 0 0 52789 17705 0 0 17 0 1 0 20277397 8654848 1386 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2113 1386 413 48 0 2065 0
[pid=5833] vsize: 8452
Current children cumulated CPU time (s) 1013.84
Current children cumulated vsize (Kb) 10580
[startup+1520.11 s]
Raw data (loadavg): 1.14 1.10 1.02 1/56 5896
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1494 0 0 0 53190 17900 0 0 17 0 1 0 20277397 8654848 1392 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 2113 1392 413 48 0 2065 0
[pid=5833] vsize: 8452
Current children cumulated CPU time (s) 1019.8
Current children cumulated vsize (Kb) 10580
[startup+1530.11 s]
Raw data (loadavg): 1.12 1.10 1.02 2/56 5896
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1506 0 0 0 53713 18056 0 0 25 0 1 0 20277397 8654848 1404 4294967295 134512640 134702520 3221223712 3221039308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2113 1404 413 48 0 2065 0
[pid=5833] vsize: 8452
Current children cumulated CPU time (s) 1026.59
Current children cumulated vsize (Kb) 10580
[startup+1540.11 s]
Raw data (loadavg): 1.10 1.09 1.02 2/56 5896
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1506 0 0 0 54145 18242 0 0 17 0 1 0 20277397 8654848 1404 4294967295 134512640 134702520 3221223712 3221222608 134553354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2113 1404 413 48 0 2065 0
[pid=5833] vsize: 8452
Current children cumulated CPU time (s) 1032.77
Current children cumulated vsize (Kb) 10580
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=5833) exited with status: 2
New process pid=5897
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=5897) exited with status: 0
New process pid=5898
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+1550.11 s]
Raw data (loadavg): 1.09 1.09 1.02 2/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) R 5828 5828 4004 0 -1 0 594 0 0 0 99 2 0 0 25 0 1 0 20388974 3883008 565 4294967295 134512640 134702520 3221223712 3221117148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5898/statm): 948 565 413 48 0 900 0
[pid=5898] vsize: 3792
Current children cumulated CPU time (s) 1040
Current children cumulated vsize (Kb) 5920
[startup+1560.11 s]
Raw data (loadavg): 1.07 1.09 1.02 1/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) T 5828 5828 4004 0 -1 0 661 0 0 0 712 122 0 0 18 0 1 0 20388974 4120576 632 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5898/statm): 1006 632 413 48 0 958 0
[pid=5898] vsize: 4024
Current children cumulated CPU time (s) 1047.33
Current children cumulated vsize (Kb) 6152
[startup+1570.11 s]
Raw data (loadavg): 1.13 1.10 1.02 1/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) T 5828 5828 4004 0 -1 0 662 0 0 0 1295 258 0 0 18 0 1 0 20388974 4263936 633 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5898/statm): 1041 633 413 48 0 993 0
[pid=5898] vsize: 4164
Current children cumulated CPU time (s) 1054.52
Current children cumulated vsize (Kb) 6292
[startup+1580.11 s]
Raw data (loadavg): 1.19 1.11 1.03 2/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) R 5828 5828 4004 0 -1 0 752 0 0 0 1815 415 0 0 25 0 1 0 20388974 6021120 723 4294967295 134512640 134702520 3221223712 3221007168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5898/statm): 1470 723 413 48 0 1422 0
[pid=5898] vsize: 5880
Current children cumulated CPU time (s) 1061.29
Current children cumulated vsize (Kb) 8008
[startup+1590.11 s]
Raw data (loadavg): 1.24 1.12 1.03 2/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) R 5828 5828 4004 0 -1 0 770 0 0 0 2311 571 0 0 25 0 1 0 20388974 6021120 741 4294967295 134512640 134702520 3221223712 3220990048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5898/statm): 1470 741 413 48 0 1422 0
[pid=5898] vsize: 5880
Current children cumulated CPU time (s) 1067.81
Current children cumulated vsize (Kb) 8008
[startup+1600.11 s]
Raw data (loadavg): 1.27 1.14 1.04 2/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) R 5828 5828 4004 0 -1 0 785 0 0 0 2837 728 0 0 18 0 1 0 20388974 6111232 756 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5898/statm): 1492 756 413 48 0 1444 0
[pid=5898] vsize: 5968
Current children cumulated CPU time (s) 1074.64
Current children cumulated vsize (Kb) 8096
[startup+1610.11 s]
Raw data (loadavg): 1.23 1.13 1.03 2/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) R 5828 5828 4004 0 -1 0 785 0 0 0 3393 876 0 0 17 0 1 0 20388974 6111232 756 4294967295 134512640 134702520 3221223712 3221222608 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5898/statm): 1492 756 413 48 0 1444 0
[pid=5898] vsize: 5968
Current children cumulated CPU time (s) 1081.68
Current children cumulated vsize (Kb) 8096
[startup+1620.11 s]
Raw data (loadavg): 1.20 1.13 1.03 1/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) T 5828 5828 4004 0 -1 0 786 0 0 0 3984 1011 0 0 17 0 1 0 20388974 6111232 757 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5898/statm): 1492 757 413 48 0 1444 0
[pid=5898] vsize: 5968
Current children cumulated CPU time (s) 1088.94
Current children cumulated vsize (Kb) 8096
[startup+1630.11 s]
Raw data (loadavg): 1.16 1.12 1.03 2/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) R 5828 5828 4004 0 -1 0 791 0 0 0 4477 1175 0 0 25 0 1 0 20388974 6111232 762 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5898/statm): 1492 762 413 48 0 1444 0
[pid=5898] vsize: 5968
Current children cumulated CPU time (s) 1095.51
Current children cumulated vsize (Kb) 8096
[startup+1640.11 s]
Raw data (loadavg): 1.22 1.13 1.04 1/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) T 5828 5828 4004 0 -1 0 818 0 0 0 4978 1338 0 0 23 0 1 0 20388974 6279168 789 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5898/statm): 1533 789 413 48 0 1485 0
[pid=5898] vsize: 6132
Current children cumulated CPU time (s) 1102.15
Current children cumulated vsize (Kb) 8260
[startup+1650.11 s]
Raw data (loadavg): 1.18 1.13 1.04 1/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) T 5828 5828 4004 0 -1 0 822 0 0 0 5531 1484 0 0 19 0 1 0 20388974 6279168 793 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5898/statm): 1533 793 413 48 0 1485 0
[pid=5898] vsize: 6132
Current children cumulated CPU time (s) 1109.14
Current children cumulated vsize (Kb) 8260
[startup+1660.11 s]
Raw data (loadavg): 1.23 1.14 1.04 1/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) T 5828 5828 4004 0 -1 0 822 0 0 0 6082 1635 0 0 17 0 1 0 20388974 6279168 793 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5898/statm): 1533 793 413 48 0 1485 0
[pid=5898] vsize: 6132
Current children cumulated CPU time (s) 1116.16
Current children cumulated vsize (Kb) 8260
[startup+1670.11 s]
Raw data (loadavg): 1.19 1.13 1.04 1/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) T 5828 5828 4004 0 -1 0 823 0 0 0 6681 1766 0 0 18 0 1 0 20388974 6279168 794 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5898/statm): 1533 794 413 48 0 1485 0
[pid=5898] vsize: 6132
Current children cumulated CPU time (s) 1123.46
Current children cumulated vsize (Kb) 8260
[startup+1680.11 s]
Raw data (loadavg): 1.16 1.13 1.04 2/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) R 5828 5828 4004 0 -1 0 825 0 0 0 7139 1935 0 0 24 0 1 0 20388974 6279168 796 4294967295 134512640 134702520 3221223712 3221086188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5898/statm): 1533 796 413 48 0 1485 0
[pid=5898] vsize: 6132
Current children cumulated CPU time (s) 1129.73
Current children cumulated vsize (Kb) 8260
[startup+1690.12 s]
Raw data (loadavg): 1.22 1.14 1.04 2/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) R 5828 5828 4004 0 -1 0 826 0 0 0 7672 2085 0 0 25 0 1 0 20388974 6279168 797 4294967295 134512640 134702520 3221223712 3221001888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5898/statm): 1533 797 413 48 0 1485 0
[pid=5898] vsize: 6132
Current children cumulated CPU time (s) 1136.56
Current children cumulated vsize (Kb) 8260
[startup+1700.12 s]
Raw data (loadavg): 1.18 1.14 1.04 1/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) T 5828 5828 4004 0 -1 0 830 0 0 0 8070 2280 0 0 16 0 1 0 20388974 6279168 801 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5898/statm): 1533 801 413 48 0 1485 0
[pid=5898] vsize: 6132
Current children cumulated CPU time (s) 1142.49
Current children cumulated vsize (Kb) 8260
[startup+1710.12 s]
Raw data (loadavg): 1.16 1.13 1.04 1/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) T 5828 5828 4004 0 -1 0 832 0 0 0 8607 2432 0 0 18 0 1 0 20388974 6279168 803 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5898/statm): 1533 803 413 48 0 1485 0
[pid=5898] vsize: 6132
Current children cumulated CPU time (s) 1149.38
Current children cumulated vsize (Kb) 8260
[startup+1720.12 s]
Raw data (loadavg): 1.13 1.13 1.04 1/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) T 5828 5828 4004 0 -1 0 833 0 0 0 9170 2574 0 0 19 0 1 0 20388974 6279168 804 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5898/statm): 1533 804 413 48 0 1485 0
[pid=5898] vsize: 6132
Current children cumulated CPU time (s) 1156.43
Current children cumulated vsize (Kb) 8260
[startup+1730.12 s]
Raw data (loadavg): 1.11 1.12 1.04 2/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) R 5828 5828 4004 0 -1 0 837 0 0 0 9719 2725 0 0 16 0 1 0 20388974 6279168 808 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5898/statm): 1533 808 413 48 0 1485 0
[pid=5898] vsize: 6132
Current children cumulated CPU time (s) 1163.43
Current children cumulated vsize (Kb) 8260
[startup+1740.12 s]
Raw data (loadavg): 1.17 1.13 1.04 1/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) T 5828 5828 4004 0 -1 0 842 0 0 0 10095 2911 0 0 16 0 1 0 20388974 6279168 813 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5898/statm): 1533 813 413 48 0 1485 0
[pid=5898] vsize: 6132
Current children cumulated CPU time (s) 1169.05
Current children cumulated vsize (Kb) 8260
[startup+1750.12 s]
Raw data (loadavg): 1.14 1.13 1.04 1/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) T 5828 5828 4004 0 -1 0 849 0 0 0 10724 3034 0 0 23 0 1 0 20388974 6279168 820 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5898/statm): 1533 820 413 48 0 1485 0
[pid=5898] vsize: 6132
Current children cumulated CPU time (s) 1176.57
Current children cumulated vsize (Kb) 8260
[startup+1760.12 s]
Raw data (loadavg): 1.19 1.14 1.05 1/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) T 5828 5828 4004 0 -1 0 855 0 0 0 11170 3210 0 0 16 0 1 0 20388974 6279168 826 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5898/statm): 1533 826 413 48 0 1485 0
[pid=5898] vsize: 6132
Current children cumulated CPU time (s) 1182.79
Current children cumulated vsize (Kb) 8260
[startup+1770.12 s]
Raw data (loadavg): 1.16 1.14 1.05 1/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) T 5828 5828 4004 0 -1 0 858 0 0 0 11761 3341 0 0 18 0 1 0 20388974 6414336 829 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5898/statm): 1566 829 413 48 0 1518 0
[pid=5898] vsize: 6264
Current children cumulated CPU time (s) 1190.01
Current children cumulated vsize (Kb) 8392
[startup+1780.12 s]
Raw data (loadavg): 1.14 1.13 1.04 1/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) T 5828 5828 4004 0 -1 0 859 0 0 0 12342 3478 0 0 19 0 1 0 20388974 6414336 830 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5898/statm): 1566 830 413 48 0 1518 0
[pid=5898] vsize: 6264
Current children cumulated CPU time (s) 1197.19
Current children cumulated vsize (Kb) 8392
[startup+1790.12 s]
Raw data (loadavg): 1.12 1.13 1.04 1/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) T 5828 5828 4004 0 -1 0 863 0 0 0 12821 3649 0 0 16 0 1 0 20388974 6352896 834 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5898/statm): 1551 834 413 48 0 1503 0
[pid=5898] vsize: 6204
Current children cumulated CPU time (s) 1203.69
Current children cumulated vsize (Kb) 8332
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1790.12 s]
Raw data (loadavg): 1.12 1.13 1.04 1/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) T 5828 5828 4004 0 -1 0 863 0 0 0 12821 3649 0 0 16 0 1 0 20388974 6352896 834 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5898/statm): 1551 834 413 48 0 1503 0
[pid=5898] vsize: 6204
Current children cumulated CPU time (s) 1203.69
Current children cumulated vsize (Kb) 8332
Sending SIGTERM to -5828
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5900
New process pid=5901
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1387/stat
open syscall for file /proc/1387/status
open syscall for file /proc/1387/cmdline
open syscall for file /proc/1387/environ
open syscall for file /proc/1451/stat
open syscall for file /proc/1451/status
open syscall for file /proc/1451/cmdline
open syscall for file /proc/1451/environ
open syscall for file /proc/1479/stat
open syscall for file /proc/1479/status
open syscall for file /proc/1479/cmdline
open syscall for file /proc/1479/environ
open syscall for file /proc/1503/stat
open syscall for file /proc/1503/status
open syscall for file /proc/1503/cmdline
open syscall for file /proc/1503/environ
open syscall for file /proc/1544/stat
open syscall for file /proc/1544/status
open syscall for file /proc/1544/cmdline
open syscall for file /proc/1544/environ
open syscall for file /proc/1568/stat
open syscall for file /proc/1568/status
open syscall for file /proc/1568/cmdline
open syscall for file /proc/1568/environ
open syscall for file /proc/1591/stat
open syscall for file /proc/1591/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1591/cmdline
open syscall for file /proc/1591/environ
open syscall for file /proc/1622/stat
open syscall for file /proc/1622/status
open syscall for file /proc/1622/cmdline
open syscall for file /proc/1622/environ
open syscall for file /proc/1680/stat
open syscall for file /proc/1680/status
open syscall for file /proc/1680/cmdline
open syscall for file /proc/1680/environ
open syscall for file /proc/1685/stat
open syscall for file /proc/1685/status
open syscall for file /proc/1685/cmdline
open syscall for file /proc/1685/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/3986/stat
open syscall for file /proc/3986/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/3986/cmdline
open syscall for file /proc/3986/environ
open syscall for file /proc/4012/stat
open syscall for file /proc/4012/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4012/cmdline
open syscall for file /proc/4012/environ
open syscall for file /proc/5789/stat
open syscall for file /proc/5789/status
open syscall for file /proc/5789/cmdline
open syscall for file /proc/5789/environ
open syscall for file /proc/5827/stat
open syscall for file /proc/5827/status
open syscall for file /proc/5827/cmdline
open syscall for file /proc/5827/environ
open syscall for file /proc/5828/stat
open syscall for file /proc/5828/status
open syscall for file /proc/5828/cmdline
open syscall for file /proc/5828/environ
open syscall for file /proc/5898/stat
open syscall for file /proc/5898/status
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /proc/5898/cmdline
open syscall for file /proc/5898/environ
open syscall for file /proc/5900/stat
open syscall for file /proc/5900/status
open syscall for file /proc/5900/cmdline
open syscall for file /proc/5900/environ
open syscall for file /proc/5901/stat
open syscall for file /proc/5901/status
open syscall for file /proc/5901/cmdline
open syscall for file /proc/5901/environ
One traced child (pid=5898) exited with status: 3
One traced child (pid=5900) exited with status: 0
One traced child (pid=5901) exited with status: 0
New process pid=5902
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=5902) exited with status: 0
New process pid=5903
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=5903) exited with status: 0
One traced child (pid=5828) 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): 1790.61
CPU time (s): 1203.89
CPU user time (s): 923.789
CPU system time (s): 280.104
CPU usage (%): 67.2337
Max. virtual memory (cumulated for all children) (Kb): 10580