1:
seed: 0
Nr of vars set: 4007 (#equs: 0)
Nr of vars set: 4007 (#equs: 0)
#decisions: 1095613; #end-nodes: 49172;
#proof improvement attempts: 0; #restarts: 384
Current batch, end-nodes: 0 / 175 (175)
#axs: 701, #non-axs: 67
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 27, end (keep): 44
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: 4007 (#equs: 0)
Time taken: 5 min, 10 sec
2:
seed: 0
Nr of vars set: 4007 (#equs: 0)
Nr of vars set: 4007 (#equs: 0)
Interupt request received.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 4007 (#equs: 0)
Time taken: 14 min, 56 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/5047/stat): 5047 (vallstSAT2005PB) R 5046 5047 4005 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19757564 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5047/statm): 174 3 169 147 0 27 0
[pid=5047] 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=5048
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=5048) exited with status: 0
New process pid=5049
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=5049) exited with status: 0
New process pid=5050
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/wulflinc29/normalized-mps-v2-13-7-fixnet3.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0029 s]
Raw data (loadavg): 0.94 0.98 0.91 1/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) T 5047 5047 4005 0 -1 0 993 0 0 0 928 24 0 0 24 0 1 0 19757571 5197824 882 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1269 882 413 48 0 1221 0
[pid=5050] vsize: 5076
Current children cumulated CPU time (s) 9.53
Current children cumulated vsize (Kb) 7204
[startup+20.0047 s]
Raw data (loadavg): 0.95 0.98 0.91 1/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) T 5047 5047 4005 0 -1 0 1045 0 0 0 1716 97 0 0 19 0 1 0 19757571 7794688 934 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1903 934 413 48 0 1855 0
[pid=5050] vsize: 7612
Current children cumulated CPU time (s) 18.14
Current children cumulated vsize (Kb) 9740
[startup+30.0055 s]
Raw data (loadavg): 0.96 0.98 0.91 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) R 5047 5047 4005 0 -1 0 1046 0 0 0 2585 139 0 0 25 0 1 0 19757571 7794688 935 4294967295 134512640 134702520 3221223952 3220705968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1903 935 413 48 0 1855 0
[pid=5050] vsize: 7612
Current children cumulated CPU time (s) 27.25
Current children cumulated vsize (Kb) 9740
[startup+40.0063 s]
Raw data (loadavg): 0.96 0.98 0.91 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) R 5047 5047 4005 0 -1 0 1046 0 0 0 3413 193 0 0 25 0 1 0 19757571 7794688 935 4294967295 134512640 134702520 3221223952 3220875388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1903 935 413 48 0 1855 0
[pid=5050] vsize: 7612
Current children cumulated CPU time (s) 36.07
Current children cumulated vsize (Kb) 9740
[startup+50.007 s]
Raw data (loadavg): 0.97 0.98 0.91 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) R 5047 5047 4005 0 -1 0 1047 0 0 0 4243 248 0 0 25 0 1 0 19757571 7794688 936 4294967295 134512640 134702520 3221223952 3220993488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1903 936 413 48 0 1855 0
[pid=5050] vsize: 7612
Current children cumulated CPU time (s) 44.92
Current children cumulated vsize (Kb) 9740
[startup+60.0068 s]
Raw data (loadavg): 0.97 0.98 0.91 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) R 5047 5047 4005 0 -1 0 1047 0 0 0 5053 310 0 0 25 0 1 0 19757571 7794688 936 4294967295 134512640 134702520 3221223952 3221117328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1903 936 413 48 0 1855 0
[pid=5050] vsize: 7612
Current children cumulated CPU time (s) 53.64
Current children cumulated vsize (Kb) 9740
[startup+70.0086 s]
Raw data (loadavg): 1.06 1.00 0.92 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) R 5047 5047 4005 0 -1 0 1048 0 0 0 5874 368 0 0 22 0 1 0 19757571 7794688 937 4294967295 134512640 134702520 3221223952 3221197648 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5050/statm): 1903 937 413 48 0 1855 0
[pid=5050] vsize: 7612
Current children cumulated CPU time (s) 62.43
Current children cumulated vsize (Kb) 9740
[startup+80.0094 s]
Raw data (loadavg): 1.05 1.00 0.92 1/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) T 5047 5047 4005 0 -1 0 1051 0 0 0 6736 412 0 0 18 0 1 0 19757571 7794688 940 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1903 940 413 48 0 1855 0
[pid=5050] vsize: 7612
Current children cumulated CPU time (s) 71.49
Current children cumulated vsize (Kb) 9740
[startup+90.0101 s]
Raw data (loadavg): 1.04 1.00 0.92 1/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) T 5047 5047 4005 0 -1 0 1051 0 0 0 7666 436 0 0 25 0 1 0 19757571 7794688 940 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5050/statm): 1903 940 413 48 0 1855 0
[pid=5050] vsize: 7612
Current children cumulated CPU time (s) 81.03
Current children cumulated vsize (Kb) 9740
[startup+100.011 s]
Raw data (loadavg): 1.03 1.00 0.92 1/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) T 5047 5047 4005 0 -1 0 1051 0 0 0 8451 505 0 0 19 0 1 0 19757571 7794688 940 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1903 940 413 48 0 1855 0
[pid=5050] vsize: 7612
Current children cumulated CPU time (s) 89.57
Current children cumulated vsize (Kb) 9740
[startup+110.012 s]
Raw data (loadavg): 1.03 1.00 0.92 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) R 5047 5047 4005 0 -1 0 1051 0 0 0 9316 553 0 0 25 0 1 0 19757571 7794688 940 4294967295 134512640 134702520 3221223952 3220737808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1903 940 413 48 0 1855 0
[pid=5050] vsize: 7612
Current children cumulated CPU time (s) 98.7
Current children cumulated vsize (Kb) 9740
[startup+120.012 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) R 5047 5047 4005 0 -1 0 1051 0 0 0 10119 617 0 0 25 0 1 0 19757571 7794688 940 4294967295 134512640 134702520 3221223952 3220968508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1903 940 413 48 0 1855 0
[pid=5050] vsize: 7612
Current children cumulated CPU time (s) 107.37
Current children cumulated vsize (Kb) 9740
[startup+130.013 s]
Raw data (loadavg): 1.09 1.02 0.93 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) R 5047 5047 4005 0 -1 0 1052 0 0 0 10933 675 0 0 25 0 1 0 19757571 7794688 941 4294967295 134512640 134702520 3221223952 3221101488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1903 941 413 48 0 1855 0
[pid=5050] vsize: 7612
Current children cumulated CPU time (s) 116.09
Current children cumulated vsize (Kb) 9740
[startup+140.014 s]
Raw data (loadavg): 1.08 1.02 0.93 1/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) T 5047 5047 4005 0 -1 0 1052 0 0 0 11746 737 0 0 19 0 1 0 19757571 7794688 941 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5050/statm): 1903 941 413 48 0 1855 0
[pid=5050] vsize: 7612
Current children cumulated CPU time (s) 124.84
Current children cumulated vsize (Kb) 9740
[startup+150.015 s]
Raw data (loadavg): 1.07 1.01 0.93 1/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) T 5047 5047 4005 0 -1 0 1052 0 0 0 12628 776 0 0 19 0 1 0 19757571 7794688 941 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1903 941 413 48 0 1855 0
[pid=5050] vsize: 7612
Current children cumulated CPU time (s) 134.05
Current children cumulated vsize (Kb) 9740
[startup+160.016 s]
Raw data (loadavg): 1.06 1.01 0.93 1/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) T 5047 5047 4005 0 -1 0 1054 0 0 0 13511 814 0 0 19 0 1 0 19757571 7794688 943 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1903 943 413 48 0 1855 0
[pid=5050] vsize: 7612
Current children cumulated CPU time (s) 143.26
Current children cumulated vsize (Kb) 9740
[startup+170.016 s]
Raw data (loadavg): 1.05 1.01 0.93 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) R 5047 5047 4005 0 -1 0 1079 0 0 0 14376 859 0 0 25 0 1 0 19757571 7974912 968 4294967295 134512640 134702520 3221223952 3220755248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1947 968 413 48 0 1899 0
[pid=5050] vsize: 7788
Current children cumulated CPU time (s) 152.36
Current children cumulated vsize (Kb) 9916
[startup+180.017 s]
Raw data (loadavg): 1.04 1.01 0.93 1/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) T 5047 5047 4005 0 -1 0 1079 0 0 0 15210 916 0 0 23 0 1 0 19757571 7974912 968 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1947 968 413 48 0 1899 0
[pid=5050] vsize: 7788
Current children cumulated CPU time (s) 161.27
Current children cumulated vsize (Kb) 9916
[startup+190.019 s]
Raw data (loadavg): 1.03 1.01 0.93 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) R 5047 5047 4005 0 -1 0 1079 0 0 0 16011 981 0 0 25 0 1 0 19757571 7974912 968 4294967295 134512640 134702520 3221223952 3220985808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5050/statm): 1947 968 413 48 0 1899 0
[pid=5050] vsize: 7788
Current children cumulated CPU time (s) 169.93
Current children cumulated vsize (Kb) 9916
[startup+200.02 s]
Raw data (loadavg): 1.03 1.01 0.93 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) R 5047 5047 4005 0 -1 0 1079 0 0 0 16832 1042 0 0 25 0 1 0 19757571 7974912 968 4294967295 134512640 134702520 3221223952 3221110928 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5050/statm): 1947 968 413 48 0 1899 0
[pid=5050] vsize: 7788
Current children cumulated CPU time (s) 178.75
Current children cumulated vsize (Kb) 9916
[startup+210.02 s]
Raw data (loadavg): 1.02 1.01 0.93 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) R 5047 5047 4005 0 -1 0 1079 0 0 0 17653 1100 0 0 19 0 1 0 19757571 7974912 968 4294967295 134512640 134702520 3221223952 3221219708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5050/statm): 1947 968 413 48 0 1899 0
[pid=5050] vsize: 7788
Current children cumulated CPU time (s) 187.54
Current children cumulated vsize (Kb) 9916
[startup+220.022 s]
Raw data (loadavg): 1.10 1.02 0.93 1/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) T 5047 5047 4005 0 -1 0 1079 0 0 0 18531 1139 0 0 17 0 1 0 19757571 7974912 968 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1947 968 413 48 0 1899 0
[pid=5050] vsize: 7788
Current children cumulated CPU time (s) 196.71
Current children cumulated vsize (Kb) 9916
[startup+230.023 s]
Raw data (loadavg): 1.16 1.04 0.94 1/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) T 5047 5047 4005 0 -1 0 1079 0 0 0 19407 1176 0 0 19 0 1 0 19757571 7974912 968 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1947 968 413 48 0 1899 0
[pid=5050] vsize: 7788
Current children cumulated CPU time (s) 205.84
Current children cumulated vsize (Kb) 9916
[startup+240.024 s]
Raw data (loadavg): 1.14 1.04 0.94 1/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) T 5047 5047 4005 0 -1 0 1079 0 0 0 20281 1218 0 0 24 0 1 0 19757571 7974912 968 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1947 968 413 48 0 1899 0
[pid=5050] vsize: 7788
Current children cumulated CPU time (s) 215
Current children cumulated vsize (Kb) 9916
[startup+250.025 s]
Raw data (loadavg): 1.12 1.04 0.94 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) R 5047 5047 4005 0 -1 0 1079 0 0 0 21103 1277 0 0 25 0 1 0 19757571 7974912 968 4294967295 134512640 134702520 3221223952 3220910768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1947 968 413 48 0 1899 0
[pid=5050] vsize: 7788
Current children cumulated CPU time (s) 223.81
Current children cumulated vsize (Kb) 9916
[startup+260.025 s]
Raw data (loadavg): 1.10 1.03 0.94 1/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) T 5047 5047 4005 0 -1 0 1079 0 0 0 21966 1319 0 0 23 0 1 0 19757571 7974912 968 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1947 968 413 48 0 1899 0
[pid=5050] vsize: 7788
Current children cumulated CPU time (s) 232.86
Current children cumulated vsize (Kb) 9916
[startup+270.026 s]
Raw data (loadavg): 1.08 1.03 0.94 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) R 5047 5047 4005 0 -1 0 1079 0 0 0 22746 1395 0 0 25 0 1 0 19757571 7974912 968 4294967295 134512640 134702520 3221223952 3221097308 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5050/statm): 1947 968 413 48 0 1899 0
[pid=5050] vsize: 7788
Current children cumulated CPU time (s) 241.42
Current children cumulated vsize (Kb) 9916
[startup+280.027 s]
Raw data (loadavg): 1.07 1.03 0.94 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) R 5047 5047 4005 0 -1 0 1142 0 0 0 23571 1452 0 0 20 0 1 0 19757571 8286208 1031 4294967295 134512640 134702520 3221223952 3221218608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5050/statm): 2023 1031 413 48 0 1975 0
[pid=5050] vsize: 8092
Current children cumulated CPU time (s) 250.24
Current children cumulated vsize (Kb) 10220
[startup+290.029 s]
Raw data (loadavg): 1.14 1.04 0.94 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) T 5047 5047 4005 0 -1 0 1171 0 0 0 24458 1491 0 0 19 0 1 0 19757571 8286208 1060 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5050/statm): 2023 1060 413 48 0 1975 0
[pid=5050] vsize: 8092
Current children cumulated CPU time (s) 259.5
Current children cumulated vsize (Kb) 10220
[startup+300.029 s]
Raw data (loadavg): 1.12 1.04 0.94 1/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) T 5047 5047 4005 0 -1 0 1208 0 0 0 25348 1526 0 0 21 0 1 0 19757571 8286208 1097 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5050/statm): 2023 1097 413 48 0 1975 0
[pid=5050] vsize: 8092
Current children cumulated CPU time (s) 268.75
Current children cumulated vsize (Kb) 10220
[startup+310.03 s]
Raw data (loadavg): 1.10 1.04 0.94 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) R 5047 5047 4005 0 -1 0 1250 0 0 0 26214 1567 0 0 25 0 1 0 19757571 8597504 1139 4294967295 134512640 134702520 3221223952 3220842428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5050/statm): 2099 1139 413 48 0 2051 0
[pid=5050] vsize: 8396
Current children cumulated CPU time (s) 277.82
Current children cumulated vsize (Kb) 10524
[startup+320.031 s]
Raw data (loadavg): 1.08 1.04 0.94 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) R 5047 5047 4005 0 -1 0 1308 0 0 0 27020 1633 0 0 25 0 1 0 19757571 8597504 1197 4294967295 134512640 134702520 3221223952 3221073168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5050/statm): 2099 1197 413 48 0 2051 0
[pid=5050] vsize: 8396
Current children cumulated CPU time (s) 286.54
Current children cumulated vsize (Kb) 10524
[startup+330.032 s]
Raw data (loadavg): 1.07 1.04 0.94 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) R 5047 5047 4005 0 -1 0 1308 0 0 0 27858 1687 0 0 25 0 1 0 19757571 8597504 1197 4294967295 134512640 134702520 3221223952 3221192188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5050/statm): 2099 1197 413 48 0 2051 0
[pid=5050] vsize: 8396
Current children cumulated CPU time (s) 295.46
Current children cumulated vsize (Kb) 10524
[startup+340.033 s]
Raw data (loadavg): 1.06 1.04 0.94 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) R 5047 5047 4005 0 -1 0 1308 0 0 0 28789 1711 0 0 24 0 1 0 19757571 8597504 1197 4294967295 134512640 134702520 3221223952 3221222848 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5050/statm): 2099 1197 413 48 0 2051 0
[pid=5050] vsize: 8396
Current children cumulated CPU time (s) 305.01
Current children cumulated vsize (Kb) 10524
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=5050) exited with status: 2
New process pid=5051
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=5051) exited with status: 0
New process pid=5052
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+350.033 s]
Raw data (loadavg): 1.05 1.03 0.94 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 631 0 0 0 318 2 0 0 25 0 1 0 19792249 4157440 601 4294967295 134512640 134702520 3221223712 3221026928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5052/statm): 1015 601 413 48 0 967 0
[pid=5052] vsize: 4060
Current children cumulated CPU time (s) 314.23
Current children cumulated vsize (Kb) 6188
[startup+360.034 s]
Raw data (loadavg): 1.04 1.03 0.94 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 748 0 0 0 768 182 0 0 16 0 1 0 19792249 4599808 718 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1123 718 413 48 0 1075 0
[pid=5052] vsize: 4492
Current children cumulated CPU time (s) 320.53
Current children cumulated vsize (Kb) 6620
[startup+370.036 s]
Raw data (loadavg): 1.03 1.03 0.94 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 855 0 0 0 1198 367 0 0 25 0 1 0 19792249 6946816 825 4294967295 134512640 134702520 3221223712 3221116288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1696 825 413 48 0 1648 0
[pid=5052] vsize: 6784
Current children cumulated CPU time (s) 326.68
Current children cumulated vsize (Kb) 8912
[startup+380.037 s]
Raw data (loadavg): 1.03 1.03 0.94 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 856 0 0 0 2029 421 0 0 25 0 1 0 19792249 6950912 826 4294967295 134512640 134702520 3221223712 3221032588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1697 826 413 48 0 1649 0
[pid=5052] vsize: 6788
Current children cumulated CPU time (s) 335.53
Current children cumulated vsize (Kb) 8916
[startup+390.037 s]
Raw data (loadavg): 1.02 1.03 0.94 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 857 0 0 0 2860 476 0 0 25 0 1 0 19792249 6950912 827 4294967295 134512640 134702520 3221223712 3220937888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1697 827 413 48 0 1649 0
[pid=5052] vsize: 6788
Current children cumulated CPU time (s) 344.39
Current children cumulated vsize (Kb) 8916
[startup+400.038 s]
Raw data (loadavg): 1.02 1.03 0.94 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 857 0 0 0 3668 538 0 0 25 0 1 0 19792249 6950912 827 4294967295 134512640 134702520 3221223712 3220847168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1697 827 413 48 0 1649 0
[pid=5052] vsize: 6788
Current children cumulated CPU time (s) 353.09
Current children cumulated vsize (Kb) 8916
[startup+410.038 s]
Raw data (loadavg): 1.02 1.03 0.94 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 858 0 0 0 4465 601 0 0 25 0 1 0 19792249 6950912 828 4294967295 134512640 134702520 3221223712 3220749728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1697 828 413 48 0 1649 0
[pid=5052] vsize: 6788
Current children cumulated CPU time (s) 361.69
Current children cumulated vsize (Kb) 8916
[startup+420.039 s]
Raw data (loadavg): 1.01 1.02 0.94 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 863 0 0 0 5231 678 0 0 18 0 1 0 19792249 6950912 833 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5052/statm): 1697 833 413 48 0 1649 0
[pid=5052] vsize: 6788
Current children cumulated CPU time (s) 370.12
Current children cumulated vsize (Kb) 8916
[startup+430.039 s]
Raw data (loadavg): 1.01 1.02 0.94 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 864 0 0 0 5502 913 0 0 16 0 1 0 19792249 6950912 834 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1697 834 413 48 0 1649 0
[pid=5052] vsize: 6788
Current children cumulated CPU time (s) 375.18
Current children cumulated vsize (Kb) 8916
[startup+440.04 s]
Raw data (loadavg): 1.01 1.02 0.94 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 897 0 0 0 6153 1022 0 0 25 0 1 0 19792249 7118848 867 4294967295 134512640 134702520 3221223712 3220890508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1738 867 413 48 0 1690 0
[pid=5052] vsize: 6952
Current children cumulated CPU time (s) 382.78
Current children cumulated vsize (Kb) 9080
[startup+450.041 s]
Raw data (loadavg): 1.01 1.02 0.94 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 897 0 0 0 6964 1081 0 0 25 0 1 0 19792249 7118848 867 4294967295 134512640 134702520 3221223712 3220783468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1738 867 413 48 0 1690 0
[pid=5052] vsize: 6952
Current children cumulated CPU time (s) 391.48
Current children cumulated vsize (Kb) 9080
[startup+460.041 s]
Raw data (loadavg): 1.00 1.02 0.94 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 897 0 0 0 7761 1142 0 0 20 0 1 0 19792249 7118848 867 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5052/statm): 1738 867 413 48 0 1690 0
[pid=5052] vsize: 6952
Current children cumulated CPU time (s) 400.06
Current children cumulated vsize (Kb) 9080
[startup+470.043 s]
Raw data (loadavg): 1.00 1.02 0.94 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 900 0 0 0 8501 1223 0 0 17 0 1 0 19792249 7118848 870 4294967295 134512640 134702520 3221223712 3221223104 134605158 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5052/statm): 1738 870 413 48 0 1690 0
[pid=5052] vsize: 6952
Current children cumulated CPU time (s) 408.27
Current children cumulated vsize (Kb) 9080
[startup+480.043 s]
Raw data (loadavg): 1.00 1.02 0.94 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 900 0 0 0 9243 1308 0 0 17 0 1 0 19792249 7118848 870 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5052/statm): 1738 870 413 48 0 1690 0
[pid=5052] vsize: 6952
Current children cumulated CPU time (s) 416.54
Current children cumulated vsize (Kb) 9080
[startup+490.045 s]
Raw data (loadavg): 1.00 1.02 0.94 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 901 0 0 0 9980 1393 0 0 16 0 1 0 19792249 7118848 871 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5052/statm): 1738 871 413 48 0 1690 0
[pid=5052] vsize: 6952
Current children cumulated CPU time (s) 424.76
Current children cumulated vsize (Kb) 9080
[startup+500.046 s]
Raw data (loadavg): 1.08 1.03 0.95 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 903 0 0 0 10272 1619 0 0 16 0 1 0 19792249 7118848 873 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5052/statm): 1738 873 413 48 0 1690 0
[pid=5052] vsize: 6952
Current children cumulated CPU time (s) 429.94
Current children cumulated vsize (Kb) 9080
[startup+510.046 s]
Raw data (loadavg): 1.07 1.03 0.95 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 903 0 0 0 11014 1702 0 0 16 0 1 0 19792249 7118848 873 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1738 873 413 48 0 1690 0
[pid=5052] vsize: 6952
Current children cumulated CPU time (s) 438.19
Current children cumulated vsize (Kb) 9080
[startup+520.046 s]
Raw data (loadavg): 1.06 1.03 0.95 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 903 0 0 0 11764 1785 0 0 16 0 1 0 19792249 7118848 873 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1738 873 413 48 0 1690 0
[pid=5052] vsize: 6952
Current children cumulated CPU time (s) 446.52
Current children cumulated vsize (Kb) 9080
[startup+530.047 s]
Raw data (loadavg): 1.05 1.03 0.95 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 909 0 0 0 12530 1861 0 0 18 0 1 0 19792249 7118848 879 4294967295 134512640 134702520 3221223712 3221205248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1738 879 413 48 0 1690 0
[pid=5052] vsize: 6952
Current children cumulated CPU time (s) 454.94
Current children cumulated vsize (Kb) 9080
[startup+540.048 s]
Raw data (loadavg): 1.04 1.03 0.95 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 914 0 0 0 13352 1917 0 0 25 0 1 0 19792249 7118848 884 4294967295 134512640 134702520 3221223712 3221144928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1738 884 413 48 0 1690 0
[pid=5052] vsize: 6952
Current children cumulated CPU time (s) 463.72
Current children cumulated vsize (Kb) 9080
[startup+550.049 s]
Raw data (loadavg): 1.03 1.03 0.95 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 919 0 0 0 14162 1976 0 0 25 0 1 0 19792249 7118848 889 4294967295 134512640 134702520 3221223712 3221086528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1738 889 413 48 0 1690 0
[pid=5052] vsize: 6952
Current children cumulated CPU time (s) 472.41
Current children cumulated vsize (Kb) 9080
[startup+560.048 s]
Raw data (loadavg): 1.03 1.03 0.95 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 921 0 0 0 14723 2121 0 0 16 0 1 0 19792249 7118848 891 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1738 891 413 48 0 1690 0
[pid=5052] vsize: 6952
Current children cumulated CPU time (s) 479.47
Current children cumulated vsize (Kb) 9080
[startup+570.05 s]
Raw data (loadavg): 1.02 1.02 0.95 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 923 0 0 0 15031 2340 0 0 16 0 1 0 19792249 7163904 893 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1749 893 413 48 0 1701 0
[pid=5052] vsize: 6996
Current children cumulated CPU time (s) 484.74
Current children cumulated vsize (Kb) 9124
[startup+580.051 s]
Raw data (loadavg): 1.02 1.02 0.95 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 926 0 0 0 15822 2406 0 0 21 0 1 0 19792249 7163904 896 4294967295 134512640 134702520 3221223712 3221189568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5052/statm): 1749 896 413 48 0 1701 0
[pid=5052] vsize: 6996
Current children cumulated CPU time (s) 493.31
Current children cumulated vsize (Kb) 9124
[startup+590.052 s]
Raw data (loadavg): 1.02 1.02 0.95 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 931 0 0 0 16628 2466 0 0 25 0 1 0 19792249 7163904 901 4294967295 134512640 134702520 3221223712 3221143808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1749 901 413 48 0 1701 0
[pid=5052] vsize: 6996
Current children cumulated CPU time (s) 501.97
Current children cumulated vsize (Kb) 9124
[startup+600.053 s]
Raw data (loadavg): 1.01 1.02 0.95 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 969 0 0 0 17434 2524 0 0 25 0 1 0 19792249 7360512 939 4294967295 134512640 134702520 3221223712 3221091968 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1797 939 413 48 0 1749 0
[pid=5052] vsize: 7188
Current children cumulated CPU time (s) 510.61
Current children cumulated vsize (Kb) 9316
[startup+610.053 s]
Raw data (loadavg): 1.01 1.02 0.95 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 969 0 0 0 18252 2583 0 0 25 0 1 0 19792249 7360512 939 4294967295 134512640 134702520 3221223712 3221020588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1797 939 413 48 0 1749 0
[pid=5052] vsize: 7188
Current children cumulated CPU time (s) 519.38
Current children cumulated vsize (Kb) 9316
[startup+620.054 s]
Raw data (loadavg): 1.01 1.02 0.95 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 969 0 0 0 19069 2641 0 0 25 0 1 0 19792249 7360512 939 4294967295 134512640 134702520 3221223712 3220939628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1797 939 413 48 0 1749 0
[pid=5052] vsize: 7188
Current children cumulated CPU time (s) 528.13
Current children cumulated vsize (Kb) 9316
[startup+630.055 s]
Raw data (loadavg): 1.08 1.03 0.95 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 969 0 0 0 19501 2825 0 0 16 0 1 0 19792249 7360512 939 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5052/statm): 1797 939 413 48 0 1749 0
[pid=5052] vsize: 7188
Current children cumulated CPU time (s) 534.29
Current children cumulated vsize (Kb) 9316
[startup+640.056 s]
Raw data (loadavg): 1.07 1.03 0.95 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 969 0 0 0 19914 3013 0 0 25 0 1 0 19792249 7360512 939 4294967295 134512640 134702520 3221223712 3221147808 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1797 939 413 48 0 1749 0
[pid=5052] vsize: 7188
Current children cumulated CPU time (s) 540.3
Current children cumulated vsize (Kb) 9316
[startup+650.056 s]
Raw data (loadavg): 1.06 1.03 0.95 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1057 0 0 0 20720 3078 0 0 25 0 1 0 19792249 7606272 1027 4294967295 134512640 134702520 3221223712 3221095808 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1857 1027 413 48 0 1809 0
[pid=5052] vsize: 7428
Current children cumulated CPU time (s) 549.01
Current children cumulated vsize (Kb) 9556
[startup+660.056 s]
Raw data (loadavg): 1.05 1.03 0.95 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1092 0 0 0 21502 3150 0 0 25 0 1 0 19792249 7852032 1062 4294967295 134512640 134702520 3221223712 3221071948 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5052/statm): 1917 1062 413 48 0 1869 0
[pid=5052] vsize: 7668
Current children cumulated CPU time (s) 557.55
Current children cumulated vsize (Kb) 9796
[startup+670.057 s]
Raw data (loadavg): 1.04 1.03 0.95 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1125 0 0 0 22276 3229 0 0 25 0 1 0 19792249 7852032 1095 4294967295 134512640 134702520 3221223712 3221057088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5052/statm): 1917 1095 413 48 0 1869 0
[pid=5052] vsize: 7668
Current children cumulated CPU time (s) 566.08
Current children cumulated vsize (Kb) 9796
[startup+680.058 s]
Raw data (loadavg): 1.03 1.03 0.95 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1169 0 0 0 23042 3302 0 0 25 0 1 0 19792249 8097792 1139 4294967295 134512640 134702520 3221223712 3221047948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1977 1139 413 48 0 1929 0
[pid=5052] vsize: 7908
Current children cumulated CPU time (s) 574.47
Current children cumulated vsize (Kb) 10036
[startup+690.059 s]
Raw data (loadavg): 1.03 1.03 0.95 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1180 0 0 0 23848 3366 0 0 25 0 1 0 19792249 8097792 1150 4294967295 134512640 134702520 3221223712 3221000448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1977 1150 413 48 0 1929 0
[pid=5052] vsize: 7908
Current children cumulated CPU time (s) 583.17
Current children cumulated vsize (Kb) 10036
[startup+700.059 s]
Raw data (loadavg): 1.02 1.02 0.95 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1183 0 0 0 24334 3529 0 0 16 0 1 0 19792249 8097792 1153 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1977 1153 413 48 0 1929 0
[pid=5052] vsize: 7908
Current children cumulated CPU time (s) 589.66
Current children cumulated vsize (Kb) 10036
[startup+710.06 s]
Raw data (loadavg): 1.02 1.02 0.95 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1189 0 0 0 24695 3738 0 0 20 0 1 0 19792249 8204288 1159 4294967295 134512640 134702520 3221223712 3221193408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2003 1159 413 48 0 1955 0
[pid=5052] vsize: 8012
Current children cumulated CPU time (s) 595.36
Current children cumulated vsize (Kb) 10140
[startup+720.061 s]
Raw data (loadavg): 1.02 1.02 0.95 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1193 0 0 0 25490 3799 0 0 25 0 1 0 19792249 8204288 1163 4294967295 134512640 134702520 3221223712 3221161568 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2003 1163 413 48 0 1955 0
[pid=5052] vsize: 8012
Current children cumulated CPU time (s) 603.92
Current children cumulated vsize (Kb) 10140
[startup+730.062 s]
Raw data (loadavg): 1.01 1.02 0.95 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1198 0 0 0 26300 3862 0 0 25 0 1 0 19792249 8204288 1168 4294967295 134512640 134702520 3221223712 3221116748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2003 1168 413 48 0 1955 0
[pid=5052] vsize: 8012
Current children cumulated CPU time (s) 612.65
Current children cumulated vsize (Kb) 10140
[startup+740.061 s]
Raw data (loadavg): 1.01 1.02 0.95 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1249 0 0 0 27115 3924 0 0 25 0 1 0 19792249 8372224 1219 4294967295 134512640 134702520 3221223712 3221071808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2044 1219 413 48 0 1996 0
[pid=5052] vsize: 8176
Current children cumulated CPU time (s) 621.42
Current children cumulated vsize (Kb) 10304
[startup+750.063 s]
Raw data (loadavg): 1.01 1.02 0.95 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1249 0 0 0 27901 3990 0 0 25 0 1 0 19792249 8372224 1219 4294967295 134512640 134702520 3221223712 3221045568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2044 1219 413 48 0 1996 0
[pid=5052] vsize: 8176
Current children cumulated CPU time (s) 629.94
Current children cumulated vsize (Kb) 10304
[startup+760.064 s]
Raw data (loadavg): 1.08 1.04 0.96 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1249 0 0 0 28724 4042 0 0 25 0 1 0 19792249 8372224 1219 4294967295 134512640 134702520 3221223712 3220986348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2044 1219 413 48 0 1996 0
[pid=5052] vsize: 8176
Current children cumulated CPU time (s) 638.69
Current children cumulated vsize (Kb) 10304
[startup+770.065 s]
Raw data (loadavg): 1.14 1.05 0.96 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1249 0 0 0 29199 4211 0 0 16 0 1 0 19792249 8372224 1219 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2044 1219 413 48 0 1996 0
[pid=5052] vsize: 8176
Current children cumulated CPU time (s) 645.13
Current children cumulated vsize (Kb) 10304
[startup+780.066 s]
Raw data (loadavg): 1.12 1.05 0.96 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1251 0 0 0 29583 4404 0 0 23 0 1 0 19792249 8372224 1221 4294967295 134512640 134702520 3221223712 3221186668 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2044 1221 413 48 0 1996 0
[pid=5052] vsize: 8176
Current children cumulated CPU time (s) 650.9
Current children cumulated vsize (Kb) 10304
[startup+790.066 s]
Raw data (loadavg): 1.10 1.05 0.96 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1251 0 0 0 30388 4466 0 0 25 0 1 0 19792249 8372224 1221 4294967295 134512640 134702520 3221223712 3221150208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2044 1221 413 48 0 1996 0
[pid=5052] vsize: 8176
Current children cumulated CPU time (s) 659.57
Current children cumulated vsize (Kb) 10304
[startup+800.067 s]
Raw data (loadavg): 1.08 1.04 0.96 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1251 0 0 0 31197 4524 0 0 25 0 1 0 19792249 8372224 1221 4294967295 134512640 134702520 3221223712 3221103788 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2044 1221 413 48 0 1996 0
[pid=5052] vsize: 8176
Current children cumulated CPU time (s) 668.24
Current children cumulated vsize (Kb) 10304
[startup+810.068 s]
Raw data (loadavg): 1.07 1.04 0.96 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1253 0 0 0 32016 4580 0 0 25 0 1 0 19792249 8372224 1223 4294967295 134512640 134702520 3221223712 3221044128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2044 1223 413 48 0 1996 0
[pid=5052] vsize: 8176
Current children cumulated CPU time (s) 676.99
Current children cumulated vsize (Kb) 10304
[startup+820.07 s]
Raw data (loadavg): 1.06 1.04 0.96 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1257 0 0 0 32805 4649 0 0 25 0 1 0 19792249 8372224 1227 4294967295 134512640 134702520 3221223712 3221014688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2044 1227 413 48 0 1996 0
[pid=5052] vsize: 8176
Current children cumulated CPU time (s) 685.57
Current children cumulated vsize (Kb) 10304
[startup+830.07 s]
Raw data (loadavg): 1.05 1.04 0.96 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1261 0 0 0 33617 4708 0 0 25 0 1 0 19792249 8372224 1231 4294967295 134512640 134702520 3221223712 3220963168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2044 1231 413 48 0 1996 0
[pid=5052] vsize: 8176
Current children cumulated CPU time (s) 694.28
Current children cumulated vsize (Kb) 10304
[startup+840.07 s]
Raw data (loadavg): 1.12 1.05 0.97 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1263 0 0 0 34079 4885 0 0 16 0 1 0 19792249 8372224 1233 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2044 1233 413 48 0 1996 0
[pid=5052] vsize: 8176
Current children cumulated CPU time (s) 700.67
Current children cumulated vsize (Kb) 10304
[startup+850.072 s]
Raw data (loadavg): 1.10 1.05 0.97 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1269 0 0 0 34486 5081 0 0 25 0 1 0 19792249 8429568 1239 4294967295 134512640 134702520 3221223712 3221169088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2058 1239 413 48 0 2010 0
[pid=5052] vsize: 8232
Current children cumulated CPU time (s) 706.7
Current children cumulated vsize (Kb) 10360
[startup+860.073 s]
Raw data (loadavg): 1.09 1.05 0.97 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1272 0 0 0 35307 5142 0 0 25 0 1 0 19792249 8429568 1242 4294967295 134512640 134702520 3221223712 3221117888 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2058 1242 413 48 0 2010 0
[pid=5052] vsize: 8232
Current children cumulated CPU time (s) 715.52
Current children cumulated vsize (Kb) 10360
[startup+870.074 s]
Raw data (loadavg): 1.07 1.05 0.97 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1330 0 0 0 36093 5215 0 0 25 0 1 0 19792249 8572928 1300 4294967295 134512640 134702520 3221223712 3221098348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2093 1300 413 48 0 2045 0
[pid=5052] vsize: 8372
Current children cumulated CPU time (s) 724.11
Current children cumulated vsize (Kb) 10500
[startup+880.075 s]
Raw data (loadavg): 1.06 1.04 0.97 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1330 0 0 0 36896 5278 0 0 25 0 1 0 19792249 8572928 1300 4294967295 134512640 134702520 3221223712 3221051968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2093 1300 413 48 0 2045 0
[pid=5052] vsize: 8372
Current children cumulated CPU time (s) 732.77
Current children cumulated vsize (Kb) 10500
[startup+890.075 s]
Raw data (loadavg): 1.05 1.04 0.97 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1330 0 0 0 37691 5343 0 0 25 0 1 0 19792249 8572928 1300 4294967295 134512640 134702520 3221223712 3221019468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2093 1300 413 48 0 2045 0
[pid=5052] vsize: 8372
Current children cumulated CPU time (s) 741.37
Current children cumulated vsize (Kb) 10500
[startup+900.076 s]
Raw data (loadavg): 1.04 1.04 0.97 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1330 0 0 0 38502 5401 0 0 25 0 1 0 19792249 8572928 1300 4294967295 134512640 134702520 3221223712 3220958348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2093 1300 413 48 0 2045 0
[pid=5052] vsize: 8372
Current children cumulated CPU time (s) 750.06
Current children cumulated vsize (Kb) 10500
[startup+910.077 s]
Raw data (loadavg): 1.04 1.04 0.97 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1330 0 0 0 38958 5581 0 0 16 0 1 0 19792249 8572928 1300 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2093 1300 413 48 0 2045 0
[pid=5052] vsize: 8372
Current children cumulated CPU time (s) 756.42
Current children cumulated vsize (Kb) 10500
[startup+920.077 s]
Raw data (loadavg): 1.03 1.04 0.97 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1429 0 0 0 39312 5796 0 0 17 0 1 0 19792249 8572928 1399 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2093 1399 413 48 0 2045 0
[pid=5052] vsize: 8372
Current children cumulated CPU time (s) 762.11
Current children cumulated vsize (Kb) 10500
[startup+930.078 s]
Raw data (loadavg): 1.02 1.04 0.97 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1439 0 0 0 40113 5860 0 0 19 0 1 0 19792249 8572928 1409 4294967295 134512640 134702520 3221223712 3221198668 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2093 1409 413 48 0 2045 0
[pid=5052] vsize: 8372
Current children cumulated CPU time (s) 770.76
Current children cumulated vsize (Kb) 10500
[startup+940.078 s]
Raw data (loadavg): 1.02 1.03 0.97 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1439 0 0 0 40930 5919 0 0 25 0 1 0 19792249 8572928 1409 4294967295 134512640 134702520 3221223712 3221151008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2093 1409 413 48 0 2045 0
[pid=5052] vsize: 8372
Current children cumulated CPU time (s) 779.52
Current children cumulated vsize (Kb) 10500
[startup+950.079 s]
Raw data (loadavg): 1.02 1.03 0.97 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1439 0 0 0 41733 5986 0 0 25 0 1 0 19792249 8572928 1409 4294967295 134512640 134702520 3221223712 3221108288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2093 1409 413 48 0 2045 0
[pid=5052] vsize: 8372
Current children cumulated CPU time (s) 788.22
Current children cumulated vsize (Kb) 10500
[startup+960.078 s]
Raw data (loadavg): 1.01 1.03 0.97 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1441 0 0 0 42530 6051 0 0 25 0 1 0 19792249 8572928 1411 4294967295 134512640 134702520 3221223712 3221076288 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2093 1411 413 48 0 2045 0
[pid=5052] vsize: 8372
Current children cumulated CPU time (s) 796.84
Current children cumulated vsize (Kb) 10500
[startup+970.079 s]
Raw data (loadavg): 1.01 1.03 0.97 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1445 0 0 0 43295 6125 0 0 25 0 1 0 19792249 8572928 1415 4294967295 134512640 134702520 3221223712 3221073228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2093 1415 413 48 0 2045 0
[pid=5052] vsize: 8372
Current children cumulated CPU time (s) 805.23
Current children cumulated vsize (Kb) 10500
[startup+980.08 s]
Raw data (loadavg): 1.16 1.06 0.98 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1447 0 0 0 43869 6264 0 0 16 0 1 0 19792249 8572928 1417 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2093 1417 413 48 0 2045 0
[pid=5052] vsize: 8372
Current children cumulated CPU time (s) 812.36
Current children cumulated vsize (Kb) 10500
[startup+990.081 s]
Raw data (loadavg): 1.22 1.07 0.98 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1450 0 0 0 44208 6478 0 0 17 0 1 0 19792249 8695808 1420 4294967295 134512640 134702520 3221223712 3221222992 134557225 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2123 1420 413 48 0 2075 0
[pid=5052] vsize: 8492
Current children cumulated CPU time (s) 817.89
Current children cumulated vsize (Kb) 10620
[startup+1000.08 s]
Raw data (loadavg): 1.18 1.07 0.98 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1454 0 0 0 44964 6560 0 0 17 0 1 0 19792249 8695808 1424 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2123 1424 413 48 0 2075 0
[pid=5052] vsize: 8492
Current children cumulated CPU time (s) 826.27
Current children cumulated vsize (Kb) 10620
[startup+1010.08 s]
Raw data (loadavg): 1.15 1.07 0.98 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1457 0 0 0 45721 6634 0 0 17 0 1 0 19792249 8695808 1427 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2123 1427 413 48 0 2075 0
[pid=5052] vsize: 8492
Current children cumulated CPU time (s) 834.58
Current children cumulated vsize (Kb) 10620
[startup+1020.08 s]
Raw data (loadavg): 1.13 1.07 0.98 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1462 0 0 0 46529 6691 0 0 22 0 1 0 19792249 8695808 1432 4294967295 134512640 134702520 3221223712 3221189388 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2123 1432 413 48 0 2075 0
[pid=5052] vsize: 8492
Current children cumulated CPU time (s) 843.23
Current children cumulated vsize (Kb) 10620
[startup+1030.08 s]
Raw data (loadavg): 1.11 1.06 0.98 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1467 0 0 0 47353 6750 0 0 25 0 1 0 19792249 8695808 1437 4294967295 134512640 134702520 3221223712 3221138348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2123 1437 413 48 0 2075 0
[pid=5052] vsize: 8492
Current children cumulated CPU time (s) 852.06
Current children cumulated vsize (Kb) 10620
[startup+1040.08 s]
Raw data (loadavg): 1.09 1.06 0.98 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1472 0 0 0 48151 6814 0 0 25 0 1 0 19792249 8695808 1442 4294967295 134512640 134702520 3221223712 3221109248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2123 1442 413 48 0 2075 0
[pid=5052] vsize: 8492
Current children cumulated CPU time (s) 860.68
Current children cumulated vsize (Kb) 10620
[startup+1050.09 s]
Raw data (loadavg): 1.08 1.06 0.98 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1474 0 0 0 48770 6935 0 0 17 0 1 0 19792249 8695808 1444 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2123 1444 413 48 0 2075 0
[pid=5052] vsize: 8492
Current children cumulated CPU time (s) 868.08
Current children cumulated vsize (Kb) 10620
[startup+1060.09 s]
Raw data (loadavg): 1.15 1.07 0.99 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1477 0 0 0 49111 7140 0 0 16 0 1 0 19792249 8765440 1447 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2140 1447 413 48 0 2092 0
[pid=5052] vsize: 8560
Current children cumulated CPU time (s) 873.54
Current children cumulated vsize (Kb) 10688
[startup+1070.09 s]
Raw data (loadavg): 1.12 1.07 0.99 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1482 0 0 0 49874 7214 0 0 16 0 1 0 19792249 8765440 1452 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2140 1452 413 48 0 2092 0
[pid=5052] vsize: 8560
Current children cumulated CPU time (s) 881.91
Current children cumulated vsize (Kb) 10688
[startup+1080.09 s]
Raw data (loadavg): 1.10 1.07 0.99 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1487 0 0 0 50631 7293 0 0 16 0 1 0 19792249 8765440 1457 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2140 1457 413 48 0 2092 0
[pid=5052] vsize: 8560
Current children cumulated CPU time (s) 890.27
Current children cumulated vsize (Kb) 10688
[startup+1090.09 s]
Raw data (loadavg): 1.09 1.06 0.99 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1490 0 0 0 51405 7366 0 0 17 0 1 0 19792249 8765440 1460 4294967295 134512640 134702520 3221223712 3221215308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2140 1460 413 48 0 2092 0
[pid=5052] vsize: 8560
Current children cumulated CPU time (s) 898.74
Current children cumulated vsize (Kb) 10688
[startup+1100.09 s]
Raw data (loadavg): 1.15 1.08 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1493 0 0 0 52212 7428 0 0 22 0 1 0 19792249 8765440 1463 4294967295 134512640 134702520 3221223712 3221181408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2140 1463 413 48 0 2092 0
[pid=5052] vsize: 8560
Current children cumulated CPU time (s) 907.43
Current children cumulated vsize (Kb) 10688
[startup+1110.09 s]
Raw data (loadavg): 1.13 1.07 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1496 0 0 0 53009 7494 0 0 25 0 1 0 19792249 8765440 1466 4294967295 134512640 134702520 3221223712 3221155628 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2140 1466 413 48 0 2092 0
[pid=5052] vsize: 8560
Current children cumulated CPU time (s) 916.06
Current children cumulated vsize (Kb) 10688
[startup+1120.09 s]
Raw data (loadavg): 1.11 1.07 1.00 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1498 0 0 0 53657 7607 0 0 16 0 1 0 19792249 8912896 1468 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2176 1468 413 48 0 2128 0
[pid=5052] vsize: 8704
Current children cumulated CPU time (s) 923.67
Current children cumulated vsize (Kb) 10832
[startup+1130.09 s]
Raw data (loadavg): 1.09 1.07 1.00 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1501 0 0 0 53981 7822 0 0 16 0 1 0 19792249 8863744 1471 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2164 1471 413 48 0 2116 0
[pid=5052] vsize: 8656
Current children cumulated CPU time (s) 929.06
Current children cumulated vsize (Kb) 10784
[startup+1140.09 s]
Raw data (loadavg): 1.08 1.06 1.00 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1505 0 0 0 54737 7904 0 0 17 0 1 0 19792249 8863744 1475 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2164 1475 413 48 0 2116 0
[pid=5052] vsize: 8656
Current children cumulated CPU time (s) 937.44
Current children cumulated vsize (Kb) 10784
[startup+1150.09 s]
Raw data (loadavg): 1.06 1.06 1.00 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1510 0 0 0 55496 7984 0 0 17 0 1 0 19792249 8863744 1480 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2164 1480 413 48 0 2116 0
[pid=5052] vsize: 8656
Current children cumulated CPU time (s) 945.83
Current children cumulated vsize (Kb) 10784
[startup+1160.09 s]
Raw data (loadavg): 1.05 1.06 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1514 0 0 0 56265 8060 0 0 17 0 1 0 19792249 8863744 1484 4294967295 134512640 134702520 3221223712 3221216108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2164 1484 413 48 0 2116 0
[pid=5052] vsize: 8656
Current children cumulated CPU time (s) 954.28
Current children cumulated vsize (Kb) 10784
[startup+1170.1 s]
Raw data (loadavg): 1.05 1.06 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1518 0 0 0 57046 8132 0 0 20 0 1 0 19792249 8863744 1488 4294967295 134512640 134702520 3221223712 3221195168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2164 1488 413 48 0 2116 0
[pid=5052] vsize: 8656
Current children cumulated CPU time (s) 962.81
Current children cumulated vsize (Kb) 10784
[startup+1180.1 s]
Raw data (loadavg): 1.04 1.05 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1521 0 0 0 57824 8205 0 0 23 0 1 0 19792249 8863744 1491 4294967295 134512640 134702520 3221223712 3221179328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2164 1491 413 48 0 2116 0
[pid=5052] vsize: 8656
Current children cumulated CPU time (s) 971.32
Current children cumulated vsize (Kb) 10784
[startup+1190.1 s]
Raw data (loadavg): 1.03 1.05 1.00 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1523 0 0 0 58510 8303 0 0 16 0 1 0 19792249 9011200 1493 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2200 1493 413 48 0 2152 0
[pid=5052] vsize: 8800
Current children cumulated CPU time (s) 979.16
Current children cumulated vsize (Kb) 10928
[startup+1200.1 s]
Raw data (loadavg): 1.03 1.05 1.00 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1526 0 0 0 58832 8519 0 0 16 0 1 0 19792249 8966144 1496 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2189 1496 413 48 0 2141 0
[pid=5052] vsize: 8756
Current children cumulated CPU time (s) 984.54
Current children cumulated vsize (Kb) 10884
[startup+1210.1 s]
Raw data (loadavg): 1.02 1.05 1.00 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1529 0 0 0 59597 8594 0 0 17 0 1 0 19792249 8966144 1499 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2189 1499 413 48 0 2141 0
[pid=5052] vsize: 8756
Current children cumulated CPU time (s) 992.94
Current children cumulated vsize (Kb) 10884
[startup+1220.1 s]
Raw data (loadavg): 1.02 1.05 1.00 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1530 0 0 0 60364 8661 0 0 16 0 1 0 19792249 8966144 1500 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2189 1500 413 48 0 2141 0
[pid=5052] vsize: 8756
Current children cumulated CPU time (s) 1001.28
Current children cumulated vsize (Kb) 10884
[startup+1230.1 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1534 0 0 0 61126 8736 0 0 17 0 1 0 19792249 8966144 1504 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2189 1504 413 48 0 2141 0
[pid=5052] vsize: 8756
Current children cumulated CPU time (s) 1009.65
Current children cumulated vsize (Kb) 10884
[startup+1240.1 s]
Raw data (loadavg): 1.01 1.04 1.00 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1539 0 0 0 61890 8811 0 0 16 0 1 0 19792249 8966144 1509 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2189 1509 413 48 0 2141 0
[pid=5052] vsize: 8756
Current children cumulated CPU time (s) 1018.04
Current children cumulated vsize (Kb) 10884
[startup+1250.1 s]
Raw data (loadavg): 1.01 1.04 1.00 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1544 0 0 0 62649 8882 0 0 17 0 1 0 19792249 8966144 1514 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2189 1514 413 48 0 2141 0
[pid=5052] vsize: 8756
Current children cumulated CPU time (s) 1026.34
Current children cumulated vsize (Kb) 10884
[startup+1260.1 s]
Raw data (loadavg): 1.01 1.04 1.00 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1546 0 0 0 63400 8964 0 0 16 0 1 0 19792249 9109504 1516 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2224 1516 413 48 0 2176 0
[pid=5052] vsize: 8896
Current children cumulated CPU time (s) 1034.67
Current children cumulated vsize (Kb) 11024
[startup+1270.1 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1548 0 0 0 63719 9193 0 0 16 0 1 0 19792249 9109504 1518 4294967295 134512640 134702520 3221223712 3221222352 134557359 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2224 1518 413 48 0 2176 0
[pid=5052] vsize: 8896
Current children cumulated CPU time (s) 1040.15
Current children cumulated vsize (Kb) 11024
[startup+1280.11 s]
Raw data (loadavg): 1.00 1.04 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1551 0 0 0 64469 9276 0 0 25 0 1 0 19792249 9060352 1521 4294967295 134512640 134702520 3221223712 3220702988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2212 1521 413 48 0 2164 0
[pid=5052] vsize: 8848
Current children cumulated CPU time (s) 1048.48
Current children cumulated vsize (Kb) 10976
[startup+1290.11 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1555 0 0 0 65236 9349 0 0 25 0 1 0 19792249 9060352 1525 4294967295 134512640 134702520 3221223712 3220693888 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2212 1525 413 48 0 2164 0
[pid=5052] vsize: 8848
Current children cumulated CPU time (s) 1056.88
Current children cumulated vsize (Kb) 10976
[startup+1300.11 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1562 0 0 0 66006 9421 0 0 18 0 1 0 19792249 9060352 1532 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2212 1532 413 48 0 2164 0
[pid=5052] vsize: 8848
Current children cumulated CPU time (s) 1065.3
Current children cumulated vsize (Kb) 10976
[startup+1310.11 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1566 0 0 0 66764 9503 0 0 17 0 1 0 19792249 9060352 1536 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2212 1536 413 48 0 2164 0
[pid=5052] vsize: 8848
Current children cumulated CPU time (s) 1073.7
Current children cumulated vsize (Kb) 10976
[startup+1320.11 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1572 0 0 0 67522 9580 0 0 16 0 1 0 19792249 9060352 1542 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2212 1542 413 48 0 2164 0
[pid=5052] vsize: 8848
Current children cumulated CPU time (s) 1082.05
Current children cumulated vsize (Kb) 10976
[startup+1330.11 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1576 0 0 0 68279 9657 0 0 16 0 1 0 19792249 9207808 1546 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2248 1546 413 48 0 2200 0
[pid=5052] vsize: 8992
Current children cumulated CPU time (s) 1090.39
Current children cumulated vsize (Kb) 11120
[startup+1340.11 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1577 0 0 0 68582 9874 0 0 16 0 1 0 19792249 9207808 1547 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2248 1547 413 48 0 2200 0
[pid=5052] vsize: 8992
Current children cumulated CPU time (s) 1095.59
Current children cumulated vsize (Kb) 11120
[startup+1350.11 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1582 0 0 0 69229 9990 0 0 25 0 1 0 19792249 9183232 1552 4294967295 134512640 134702520 3221223712 3220904768 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2242 1552 413 48 0 2194 0
[pid=5052] vsize: 8968
Current children cumulated CPU time (s) 1103.22
Current children cumulated vsize (Kb) 11096
[startup+1360.11 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1585 0 0 0 70026 10056 0 0 25 0 1 0 19792249 9183232 1555 4294967295 134512640 134702520 3221223712 3220849868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2242 1555 413 48 0 2194 0
[pid=5052] vsize: 8968
Current children cumulated CPU time (s) 1111.85
Current children cumulated vsize (Kb) 11096
[startup+1370.11 s]
Raw data (loadavg): 1.05 1.04 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1590 0 0 0 70805 10132 0 0 25 0 1 0 19792249 9187328 1560 4294967295 134512640 134702520 3221223712 3220831808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2243 1560 413 48 0 2195 0
[pid=5052] vsize: 8972
Current children cumulated CPU time (s) 1120.4
Current children cumulated vsize (Kb) 11100
[startup+1380.11 s]
Raw data (loadavg): 1.04 1.04 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1594 0 0 0 71539 10213 0 0 25 0 1 0 19792249 9187328 1564 4294967295 134512640 134702520 3221223712 3220863632 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2243 1564 413 48 0 2195 0
[pid=5052] vsize: 8972
Current children cumulated CPU time (s) 1128.55
Current children cumulated vsize (Kb) 11100
[startup+1390.11 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1597 0 0 0 72306 10287 0 0 25 0 1 0 19792249 9187328 1567 4294967295 134512640 134702520 3221223712 3220858368 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2243 1567 413 48 0 2195 0
[pid=5052] vsize: 8972
Current children cumulated CPU time (s) 1136.96
Current children cumulated vsize (Kb) 11100
[startup+1400.11 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1601 0 0 0 73087 10362 0 0 25 0 1 0 19792249 9187328 1571 4294967295 134512640 134702520 3221223712 3220839328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2243 1571 413 48 0 2195 0
[pid=5052] vsize: 8972
Current children cumulated CPU time (s) 1145.52
Current children cumulated vsize (Kb) 11100
[startup+1410.12 s]
Raw data (loadavg): 1.10 1.05 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1603 0 0 0 73453 10562 0 0 16 0 1 0 19792249 9342976 1573 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2281 1573 413 48 0 2233 0
[pid=5052] vsize: 9124
Current children cumulated CPU time (s) 1151.18
Current children cumulated vsize (Kb) 11252
[startup+1420.12 s]
Raw data (loadavg): 1.16 1.06 1.01 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1609 0 0 0 73913 10732 0 0 25 0 1 0 19792249 9293824 1579 4294967295 134512640 134702520 3221223712 3221125548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2269 1579 413 48 0 2221 0
[pid=5052] vsize: 9076
Current children cumulated CPU time (s) 1157.48
Current children cumulated vsize (Kb) 11204
[startup+1430.12 s]
Raw data (loadavg): 1.13 1.06 1.01 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1613 0 0 0 74703 10798 0 0 25 0 1 0 19792249 9293824 1583 4294967295 134512640 134702520 3221223712 3221107648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2269 1583 413 48 0 2221 0
[pid=5052] vsize: 9076
Current children cumulated CPU time (s) 1166.04
Current children cumulated vsize (Kb) 11204
[startup+1440.12 s]
Raw data (loadavg): 1.11 1.06 1.01 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1617 0 0 0 75486 10865 0 0 25 0 1 0 19792249 9293824 1587 4294967295 134512640 134702520 3221223712 3221092748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2269 1587 413 48 0 2221 0
[pid=5052] vsize: 9076
Current children cumulated CPU time (s) 1174.54
Current children cumulated vsize (Kb) 11204
[startup+1450.12 s]
Raw data (loadavg): 1.09 1.05 1.01 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1623 0 0 0 76250 10940 0 0 25 0 1 0 19792249 9293824 1593 4294967295 134512640 134702520 3221223712 3221098188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2269 1593 413 48 0 2221 0
[pid=5052] vsize: 9076
Current children cumulated CPU time (s) 1182.93
Current children cumulated vsize (Kb) 11204
[startup+1460.12 s]
Raw data (loadavg): 1.08 1.05 1.01 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1629 0 0 0 77013 11014 0 0 25 0 1 0 19792249 9293824 1599 4294967295 134512640 134702520 3221223712 3221113248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2269 1599 413 48 0 2221 0
[pid=5052] vsize: 9076
Current children cumulated CPU time (s) 1191.3
Current children cumulated vsize (Kb) 11204
[startup+1470.12 s]
Raw data (loadavg): 1.07 1.05 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1635 0 0 0 77802 11086 0 0 25 0 1 0 19792249 9412608 1605 4294967295 134512640 134702520 3221223712 3221103148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2298 1605 413 48 0 2250 0
[pid=5052] vsize: 9192
Current children cumulated CPU time (s) 1199.91
Current children cumulated vsize (Kb) 11320
[startup+1480.12 s]
Raw data (loadavg): 1.06 1.05 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1637 0 0 0 78406 11218 0 0 16 0 1 0 19792249 9412608 1607 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2298 1607 413 48 0 2250 0
[pid=5052] vsize: 9192
Current children cumulated CPU time (s) 1207.27
Current children cumulated vsize (Kb) 11320
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1480.12 s]
Raw data (loadavg): 1.06 1.05 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1637 0 0 0 78406 11218 0 0 16 0 1 0 19792249 9412608 1607 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2298 1607 413 48 0 2250 0
[pid=5052] vsize: 9192
Current children cumulated CPU time (s) 1207.27
Current children cumulated vsize (Kb) 11320
Sending SIGTERM to -5047
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5054
New process pid=5055
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)=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/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/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)
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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
One traced child (pid=5052) exited with status: 3
open syscall for file /proc/5008/stat
open syscall for file /proc/5008/status
open syscall for file /proc/5008/cmdline
open syscall for file /proc/5008/environ
open syscall for file /proc/5046/stat
open syscall for file /proc/5046/status
open syscall for file /proc/5046/cmdline
open syscall for file /proc/5046/environ
open syscall for file /proc/5047/stat
open syscall for file /proc/5047/status
open syscall for file /proc/5047/cmdline
open syscall for file /proc/5047/environ
open syscall for file /proc/5054/stat
open syscall for file /proc/5054/status
open syscall for file /proc/5054/cmdline
open syscall for file /proc/5054/environ
open syscall for file /proc/5055/stat
open syscall for file /proc/5055/status
open syscall for file /proc/5055/cmdline
open syscall for file /proc/5055/environ
One traced child (pid=5054) exited with status: 0
One traced child (pid=5055) exited with status: 0
New process pid=5056
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=5056) exited with status: 0
New process pid=5057
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=5057) exited with status: 0
One traced child (pid=5047) 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): 1480.61
CPU time (s): 1207.49
CPU user time (s): 1077.66
CPU system time (s): 129.834
CPU usage (%): 81.5538
Max. virtual memory (cumulated for all children) (Kb): 11320