1:
seed: 0
Nr of vars set: 43 (#equs: 0)
Nr of vars set: 48 (#equs: 0)
#decisions: 28840; #end-nodes: 8920;
#proof improvement attempts: 0; #restarts: 96
Current batch, end-nodes: 0 / 103 (103)
#axs: 13379, #non-axs: 25
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: 49 (#equs: 0)
Time taken: 15 min, 46 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/4858/stat): 4858 (vallstSAT2005PB) R 4857 4858 4059 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19750991 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4858/statm): 174 3 169 147 0 27 0
[pid=4858] 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=4859
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=4859) exited with status: 0
New process pid=4860
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=4860) exited with status: 0
New process pid=4861
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/wulflinc7/normalized-mps-v2-13-7-fit2p.opb
[startup+10.0036 s]
Raw data (loadavg): 1.02 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 917 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 9.66
Current children cumulated vsize (Kb) 67516
[startup+20.0043 s]
Raw data (loadavg): 1.01 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 1917 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 19.66
Current children cumulated vsize (Kb) 67516
[startup+30.0049 s]
Raw data (loadavg): 1.01 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 2918 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550210 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 29.67
Current children cumulated vsize (Kb) 67516
[startup+40.0055 s]
Raw data (loadavg): 1.01 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 3918 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 39.67
Current children cumulated vsize (Kb) 67516
[startup+50.0062 s]
Raw data (loadavg): 1.01 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 4918 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550200 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 49.67
Current children cumulated vsize (Kb) 67516
[startup+60.0068 s]
Raw data (loadavg): 1.01 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 5918 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 59.67
Current children cumulated vsize (Kb) 67516
[startup+70.0075 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 6919 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 69.68
Current children cumulated vsize (Kb) 67516
[startup+80.0091 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 7919 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 79.68
Current children cumulated vsize (Kb) 67516
[startup+90.0097 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 8919 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 89.68
Current children cumulated vsize (Kb) 67516
[startup+100.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 9919 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 99.68
Current children cumulated vsize (Kb) 67516
[startup+110.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 10920 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550210 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 109.69
Current children cumulated vsize (Kb) 67516
[startup+120.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 11920 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 119.69
Current children cumulated vsize (Kb) 67516
[startup+130.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 12920 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550192 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 129.69
Current children cumulated vsize (Kb) 67516
[startup+140.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 13921 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 139.7
Current children cumulated vsize (Kb) 67516
[startup+150.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 14921 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 149.7
Current children cumulated vsize (Kb) 67516
[startup+160.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 15921 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 159.7
Current children cumulated vsize (Kb) 67516
[startup+170.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 16921 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550192 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 169.7
Current children cumulated vsize (Kb) 67516
[startup+180.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 17921 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550208 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 179.7
Current children cumulated vsize (Kb) 67516
[startup+190.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 18922 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 189.71
Current children cumulated vsize (Kb) 67516
[startup+200.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 19922 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550210 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 199.71
Current children cumulated vsize (Kb) 67516
[startup+210.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 20922 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 209.71
Current children cumulated vsize (Kb) 67516
[startup+220.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 21922 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 219.71
Current children cumulated vsize (Kb) 67516
[startup+230.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 22922 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 229.71
Current children cumulated vsize (Kb) 67516
[startup+240.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 23923 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 239.72
Current children cumulated vsize (Kb) 67516
[startup+250.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 24923 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 249.72
Current children cumulated vsize (Kb) 67516
[startup+260.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 25923 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 259.72
Current children cumulated vsize (Kb) 67516
[startup+270.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 12538 0 0 0 26906 59 0 0 25 0 1 0 19751001 68579328 11799 4294967295 134512640 134702520 3221223952 3221223568 134660743 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 16743 11799 413 48 0 16695 0
[pid=4861] vsize: 66972
Current children cumulated CPU time (s) 269.66
Current children cumulated vsize (Kb) 69100
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+280.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15160 0 0 0 27859 89 0 0 25 0 1 0 19751001 68616192 13956 4294967295 134512640 134702520 3221223952 3221223216 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16752 13956 413 48 0 16704 0
[pid=4861] vsize: 67008
Current children cumulated CPU time (s) 279.49
Current children cumulated vsize (Kb) 69136
[startup+290.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) T 4858 4858 4059 0 -1 0 15160 0 0 0 28242 283 0 0 16 0 1 0 19751001 68616192 13956 4294967295 134512640 134702520 3221223952 3221223448 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16752 13956 413 48 0 16704 0
[pid=4861] vsize: 67008
Current children cumulated CPU time (s) 285.26
Current children cumulated vsize (Kb) 69136
[startup+300.021 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) T 4858 4858 4059 0 -1 0 15160 0 0 0 28500 518 0 0 16 0 1 0 19751001 68616192 13956 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4861/statm): 16752 13956 413 48 0 16704 0
[pid=4861] vsize: 67008
Current children cumulated CPU time (s) 290.19
Current children cumulated vsize (Kb) 69136
[startup+310.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15190 0 0 0 29181 625 0 0 25 0 1 0 19751001 142852096 13986 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 13986 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 298.07
Current children cumulated vsize (Kb) 141632
[startup+320.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15205 0 0 0 30176 627 0 0 25 0 1 0 19751001 142852096 14001 4294967295 134512640 134702520 3221223952 3221223200 134564349 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14001 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 308.04
Current children cumulated vsize (Kb) 141632
[startup+330.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15205 0 0 0 31173 628 0 0 25 0 1 0 19751001 142852096 14001 4294967295 134512640 134702520 3221223952 3221223232 134552698 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14001 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 318.02
Current children cumulated vsize (Kb) 141632
[startup+340.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15206 0 0 0 32169 629 0 0 25 0 1 0 19751001 142852096 14002 4294967295 134512640 134702520 3221223952 3221223232 134552242 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14002 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 327.99
Current children cumulated vsize (Kb) 141632
[startup+350.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15206 0 0 0 33166 631 0 0 25 0 1 0 19751001 142852096 14002 4294967295 134512640 134702520 3221223952 3221223536 134559059 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14002 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 337.98
Current children cumulated vsize (Kb) 141632
[startup+360.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15206 0 0 0 34161 632 0 0 25 0 1 0 19751001 142852096 14002 4294967295 134512640 134702520 3221223952 3221223232 134552254 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14002 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 347.94
Current children cumulated vsize (Kb) 141632
[startup+370.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15206 0 0 0 35160 632 0 0 25 0 1 0 19751001 142852096 14002 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14002 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 357.93
Current children cumulated vsize (Kb) 141632
[startup+380.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15206 0 0 0 36152 635 0 0 25 0 1 0 19751001 142852096 14002 4294967295 134512640 134702520 3221223952 3221222976 134552128 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14002 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 367.88
Current children cumulated vsize (Kb) 141632
[startup+390.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15206 0 0 0 37150 636 0 0 25 0 1 0 19751001 142852096 14002 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14002 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 377.87
Current children cumulated vsize (Kb) 141632
[startup+400.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15206 0 0 0 38145 639 0 0 25 0 1 0 19751001 142852096 14002 4294967295 134512640 134702520 3221223952 3221223232 134553320 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14002 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 387.85
Current children cumulated vsize (Kb) 141632
[startup+410.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15206 0 0 0 39142 640 0 0 25 0 1 0 19751001 142852096 14002 4294967295 134512640 134702520 3221223952 3221223200 134564346 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14002 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 397.83
Current children cumulated vsize (Kb) 141632
[startup+420.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15209 0 0 0 40140 640 0 0 25 0 1 0 19751001 142852096 14005 4294967295 134512640 134702520 3221223952 3221223232 134552254 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14005 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 407.81
Current children cumulated vsize (Kb) 141632
[startup+430.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15209 0 0 0 41136 642 0 0 25 0 1 0 19751001 142852096 14005 4294967295 134512640 134702520 3221223952 3221223232 134552277 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14005 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 417.79
Current children cumulated vsize (Kb) 141632
[startup+440.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15209 0 0 0 42134 643 0 0 25 0 1 0 19751001 142852096 14005 4294967295 134512640 134702520 3221223952 3221223232 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14005 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 427.78
Current children cumulated vsize (Kb) 141632
[startup+450.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15209 0 0 0 43132 643 0 0 25 0 1 0 19751001 142852096 14005 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14005 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 437.76
Current children cumulated vsize (Kb) 141632
[startup+460.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15209 0 0 0 44131 644 0 0 25 0 1 0 19751001 142852096 14005 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14005 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 447.76
Current children cumulated vsize (Kb) 141632
[startup+470.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15209 0 0 0 45124 646 0 0 25 0 1 0 19751001 142852096 14005 4294967295 134512640 134702520 3221223952 3221223232 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14005 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 457.71
Current children cumulated vsize (Kb) 141632
[startup+480.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15209 0 0 0 46121 647 0 0 25 0 1 0 19751001 142852096 14005 4294967295 134512640 134702520 3221223952 3221223232 134552550 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14005 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 467.69
Current children cumulated vsize (Kb) 141632
[startup+490.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15209 0 0 0 47117 648 0 0 25 0 1 0 19751001 142852096 14005 4294967295 134512640 134702520 3221223952 3221223232 134552254 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14005 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 477.66
Current children cumulated vsize (Kb) 141632
[startup+500.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15209 0 0 0 48113 650 0 0 25 0 1 0 19751001 142852096 14005 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14005 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 487.64
Current children cumulated vsize (Kb) 141632
[startup+510.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15209 0 0 0 49110 650 0 0 25 0 1 0 19751001 142852096 14005 4294967295 134512640 134702520 3221223952 3221223232 134552541 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14005 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 497.61
Current children cumulated vsize (Kb) 141632
[startup+520.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15209 0 0 0 50109 651 0 0 25 0 1 0 19751001 142852096 14005 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14005 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 507.61
Current children cumulated vsize (Kb) 141632
[startup+530.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15209 0 0 0 51107 652 0 0 25 0 1 0 19751001 142852096 14005 4294967295 134512640 134702520 3221223952 3221223232 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14005 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 517.6
Current children cumulated vsize (Kb) 141632
[startup+540.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15209 0 0 0 52105 653 0 0 25 0 1 0 19751001 142852096 14005 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14005 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 527.59
Current children cumulated vsize (Kb) 141632
[startup+550.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15209 0 0 0 53101 654 0 0 25 0 1 0 19751001 142852096 14005 4294967295 134512640 134702520 3221223952 3221223232 134553277 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14005 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 537.56
Current children cumulated vsize (Kb) 141632
[startup+560.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15213 0 0 0 54098 656 0 0 25 0 1 0 19751001 142852096 14009 4294967295 134512640 134702520 3221223952 3221223232 134553342 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14009 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 547.55
Current children cumulated vsize (Kb) 141632
[startup+570.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15219 0 0 0 55093 657 0 0 25 0 1 0 19751001 142852096 14015 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 34876 14015 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 557.51
Current children cumulated vsize (Kb) 141632
[startup+580.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15219 0 0 0 56090 659 0 0 25 0 1 0 19751001 142852096 14015 4294967295 134512640 134702520 3221223952 3221223232 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 34876 14015 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 567.5
Current children cumulated vsize (Kb) 141632
[startup+590.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15219 0 0 0 57087 660 0 0 25 0 1 0 19751001 142852096 14015 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 34876 14015 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 577.48
Current children cumulated vsize (Kb) 141632
[startup+600.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15219 0 0 0 58083 661 0 0 25 0 1 0 19751001 142852096 14015 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 34876 14015 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 587.45
Current children cumulated vsize (Kb) 141632
[startup+610.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15219 0 0 0 59079 663 0 0 25 0 1 0 19751001 142852096 14015 4294967295 134512640 134702520 3221223952 3221223232 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 34876 14015 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 597.43
Current children cumulated vsize (Kb) 141632
[startup+620.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15219 0 0 0 60076 664 0 0 25 0 1 0 19751001 142852096 14015 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 34876 14015 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 607.41
Current children cumulated vsize (Kb) 141632
[startup+630.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15219 0 0 0 61073 665 0 0 25 0 1 0 19751001 142852096 14015 4294967295 134512640 134702520 3221223952 3221223232 134552345 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 34876 14015 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 617.39
Current children cumulated vsize (Kb) 141632
[startup+640.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15219 0 0 0 62072 665 0 0 25 0 1 0 19751001 142852096 14015 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 34876 14015 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 627.38
Current children cumulated vsize (Kb) 141632
[startup+650.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15219 0 0 0 63071 666 0 0 25 0 1 0 19751001 142852096 14015 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 34876 14015 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 637.38
Current children cumulated vsize (Kb) 141632
[startup+660.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15219 0 0 0 64069 667 0 0 25 0 1 0 19751001 142852096 14015 4294967295 134512640 134702520 3221223952 3221223232 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 34876 14015 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 647.37
Current children cumulated vsize (Kb) 141632
[startup+670.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15219 0 0 0 65068 667 0 0 25 0 1 0 19751001 142852096 14015 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 34876 14015 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 657.36
Current children cumulated vsize (Kb) 141632
[startup+680.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15219 0 0 0 66062 669 0 0 25 0 1 0 19751001 142852096 14015 4294967295 134512640 134702520 3221223952 3221223232 134553830 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 34876 14015 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 667.32
Current children cumulated vsize (Kb) 141632
[startup+690.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15219 0 0 0 67060 669 0 0 25 0 1 0 19751001 142852096 14015 4294967295 134512640 134702520 3221223952 3221223232 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14015 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 677.3
Current children cumulated vsize (Kb) 141632
[startup+700.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15219 0 0 0 68056 670 0 0 25 0 1 0 19751001 142852096 14015 4294967295 134512640 134702520 3221223952 3221223232 134553354 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14015 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 687.27
Current children cumulated vsize (Kb) 141632
[startup+710.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15219 0 0 0 69053 672 0 0 25 0 1 0 19751001 142852096 14015 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14015 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 697.26
Current children cumulated vsize (Kb) 141632
[startup+720.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15219 0 0 0 70050 673 0 0 25 0 1 0 19751001 142852096 14015 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14015 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 707.24
Current children cumulated vsize (Kb) 141632
[startup+730.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15219 0 0 0 71047 674 0 0 25 0 1 0 19751001 142852096 14015 4294967295 134512640 134702520 3221223952 3221223232 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14015 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 717.22
Current children cumulated vsize (Kb) 141632
[startup+740.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15219 0 0 0 72043 675 0 0 25 0 1 0 19751001 142852096 14015 4294967295 134512640 134702520 3221223952 3221223232 134552553 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14015 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 727.19
Current children cumulated vsize (Kb) 141632
[startup+750.053 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15219 0 0 0 73039 677 0 0 25 0 1 0 19751001 142852096 14015 4294967295 134512640 134702520 3221223952 3221223232 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14015 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 737.17
Current children cumulated vsize (Kb) 141632
[startup+760.053 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 74035 678 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223232 134552270 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 747.14
Current children cumulated vsize (Kb) 141632
[startup+770.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 75031 680 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 757.12
Current children cumulated vsize (Kb) 141632
[startup+780.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 76029 681 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223232 134553333 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 767.11
Current children cumulated vsize (Kb) 141632
[startup+790.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 77020 684 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 777.05
Current children cumulated vsize (Kb) 141632
[startup+800.055 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 78017 685 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 787.03
Current children cumulated vsize (Kb) 141632
[startup+810.056 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 79015 686 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223232 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 797.02
Current children cumulated vsize (Kb) 141632
[startup+820.057 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 80013 687 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223232 134552310 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 807.01
Current children cumulated vsize (Kb) 141632
[startup+830.058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 81011 687 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 816.99
Current children cumulated vsize (Kb) 141632
[startup+840.058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 82009 688 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 826.98
Current children cumulated vsize (Kb) 141632
[startup+850.059 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 83006 689 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 836.96
Current children cumulated vsize (Kb) 141632
[startup+860.061 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 84004 691 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 846.96
Current children cumulated vsize (Kb) 141632
[startup+870.061 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 85002 691 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 856.94
Current children cumulated vsize (Kb) 141632
[startup+880.061 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 86001 692 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223232 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 866.94
Current children cumulated vsize (Kb) 141632
[startup+890.062 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 86998 693 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223232 134552254 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 876.92
Current children cumulated vsize (Kb) 141632
[startup+900.062 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 87995 694 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223232 134552553 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 886.9
Current children cumulated vsize (Kb) 141632
[startup+910.064 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 88994 694 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223232 134553294 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 896.89
Current children cumulated vsize (Kb) 141632
[startup+920.064 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 89993 694 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 906.88
Current children cumulated vsize (Kb) 141632
[startup+930.064 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 90993 695 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223232 134553492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 916.89
Current children cumulated vsize (Kb) 141632
[startup+940.065 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 91993 695 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 926.89
Current children cumulated vsize (Kb) 141632
[startup+950.065 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 92981 699 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221222976 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 936.81
Current children cumulated vsize (Kb) 141632
[startup+960.066 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) T 4858 4858 4059 0 -1 0 15223 0 0 0 93540 840 0 0 15 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 943.81
Current children cumulated vsize (Kb) 141632
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
[startup+970.067 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) T 4858 4858 4059 0 -1 0 15225 0 0 0 94089 1007 0 0 18 0 1 0 19751001 142856192 14021 4294967295 134512640 134702520 3221223952 3221221856 1074898718 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4861/statm): 34877 14021 413 48 0 34829 0
[pid=4861] vsize: 139508
Current children cumulated CPU time (s) 950.97
Current children cumulated vsize (Kb) 141636
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=4861) exited with status: 2
New process pid=4862
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=4862) exited with status: 0
New process pid=4863
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+980.067 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 8700 0 0 0 766 48 0 0 25 0 1 0 19848174 56471552 8671 4294967295 134512640 134702520 3221223712 3221223336 1074475072 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 13787 8671 413 48 0 13739 0
[pid=4863] vsize: 55148
Current children cumulated CPU time (s) 960.6
Current children cumulated vsize (Kb) 57276
[startup+990.068 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) T 4858 4858 4059 0 -1 0 11815 0 0 0 1679 87 0 0 18 0 1 0 19848174 59207680 11785 4294967295 134512640 134702520 3221223712 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4863/statm): 14455 11785 413 48 0 14407 0
[pid=4863] vsize: 57820
Current children cumulated CPU time (s) 970.12
Current children cumulated vsize (Kb) 59948
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 12168 0 0 0 1956 319 0 0 17 0 1 0 19848174 61411328 12138 4294967295 134512640 134702520 3221223712 3221222848 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4863/statm): 14993 12138 413 48 0 14945 0
[pid=4863] vsize: 59972
Current children cumulated CPU time (s) 975.21
Current children cumulated vsize (Kb) 62100
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 12641 0 0 0 2942 324 0 0 25 0 1 0 19848174 130142208 12609 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4863/statm): 31773 12609 413 48 0 31725 0
[pid=4863] vsize: 127092
Current children cumulated CPU time (s) 985.12
Current children cumulated vsize (Kb) 129220
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 12971 0 0 0 3936 326 0 0 25 0 1 0 19848174 131575808 12939 4294967295 134512640 134702520 3221223712 3221222992 134552277 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4863/statm): 32123 12939 413 48 0 32075 0
[pid=4863] vsize: 128492
Current children cumulated CPU time (s) 995.08
Current children cumulated vsize (Kb) 130620
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13007 0 0 0 4929 329 0 0 25 0 1 0 19848174 131575808 12975 4294967295 134512640 134702520 3221223712 3221222992 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 32123 12975 413 48 0 32075 0
[pid=4863] vsize: 128492
Current children cumulated CPU time (s) 1005.04
Current children cumulated vsize (Kb) 130620
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13031 0 0 0 5923 331 0 0 25 0 1 0 19848174 131715072 12999 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 32157 12999 413 48 0 32109 0
[pid=4863] vsize: 128628
Current children cumulated CPU time (s) 1015
Current children cumulated vsize (Kb) 130756
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13054 0 0 0 6918 333 0 0 25 0 1 0 19848174 131715072 13022 4294967295 134512640 134702520 3221223712 3221222992 134552541 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 32157 13022 413 48 0 32109 0
[pid=4863] vsize: 128628
Current children cumulated CPU time (s) 1024.97
Current children cumulated vsize (Kb) 130756
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13081 0 0 0 7914 334 0 0 25 0 1 0 19848174 131854336 13049 4294967295 134512640 134702520 3221223712 3221222992 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 32191 13049 413 48 0 32143 0
[pid=4863] vsize: 128764
Current children cumulated CPU time (s) 1034.94
Current children cumulated vsize (Kb) 130892
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13091 0 0 0 8911 336 0 0 25 0 1 0 19848174 131854336 13059 4294967295 134512640 134702520 3221223712 3221222992 134552242 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 32191 13059 413 48 0 32143 0
[pid=4863] vsize: 128764
Current children cumulated CPU time (s) 1044.93
Current children cumulated vsize (Kb) 130892
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13095 0 0 0 9907 338 0 0 25 0 1 0 19848174 131854336 13063 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 32191 13063 413 48 0 32143 0
[pid=4863] vsize: 128764
Current children cumulated CPU time (s) 1054.91
Current children cumulated vsize (Kb) 130892
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13114 0 0 0 10899 340 0 0 25 0 1 0 19848174 131862528 13081 4294967295 134512640 134702520 3221223712 3221222992 134552541 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 32193 13081 413 48 0 32145 0
[pid=4863] vsize: 128772
Current children cumulated CPU time (s) 1064.85
Current children cumulated vsize (Kb) 130900
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13118 0 0 0 11893 343 0 0 25 0 1 0 19848174 132009984 13085 4294967295 134512640 134702520 3221223712 3221222992 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 32229 13085 413 48 0 32181 0
[pid=4863] vsize: 128916
Current children cumulated CPU time (s) 1074.82
Current children cumulated vsize (Kb) 131044
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13136 0 0 0 12889 345 0 0 25 0 1 0 19848174 132009984 13103 4294967295 134512640 134702520 3221223712 3221222992 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 32229 13103 413 48 0 32181 0
[pid=4863] vsize: 128916
Current children cumulated CPU time (s) 1084.8
Current children cumulated vsize (Kb) 131044
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13152 0 0 0 13886 346 0 0 25 0 1 0 19848174 132009984 13119 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 32229 13119 413 48 0 32181 0
[pid=4863] vsize: 128916
Current children cumulated CPU time (s) 1094.78
Current children cumulated vsize (Kb) 131044
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13152 0 0 0 14885 346 0 0 25 0 1 0 19848174 132009984 13119 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 32229 13119 413 48 0 32181 0
[pid=4863] vsize: 128916
Current children cumulated CPU time (s) 1104.77
Current children cumulated vsize (Kb) 131044
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13158 0 0 0 15880 349 0 0 25 0 1 0 19848174 132149248 13125 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 32263 13125 413 48 0 32215 0
[pid=4863] vsize: 129052
Current children cumulated CPU time (s) 1114.75
Current children cumulated vsize (Kb) 131180
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13164 0 0 0 16874 351 0 0 25 0 1 0 19848174 132149248 13131 4294967295 134512640 134702520 3221223712 3221222960 134564360 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4863/statm): 32263 13131 413 48 0 32215 0
[pid=4863] vsize: 129052
Current children cumulated CPU time (s) 1124.71
Current children cumulated vsize (Kb) 131180
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13172 0 0 0 17870 352 0 0 25 0 1 0 19848174 132149248 13139 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4863/statm): 32263 13139 413 48 0 32215 0
[pid=4863] vsize: 129052
Current children cumulated CPU time (s) 1134.68
Current children cumulated vsize (Kb) 131180
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) T 4858 4858 4059 0 -1 0 13173 0 0 0 18862 356 0 0 25 0 1 0 19848174 132993024 13140 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4863/statm): 32469 13140 413 48 0 32421 0
[pid=4863] vsize: 129876
Current children cumulated CPU time (s) 1144.64
Current children cumulated vsize (Kb) 132004
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13177 0 0 0 19852 360 0 0 25 0 1 0 19848174 132149248 13143 4294967295 134512640 134702520 3221223712 3221222992 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4863/statm): 32263 13143 413 48 0 32215 0
[pid=4863] vsize: 129052
Current children cumulated CPU time (s) 1154.58
Current children cumulated vsize (Kb) 131180
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13181 0 0 0 20849 361 0 0 25 0 1 0 19848174 132149248 13147 4294967295 134512640 134702520 3221223712 3221222992 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4863/statm): 32263 13147 413 48 0 32215 0
[pid=4863] vsize: 129052
Current children cumulated CPU time (s) 1164.56
Current children cumulated vsize (Kb) 131180
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13187 0 0 0 21844 363 0 0 25 0 1 0 19848174 132149248 13153 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 32263 13153 413 48 0 32215 0
[pid=4863] vsize: 129052
Current children cumulated CPU time (s) 1174.53
Current children cumulated vsize (Kb) 131180
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13187 0 0 0 22839 365 0 0 25 0 1 0 19848174 132149248 13153 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 32263 13153 413 48 0 32215 0
[pid=4863] vsize: 129052
Current children cumulated CPU time (s) 1184.5
Current children cumulated vsize (Kb) 131180
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13189 0 0 0 23833 367 0 0 25 0 1 0 19848174 132288512 13155 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 32297 13155 413 48 0 32249 0
[pid=4863] vsize: 129188
Current children cumulated CPU time (s) 1194.46
Current children cumulated vsize (Kb) 131316
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13193 0 0 0 24829 369 0 0 25 0 1 0 19848174 132288512 13159 4294967295 134512640 134702520 3221223712 3221222992 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 32297 13159 413 48 0 32249 0
[pid=4863] vsize: 129188
Current children cumulated CPU time (s) 1204.44
Current children cumulated vsize (Kb) 131316
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13193 0 0 0 24829 369 0 0 25 0 1 0 19848174 132288512 13159 4294967295 134512640 134702520 3221223712 3221222992 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 32297 13159 413 48 0 32249 0
[pid=4863] vsize: 129188
Current children cumulated CPU time (s) 1204.44
Current children cumulated vsize (Kb) 131316
Sending SIGTERM to -4858
Sleeping 2 seconds
New process pid=4865
New process pid=4866
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1387/stat
open syscall for file /proc/1387/status
open syscall for file /proc/1387/cmdline
open syscall for file /proc/1387/environ
open syscall for file /proc/1451/stat
open syscall for file /proc/1451/status
open syscall for file /proc/1451/cmdline
open syscall for file /proc/1451/environ
open syscall for file /proc/1479/stat
open syscall for file /proc/1479/status
open syscall for file /proc/1479/cmdline
open syscall for file /proc/1479/environ
open syscall for file /proc/1503/stat
open syscall for file /proc/1503/status
open syscall for file /proc/1503/cmdline
open syscall for file /proc/1503/environ
open syscall for file /proc/1544/stat
open syscall for file /proc/1544/status
open syscall for file /proc/1544/cmdline
open syscall for file /proc/1544/environ
open syscall for file /proc/1568/stat
open syscall for file /proc/1568/status
open syscall for file /proc/1568/cmdline
open syscall for file /proc/1568/environ
open syscall for file /proc/1591/stat
open syscall for file /proc/1591/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1591/cmdline
open syscall for file /proc/1591/environ
open syscall for file /proc/1622/stat
open syscall for file /proc/1622/status
open syscall for file /proc/1622/cmdline
open syscall for file /proc/1622/environ
open syscall for file /proc/1680/stat
open syscall for file /proc/1680/status
open syscall for file /proc/1680/cmdline
open syscall for file /proc/1680/environ
open syscall for file /proc/1685/stat
open syscall for file /proc/1685/status
open syscall for file /proc/1685/cmdline
open syscall for file /proc/1685/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/4042/stat
open syscall for file /proc/4042/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/4042/cmdline
open syscall for file /proc/4042/environ
open syscall for file /proc/4067/stat
open syscall for file /proc/4067/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/4067/cmdline
open syscall for file /proc/4067/environ
open syscall for file /proc/4819/stat
open syscall for file /proc/4819/status
open syscall for file /proc/4819/cmdline
open syscall for file /proc/4819/environ
open syscall for file /proc/4857/stat
open syscall for file /proc/4857/status
open syscall for file /proc/4857/cmdline
open syscall for file /proc/4857/environ
open syscall for file /proc/4858/stat
open syscall for file /proc/4858/status
open syscall for file /proc/4858/cmdline
open syscall for file /proc/4858/environ
open syscall for file /proc/4863/stat
open syscall for file /proc/4863/status
open syscall for file /proc/4863/cmdline
open syscall for file /proc/4863/environ
open syscall for file /proc/4865/stat
open syscall for file /proc/4865/status
open syscall for file /proc/4865/cmdline
open syscall for file /proc/4865/environ
open syscall for file /proc/4866/stat
open syscall for file /proc/4866/status
open syscall for file /proc/4866/cmdline
open syscall for file /proc/4866/environ
One traced child (pid=4865) exited with status: 0
One traced child (pid=4866) exited with status: 0
New process pid=4867
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=4867) exited with status: 0
New process pid=4868
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=4868) exited with status: 0
One traced child (pid=4858) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -4858
One traced child (pid=4863) 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): 1232.13
CPU time (s): 253.966
CPU user time (s): 250.02
CPU system time (s): 3.9464
CPU usage (%): 20.612
Max. virtual memory (cumulated for all children) (Kb): 141636