1:
seed: 0
Nr of vars set: 2899 (#equs: 0)
Nr of vars set: 2904 (#equs: 0)
#decisions: 96650; #end-nodes: 9448;
#proof improvement attempts: 0; #restarts: 96
Current batch, end-nodes: 0 / 122 (103)
#axs: 817, #non-axs: 225
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: 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: 2904 (#equs: 0)
Time taken: 7 min, 2 sec
2:
seed: 0
Nr of vars set: 2904 (#equs: 0)
Nr of vars set: 2904 (#equs: 0)
Interupt request received.
#decisions: 644398; #end-nodes: 88607;
#proof improvement attempts: 0; #restarts: 464
Current batch, end-nodes: 31 / 246 (236)
#axs: 817, #non-axs: 1297
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 3763 (#equs: 0)
Time taken: 13 min, 4 sec
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) R 5745 5746 4005 0 -1 0 19 0 0 0 0 0 0 0 24 0 1 0 20128354 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5746/statm): 174 3 169 147 0 27 0
[pid=5746] 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=5747
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=5747) exited with status: 0
New process pid=5748
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=5748) exited with status: 0
New process pid=5749
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/wulflinc28/normalized-mps-v2-13-7-danoint.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0024 s]
Raw data (loadavg): 0.96 1.05 1.03 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 948 0 0 0 960 13 0 0 25 0 1 0 20128363 5332992 861 4294967295 134512640 134702520 3221223952 3221223088 134552712 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5749/statm): 1302 861 413 48 0 1254 0
[pid=5749] vsize: 5208
Current children cumulated CPU time (s) 9.75
Current children cumulated vsize (Kb) 7336
[startup+20.0031 s]
Raw data (loadavg): 0.97 1.05 1.03 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 973 0 0 0 1955 14 0 0 25 0 1 0 20128363 8572928 886 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 886 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 19.71
Current children cumulated vsize (Kb) 10500
[startup+30.0038 s]
Raw data (loadavg): 0.97 1.04 1.03 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1002 0 0 0 2939 20 0 0 25 0 1 0 20128363 8572928 915 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 915 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 29.61
Current children cumulated vsize (Kb) 10500
[startup+40.0045 s]
Raw data (loadavg): 0.97 1.04 1.03 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1018 0 0 0 3927 25 0 0 25 0 1 0 20128363 8572928 931 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5749/statm): 2093 931 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 39.54
Current children cumulated vsize (Kb) 10500
[startup+50.0051 s]
Raw data (loadavg): 0.98 1.04 1.02 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1034 0 0 0 4911 31 0 0 25 0 1 0 20128363 8572928 947 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 947 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 49.44
Current children cumulated vsize (Kb) 10500
[startup+60.0058 s]
Raw data (loadavg): 0.98 1.04 1.02 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1034 0 0 0 5902 35 0 0 25 0 1 0 20128363 8572928 947 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5749/statm): 2093 947 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 59.39
Current children cumulated vsize (Kb) 10500
[startup+70.0075 s]
Raw data (loadavg): 0.98 1.04 1.02 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1042 0 0 0 6891 38 0 0 25 0 1 0 20128363 8572928 955 4294967295 134512640 134702520 3221223952 3220892208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5749/statm): 2093 955 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 69.31
Current children cumulated vsize (Kb) 10500
[startup+80.0082 s]
Raw data (loadavg): 0.99 1.03 1.02 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1042 0 0 0 7881 42 0 0 25 0 1 0 20128363 8572928 955 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5749/statm): 2093 955 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 79.25
Current children cumulated vsize (Kb) 10500
[startup+90.0089 s]
Raw data (loadavg): 0.99 1.03 1.02 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1042 0 0 0 8871 44 0 0 25 0 1 0 20128363 8572928 955 4294967295 134512640 134702520 3221223952 3221223232 134553277 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 955 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 89.17
Current children cumulated vsize (Kb) 10500
[startup+100.01 s]
Raw data (loadavg): 0.99 1.03 1.02 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1042 0 0 0 9855 48 0 0 25 0 1 0 20128363 8572928 955 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 955 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 99.05
Current children cumulated vsize (Kb) 10500
[startup+110.01 s]
Raw data (loadavg): 0.99 1.03 1.02 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1042 0 0 0 10847 51 0 0 25 0 1 0 20128363 8572928 955 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 955 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 109
Current children cumulated vsize (Kb) 10500
[startup+120.012 s]
Raw data (loadavg): 0.99 1.03 1.02 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1042 0 0 0 11832 57 0 0 25 0 1 0 20128363 8572928 955 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 955 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 118.91
Current children cumulated vsize (Kb) 10500
[startup+130.013 s]
Raw data (loadavg): 0.99 1.03 1.02 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1042 0 0 0 12822 60 0 0 25 0 1 0 20128363 8572928 955 4294967295 134512640 134702520 3221223952 3220966928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 955 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 128.84
Current children cumulated vsize (Kb) 10500
[startup+140.013 s]
Raw data (loadavg): 0.99 1.03 1.02 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1042 0 0 0 13815 62 0 0 25 0 1 0 20128363 8572928 955 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 955 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 138.79
Current children cumulated vsize (Kb) 10500
[startup+150.014 s]
Raw data (loadavg): 0.99 1.02 1.01 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1042 0 0 0 14806 64 0 0 25 0 1 0 20128363 8572928 955 4294967295 134512640 134702520 3221223952 3221223232 134552242 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 955 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 148.72
Current children cumulated vsize (Kb) 10500
[startup+160.014 s]
Raw data (loadavg): 0.99 1.02 1.01 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1042 0 0 0 15797 67 0 0 25 0 1 0 20128363 8572928 955 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 955 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 158.66
Current children cumulated vsize (Kb) 10500
[startup+170.014 s]
Raw data (loadavg): 0.99 1.02 1.01 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1042 0 0 0 16784 71 0 0 25 0 1 0 20128363 8572928 955 4294967295 134512640 134702520 3221223952 3221223232 134553287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 955 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 168.57
Current children cumulated vsize (Kb) 10500
[startup+180.015 s]
Raw data (loadavg): 0.99 1.02 1.01 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1042 0 0 0 17776 75 0 0 25 0 1 0 20128363 8572928 955 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 955 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 178.53
Current children cumulated vsize (Kb) 10500
[startup+190.017 s]
Raw data (loadavg): 0.99 1.02 1.01 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1042 0 0 0 18766 78 0 0 25 0 1 0 20128363 8572928 955 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 955 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 188.46
Current children cumulated vsize (Kb) 10500
[startup+200.017 s]
Raw data (loadavg): 0.99 1.02 1.01 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1042 0 0 0 19756 81 0 0 25 0 1 0 20128363 8572928 955 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 955 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 198.39
Current children cumulated vsize (Kb) 10500
[startup+210.018 s]
Raw data (loadavg): 0.99 1.02 1.01 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1042 0 0 0 20744 85 0 0 25 0 1 0 20128363 8572928 955 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 955 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 208.31
Current children cumulated vsize (Kb) 10500
[startup+220.019 s]
Raw data (loadavg): 0.99 1.02 1.01 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1042 0 0 0 21734 88 0 0 25 0 1 0 20128363 8572928 955 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5749/statm): 2093 955 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 218.24
Current children cumulated vsize (Kb) 10500
[startup+230.019 s]
Raw data (loadavg): 0.99 1.02 1.01 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1042 0 0 0 22726 91 0 0 25 0 1 0 20128363 8572928 955 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 955 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 228.19
Current children cumulated vsize (Kb) 10500
[startup+240.02 s]
Raw data (loadavg): 0.99 1.02 1.01 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1042 0 0 0 23719 94 0 0 25 0 1 0 20128363 8572928 955 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5749/statm): 2093 955 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 238.15
Current children cumulated vsize (Kb) 10500
[startup+250.022 s]
Raw data (loadavg): 0.99 1.02 1.00 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1042 0 0 0 24712 97 0 0 25 0 1 0 20128363 8572928 955 4294967295 134512640 134702520 3221223952 3221223232 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5749/statm): 2093 955 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 248.11
Current children cumulated vsize (Kb) 10500
[startup+260.021 s]
Raw data (loadavg): 0.99 1.01 1.00 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1052 0 0 0 25698 101 0 0 25 0 1 0 20128363 8572928 965 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5749/statm): 2093 965 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 258.01
Current children cumulated vsize (Kb) 10500
[startup+270.022 s]
Raw data (loadavg): 0.99 1.01 1.00 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1052 0 0 0 26692 102 0 0 25 0 1 0 20128363 8572928 965 4294967295 134512640 134702520 3221223952 3221223232 134552254 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 965 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 267.96
Current children cumulated vsize (Kb) 10500
[startup+280.023 s]
Raw data (loadavg): 0.99 1.01 1.00 1/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) T 5746 5746 4005 0 -1 0 1052 0 0 0 27683 106 0 0 25 0 1 0 20128363 8572928 965 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 965 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 277.91
Current children cumulated vsize (Kb) 10500
[startup+290.025 s]
Raw data (loadavg): 0.99 1.01 1.00 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1057 0 0 0 28671 110 0 0 25 0 1 0 20128363 8572928 970 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 970 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 287.83
Current children cumulated vsize (Kb) 10500
[startup+300.025 s]
Raw data (loadavg): 0.99 1.01 1.00 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1057 0 0 0 29658 115 0 0 25 0 1 0 20128363 8572928 970 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 970 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 297.75
Current children cumulated vsize (Kb) 10500
[startup+310.026 s]
Raw data (loadavg): 0.99 1.01 1.00 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1057 0 0 0 30651 117 0 0 25 0 1 0 20128363 8572928 970 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5749/statm): 2093 970 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 307.7
Current children cumulated vsize (Kb) 10500
[startup+320.027 s]
Raw data (loadavg): 0.99 1.01 1.00 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1059 0 0 0 31641 121 0 0 25 0 1 0 20128363 8572928 972 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5749/statm): 2093 972 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 317.64
Current children cumulated vsize (Kb) 10500
[startup+330.026 s]
Raw data (loadavg): 0.99 1.01 1.00 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1069 0 0 0 32632 124 0 0 25 0 1 0 20128363 8572928 982 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5749/statm): 2093 982 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 327.58
Current children cumulated vsize (Kb) 10500
[startup+340.027 s]
Raw data (loadavg): 0.99 1.01 1.00 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1069 0 0 0 33623 127 0 0 25 0 1 0 20128363 8572928 982 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5749/statm): 2093 982 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 337.52
Current children cumulated vsize (Kb) 10500
[startup+350.028 s]
Raw data (loadavg): 0.99 1.01 1.00 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1069 0 0 0 34618 129 0 0 25 0 1 0 20128363 8572928 982 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 982 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 347.49
Current children cumulated vsize (Kb) 10500
[startup+360.028 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1069 0 0 0 35608 133 0 0 25 0 1 0 20128363 8572928 982 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5749/statm): 2093 982 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 357.43
Current children cumulated vsize (Kb) 10500
[startup+370.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1069 0 0 0 36593 139 0 0 24 0 1 0 20128363 8572928 982 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5749/statm): 2093 982 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 367.34
Current children cumulated vsize (Kb) 10500
[startup+380.031 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1069 0 0 0 37585 142 0 0 25 0 1 0 20128363 8572928 982 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 982 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 377.29
Current children cumulated vsize (Kb) 10500
[startup+390.031 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1070 0 0 0 38581 144 0 0 25 0 1 0 20128363 8572928 983 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 983 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 387.27
Current children cumulated vsize (Kb) 10500
[startup+400.032 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) T 5746 5746 4005 0 -1 0 1070 0 0 0 39564 150 0 0 25 0 1 0 20128363 8572928 983 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 983 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 397.16
Current children cumulated vsize (Kb) 10500
[startup+410.033 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1073 0 0 0 40556 153 0 0 25 0 1 0 20128363 8572928 986 4294967295 134512640 134702520 3221223952 3221182268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5749/statm): 2093 986 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 407.11
Current children cumulated vsize (Kb) 10500
[startup+420.033 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1076 0 0 0 41529 163 0 0 25 0 1 0 20128363 8572928 989 4294967295 134512640 134702520 3221223952 3221222848 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 989 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 416.94
Current children cumulated vsize (Kb) 10500
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=5749) exited with status: 2
New process pid=5750
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=5750) exited with status: 0
New process pid=5751
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+430.034 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 759 0 0 0 389 10 0 0 22 0 1 0 20170943 4829184 729 4294967295 134512640 134702520 3221223712 3221222828 134549068 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1179 729 413 48 0 1131 0
[pid=5751] vsize: 4716
Current children cumulated CPU time (s) 426.68
Current children cumulated vsize (Kb) 6844
[startup+440.035 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 767 0 0 0 1352 21 0 0 25 0 1 0 20170943 4829184 737 4294967295 134512640 134702520 3221223712 3221222848 134552347 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1179 737 413 48 0 1131 0
[pid=5751] vsize: 4716
Current children cumulated CPU time (s) 436.42
Current children cumulated vsize (Kb) 6844
[startup+450.036 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 874 0 0 0 2314 35 0 0 25 0 1 0 20170943 7688192 844 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1877 844 413 48 0 1829 0
[pid=5751] vsize: 7508
Current children cumulated CPU time (s) 446.18
Current children cumulated vsize (Kb) 9636
[startup+460.037 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 902 0 0 0 3280 47 0 0 25 0 1 0 20170943 7823360 872 4294967295 134512640 134702520 3221223712 3220966028 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1910 872 413 48 0 1862 0
[pid=5751] vsize: 7640
Current children cumulated CPU time (s) 455.96
Current children cumulated vsize (Kb) 9768
[startup+470.038 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 906 0 0 0 4238 59 0 0 25 0 1 0 20170943 7823360 876 4294967295 134512640 134702520 3221223712 3221222992 134553820 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1910 876 413 48 0 1862 0
[pid=5751] vsize: 7640
Current children cumulated CPU time (s) 465.66
Current children cumulated vsize (Kb) 9768
[startup+480.038 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 909 0 0 0 5202 71 0 0 25 0 1 0 20170943 7823360 879 4294967295 134512640 134702520 3221223712 3221041568 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1910 879 413 48 0 1862 0
[pid=5751] vsize: 7640
Current children cumulated CPU time (s) 475.42
Current children cumulated vsize (Kb) 9768
[startup+490.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 912 0 0 0 6156 85 0 0 25 0 1 0 20170943 7823360 882 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1910 882 413 48 0 1862 0
[pid=5751] vsize: 7640
Current children cumulated CPU time (s) 485.1
Current children cumulated vsize (Kb) 9768
[startup+500.041 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 914 0 0 0 7125 98 0 0 25 0 1 0 20170943 7823360 884 4294967295 134512640 134702520 3221223712 3221222992 134552509 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1910 884 413 48 0 1862 0
[pid=5751] vsize: 7640
Current children cumulated CPU time (s) 494.92
Current children cumulated vsize (Kb) 9768
[startup+510.041 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 929 0 0 0 8096 108 0 0 25 0 1 0 20170943 7823360 899 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1910 899 413 48 0 1862 0
[pid=5751] vsize: 7640
Current children cumulated CPU time (s) 504.73
Current children cumulated vsize (Kb) 9768
[startup+520.042 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 931 0 0 0 9060 119 0 0 25 0 1 0 20170943 7823360 901 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1910 901 413 48 0 1862 0
[pid=5751] vsize: 7640
Current children cumulated CPU time (s) 514.48
Current children cumulated vsize (Kb) 9768
[startup+530.043 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 931 0 0 0 10028 130 0 0 25 0 1 0 20170943 7823360 901 4294967295 134512640 134702520 3221223712 3220818688 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1910 901 413 48 0 1862 0
[pid=5751] vsize: 7640
Current children cumulated CPU time (s) 524.27
Current children cumulated vsize (Kb) 9768
[startup+540.044 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 957 0 0 0 10988 145 0 0 25 0 1 0 20170943 7823360 927 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1910 927 413 48 0 1862 0
[pid=5751] vsize: 7640
Current children cumulated CPU time (s) 534.02
Current children cumulated vsize (Kb) 9768
[startup+550.045 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 959 0 0 0 11935 163 0 0 24 0 1 0 20170943 7823360 929 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1910 929 413 48 0 1862 0
[pid=5751] vsize: 7640
Current children cumulated CPU time (s) 543.67
Current children cumulated vsize (Kb) 9768
[startup+560.045 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 962 0 0 0 12913 170 0 0 25 0 1 0 20170943 7823360 932 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1910 932 413 48 0 1862 0
[pid=5751] vsize: 7640
Current children cumulated CPU time (s) 553.52
Current children cumulated vsize (Kb) 9768
[startup+570.046 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 964 0 0 0 13867 186 0 0 25 0 1 0 20170943 7823360 934 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1910 934 413 48 0 1862 0
[pid=5751] vsize: 7640
Current children cumulated CPU time (s) 563.22
Current children cumulated vsize (Kb) 9768
[startup+580.046 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 968 0 0 0 14818 200 0 0 20 0 1 0 20170943 7974912 938 4294967295 134512640 134702520 3221223712 3221222608 134552546 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1947 938 413 48 0 1899 0
[pid=5751] vsize: 7788
Current children cumulated CPU time (s) 572.87
Current children cumulated vsize (Kb) 9916
[startup+590.047 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 968 0 0 0 15780 215 0 0 25 0 1 0 20170943 7974912 938 4294967295 134512640 134702520 3221223712 3221222608 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1947 938 413 48 0 1899 0
[pid=5751] vsize: 7788
Current children cumulated CPU time (s) 582.64
Current children cumulated vsize (Kb) 9916
[startup+600.048 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 970 0 0 0 16726 233 0 0 25 0 1 0 20170943 7950336 940 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 940 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 592.28
Current children cumulated vsize (Kb) 9892
[startup+610.049 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 970 0 0 0 17691 245 0 0 25 0 1 0 20170943 7950336 940 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 940 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 602.05
Current children cumulated vsize (Kb) 9892
[startup+620.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 972 0 0 0 18662 255 0 0 25 0 1 0 20170943 7950336 942 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 942 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 611.86
Current children cumulated vsize (Kb) 9892
[startup+630.051 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 973 0 0 0 19634 265 0 0 25 0 1 0 20170943 7950336 943 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1941 943 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 621.68
Current children cumulated vsize (Kb) 9892
[startup+640.052 s]
Raw data (loadavg): 1.07 1.02 1.01 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 974 0 0 0 20606 273 0 0 25 0 1 0 20170943 7950336 944 4294967295 134512640 134702520 3221223712 3221097408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1941 944 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 631.48
Current children cumulated vsize (Kb) 9892
[startup+650.053 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 974 0 0 0 21579 282 0 0 25 0 1 0 20170943 7950336 944 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1941 944 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 641.3
Current children cumulated vsize (Kb) 9892
[startup+660.053 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 975 0 0 0 22529 299 0 0 25 0 1 0 20170943 7950336 945 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 945 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 650.97
Current children cumulated vsize (Kb) 9892
[startup+670.054 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 976 0 0 0 23504 307 0 0 25 0 1 0 20170943 7950336 946 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 946 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 660.8
Current children cumulated vsize (Kb) 9892
[startup+680.055 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 981 0 0 0 24481 314 0 0 25 0 1 0 20170943 7950336 951 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1941 951 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 670.64
Current children cumulated vsize (Kb) 9892
[startup+690.056 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 983 0 0 0 25438 328 0 0 25 0 1 0 20170943 7950336 953 4294967295 134512640 134702520 3221223712 3221222932 134550182 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 953 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 680.35
Current children cumulated vsize (Kb) 9892
[startup+700.056 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 988 0 0 0 26418 335 0 0 25 0 1 0 20170943 7950336 958 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 958 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 690.22
Current children cumulated vsize (Kb) 9892
[startup+710.057 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 994 0 0 0 27380 348 0 0 25 0 1 0 20170943 7950336 964 4294967295 134512640 134702520 3221223712 3221222992 134552509 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 964 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 699.97
Current children cumulated vsize (Kb) 9892
[startup+720.058 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 995 0 0 0 28354 358 0 0 25 0 1 0 20170943 7950336 965 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 965 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 709.81
Current children cumulated vsize (Kb) 9892
[startup+730.059 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 999 0 0 0 29313 372 0 0 25 0 1 0 20170943 7950336 969 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 969 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 719.54
Current children cumulated vsize (Kb) 9892
[startup+740.06 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1000 0 0 0 30285 381 0 0 25 0 1 0 20170943 7950336 970 4294967295 134512640 134702520 3221223712 3221078208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 970 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 729.35
Current children cumulated vsize (Kb) 9892
[startup+750.061 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1003 0 0 0 31245 394 0 0 25 0 1 0 20170943 7950336 973 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 973 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 739.08
Current children cumulated vsize (Kb) 9892
[startup+760.062 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1007 0 0 0 32196 410 0 0 25 0 1 0 20170943 7950336 977 4294967295 134512640 134702520 3221223712 3221175808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 977 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 748.75
Current children cumulated vsize (Kb) 9892
[startup+770.062 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) T 5746 5746 4005 0 -1 0 1009 0 0 0 33149 426 0 0 25 0 1 0 20170943 7950336 979 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 979 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 758.44
Current children cumulated vsize (Kb) 9892
[startup+780.063 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) T 5746 5746 4005 0 -1 0 1009 0 0 0 34095 442 0 0 22 0 1 0 20170943 7950336 979 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 979 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 768.06
Current children cumulated vsize (Kb) 9892
[startup+790.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1010 0 0 0 35062 452 0 0 25 0 1 0 20170943 7950336 980 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1941 980 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 777.83
Current children cumulated vsize (Kb) 9892
[startup+800.065 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1011 0 0 0 36028 463 0 0 25 0 1 0 20170943 7950336 981 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 981 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 787.6
Current children cumulated vsize (Kb) 9892
[startup+810.066 s]
Raw data (loadavg): 1.15 1.03 1.01 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1012 0 0 0 36995 472 0 0 25 0 1 0 20170943 7950336 982 4294967295 134512640 134702520 3221223712 3221222992 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1941 982 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 797.36
Current children cumulated vsize (Kb) 9892
[startup+820.067 s]
Raw data (loadavg): 1.13 1.03 1.01 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1014 0 0 0 37937 491 0 0 24 0 1 0 20170943 7950336 984 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 984 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 806.97
Current children cumulated vsize (Kb) 9892
[startup+830.067 s]
Raw data (loadavg): 1.11 1.03 1.01 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1015 0 0 0 38909 499 0 0 25 0 1 0 20170943 7950336 985 4294967295 134512640 134702520 3221223712 3221222992 134552432 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 985 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 816.77
Current children cumulated vsize (Kb) 9892
[startup+840.068 s]
Raw data (loadavg): 1.09 1.03 1.01 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1016 0 0 0 39855 517 0 0 25 0 1 0 20170943 7950336 986 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1941 986 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 826.41
Current children cumulated vsize (Kb) 9892
[startup+850.07 s]
Raw data (loadavg): 1.08 1.03 1.01 1/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) T 5746 5746 4005 0 -1 0 1017 0 0 0 40803 535 0 0 25 0 1 0 20170943 7950336 987 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1941 987 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 836.07
Current children cumulated vsize (Kb) 9892
[startup+860.069 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) T 5746 5746 4005 0 -1 0 1019 0 0 0 41771 546 0 0 25 0 1 0 20170943 7950336 989 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 989 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 845.86
Current children cumulated vsize (Kb) 9892
[startup+870.07 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) T 5746 5746 4005 0 -1 0 1019 0 0 0 42737 557 0 0 25 0 1 0 20170943 7950336 989 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1941 989 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 855.63
Current children cumulated vsize (Kb) 9892
[startup+880.071 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1020 0 0 0 43709 567 0 0 25 0 1 0 20170943 7950336 990 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1941 990 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 865.45
Current children cumulated vsize (Kb) 9892
[startup+890.071 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1020 0 0 0 44677 579 0 0 25 0 1 0 20170943 7950336 990 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 990 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 875.25
Current children cumulated vsize (Kb) 9892
[startup+900.072 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) T 5746 5746 4005 0 -1 0 1020 0 0 0 45630 594 0 0 24 0 1 0 20170943 7950336 990 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1941 990 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 884.93
Current children cumulated vsize (Kb) 9892
[startup+910.073 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1022 0 0 0 46613 599 0 0 25 0 1 0 20170943 8056832 992 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1967 992 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 894.81
Current children cumulated vsize (Kb) 9996
[startup+920.073 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1024 0 0 0 47578 610 0 0 25 0 1 0 20170943 8056832 994 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1967 994 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 904.57
Current children cumulated vsize (Kb) 9996
[startup+930.074 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1025 0 0 0 48548 620 0 0 17 0 1 0 20170943 8056832 995 4294967295 134512640 134702520 3221223712 3221222736 134552553 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1967 995 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 914.37
Current children cumulated vsize (Kb) 9996
[startup+940.074 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1026 0 0 0 49495 639 0 0 25 0 1 0 20170943 8056832 996 4294967295 134512640 134702520 3221223712 3221222608 134552254 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1967 996 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 924.03
Current children cumulated vsize (Kb) 9996
[startup+950.074 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1027 0 0 0 50452 652 0 0 25 0 1 0 20170943 8056832 997 4294967295 134512640 134702520 3221223712 3221222992 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1967 997 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 933.73
Current children cumulated vsize (Kb) 9996
[startup+960.075 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1028 0 0 0 51418 662 0 0 25 0 1 0 20170943 8056832 998 4294967295 134512640 134702520 3221223712 3220919628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1967 998 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 943.49
Current children cumulated vsize (Kb) 9996
[startup+970.077 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1029 0 0 0 52381 673 0 0 25 0 1 0 20170943 8056832 999 4294967295 134512640 134702520 3221223712 3221222992 134553277 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1967 999 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 953.23
Current children cumulated vsize (Kb) 9996
[startup+980.077 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1031 0 0 0 53332 688 0 0 25 0 1 0 20170943 8056832 1001 4294967295 134512640 134702520 3221223712 3221156768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1967 1001 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 962.89
Current children cumulated vsize (Kb) 9996
[startup+990.078 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1032 0 0 0 54317 693 0 0 25 0 1 0 20170943 8056832 1002 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1967 1002 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 972.79
Current children cumulated vsize (Kb) 9996
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1032 0 0 0 55264 712 0 0 25 0 1 0 20170943 8056832 1002 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1967 1002 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 982.45
Current children cumulated vsize (Kb) 9996
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1033 0 0 0 56224 725 0 0 25 0 1 0 20170943 8056832 1003 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1967 1003 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 992.18
Current children cumulated vsize (Kb) 9996
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1034 0 0 0 57181 738 0 0 25 0 1 0 20170943 8056832 1004 4294967295 134512640 134702520 3221223712 3220986188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1967 1004 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (Kb) 9996
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1036 0 0 0 58140 751 0 0 25 0 1 0 20170943 8056832 1006 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1967 1006 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 1011.6
Current children cumulated vsize (Kb) 9996
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1037 0 0 0 59102 764 0 0 25 0 1 0 20170943 8056832 1007 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1967 1007 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 1021.35
Current children cumulated vsize (Kb) 9996
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1073 0 0 0 60070 773 0 0 25 0 1 0 20170943 8056832 1043 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1967 1043 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 1031.12
Current children cumulated vsize (Kb) 9996
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1073 0 0 0 61046 781 0 0 25 0 1 0 20170943 8056832 1043 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1967 1043 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 1040.96
Current children cumulated vsize (Kb) 9996
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1075 0 0 0 62011 793 0 0 25 0 1 0 20170943 8056832 1045 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1967 1045 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 1050.73
Current children cumulated vsize (Kb) 9996
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1075 0 0 0 62980 802 0 0 25 0 1 0 20170943 8056832 1045 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1967 1045 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 1060.51
Current children cumulated vsize (Kb) 9996
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1075 0 0 0 63947 812 0 0 25 0 1 0 20170943 8056832 1045 4294967295 134512640 134702520 3221223712 3221088928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1967 1045 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 1070.28
Current children cumulated vsize (Kb) 9996
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1078 0 0 0 64894 830 0 0 25 0 1 0 20170943 8056832 1048 4294967295 134512640 134702520 3221223712 3221222608 134552361 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1967 1048 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 1079.93
Current children cumulated vsize (Kb) 9996
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1078 0 0 0 65851 844 0 0 25 0 1 0 20170943 8056832 1048 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1967 1048 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 1089.64
Current children cumulated vsize (Kb) 9996
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1079 0 0 0 66821 856 0 0 25 0 1 0 20170943 8056832 1049 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1967 1049 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 1099.46
Current children cumulated vsize (Kb) 9996
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1080 0 0 0 67799 865 0 0 25 0 1 0 20170943 8056832 1050 4294967295 134512640 134702520 3221223712 3221222992 134551042 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1967 1050 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 1109.33
Current children cumulated vsize (Kb) 9996
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1081 0 0 0 68741 883 0 0 25 0 1 0 20170943 8056832 1051 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1967 1051 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 1118.93
Current children cumulated vsize (Kb) 9996
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1081 0 0 0 69703 895 0 0 25 0 1 0 20170943 8056832 1051 4294967295 134512640 134702520 3221223712 3221097088 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1967 1051 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 1128.67
Current children cumulated vsize (Kb) 9996
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1082 0 0 0 70691 899 0 0 25 0 1 0 20170943 8056832 1052 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1967 1052 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 1138.59
Current children cumulated vsize (Kb) 9996
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1083 0 0 0 71656 908 0 0 25 0 1 0 20170943 8056832 1053 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1967 1053 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 1148.33
Current children cumulated vsize (Kb) 9996
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1083 0 0 0 72624 919 0 0 25 0 1 0 20170943 8056832 1053 4294967295 134512640 134702520 3221223712 3220946528 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1967 1053 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 1158.12
Current children cumulated vsize (Kb) 9996
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) T 5746 5746 4005 0 -1 0 1084 0 0 0 73584 932 0 0 23 0 1 0 20170943 8056832 1054 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1967 1054 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 1167.85
Current children cumulated vsize (Kb) 9996
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1085 0 0 0 74536 946 0 0 25 0 1 0 20170943 8056832 1055 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1967 1055 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 1177.51
Current children cumulated vsize (Kb) 9996
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1086 0 0 0 75501 958 0 0 25 0 1 0 20170943 8175616 1056 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1996 1056 413 48 0 1948 0
[pid=5751] vsize: 7984
Current children cumulated CPU time (s) 1187.28
Current children cumulated vsize (Kb) 10112
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1086 0 0 0 76463 970 0 0 24 0 1 0 20170943 8175616 1056 4294967295 134512640 134702520 3221223712 3221222992 134550631 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1996 1056 413 48 0 1948 0
[pid=5751] vsize: 7984
Current children cumulated CPU time (s) 1197.02
Current children cumulated vsize (Kb) 10112
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1088 0 0 0 77441 978 0 0 25 0 1 0 20170943 8175616 1058 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1996 1058 413 48 0 1948 0
[pid=5751] vsize: 7984
Current children cumulated CPU time (s) 1206.88
Current children cumulated vsize (Kb) 10112
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1088 0 0 0 77441 978 0 0 25 0 1 0 20170943 8175616 1058 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1996 1058 413 48 0 1948 0
[pid=5751] vsize: 7984
Current children cumulated CPU time (s) 1206.88
Current children cumulated vsize (Kb) 10112
Sending SIGTERM to -5746
Sleeping 2 seconds
New process pid=5753
New process pid=5754
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/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/3988/stat
open syscall for file /proc/3988/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/3988/cmdline
open syscall for file /proc/3988/environ
open syscall for file /proc/4013/stat
open syscall for file /proc/4013/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4013/cmdline
open syscall for file /proc/4013/environ
open syscall for file /proc/5707/stat
open syscall for file /proc/5707/status
open syscall for file /proc/5707/cmdline
open syscall for file /proc/5707/environ
open syscall for file /proc/5745/stat
open syscall for file /proc/5745/status
open syscall for file /proc/5745/cmdline
open syscall for file /proc/5745/environ
open syscall for file /proc/5746/stat
open syscall for file /proc/5746/status
open syscall for file /proc/5746/cmdline
open syscall for file /proc/5746/environ
open syscall for file /proc/5751/stat
open syscall for file /proc/5751/status
open syscall for file /proc/5751/cmdline
open syscall for file /proc/5751/environ
open syscall for file /proc/5753/stat
open syscall for file /proc/5753/status
open syscall for file /proc/5753/cmdline
open syscall for file /proc/5753/environ
open syscall for file /proc/5754/stat
open syscall for file /proc/5754/status
open syscall for file /proc/5754/cmdline
open syscall for file /proc/5754/environ
One traced child (pid=5753) exited with status: 0
One traced child (pid=5754) exited with status: 0
New process pid=5755
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
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5751) exited with status: 3
One traced child (pid=5755) exited with status: 0
New process pid=5756
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=5756) exited with status: 0
One traced child (pid=5746) 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): 1230.58
CPU time (s): 1207.26
CPU user time (s): 1195.71
CPU system time (s): 11.5452
CPU usage (%): 98.105
Max. virtual memory (cumulated for all children) (Kb): 10500