1:
seed: 0
Nr of vars set: 11693 (#equs: 0)
Nr of vars set: 11693 (#equs: 0)
#decisions: 11614; #end-nodes: 8815;
#proof improvement attempts: 0; #restarts: 96
Current batch, end-nodes: 0 / 103 (103)
#axs: 3282, #non-axs: 3
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 11693 (#equs: 0)
Time taken: 6 min, 31 sec
2:
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/5708/stat): 5708 (vallstSAT2005PB) R 5707 5708 4061 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20634742 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5708/statm): 174 9 169 147 0 27 0
[pid=5708] 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=5709
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=5709) exited with status: 0
New process pid=5710
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=5710) exited with status: 0
New process pid=5711
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-dc1c.opb
[startup+10.0037 s]
Raw data (loadavg): 1.19 1.14 1.07 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 2271 0 0 0 977 9 0 0 25 0 1 0 20634748 14159872 2112 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 3457 2112 413 48 0 3409 0
[pid=5711] vsize: 13828
Current children cumulated CPU time (s) 9.87
Current children cumulated vsize (Kb) 15956
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+20.0043 s]
Raw data (loadavg): 1.16 1.13 1.07 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 2954 0 0 0 1968 14 0 0 25 0 1 0 20634748 14508032 2687 4294967295 134512640 134702520 3221223952 3221147328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5711/statm): 3542 2687 413 48 0 3494 0
[pid=5711] vsize: 14168
Current children cumulated CPU time (s) 19.83
Current children cumulated vsize (Kb) 16296
[startup+30.0049 s]
Raw data (loadavg): 1.14 1.13 1.07 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3010 0 0 0 2967 15 0 0 25 0 1 0 20634748 14737408 2743 4294967295 134512640 134702520 3221223952 3220917248 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5711/statm): 3598 2743 413 48 0 3550 0
[pid=5711] vsize: 14392
Current children cumulated CPU time (s) 29.83
Current children cumulated vsize (Kb) 16520
[startup+40.0064 s]
Raw data (loadavg): 1.12 1.12 1.07 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3076 0 0 0 3967 15 0 0 25 0 1 0 20634748 15007744 2809 4294967295 134512640 134702520 3221223952 3220646688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5711/statm): 3664 2809 413 48 0 3616 0
[pid=5711] vsize: 14656
Current children cumulated CPU time (s) 39.83
Current children cumulated vsize (Kb) 16784
[startup+50.007 s]
Raw data (loadavg): 1.10 1.12 1.07 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3160 0 0 0 4968 15 0 0 25 0 1 0 20634748 15351808 2893 4294967295 134512640 134702520 3221223952 3220303628 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5711/statm): 3748 2893 413 48 0 3700 0
[pid=5711] vsize: 14992
Current children cumulated CPU time (s) 49.84
Current children cumulated vsize (Kb) 17120
[startup+60.0076 s]
Raw data (loadavg): 1.08 1.11 1.07 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3303 0 0 0 5968 15 0 0 25 0 1 0 20634748 15937536 3036 4294967295 134512640 134702520 3221223952 3219716108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5711/statm): 3891 3036 413 48 0 3843 0
[pid=5711] vsize: 15564
Current children cumulated CPU time (s) 59.84
Current children cumulated vsize (Kb) 17692
[startup+70.0081 s]
Raw data (loadavg): 1.07 1.11 1.07 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3421 0 0 0 6961 18 0 0 25 0 1 0 20634748 29777920 3154 4294967295 134512640 134702520 3221223952 3221110288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5711/statm): 7270 3154 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 69.8
Current children cumulated vsize (Kb) 31208
[startup+80.0087 s]
Raw data (loadavg): 1.06 1.10 1.07 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3421 0 0 0 7961 18 0 0 25 0 1 0 20634748 29777920 3154 4294967295 134512640 134702520 3221223952 3220961968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5711/statm): 7270 3154 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 79.8
Current children cumulated vsize (Kb) 31208
[startup+90.0093 s]
Raw data (loadavg): 1.05 1.10 1.07 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3421 0 0 0 8961 18 0 0 25 0 1 0 20634748 29777920 3154 4294967295 134512640 134702520 3221223952 3220801468 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5711/statm): 7270 3154 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 89.8
Current children cumulated vsize (Kb) 31208
[startup+100.01 s]
Raw data (loadavg): 1.04 1.10 1.06 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3421 0 0 0 9961 18 0 0 25 0 1 0 20634748 29777920 3154 4294967295 134512640 134702520 3221223952 3220503228 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5711/statm): 7270 3154 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 99.8
Current children cumulated vsize (Kb) 31208
[startup+110.011 s]
Raw data (loadavg): 1.03 1.09 1.06 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3421 0 0 0 10961 18 0 0 25 0 1 0 20634748 29777920 3154 4294967295 134512640 134702520 3221223952 3220092848 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5711/statm): 7270 3154 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 109.8
Current children cumulated vsize (Kb) 31208
[startup+120.012 s]
Raw data (loadavg): 1.03 1.09 1.06 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3421 0 0 0 11954 20 0 0 25 0 1 0 20634748 29777920 3154 4294967295 134512640 134702520 3221223952 3221185968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5711/statm): 7270 3154 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 119.75
Current children cumulated vsize (Kb) 31208
[startup+130.013 s]
Raw data (loadavg): 1.02 1.08 1.06 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3421 0 0 0 12954 20 0 0 25 0 1 0 20634748 29777920 3154 4294967295 134512640 134702520 3221223952 3221042288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5711/statm): 7270 3154 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 129.75
Current children cumulated vsize (Kb) 31208
[startup+140.013 s]
Raw data (loadavg): 1.02 1.08 1.06 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3421 0 0 0 13954 20 0 0 25 0 1 0 20634748 29777920 3154 4294967295 134512640 134702520 3221223952 3220889628 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5711/statm): 7270 3154 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 139.75
Current children cumulated vsize (Kb) 31208
[startup+150.014 s]
Raw data (loadavg): 1.02 1.08 1.06 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3421 0 0 0 14954 20 0 0 25 0 1 0 20634748 29777920 3154 4294967295 134512640 134702520 3221223952 3220670908 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5711/statm): 7270 3154 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 149.75
Current children cumulated vsize (Kb) 31208
[startup+160.014 s]
Raw data (loadavg): 1.01 1.08 1.06 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3421 0 0 0 15954 20 0 0 25 0 1 0 20634748 29777920 3154 4294967295 134512640 134702520 3221223952 3220333628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5711/statm): 7270 3154 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 159.75
Current children cumulated vsize (Kb) 31208
[startup+170.015 s]
Raw data (loadavg): 1.01 1.07 1.06 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3421 0 0 0 16955 20 0 0 25 0 1 0 20634748 29777920 3154 4294967295 134512640 134702520 3221223952 3219784348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5711/statm): 7270 3154 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 169.76
Current children cumulated vsize (Kb) 31208
[startup+180.015 s]
Raw data (loadavg): 1.01 1.07 1.06 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3422 0 0 0 17947 23 0 0 25 0 1 0 20634748 29777920 3155 4294967295 134512640 134702520 3221223952 3221119088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3155 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 179.71
Current children cumulated vsize (Kb) 31208
[startup+190.017 s]
Raw data (loadavg): 1.01 1.07 1.06 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3422 0 0 0 18947 23 0 0 25 0 1 0 20634748 29777920 3155 4294967295 134512640 134702520 3221223952 3220969648 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3155 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 189.71
Current children cumulated vsize (Kb) 31208
[startup+200.017 s]
Raw data (loadavg): 1.00 1.06 1.05 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3422 0 0 0 19948 23 0 0 25 0 1 0 20634748 29777920 3155 4294967295 134512640 134702520 3221223952 3220810608 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3155 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 199.72
Current children cumulated vsize (Kb) 31208
[startup+210.018 s]
Raw data (loadavg): 1.00 1.06 1.05 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3422 0 0 0 20948 23 0 0 25 0 1 0 20634748 29777920 3155 4294967295 134512640 134702520 3221223952 3220513168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3155 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 209.72
Current children cumulated vsize (Kb) 31208
[startup+220.019 s]
Raw data (loadavg): 1.00 1.06 1.05 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3422 0 0 0 21948 23 0 0 25 0 1 0 20634748 29777920 3155 4294967295 134512640 134702520 3221223952 3220103068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3155 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 219.72
Current children cumulated vsize (Kb) 31208
[startup+230.018 s]
Raw data (loadavg): 1.00 1.06 1.05 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3422 0 0 0 22941 26 0 0 25 0 1 0 20634748 29777920 3155 4294967295 134512640 134702520 3221223952 3221187408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3155 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 229.68
Current children cumulated vsize (Kb) 31208
[startup+240.019 s]
Raw data (loadavg): 1.00 1.05 1.05 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3422 0 0 0 23941 26 0 0 25 0 1 0 20634748 29777920 3155 4294967295 134512640 134702520 3221223952 3221042128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3155 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 239.68
Current children cumulated vsize (Kb) 31208
[startup+250.019 s]
Raw data (loadavg): 1.00 1.05 1.05 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3422 0 0 0 24942 26 0 0 25 0 1 0 20634748 29777920 3155 4294967295 134512640 134702520 3221223952 3220887868 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3155 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 249.69
Current children cumulated vsize (Kb) 31208
[startup+260.02 s]
Raw data (loadavg): 1.00 1.05 1.05 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3422 0 0 0 25942 26 0 0 25 0 1 0 20634748 29777920 3155 4294967295 134512640 134702520 3221223952 3220664672 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3155 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 259.69
Current children cumulated vsize (Kb) 31208
[startup+270.02 s]
Raw data (loadavg): 1.00 1.05 1.05 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3422 0 0 0 26942 26 0 0 25 0 1 0 20634748 29777920 3155 4294967295 134512640 134702520 3221223952 3220321008 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3155 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 269.69
Current children cumulated vsize (Kb) 31208
[startup+280.02 s]
Raw data (loadavg): 1.00 1.05 1.05 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3422 0 0 0 27942 26 0 0 25 0 1 0 20634748 29777920 3155 4294967295 134512640 134702520 3221223952 3219744848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3155 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 279.69
Current children cumulated vsize (Kb) 31208
[startup+290.021 s]
Raw data (loadavg): 1.00 1.04 1.05 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3424 0 0 0 28934 28 0 0 25 0 1 0 20634748 29777920 3157 4294967295 134512640 134702520 3221223952 3221112828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3157 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 289.63
Current children cumulated vsize (Kb) 31208
[startup+300.02 s]
Raw data (loadavg): 1.00 1.04 1.04 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3424 0 0 0 29934 28 0 0 25 0 1 0 20634748 29777920 3157 4294967295 134512640 134702520 3221223952 3220963088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3157 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 299.63
Current children cumulated vsize (Kb) 31208
[startup+310.021 s]
Raw data (loadavg): 1.00 1.04 1.04 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3424 0 0 0 30934 28 0 0 25 0 1 0 20634748 29777920 3157 4294967295 134512640 134702520 3221223952 3220800688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3157 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 309.63
Current children cumulated vsize (Kb) 31208
[startup+320.021 s]
Raw data (loadavg): 1.00 1.04 1.04 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3424 0 0 0 31934 28 0 0 25 0 1 0 20634748 29777920 3157 4294967295 134512640 134702520 3221223952 3220498608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3157 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 319.63
Current children cumulated vsize (Kb) 31208
[startup+330.022 s]
Raw data (loadavg): 1.00 1.04 1.04 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3424 0 0 0 32934 28 0 0 25 0 1 0 20634748 29777920 3157 4294967295 134512640 134702520 3221223952 3220080348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3157 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 329.63
Current children cumulated vsize (Kb) 31208
[startup+340.022 s]
Raw data (loadavg): 1.00 1.04 1.04 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3424 0 0 0 33925 32 0 0 25 0 1 0 20634748 29777920 3157 4294967295 134512640 134702520 3221223952 3221182128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3157 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 339.58
Current children cumulated vsize (Kb) 31208
[startup+350.023 s]
Raw data (loadavg): 1.00 1.03 1.04 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3424 0 0 0 34925 32 0 0 25 0 1 0 20634748 29777920 3157 4294967295 134512640 134702520 3221223952 3221036668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3157 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 349.58
Current children cumulated vsize (Kb) 31208
[startup+360.023 s]
Raw data (loadavg): 1.00 1.03 1.04 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3424 0 0 0 35925 32 0 0 25 0 1 0 20634748 29777920 3157 4294967295 134512640 134702520 3221223952 3220881968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3157 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 359.58
Current children cumulated vsize (Kb) 31208
[startup+370.024 s]
Raw data (loadavg): 1.00 1.03 1.04 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3424 0 0 0 36925 32 0 0 25 0 1 0 20634748 29777920 3157 4294967295 134512640 134702520 3221223952 3220653468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3157 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 369.58
Current children cumulated vsize (Kb) 31208
[startup+380.024 s]
Raw data (loadavg): 1.00 1.03 1.04 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3424 0 0 0 37925 32 0 0 25 0 1 0 20634748 29777920 3157 4294967295 134512640 134702520 3221223952 3220305948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3157 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 379.58
Current children cumulated vsize (Kb) 31208
[startup+390.024 s]
Raw data (loadavg): 1.00 1.03 1.04 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3424 0 0 0 38926 32 0 0 25 0 1 0 20634748 29777920 3157 4294967295 134512640 134702520 3221223952 3219705788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3157 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 389.59
Current children cumulated vsize (Kb) 31208
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=5711) exited with status: 2
New process pid=5712
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=5712) exited with status: 0
New process pid=5713
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+400.025 s]
Raw data (loadavg): 1.00 1.03 1.04 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2281 0 0 0 727 13 0 0 25 0 1 0 20674002 11988992 2251 4294967295 134512640 134702520 3221223712 3221135088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5713/statm): 2927 2251 413 48 0 2879 0
[pid=5713] vsize: 11708
Current children cumulated CPU time (s) 399.46
Current children cumulated vsize (Kb) 13836
[startup+410.024 s]
Raw data (loadavg): 1.00 1.03 1.03 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2337 0 0 0 1727 13 0 0 25 0 1 0 20674002 12218368 2307 4294967295 134512640 134702520 3221223712 3220902588 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5713/statm): 2983 2307 413 48 0 2935 0
[pid=5713] vsize: 11932
Current children cumulated CPU time (s) 409.46
Current children cumulated vsize (Kb) 14060
[startup+420.025 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2404 0 0 0 2728 13 0 0 25 0 1 0 20674002 12492800 2374 4294967295 134512640 134702520 3221223712 3220628508 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5713/statm): 3050 2374 413 48 0 3002 0
[pid=5713] vsize: 12200
Current children cumulated CPU time (s) 419.47
Current children cumulated vsize (Kb) 14328
[startup+430.025 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2490 0 0 0 3727 14 0 0 25 0 1 0 20674002 12845056 2460 4294967295 134512640 134702520 3221223712 3220277648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5713/statm): 3136 2460 413 48 0 3088 0
[pid=5713] vsize: 12544
Current children cumulated CPU time (s) 429.47
Current children cumulated vsize (Kb) 14672
[startup+440.026 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2645 0 0 0 4727 14 0 0 25 0 1 0 20674002 13479936 2615 4294967295 134512640 134702520 3221223712 3219640368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5713/statm): 3291 2615 413 48 0 3243 0
[pid=5713] vsize: 13164
Current children cumulated CPU time (s) 439.47
Current children cumulated vsize (Kb) 15292
[startup+450.027 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2757 0 0 0 5718 17 0 0 25 0 1 0 20674002 24793088 2727 4294967295 134512640 134702520 3221223712 3221100108 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6053 2727 413 48 0 6005 0
[pid=5713] vsize: 24212
Current children cumulated CPU time (s) 449.41
Current children cumulated vsize (Kb) 26340
[startup+460.027 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2757 0 0 0 6719 17 0 0 25 0 1 0 20674002 24793088 2727 4294967295 134512640 134702520 3221223712 3220949248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6053 2727 413 48 0 6005 0
[pid=5713] vsize: 24212
Current children cumulated CPU time (s) 459.42
Current children cumulated vsize (Kb) 26340
[startup+470.028 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2757 0 0 0 7719 17 0 0 25 0 1 0 20674002 24793088 2727 4294967295 134512640 134702520 3221223712 3220780448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6053 2727 413 48 0 6005 0
[pid=5713] vsize: 24212
Current children cumulated CPU time (s) 469.42
Current children cumulated vsize (Kb) 26340
[startup+480.027 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2757 0 0 0 8719 17 0 0 25 0 1 0 20674002 24793088 2727 4294967295 134512640 134702520 3221223712 3220472428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6053 2727 413 48 0 6005 0
[pid=5713] vsize: 24212
Current children cumulated CPU time (s) 479.42
Current children cumulated vsize (Kb) 26340
[startup+490.028 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2757 0 0 0 9719 17 0 0 25 0 1 0 20674002 24793088 2727 4294967295 134512640 134702520 3221223712 3220038028 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6053 2727 413 48 0 6005 0
[pid=5713] vsize: 24212
Current children cumulated CPU time (s) 489.42
Current children cumulated vsize (Kb) 26340
[startup+500.028 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2759 0 0 0 10710 20 0 0 25 0 1 0 20674002 24809472 2729 4294967295 134512640 134702520 3221223712 3221171808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5713/statm): 6057 2729 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 499.36
Current children cumulated vsize (Kb) 26356
[startup+510.028 s]
Raw data (loadavg): 1.00 1.02 1.02 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2759 0 0 0 11710 20 0 0 25 0 1 0 20674002 24809472 2729 4294967295 134512640 134702520 3221223712 3221027008 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5713/statm): 6057 2729 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 509.36
Current children cumulated vsize (Kb) 26356
[startup+520.029 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2759 0 0 0 12710 20 0 0 25 0 1 0 20674002 24809472 2729 4294967295 134512640 134702520 3221223712 3220873068 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5713/statm): 6057 2729 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 519.36
Current children cumulated vsize (Kb) 26356
[startup+530.029 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2759 0 0 0 13710 20 0 0 25 0 1 0 20674002 24809472 2729 4294967295 134512640 134702520 3221223712 3220644448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5713/statm): 6057 2729 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 529.36
Current children cumulated vsize (Kb) 26356
[startup+540.03 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2759 0 0 0 14710 20 0 0 25 0 1 0 20674002 24809472 2729 4294967295 134512640 134702520 3221223712 3220297228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5713/statm): 6057 2729 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 539.36
Current children cumulated vsize (Kb) 26356
[startup+550.03 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2759 0 0 0 15710 20 0 0 25 0 1 0 20674002 24809472 2729 4294967295 134512640 134702520 3221223712 3219693548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5713/statm): 6057 2729 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 549.36
Current children cumulated vsize (Kb) 26356
[startup+560.03 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2764 0 0 0 16699 24 0 0 25 0 1 0 20674002 24809472 2734 4294967295 134512640 134702520 3221223712 3221106508 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6057 2734 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 559.29
Current children cumulated vsize (Kb) 26356
[startup+570.03 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2764 0 0 0 17699 24 0 0 25 0 1 0 20674002 24809472 2734 4294967295 134512640 134702520 3221223712 3220955968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6057 2734 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 569.29
Current children cumulated vsize (Kb) 26356
[startup+580.03 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2764 0 0 0 18700 24 0 0 25 0 1 0 20674002 24809472 2734 4294967295 134512640 134702520 3221223712 3220792288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6057 2734 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 579.3
Current children cumulated vsize (Kb) 26356
[startup+590.03 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2764 0 0 0 19700 24 0 0 25 0 1 0 20674002 24809472 2734 4294967295 134512640 134702520 3221223712 3220487468 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6057 2734 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 589.3
Current children cumulated vsize (Kb) 26356
[startup+600.031 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2764 0 0 0 20700 24 0 0 25 0 1 0 20674002 24809472 2734 4294967295 134512640 134702520 3221223712 3220062208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6057 2734 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 599.3
Current children cumulated vsize (Kb) 26356
[startup+610.031 s]
Raw data (loadavg): 1.00 1.01 1.01 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2765 0 0 0 21690 27 0 0 25 0 1 0 20674002 24809472 2735 4294967295 134512640 134702520 3221223712 3221177568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6057 2735 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 609.23
Current children cumulated vsize (Kb) 26356
[startup+620.031 s]
Raw data (loadavg): 1.00 1.00 1.01 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2765 0 0 0 22690 27 0 0 25 0 1 0 20674002 24809472 2735 4294967295 134512640 134702520 3221223712 3221031488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6057 2735 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 619.23
Current children cumulated vsize (Kb) 26356
[startup+630.031 s]
Raw data (loadavg): 1.00 1.00 1.01 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2765 0 0 0 23690 27 0 0 25 0 1 0 20674002 24809472 2735 4294967295 134512640 134702520 3221223712 3220876288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6057 2735 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 629.23
Current children cumulated vsize (Kb) 26356
[startup+640.031 s]
Raw data (loadavg): 1.00 1.00 1.01 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2765 0 0 0 24690 27 0 0 25 0 1 0 20674002 24809472 2735 4294967295 134512640 134702520 3221223712 3220647328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6057 2735 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 639.23
Current children cumulated vsize (Kb) 26356
[startup+650.032 s]
Raw data (loadavg): 1.00 1.00 1.01 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2765 0 0 0 25690 27 0 0 25 0 1 0 20674002 24809472 2735 4294967295 134512640 134702520 3221223712 3220297088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6057 2735 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 649.23
Current children cumulated vsize (Kb) 26356
[startup+660.031 s]
Raw data (loadavg): 1.00 1.00 1.01 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2765 0 0 0 26691 27 0 0 25 0 1 0 20674002 24809472 2735 4294967295 134512640 134702520 3221223712 3219681088 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6057 2735 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 659.24
Current children cumulated vsize (Kb) 26356
[startup+670.032 s]
Raw data (loadavg): 1.00 1.00 1.01 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2768 0 0 0 27680 31 0 0 25 0 1 0 20674002 24809472 2738 4294967295 134512640 134702520 3221223712 3221105068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6057 2738 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 669.17
Current children cumulated vsize (Kb) 26356
[startup+680.032 s]
Raw data (loadavg): 1.00 1.00 1.01 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2768 0 0 0 28680 31 0 0 25 0 1 0 20674002 24809472 2738 4294967295 134512640 134702520 3221223712 3220954528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6057 2738 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 679.17
Current children cumulated vsize (Kb) 26356
[startup+690.032 s]
Raw data (loadavg): 1.00 1.00 1.01 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2768 0 0 0 29681 31 0 0 25 0 1 0 20674002 24809472 2738 4294967295 134512640 134702520 3221223712 3220789708 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6057 2738 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 689.18
Current children cumulated vsize (Kb) 26356
[startup+700.033 s]
Raw data (loadavg): 1.00 1.00 1.01 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2768 0 0 0 30681 31 0 0 25 0 1 0 20674002 24809472 2738 4294967295 134512640 134702520 3221223712 3220484268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6057 2738 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 699.18
Current children cumulated vsize (Kb) 26356
[startup+710.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2768 0 0 0 31681 31 0 0 25 0 1 0 20674002 24809472 2738 4294967295 134512640 134702520 3221223712 3220057228 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6057 2738 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 709.18
Current children cumulated vsize (Kb) 26356
[startup+720.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2791 0 0 0 32668 35 0 0 25 0 1 0 20674002 24829952 2761 4294967295 134512640 134702520 3221223712 3221177248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6062 2761 413 48 0 6014 0
[pid=5713] vsize: 24248
Current children cumulated CPU time (s) 719.09
Current children cumulated vsize (Kb) 26376
[startup+730.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2791 0 0 0 33668 35 0 0 25 0 1 0 20674002 24829952 2761 4294967295 134512640 134702520 3221223712 3221031148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6062 2761 413 48 0 6014 0
[pid=5713] vsize: 24248
Current children cumulated CPU time (s) 729.09
Current children cumulated vsize (Kb) 26376
[startup+740.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2791 0 0 0 34669 35 0 0 25 0 1 0 20674002 24829952 2761 4294967295 134512640 134702520 3221223712 3220875948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6062 2761 413 48 0 6014 0
[pid=5713] vsize: 24248
Current children cumulated CPU time (s) 739.1
Current children cumulated vsize (Kb) 26376
[startup+750.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2791 0 0 0 35669 35 0 0 25 0 1 0 20674002 24829952 2761 4294967295 134512640 134702520 3221223712 3220646688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6062 2761 413 48 0 6014 0
[pid=5713] vsize: 24248
Current children cumulated CPU time (s) 749.1
Current children cumulated vsize (Kb) 26376
[startup+760.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2791 0 0 0 36669 35 0 0 25 0 1 0 20674002 24829952 2761 4294967295 134512640 134702520 3221223712 3220296108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6062 2761 413 48 0 6014 0
[pid=5713] vsize: 24248
Current children cumulated CPU time (s) 759.1
Current children cumulated vsize (Kb) 26376
[startup+770.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2791 0 0 0 37669 35 0 0 25 0 1 0 20674002 24829952 2761 4294967295 134512640 134702520 3221223712 3219678348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6062 2761 413 48 0 6014 0
[pid=5713] vsize: 24248
Current children cumulated CPU time (s) 769.1
Current children cumulated vsize (Kb) 26376
[startup+780.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2798 0 0 0 38656 40 0 0 25 0 1 0 20674002 24854528 2768 4294967295 134512640 134702520 3221223712 3221105388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6068 2768 413 48 0 6020 0
[pid=5713] vsize: 24272
Current children cumulated CPU time (s) 779.02
Current children cumulated vsize (Kb) 26400
[startup+790.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2798 0 0 0 39656 40 0 0 25 0 1 0 20674002 24854528 2768 4294967295 134512640 134702520 3221223712 3220954848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6068 2768 413 48 0 6020 0
[pid=5713] vsize: 24272
Current children cumulated CPU time (s) 789.02
Current children cumulated vsize (Kb) 26400
[startup+800.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2798 0 0 0 40656 40 0 0 25 0 1 0 20674002 24854528 2768 4294967295 134512640 134702520 3221223712 3220790348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6068 2768 413 48 0 6020 0
[pid=5713] vsize: 24272
Current children cumulated CPU time (s) 799.02
Current children cumulated vsize (Kb) 26400
[startup+810.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2798 0 0 0 41656 40 0 0 25 0 1 0 20674002 24854528 2768 4294967295 134512640 134702520 3221223712 3220485248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6068 2768 413 48 0 6020 0
[pid=5713] vsize: 24272
Current children cumulated CPU time (s) 809.02
Current children cumulated vsize (Kb) 26400
[startup+820.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2798 0 0 0 42656 40 0 0 25 0 1 0 20674002 24854528 2768 4294967295 134512640 134702520 3221223712 3220058508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6068 2768 413 48 0 6020 0
[pid=5713] vsize: 24272
Current children cumulated CPU time (s) 819.02
Current children cumulated vsize (Kb) 26400
[startup+830.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2850 0 0 0 43644 44 0 0 25 0 1 0 20674002 24854528 2820 4294967295 134512640 134702520 3221223712 3221178368 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6068 2820 413 48 0 6020 0
[pid=5713] vsize: 24272
Current children cumulated CPU time (s) 828.94
Current children cumulated vsize (Kb) 26400
[startup+840.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2850 0 0 0 44644 44 0 0 25 0 1 0 20674002 24854528 2820 4294967295 134512640 134702520 3221223712 3221032128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6068 2820 413 48 0 6020 0
[pid=5713] vsize: 24272
Current children cumulated CPU time (s) 838.94
Current children cumulated vsize (Kb) 26400
[startup+850.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2850 0 0 0 45644 44 0 0 25 0 1 0 20674002 24854528 2820 4294967295 134512640 134702520 3221223712 3220876928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6068 2820 413 48 0 6020 0
[pid=5713] vsize: 24272
Current children cumulated CPU time (s) 848.94
Current children cumulated vsize (Kb) 26400
[startup+860.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2850 0 0 0 46645 44 0 0 25 0 1 0 20674002 24854528 2820 4294967295 134512640 134702520 3221223712 3220648608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6068 2820 413 48 0 6020 0
[pid=5713] vsize: 24272
Current children cumulated CPU time (s) 858.95
Current children cumulated vsize (Kb) 26400
[startup+870.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2850 0 0 0 47645 44 0 0 25 0 1 0 20674002 24854528 2820 4294967295 134512640 134702520 3221223712 3220298688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6068 2820 413 48 0 6020 0
[pid=5713] vsize: 24272
Current children cumulated CPU time (s) 868.95
Current children cumulated vsize (Kb) 26400
[startup+880.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2850 0 0 0 48645 44 0 0 25 0 1 0 20674002 24854528 2820 4294967295 134512640 134702520 3221223712 3219686048 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6068 2820 413 48 0 6020 0
[pid=5713] vsize: 24272
Current children cumulated CPU time (s) 878.95
Current children cumulated vsize (Kb) 26400
[startup+890.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2893 0 0 0 49631 49 0 0 25 0 1 0 20674002 24887296 2863 4294967295 134512640 134702520 3221223712 3221107948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6076 2863 413 48 0 6028 0
[pid=5713] vsize: 24304
Current children cumulated CPU time (s) 888.86
Current children cumulated vsize (Kb) 26432
[startup+900.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2893 0 0 0 50632 49 0 0 25 0 1 0 20674002 24887296 2863 4294967295 134512640 134702520 3221223712 3220957548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6076 2863 413 48 0 6028 0
[pid=5713] vsize: 24304
Current children cumulated CPU time (s) 898.87
Current children cumulated vsize (Kb) 26432
[startup+910.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2893 0 0 0 51632 49 0 0 25 0 1 0 20674002 24887296 2863 4294967295 134512640 134702520 3221223712 3220795008 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6076 2863 413 48 0 6028 0
[pid=5713] vsize: 24304
Current children cumulated CPU time (s) 908.87
Current children cumulated vsize (Kb) 26432
[startup+920.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2893 0 0 0 52632 49 0 0 25 0 1 0 20674002 24887296 2863 4294967295 134512640 134702520 3221223712 3220491008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6076 2863 413 48 0 6028 0
[pid=5713] vsize: 24304
Current children cumulated CPU time (s) 918.87
Current children cumulated vsize (Kb) 26432
[startup+930.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2893 0 0 0 53632 49 0 0 25 0 1 0 20674002 24887296 2863 4294967295 134512640 134702520 3221223712 3220067968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6076 2863 413 48 0 6028 0
[pid=5713] vsize: 24304
Current children cumulated CPU time (s) 928.87
Current children cumulated vsize (Kb) 26432
[startup+940.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2920 0 0 0 54618 54 0 0 25 0 1 0 20674002 24928256 2890 4294967295 134512640 134702520 3221223712 3221182528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6086 2890 413 48 0 6038 0
[pid=5713] vsize: 24344
Current children cumulated CPU time (s) 938.78
Current children cumulated vsize (Kb) 26472
[startup+950.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2920 0 0 0 55619 54 0 0 25 0 1 0 20674002 24928256 2890 4294967295 134512640 134702520 3221223712 3221036608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6086 2890 413 48 0 6038 0
[pid=5713] vsize: 24344
Current children cumulated CPU time (s) 948.79
Current children cumulated vsize (Kb) 26472
[startup+960.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2920 0 0 0 56619 54 0 0 25 0 1 0 20674002 24928256 2890 4294967295 134512640 134702520 3221223712 3220881868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6086 2890 413 48 0 6038 0
[pid=5713] vsize: 24344
Current children cumulated CPU time (s) 958.79
Current children cumulated vsize (Kb) 26472
[startup+970.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2920 0 0 0 57619 54 0 0 25 0 1 0 20674002 24928256 2890 4294967295 134512640 134702520 3221223712 3220657708 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6086 2890 413 48 0 6038 0
[pid=5713] vsize: 24344
Current children cumulated CPU time (s) 968.79
Current children cumulated vsize (Kb) 26472
[startup+980.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2920 0 0 0 58619 54 0 0 25 0 1 0 20674002 24928256 2890 4294967295 134512640 134702520 3221223712 3220311148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6086 2890 413 48 0 6038 0
[pid=5713] vsize: 24344
Current children cumulated CPU time (s) 978.79
Current children cumulated vsize (Kb) 26472
[startup+990.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2920 0 0 0 59620 54 0 0 25 0 1 0 20674002 24928256 2890 4294967295 134512640 134702520 3221223712 3219719788 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6086 2890 413 48 0 6038 0
[pid=5713] vsize: 24344
Current children cumulated CPU time (s) 988.8
Current children cumulated vsize (Kb) 26472
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2939 0 0 0 60605 60 0 0 25 0 1 0 20674002 24956928 2909 4294967295 134512640 134702520 3221223712 3221113388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6093 2909 413 48 0 6045 0
[pid=5713] vsize: 24372
Current children cumulated CPU time (s) 998.71
Current children cumulated vsize (Kb) 26500
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2939 0 0 0 61606 60 0 0 25 0 1 0 20674002 24956928 2909 4294967295 134512640 134702520 3221223712 3220963328 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6093 2909 413 48 0 6045 0
[pid=5713] vsize: 24372
Current children cumulated CPU time (s) 1008.72
Current children cumulated vsize (Kb) 26500
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2939 0 0 0 62606 60 0 0 25 0 1 0 20674002 24956928 2909 4294967295 134512640 134702520 3221223712 3220804928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5713/statm): 6093 2909 413 48 0 6045 0
[pid=5713] vsize: 24372
Current children cumulated CPU time (s) 1018.72
Current children cumulated vsize (Kb) 26500
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2939 0 0 0 63606 60 0 0 25 0 1 0 20674002 24956928 2909 4294967295 134512640 134702520 3221223712 3220510208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5713/statm): 6093 2909 413 48 0 6045 0
[pid=5713] vsize: 24372
Current children cumulated CPU time (s) 1028.72
Current children cumulated vsize (Kb) 26500
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2939 0 0 0 64606 60 0 0 25 0 1 0 20674002 24956928 2909 4294967295 134512640 134702520 3221223712 3220103148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5713/statm): 6093 2909 413 48 0 6045 0
[pid=5713] vsize: 24372
Current children cumulated CPU time (s) 1038.72
Current children cumulated vsize (Kb) 26500
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2962 0 0 0 65592 65 0 0 25 0 1 0 20674002 24973312 2932 4294967295 134512640 134702520 3221223712 3221193228 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6097 2932 413 48 0 6049 0
[pid=5713] vsize: 24388
Current children cumulated CPU time (s) 1048.63
Current children cumulated vsize (Kb) 26516
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2962 0 0 0 66592 65 0 0 25 0 1 0 20674002 24973312 2932 4294967295 134512640 134702520 3221223712 3221047968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6097 2932 413 48 0 6049 0
[pid=5713] vsize: 24388
Current children cumulated CPU time (s) 1058.63
Current children cumulated vsize (Kb) 26516
[startup+1070.05 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 5768
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2962 0 0 0 67592 65 0 0 25 0 1 0 20674002 24973312 2932 4294967295 134512640 134702520 3221223712 3220893888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6097 2932 413 48 0 6049 0
[pid=5713] vsize: 24388
Current children cumulated CPU time (s) 1068.63
Current children cumulated vsize (Kb) 26516
[startup+1080.05 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5768
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2962 0 0 0 68592 65 0 0 25 0 1 0 20674002 24973312 2932 4294967295 134512640 134702520 3221223712 3220680288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6097 2932 413 48 0 6049 0
[pid=5713] vsize: 24388
Current children cumulated CPU time (s) 1078.63
Current children cumulated vsize (Kb) 26516
[startup+1090.05 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 5768
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2962 0 0 0 69593 65 0 0 25 0 1 0 20674002 24973312 2932 4294967295 134512640 134702520 3221223712 3220341728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6097 2932 413 48 0 6049 0
[pid=5713] vsize: 24388
Current children cumulated CPU time (s) 1088.64
Current children cumulated vsize (Kb) 26516
[startup+1100.05 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5768
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2962 0 0 0 70593 65 0 0 25 0 1 0 20674002 24973312 2932 4294967295 134512640 134702520 3221223712 3219793388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6097 2932 413 48 0 6049 0
[pid=5713] vsize: 24388
Current children cumulated CPU time (s) 1098.64
Current children cumulated vsize (Kb) 26516
[startup+1110.05 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5768
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2964 0 0 0 71579 70 0 0 25 0 1 0 20674002 24989696 2934 4294967295 134512640 134702520 3221223712 3221122688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6101 2934 413 48 0 6053 0
[pid=5713] vsize: 24404
Current children cumulated CPU time (s) 1108.55
Current children cumulated vsize (Kb) 26532
[startup+1120.05 s]
Raw data (loadavg): 1.03 1.01 1.00 2/58 5770
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2964 0 0 0 72579 70 0 0 25 0 1 0 20674002 24989696 2934 4294967295 134512640 134702520 3221223712 3220973408 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5713/statm): 6101 2934 413 48 0 6053 0
[pid=5713] vsize: 24404
Current children cumulated CPU time (s) 1118.55
Current children cumulated vsize (Kb) 26532
[startup+1130.05 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5772
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2964 0 0 0 73578 71 0 0 25 0 1 0 20674002 24989696 2934 4294967295 134512640 134702520 3221223712 3220815788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6101 2934 413 48 0 6053 0
[pid=5713] vsize: 24404
Current children cumulated CPU time (s) 1128.55
Current children cumulated vsize (Kb) 26532
[startup+1140.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5774
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2964 0 0 0 74578 71 0 0 25 0 1 0 20674002 24989696 2934 4294967295 134512640 134702520 3221223712 3220529068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6101 2934 413 48 0 6053 0
[pid=5713] vsize: 24404
Current children cumulated CPU time (s) 1138.55
Current children cumulated vsize (Kb) 26532
[startup+1150.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5774
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2964 0 0 0 75579 71 0 0 25 0 1 0 20674002 24989696 2934 4294967295 134512640 134702520 3221223712 3220127008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6101 2934 413 48 0 6053 0
[pid=5713] vsize: 24404
Current children cumulated CPU time (s) 1148.56
Current children cumulated vsize (Kb) 26532
[startup+1160.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5774
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2965 0 0 0 76566 75 0 0 25 0 1 0 20674002 24989696 2935 4294967295 134512640 134702520 3221223712 3221196268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6101 2935 413 48 0 6053 0
[pid=5713] vsize: 24404
Current children cumulated CPU time (s) 1158.47
Current children cumulated vsize (Kb) 26532
[startup+1170.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5774
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2965 0 0 0 77566 75 0 0 25 0 1 0 20674002 24989696 2935 4294967295 134512640 134702520 3221223712 3221051168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6101 2935 413 48 0 6053 0
[pid=5713] vsize: 24404
Current children cumulated CPU time (s) 1168.47
Current children cumulated vsize (Kb) 26532
[startup+1180.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5774
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2965 0 0 0 78566 75 0 0 25 0 1 0 20674002 24989696 2935 4294967295 134512640 134702520 3221223712 3220897228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6101 2935 413 48 0 6053 0
[pid=5713] vsize: 24404
Current children cumulated CPU time (s) 1178.47
Current children cumulated vsize (Kb) 26532
[startup+1190.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5774
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2965 0 0 0 79566 75 0 0 25 0 1 0 20674002 24989696 2935 4294967295 134512640 134702520 3221223712 3220686508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6101 2935 413 48 0 6053 0
[pid=5713] vsize: 24404
Current children cumulated CPU time (s) 1188.47
Current children cumulated vsize (Kb) 26532
[startup+1200.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5774
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2965 0 0 0 80567 75 0 0 25 0 1 0 20674002 24989696 2935 4294967295 134512640 134702520 3221223712 3220349868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6101 2935 413 48 0 6053 0
[pid=5713] vsize: 24404
Current children cumulated CPU time (s) 1198.48
Current children cumulated vsize (Kb) 26532
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5774
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2965 0 0 0 81567 75 0 0 25 0 1 0 20674002 24989696 2935 4294967295 134512640 134702520 3221223712 3219811468 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6101 2935 413 48 0 6053 0
[pid=5713] vsize: 24404
Current children cumulated CPU time (s) 1208.48
Current children cumulated vsize (Kb) 26532
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5774
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2965 0 0 0 81567 75 0 0 25 0 1 0 20674002 24989696 2935 4294967295 134512640 134702520 3221223712 3219811328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6101 2935 413 48 0 6053 0
[pid=5713] vsize: 24404
Current children cumulated CPU time (s) 1208.48
Current children cumulated vsize (Kb) 26532
Sending SIGTERM to -5708
Sleeping 2 seconds
New process pid=5776
New process pid=5777
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1387/stat
open syscall for file /proc/1387/status
open syscall for file /proc/1387/cmdline
open syscall for file /proc/1387/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1478/stat
open syscall for file /proc/1478/status
open syscall for file /proc/1478/cmdline
open syscall for file /proc/1478/environ
open syscall for file /proc/1503/stat
open syscall for file /proc/1503/status
open syscall for file /proc/1503/cmdline
open syscall for file /proc/1503/environ
open syscall for file /proc/1544/stat
open syscall for file /proc/1544/status
open syscall for file /proc/1544/cmdline
open syscall for file /proc/1544/environ
open syscall for file /proc/1568/stat
open syscall for file /proc/1568/status
open syscall for file /proc/1568/cmdline
open syscall for file /proc/1568/environ
open syscall for file /proc/1591/stat
open syscall for file /proc/1591/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1591/cmdline
open syscall for file /proc/1591/environ
open syscall for file /proc/1622/stat
open syscall for file /proc/1622/status
open syscall for file /proc/1622/cmdline
open syscall for file /proc/1622/environ
open syscall for file /proc/1680/stat
open syscall for file /proc/1680/status
open syscall for file /proc/1680/cmdline
open syscall for file /proc/1680/environ
open syscall for file /proc/1685/stat
open syscall for file /proc/1685/status
open syscall for file /proc/1685/cmdline
open syscall for file /proc/1685/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/4044/stat
open syscall for file /proc/4044/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/4044/cmdline
open syscall for file /proc/4044/environ
open syscall for file /proc/4069/stat
open syscall for file /proc/4069/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/4069/cmdline
open syscall for file /proc/4069/environ
open syscall for file /proc/5669/stat
open syscall for file /proc/5669/status
open syscall for file /proc/5669/cmdline
open syscall for file /proc/5669/environ
open syscall for file /proc/5707/stat
open syscall for file /proc/5707/status
open syscall for file /proc/5707/cmdline
open syscall for file /proc/5707/environ
open syscall for file /proc/5708/stat
open syscall for file /proc/5708/status
open syscall for file /proc/5708/cmdline
open syscall for file /proc/5708/environ
open syscall for file /proc/5713/stat
open syscall for file /proc/5713/status
open syscall for file /proc/5713/cmdline
open syscall for file /proc/5713/environ
open syscall for file /proc/5776/stat
open syscall for file /proc/5776/status
open syscall for file /proc/5776/cmdline
open syscall for file /proc/5776/environ
open syscall for file /proc/5777/stat
open syscall for file /proc/5777/status
open syscall for file /proc/5777/cmdline
open syscall for file /proc/5777/environ
One traced child (pid=5776) exited with status: 0
One traced child (pid=5777) exited with status: 0
New process pid=5778
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=5778) exited with status: 0
New process pid=5779
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=5779) exited with status: 0
One traced child (pid=5708) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -5708
One traced child (pid=5713) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1212.06
CPU time (s): 818.44
CPU user time (s): 817.676
CPU system time (s): 0.763883
CPU usage (%): 67.5245
Max. virtual memory (cumulated for all children) (Kb): 31208