1:
seed: 0
Nr of vars set: 17356 (#equs: 0)
Nr of vars set: 17538 (#equs: 0)
#decisions: 1138740; #end-nodes: 9100;
#proof improvement attempts: 0; #restarts: 96
Current batch, end-nodes: 0 / 111 (103)
#axs: 5169, #non-axs: 127
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: 17557 (#equs: 0)
Time taken: 12 min, 54 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/5786/stat): 5786 (vallstSAT2005PB) R 5785 5786 4005 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20567899 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5786/statm): 174 3 169 147 0 27 0
[pid=5786] 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=5787
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=5787) exited with status: 0
New process pid=5788
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=5788) exited with status: 0
New process pid=5789
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/wulflinc26/normalized-mps-v2-13-7-B1C1S1.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0034 s]
Raw data (loadavg): 0.93 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 4454 0 0 0 959 21 0 0 25 0 1 0 20567906 19382272 3899 4294967295 134512640 134702520 3221223952 3221196768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 4732 3899 413 48 0 4684 0
[pid=5789] vsize: 18928
Current children cumulated CPU time (s) 9.83
Current children cumulated vsize (Kb) 21056
[startup+20.004 s]
Raw data (loadavg): 0.94 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 4474 0 0 0 1959 21 0 0 25 0 1 0 20567906 19464192 3919 4294967295 134512640 134702520 3221223952 3221060268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 4752 3919 413 48 0 4704 0
[pid=5789] vsize: 19008
Current children cumulated CPU time (s) 19.83
Current children cumulated vsize (Kb) 21136
[startup+30.0057 s]
Raw data (loadavg): 0.95 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 4510 0 0 0 2959 21 0 0 25 0 1 0 20567906 19611648 3955 4294967295 134512640 134702520 3221223952 3220911956 134611990 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 4788 3955 413 48 0 4740 0
[pid=5789] vsize: 19152
Current children cumulated CPU time (s) 29.83
Current children cumulated vsize (Kb) 21280
[startup+40.0064 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 4549 0 0 0 3959 22 0 0 25 0 1 0 20567906 19771392 3994 4294967295 134512640 134702520 3221223952 3220753068 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 4827 3994 413 48 0 4779 0
[pid=5789] vsize: 19308
Current children cumulated CPU time (s) 39.84
Current children cumulated vsize (Kb) 21436
[startup+50.0071 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 4591 0 0 0 4959 22 0 0 25 0 1 0 20567906 19943424 4036 4294967295 134512640 134702520 3221223952 3220580928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 4869 4036 413 48 0 4821 0
[pid=5789] vsize: 19476
Current children cumulated CPU time (s) 49.84
Current children cumulated vsize (Kb) 21604
[startup+60.0078 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 4636 0 0 0 5959 22 0 0 25 0 1 0 20567906 20127744 4081 4294967295 134512640 134702520 3221223952 3220394028 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 4914 4081 413 48 0 4866 0
[pid=5789] vsize: 19656
Current children cumulated CPU time (s) 59.84
Current children cumulated vsize (Kb) 21784
[startup+70.0074 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 4687 0 0 0 6959 22 0 0 25 0 1 0 20567906 20336640 4132 4294967295 134512640 134702520 3221223952 3220187328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 4965 4132 413 48 0 4917 0
[pid=5789] vsize: 19860
Current children cumulated CPU time (s) 69.84
Current children cumulated vsize (Kb) 21988
[startup+80.0081 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 4744 0 0 0 7959 22 0 0 25 0 1 0 20567906 20570112 4189 4294967295 134512640 134702520 3221223952 3219953388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 5022 4189 413 48 0 4974 0
[pid=5789] vsize: 20088
Current children cumulated CPU time (s) 79.84
Current children cumulated vsize (Kb) 22216
[startup+90.0088 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 4812 0 0 0 8960 22 0 0 25 0 1 0 20567906 20848640 4257 4294967295 134512640 134702520 3221223952 3219677088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 5090 4257 413 48 0 5042 0
[pid=5789] vsize: 20360
Current children cumulated CPU time (s) 89.85
Current children cumulated vsize (Kb) 22488
[startup+100.008 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 4899 0 0 0 9960 22 0 0 25 0 1 0 20567906 21204992 4344 4294967295 134512640 134702520 3221223952 3219319168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 5177 4344 413 48 0 5129 0
[pid=5789] vsize: 20708
Current children cumulated CPU time (s) 99.85
Current children cumulated vsize (Kb) 22836
[startup+110.009 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5071 0 0 0 10960 22 0 0 25 0 1 0 20567906 21909504 4516 4294967295 134512640 134702520 3221223952 3218615148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 5349 4516 413 48 0 5301 0
[pid=5789] vsize: 21396
Current children cumulated CPU time (s) 109.85
Current children cumulated vsize (Kb) 23524
[startup+120.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5171 0 0 0 11349 214 0 0 25 0 1 0 20567906 36278272 4616 4294967295 134512640 134702520 3221223952 3221213328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4616 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 115.66
Current children cumulated vsize (Kb) 37556
[startup+130.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5171 0 0 0 12349 214 0 0 25 0 1 0 20567906 36278272 4616 4294967295 134512640 134702520 3221223952 3221074288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4616 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 125.66
Current children cumulated vsize (Kb) 37556
[startup+140.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5171 0 0 0 13349 214 0 0 25 0 1 0 20567906 36278272 4616 4294967295 134512640 134702520 3221223952 3220927228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4616 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 135.66
Current children cumulated vsize (Kb) 37556
[startup+150.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5171 0 0 0 14349 214 0 0 25 0 1 0 20567906 36278272 4616 4294967295 134512640 134702520 3221223952 3220770748 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4616 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 145.66
Current children cumulated vsize (Kb) 37556
[startup+160.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5171 0 0 0 15350 214 0 0 25 0 1 0 20567906 36278272 4616 4294967295 134512640 134702520 3221223952 3220603088 134611982 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4616 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 155.67
Current children cumulated vsize (Kb) 37556
[startup+170.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5171 0 0 0 16350 214 0 0 25 0 1 0 20567906 36278272 4616 4294967295 134512640 134702520 3221223952 3220421628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4616 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 165.67
Current children cumulated vsize (Kb) 37556
[startup+180.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5171 0 0 0 17350 214 0 0 25 0 1 0 20567906 36278272 4616 4294967295 134512640 134702520 3221223952 3220222448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4616 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 175.67
Current children cumulated vsize (Kb) 37556
[startup+190.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5171 0 0 0 18350 214 0 0 25 0 1 0 20567906 36278272 4616 4294967295 134512640 134702520 3221223952 3219999228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4616 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 185.67
Current children cumulated vsize (Kb) 37556
[startup+200.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5171 0 0 0 19350 214 0 0 25 0 1 0 20567906 36278272 4616 4294967295 134512640 134702520 3221223952 3219740028 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4616 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 195.67
Current children cumulated vsize (Kb) 37556
[startup+210.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5171 0 0 0 20351 214 0 0 25 0 1 0 20567906 36278272 4616 4294967295 134512640 134702520 3221223952 3219418448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4616 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 205.68
Current children cumulated vsize (Kb) 37556
[startup+220.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5171 0 0 0 21351 214 0 0 25 0 1 0 20567906 36278272 4616 4294967295 134512640 134702520 3221223952 3218936668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4616 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 215.68
Current children cumulated vsize (Kb) 37556
[startup+230.016 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) T 5786 5786 4005 0 -1 0 5171 0 0 0 21909 351 0 0 16 0 1 0 20567906 36278272 4616 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4616 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 222.63
Current children cumulated vsize (Kb) 37556
[startup+240.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5172 0 0 0 22669 426 0 0 25 0 1 0 20567906 36278272 4617 4294967295 134512640 134702520 3221223952 3221135888 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4617 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 230.98
Current children cumulated vsize (Kb) 37556
[startup+250.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5172 0 0 0 23669 426 0 0 25 0 1 0 20567906 36278272 4617 4294967295 134512640 134702520 3221223952 3220992528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4617 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 240.98
Current children cumulated vsize (Kb) 37556
[startup+260.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5172 0 0 0 24669 426 0 0 25 0 1 0 20567906 36278272 4617 4294967295 134512640 134702520 3221223952 3220840368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4617 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 250.98
Current children cumulated vsize (Kb) 37556
[startup+270.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5172 0 0 0 25669 426 0 0 25 0 1 0 20567906 36278272 4617 4294967295 134512640 134702520 3221223952 3220677808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4617 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 260.98
Current children cumulated vsize (Kb) 37556
[startup+280.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5172 0 0 0 26670 426 0 0 25 0 1 0 20567906 36278272 4617 4294967295 134512640 134702520 3221223952 3220502768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4617 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 270.99
Current children cumulated vsize (Kb) 37556
[startup+290.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5172 0 0 0 27670 426 0 0 25 0 1 0 20567906 36278272 4617 4294967295 134512640 134702520 3221223952 3220312028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4617 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 280.99
Current children cumulated vsize (Kb) 37556
[startup+300.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5172 0 0 0 28670 426 0 0 25 0 1 0 20567906 36278272 4617 4294967295 134512640 134702520 3221223952 3220100368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4617 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 290.99
Current children cumulated vsize (Kb) 37556
[startup+310.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5172 0 0 0 29670 426 0 0 25 0 1 0 20567906 36278272 4617 4294967295 134512640 134702520 3221223952 3219858928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4617 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 300.99
Current children cumulated vsize (Kb) 37556
[startup+320.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5172 0 0 0 30670 426 0 0 25 0 1 0 20567906 36278272 4617 4294967295 134512640 134702520 3221223952 3219569648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4617 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 310.99
Current children cumulated vsize (Kb) 37556
[startup+330.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5172 0 0 0 31671 426 0 0 25 0 1 0 20567906 36278272 4617 4294967295 134512640 134702520 3221223952 3219183088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4617 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 321
Current children cumulated vsize (Kb) 37556
[startup+340.022 s]
Raw data (loadavg): 1.07 1.00 1.00 1/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) T 5786 5786 4005 0 -1 0 5172 0 0 0 32550 465 0 0 16 0 1 0 20567906 36278272 4617 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4617 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 330.18
Current children cumulated vsize (Kb) 37556
[startup+350.022 s]
Raw data (loadavg): 1.06 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5173 0 0 0 32945 659 0 0 25 0 1 0 20567906 36278272 4618 4294967295 134512640 134702520 3221223952 3221204028 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4618 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 336.07
Current children cumulated vsize (Kb) 37556
[startup+360.023 s]
Raw data (loadavg): 1.05 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5173 0 0 0 33945 659 0 0 25 0 1 0 20567906 36278272 4618 4294967295 134512640 134702520 3221223952 3221065948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4618 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 346.07
Current children cumulated vsize (Kb) 37556
[startup+370.024 s]
Raw data (loadavg): 1.04 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5173 0 0 0 34945 659 0 0 25 0 1 0 20567906 36278272 4618 4294967295 134512640 134702520 3221223952 3220920028 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4618 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 356.07
Current children cumulated vsize (Kb) 37556
[startup+380.025 s]
Raw data (loadavg): 1.04 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5173 0 0 0 35945 659 0 0 25 0 1 0 20567906 36278272 4618 4294967295 134512640 134702520 3221223952 3220764688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4618 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 366.07
Current children cumulated vsize (Kb) 37556
[startup+390.025 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5173 0 0 0 36945 659 0 0 25 0 1 0 20567906 36278272 4618 4294967295 134512640 134702520 3221223952 3220598448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4618 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 376.07
Current children cumulated vsize (Kb) 37556
[startup+400.026 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5173 0 0 0 37945 659 0 0 25 0 1 0 20567906 36278272 4618 4294967295 134512640 134702520 3221223952 3220418768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4618 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 386.07
Current children cumulated vsize (Kb) 37556
[startup+410.027 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5173 0 0 0 38945 659 0 0 25 0 1 0 20567906 36278272 4618 4294967295 134512640 134702520 3221223952 3220221488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4618 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 396.07
Current children cumulated vsize (Kb) 37556
[startup+420.027 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5173 0 0 0 39945 659 0 0 25 0 1 0 20567906 36278272 4618 4294967295 134512640 134702520 3221223952 3220000668 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4618 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 406.07
Current children cumulated vsize (Kb) 37556
[startup+430.029 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5173 0 0 0 40945 659 0 0 25 0 1 0 20567906 36278272 4618 4294967295 134512640 134702520 3221223952 3219744688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4618 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 416.07
Current children cumulated vsize (Kb) 37556
[startup+440.03 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5173 0 0 0 41945 660 0 0 25 0 1 0 20567906 36278272 4618 4294967295 134512640 134702520 3221223952 3219428348 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4618 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 426.08
Current children cumulated vsize (Kb) 37556
[startup+450.029 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5173 0 0 0 42945 660 0 0 25 0 1 0 20567906 36278272 4618 4294967295 134512640 134702520 3221223952 3218961968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4618 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 436.08
Current children cumulated vsize (Kb) 37556
[startup+460.03 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) T 5786 5786 4005 0 -1 0 5174 0 0 0 43540 793 0 0 16 0 1 0 20567906 36278272 4619 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4619 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 443.36
Current children cumulated vsize (Kb) 37556
[startup+470.031 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5190 0 0 0 44058 945 0 0 25 0 1 0 20567906 36278272 4635 4294967295 134512640 134702520 3221223952 3221181948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4635 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 450.06
Current children cumulated vsize (Kb) 37556
[startup+480.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5190 0 0 0 45058 945 0 0 25 0 1 0 20567906 36278272 4635 4294967295 134512640 134702520 3221223952 3221042748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4635 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 460.06
Current children cumulated vsize (Kb) 37556
[startup+490.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5190 0 0 0 46058 945 0 0 25 0 1 0 20567906 36278272 4635 4294967295 134512640 134702520 3221223952 3220895388 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4635 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 470.06
Current children cumulated vsize (Kb) 37556
[startup+500.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5190 0 0 0 47058 945 0 0 25 0 1 0 20567906 36278272 4635 4294967295 134512640 134702520 3221223952 3220738428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4635 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 480.06
Current children cumulated vsize (Kb) 37556
[startup+510.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5190 0 0 0 48058 945 0 0 25 0 1 0 20567906 36278272 4635 4294967295 134512640 134702520 3221223952 3220570128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4635 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 490.06
Current children cumulated vsize (Kb) 37556
[startup+520.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5190 0 0 0 49059 945 0 0 25 0 1 0 20567906 36278272 4635 4294967295 134512640 134702520 3221223952 3220387708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4635 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 500.07
Current children cumulated vsize (Kb) 37556
[startup+530.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5190 0 0 0 50059 945 0 0 25 0 1 0 20567906 36278272 4635 4294967295 134512640 134702520 3221223952 3220187248 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4635 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 510.07
Current children cumulated vsize (Kb) 37556
[startup+540.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5190 0 0 0 51059 945 0 0 25 0 1 0 20567906 36278272 4635 4294967295 134512640 134702520 3221223952 3219961488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4635 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 520.07
Current children cumulated vsize (Kb) 37556
[startup+550.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5190 0 0 0 52059 945 0 0 25 0 1 0 20567906 36278272 4635 4294967295 134512640 134702520 3221223952 3219697808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4635 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 530.07
Current children cumulated vsize (Kb) 37556
[startup+560.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5190 0 0 0 53059 945 0 0 25 0 1 0 20567906 36278272 4635 4294967295 134512640 134702520 3221223952 3219366768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4635 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 540.07
Current children cumulated vsize (Kb) 37556
[startup+570.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5190 0 0 0 54059 945 0 0 25 0 1 0 20567906 36278272 4635 4294967295 134512640 134702520 3221223952 3218842748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4635 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 550.07
Current children cumulated vsize (Kb) 37556
[startup+580.036 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) T 5786 5786 4005 0 -1 0 5199 0 0 0 54528 1115 0 0 16 0 1 0 20567906 36278272 4644 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4644 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 556.46
Current children cumulated vsize (Kb) 37556
[startup+590.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5217 0 0 0 55398 1159 0 0 25 0 1 0 20567906 36278272 4662 4294967295 134512640 134702520 3221223952 3221115408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4662 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 565.6
Current children cumulated vsize (Kb) 37556
[startup+600.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5217 0 0 0 56399 1159 0 0 25 0 1 0 20567906 36278272 4662 4294967295 134512640 134702520 3221223952 3220970908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4662 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 575.61
Current children cumulated vsize (Kb) 37556
[startup+610.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5217 0 0 0 57399 1159 0 0 25 0 1 0 20567906 36278272 4662 4294967295 134512640 134702520 3221223952 3220817468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4662 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 585.61
Current children cumulated vsize (Kb) 37556
[startup+620.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5217 0 0 0 58399 1159 0 0 25 0 1 0 20567906 36278272 4662 4294967295 134512640 134702520 3221223952 3220653328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4662 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 595.61
Current children cumulated vsize (Kb) 37556
[startup+630.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5217 0 0 0 59399 1159 0 0 25 0 1 0 20567906 36278272 4662 4294967295 134512640 134702520 3221223952 3220476368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4662 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 605.61
Current children cumulated vsize (Kb) 37556
[startup+640.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5217 0 0 0 60400 1159 0 0 25 0 1 0 20567906 36278272 4662 4294967295 134512640 134702520 3221223952 3220283248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4662 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 615.62
Current children cumulated vsize (Kb) 37556
[startup+650.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5217 0 0 0 61400 1159 0 0 25 0 1 0 20567906 36278272 4662 4294967295 134512640 134702520 3221223952 3220068048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4662 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 625.62
Current children cumulated vsize (Kb) 37556
[startup+660.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5217 0 0 0 62400 1159 0 0 25 0 1 0 20567906 36278272 4662 4294967295 134512640 134702520 3221223952 3219821468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4662 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 635.62
Current children cumulated vsize (Kb) 37556
[startup+670.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5217 0 0 0 63400 1159 0 0 25 0 1 0 20567906 36278272 4662 4294967295 134512640 134702520 3221223952 3219523408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4662 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 645.62
Current children cumulated vsize (Kb) 37556
[startup+680.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5217 0 0 0 64400 1159 0 0 25 0 1 0 20567906 36278272 4662 4294967295 134512640 134702520 3221223952 3219114128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4662 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 655.62
Current children cumulated vsize (Kb) 37556
[startup+690.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5217 0 0 0 65179 1232 0 0 17 0 1 0 20567906 36278272 4662 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4662 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 664.14
Current children cumulated vsize (Kb) 37556
[startup+700.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5231 0 0 0 65635 1406 0 0 25 0 1 0 20567906 36278272 4676 4294967295 134512640 134702520 3221223952 3221194768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4676 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 670.44
Current children cumulated vsize (Kb) 37556
[startup+710.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5231 0 0 0 66635 1406 0 0 25 0 1 0 20567906 36278272 4676 4294967295 134512640 134702520 3221223952 3221056368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4676 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 680.44
Current children cumulated vsize (Kb) 37556
[startup+720.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5231 0 0 0 67635 1406 0 0 25 0 1 0 20567906 36278272 4676 4294967295 134512640 134702520 3221223952 3220909968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4676 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 690.44
Current children cumulated vsize (Kb) 37556
[startup+730.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5231 0 0 0 68635 1406 0 0 25 0 1 0 20567906 36278272 4676 4294967295 134512640 134702520 3221223952 3220754128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4676 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 700.44
Current children cumulated vsize (Kb) 37556
[startup+740.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5231 0 0 0 69635 1406 0 0 25 0 1 0 20567906 36278272 4676 4294967295 134512640 134702520 3221223952 3220587248 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4676 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 710.44
Current children cumulated vsize (Kb) 37556
[startup+750.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5231 0 0 0 70635 1406 0 0 25 0 1 0 20567906 36278272 4676 4294967295 134512640 134702520 3221223952 3220406908 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4676 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 720.44
Current children cumulated vsize (Kb) 37556
[startup+760.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5231 0 0 0 71636 1406 0 0 25 0 1 0 20567906 36278272 4676 4294967295 134512640 134702520 3221223952 3220208688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4676 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 730.45
Current children cumulated vsize (Kb) 37556
[startup+770.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5231 0 0 0 72636 1406 0 0 25 0 1 0 20567906 36278272 4676 4294967295 134512640 134702520 3221223952 3219986448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4676 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 740.45
Current children cumulated vsize (Kb) 37556
[startup+780.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5231 0 0 0 73636 1406 0 0 25 0 1 0 20567906 36278272 4676 4294967295 134512640 134702520 3221223952 3219728348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4676 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 750.45
Current children cumulated vsize (Kb) 37556
[startup+790.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5231 0 0 0 74636 1406 0 0 25 0 1 0 20567906 36278272 4676 4294967295 134512640 134702520 3221223952 3219407888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4676 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 760.45
Current children cumulated vsize (Kb) 37556
[startup+800.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5231 0 0 0 75636 1406 0 0 25 0 1 0 20567906 36278272 4676 4294967295 134512640 134702520 3221223952 3218927088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4676 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 770.45
Current children cumulated vsize (Kb) 37556
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5789) exited with status: 2
New process pid=5790
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=5790) exited with status: 0
New process pid=5791
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+810.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 3120 0 0 0 499 12 0 0 25 0 1 0 20648397 15650816 3090 4294967295 134512640 134702520 3221223712 3221189168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 3821 3090 413 48 0 3773 0
[pid=5791] vsize: 15284
Current children cumulated CPU time (s) 780.34
Current children cumulated vsize (Kb) 17412
[startup+820.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 3142 0 0 0 1499 12 0 0 25 0 1 0 20648397 15740928 3112 4294967295 134512640 134702520 3221223712 3221050428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 3843 3112 413 48 0 3795 0
[pid=5791] vsize: 15372
Current children cumulated CPU time (s) 790.34
Current children cumulated vsize (Kb) 17500
[startup+830.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 3178 0 0 0 2499 12 0 0 25 0 1 0 20648397 15888384 3148 4294967295 134512640 134702520 3221223712 3220903068 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 3879 3148 413 48 0 3831 0
[pid=5791] vsize: 15516
Current children cumulated CPU time (s) 800.34
Current children cumulated vsize (Kb) 17644
[startup+840.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 3217 0 0 0 3499 12 0 0 25 0 1 0 20648397 16048128 3187 4294967295 134512640 134702520 3221223712 3220745468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5791/statm): 3918 3187 413 48 0 3870 0
[pid=5791] vsize: 15672
Current children cumulated CPU time (s) 810.34
Current children cumulated vsize (Kb) 17800
[startup+850.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 3258 0 0 0 4499 12 0 0 25 0 1 0 20648397 16216064 3228 4294967295 134512640 134702520 3221223712 3220578268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5791/statm): 3959 3228 413 48 0 3911 0
[pid=5791] vsize: 15836
Current children cumulated CPU time (s) 820.34
Current children cumulated vsize (Kb) 17964
[startup+860.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 3303 0 0 0 5499 12 0 0 25 0 1 0 20648397 16400384 3273 4294967295 134512640 134702520 3221223712 3220390908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5791/statm): 4004 3273 413 48 0 3956 0
[pid=5791] vsize: 16016
Current children cumulated CPU time (s) 830.34
Current children cumulated vsize (Kb) 18144
[startup+870.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 3354 0 0 0 6499 12 0 0 25 0 1 0 20648397 16609280 3324 4294967295 134512640 134702520 3221223712 3220183708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5791/statm): 4055 3324 413 48 0 4007 0
[pid=5791] vsize: 16220
Current children cumulated CPU time (s) 840.34
Current children cumulated vsize (Kb) 18348
[startup+880.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 3411 0 0 0 7499 13 0 0 25 0 1 0 20648397 16842752 3381 4294967295 134512640 134702520 3221223712 3219948668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5791/statm): 4112 3381 413 48 0 4064 0
[pid=5791] vsize: 16448
Current children cumulated CPU time (s) 850.35
Current children cumulated vsize (Kb) 18576
[startup+890.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 3479 0 0 0 8499 13 0 0 25 0 1 0 20648397 17121280 3449 4294967295 134512640 134702520 3221223712 3219670588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5791/statm): 4180 3449 413 48 0 4132 0
[pid=5791] vsize: 16720
Current children cumulated CPU time (s) 860.35
Current children cumulated vsize (Kb) 18848
[startup+900.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 3567 0 0 0 9499 13 0 0 25 0 1 0 20648397 17481728 3537 4294967295 134512640 134702520 3221223712 3219309788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5791/statm): 4268 3537 413 48 0 4220 0
[pid=5791] vsize: 17072
Current children cumulated CPU time (s) 870.35
Current children cumulated vsize (Kb) 19200
[startup+910.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 3746 0 0 0 10499 14 0 0 25 0 1 0 20648397 18214912 3716 4294967295 134512640 134702520 3221223712 3218576348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5791/statm): 4447 3716 413 48 0 4399 0
[pid=5791] vsize: 17788
Current children cumulated CPU time (s) 880.36
Current children cumulated vsize (Kb) 19916
[startup+920.054 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) T 5786 5786 4005 0 -1 0 4024 0 0 0 10787 242 0 0 16 0 1 0 20648397 31019008 3967 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5791/statm): 7573 3967 413 48 0 7525 0
[pid=5791] vsize: 30292
Current children cumulated CPU time (s) 885.52
Current children cumulated vsize (Kb) 32420
[startup+930.054 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4027 0 0 0 11476 341 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3221149868 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 893.4
Current children cumulated vsize (Kb) 32428
[startup+940.055 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4027 0 0 0 12476 341 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3221009068 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 903.4
Current children cumulated vsize (Kb) 32428
[startup+950.055 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4027 0 0 0 13477 341 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3220859628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 913.41
Current children cumulated vsize (Kb) 32428
[startup+960.055 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4027 0 0 0 14477 341 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3220700128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 923.41
Current children cumulated vsize (Kb) 32428
[startup+970.055 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4027 0 0 0 15477 341 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3220528768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 933.41
Current children cumulated vsize (Kb) 32428
[startup+980.056 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4027 0 0 0 16477 341 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3220342528 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 943.41
Current children cumulated vsize (Kb) 32428
[startup+990.056 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4027 0 0 0 17477 341 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3220136588 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 953.41
Current children cumulated vsize (Kb) 32428
[startup+1000.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4027 0 0 0 18478 341 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3219903148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 963.42
Current children cumulated vsize (Kb) 32428
[startup+1010.06 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4027 0 0 0 19478 341 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3219627168 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 973.42
Current children cumulated vsize (Kb) 32428
[startup+1020.06 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4027 0 0 0 20478 341 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3219269548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 983.42
Current children cumulated vsize (Kb) 32428
[startup+1030.06 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4027 0 0 0 21478 341 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3218560128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 993.42
Current children cumulated vsize (Kb) 32428
[startup+1040.06 s]
Raw data (loadavg): 1.09 1.02 1.01 1/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) T 5786 5786 4005 0 -1 0 4028 0 0 0 21754 571 0 0 16 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 998.48
Current children cumulated vsize (Kb) 32428
[startup+1050.06 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4028 0 0 0 22466 665 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3221146348 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 1006.54
Current children cumulated vsize (Kb) 32428
[startup+1060.06 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4028 0 0 0 23466 665 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3221005388 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 1016.54
Current children cumulated vsize (Kb) 32428
[startup+1070.06 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4028 0 0 0 24466 665 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3220855808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 1026.54
Current children cumulated vsize (Kb) 32428
[startup+1080.06 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4028 0 0 0 25466 665 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3220696108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 1036.54
Current children cumulated vsize (Kb) 32428
[startup+1090.06 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4028 0 0 0 26466 665 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3220524608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 1046.54
Current children cumulated vsize (Kb) 32428
[startup+1100.06 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4028 0 0 0 27466 665 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3220338048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 1056.54
Current children cumulated vsize (Kb) 32428
[startup+1110.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4028 0 0 0 28466 665 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3220131788 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 1066.54
Current children cumulated vsize (Kb) 32428
[startup+1120.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4028 0 0 0 29466 665 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3219898048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 1076.54
Current children cumulated vsize (Kb) 32428
[startup+1130.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4028 0 0 0 30466 665 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3219621228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 1086.54
Current children cumulated vsize (Kb) 32428
[startup+1140.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4028 0 0 0 31467 665 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3219261868 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 1096.55
Current children cumulated vsize (Kb) 32428
[startup+1150.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4028 0 0 0 32467 665 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3218526688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 1106.55
Current children cumulated vsize (Kb) 32428
[startup+1160.07 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) T 5786 5786 4005 0 -1 0 4030 0 0 0 32728 896 0 0 16 0 1 0 20648397 31031296 3971 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5791/statm): 7576 3971 413 48 0 7528 0
[pid=5791] vsize: 30304
Current children cumulated CPU time (s) 1111.47
Current children cumulated vsize (Kb) 32432
[startup+1170.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4030 0 0 0 32975 1131 0 0 16 0 1 0 20648397 31031296 3971 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7576 3971 413 48 0 7528 0
[pid=5791] vsize: 30304
Current children cumulated CPU time (s) 1116.29
Current children cumulated vsize (Kb) 32432
[startup+1180.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4030 0 0 0 33873 1159 0 0 25 0 1 0 20648397 31031296 3971 4294967295 134512640 134702520 3221223712 3221112128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7576 3971 413 48 0 7528 0
[pid=5791] vsize: 30304
Current children cumulated CPU time (s) 1125.55
Current children cumulated vsize (Kb) 32432
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4030 0 0 0 34873 1159 0 0 25 0 1 0 20648397 31031296 3971 4294967295 134512640 134702520 3221223712 3220969088 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7576 3971 413 48 0 7528 0
[pid=5791] vsize: 30304
Current children cumulated CPU time (s) 1135.55
Current children cumulated vsize (Kb) 32432
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4030 0 0 0 35873 1159 0 0 25 0 1 0 20648397 31031296 3971 4294967295 134512640 134702520 3221223712 3220817408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7576 3971 413 48 0 7528 0
[pid=5791] vsize: 30304
Current children cumulated CPU time (s) 1145.55
Current children cumulated vsize (Kb) 32432
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4030 0 0 0 36873 1159 0 0 25 0 1 0 20648397 31031296 3971 4294967295 134512640 134702520 3221223712 3220654988 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7576 3971 413 48 0 7528 0
[pid=5791] vsize: 30304
Current children cumulated CPU time (s) 1155.55
Current children cumulated vsize (Kb) 32432
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4030 0 0 0 37874 1160 0 0 25 0 1 0 20648397 31031296 3971 4294967295 134512640 134702520 3221223712 3220480268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7576 3971 413 48 0 7528 0
[pid=5791] vsize: 30304
Current children cumulated CPU time (s) 1165.57
Current children cumulated vsize (Kb) 32432
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 3/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4030 0 0 0 38874 1160 0 0 25 0 1 0 20648397 31031296 3971 4294967295 134512640 134702520 3221223712 3220289568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7576 3971 413 48 0 7528 0
[pid=5791] vsize: 30304
Current children cumulated CPU time (s) 1175.57
Current children cumulated vsize (Kb) 32432
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4030 0 0 0 39874 1160 0 0 25 0 1 0 20648397 31031296 3971 4294967295 134512640 134702520 3221223712 3220077708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7576 3971 413 48 0 7528 0
[pid=5791] vsize: 30304
Current children cumulated CPU time (s) 1185.57
Current children cumulated vsize (Kb) 32432
[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4030 0 0 0 40874 1160 0 0 25 0 1 0 20648397 31031296 3971 4294967295 134512640 134702520 3221223712 3219835488 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7576 3971 413 48 0 7528 0
[pid=5791] vsize: 30304
Current children cumulated CPU time (s) 1195.57
Current children cumulated vsize (Kb) 32432
[startup+1260.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4030 0 0 0 41874 1160 0 0 25 0 1 0 20648397 31031296 3971 4294967295 134512640 134702520 3221223712 3219544268 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7576 3971 413 48 0 7528 0
[pid=5791] vsize: 30304
Current children cumulated CPU time (s) 1205.57
Current children cumulated vsize (Kb) 32432
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1260.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4030 0 0 0 41874 1160 0 0 25 0 1 0 20648397 31031296 3971 4294967295 134512640 134702520 3221223712 3219544268 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7576 3971 413 48 0 7528 0
[pid=5791] vsize: 30304
Current children cumulated CPU time (s) 1205.57
Current children cumulated vsize (Kb) 32432
Sending SIGTERM to -5786
Sleeping 2 seconds
New process pid=5793
New process pid=5794
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/3987/stat
open syscall for file /proc/3987/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/3987/cmdline
open syscall for file /proc/3987/environ
open syscall for file /proc/4013/stat
open syscall for file /proc/4013/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4013/cmdline
open syscall for file /proc/4013/environ
open syscall for file /proc/5747/stat
open syscall for file /proc/5747/status
open syscall for file /proc/5747/cmdline
open syscall for file /proc/5747/environ
open syscall for file /proc/5785/stat
open syscall for file /proc/5785/status
open syscall for file /proc/5785/cmdline
open syscall for file /proc/5785/environ
open syscall for file /proc/5786/stat
open syscall for file /proc/5786/status
open syscall for file /proc/5786/cmdline
open syscall for file /proc/5786/environ
open syscall for file /proc/5791/stat
open syscall for file /proc/5791/status
open syscall for file /proc/5791/cmdline
open syscall for file /proc/5791/environ
open syscall for file /proc/5793/stat
open syscall for file /proc/5793/status
open syscall for file /proc/5793/cmdline
open syscall for file /proc/5793/environ
open syscall for file /proc/5794/stat
open syscall for file /proc/5794/status
open syscall for file /proc/5794/cmdline
open syscall for file /proc/5794/environ
One traced child (pid=5793) exited with status: 0
One traced child (pid=5794) exited with status: 0
New process pid=5795
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=5795) exited with status: 0
New process pid=5796
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=5796) exited with status: 0
One traced child (pid=5786) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -5786
One traced child (pid=5791) 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): 1262.09
CPU time (s): 432.355
CPU user time (s): 420.745
CPU system time (s): 11.6102
CPU usage (%): 34.2571
Max. virtual memory (cumulated for all children) (Kb): 37556