1:
seed: 0
Nr of vars set: 282 (#equs: 0)
Nr of vars set: 1586 (#equs: 3070)
#decisions: 177481; #end-nodes: 114597;
#proof improvement attempts: 0; #restarts: 672
Current batch, end-nodes: 0 / 247 (247)
#axs: 16491, #non-axs: 10981
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: 1586 (#equs: 3415)
Time taken: 6 min, 9 sec
2:
seed: 0
Nr of vars set: 1586 (#equs: 0)
Nr of vars set: 1586 (#equs: 1)
Interupt request received.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 1586 (#equs: 2)
Time taken: 13 min, 53 sec
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) R 23547 23548 16528 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1843140083 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23548/statm): 174 3 169 147 0 27 0
[pid=23548] 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=23549
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=23549) exited with status: 0
New process pid=23550
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=23550) exited with status: 0
New process pid=23551
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-par32-4.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0036 s]
Raw data (loadavg): 0.96 1.01 1.00 1/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 789 0 0 0 612 127 0 0 17 0 1 0 1843140091 4673536 759 4294967295 134512640 134702520 3221223968 3221223336 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23551/statm): 1141 759 413 48 0 1093 0
[pid=23551] vsize: 4564
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (Kb) 6692
[startup+20.0043 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 789 0 0 0 1261 241 0 0 22 0 1 0 1843140091 4673536 759 4294967295 134512640 134702520 3221223968 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23551/statm): 1141 759 413 48 0 1093 0
[pid=23551] vsize: 4564
Current children cumulated CPU time (s) 15.04
Current children cumulated vsize (Kb) 6692
[startup+30.006 s]
Raw data (loadavg): 1.04 1.02 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 824 0 0 0 2113 291 0 0 19 0 1 0 1843140091 7385088 794 4294967295 134512640 134702520 3221223968 3221222864 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23551/statm): 1803 794 413 48 0 1755 0
[pid=23551] vsize: 7212
Current children cumulated CPU time (s) 24.06
Current children cumulated vsize (Kb) 9340
[startup+40.0067 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 868 0 0 0 2949 343 0 0 25 0 1 0 1843140091 7462912 838 4294967295 134512640 134702520 3221223968 3221223248 134556507 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23551/statm): 1822 838 413 48 0 1774 0
[pid=23551] vsize: 7288
Current children cumulated CPU time (s) 32.94
Current children cumulated vsize (Kb) 9416
[startup+50.0084 s]
Raw data (loadavg): 1.10 1.04 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 897 0 0 0 3689 429 0 0 17 0 1 0 1843140091 7561216 867 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23551/statm): 1846 867 413 48 0 1798 0
[pid=23551] vsize: 7384
Current children cumulated CPU time (s) 41.2
Current children cumulated vsize (Kb) 9512
[startup+60.009 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 898 0 0 0 4307 551 0 0 21 0 1 0 1843140091 7561216 868 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23551/statm): 1846 868 413 48 0 1798 0
[pid=23551] vsize: 7384
Current children cumulated CPU time (s) 48.6
Current children cumulated vsize (Kb) 9512
[startup+70.0097 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 901 0 0 0 5129 608 0 0 18 0 1 0 1843140091 7561216 871 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23551/statm): 1846 871 413 48 0 1798 0
[pid=23551] vsize: 7384
Current children cumulated CPU time (s) 57.39
Current children cumulated vsize (Kb) 9512
[startup+80.0114 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 911 0 0 0 6003 650 0 0 25 0 1 0 1843140091 7561216 881 4294967295 134512640 134702520 3221223968 3221223248 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23551/statm): 1846 881 413 48 0 1798 0
[pid=23551] vsize: 7384
Current children cumulated CPU time (s) 66.55
Current children cumulated vsize (Kb) 9512
[startup+90.0121 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 939 0 0 0 6876 691 0 0 25 0 1 0 1843140091 7561216 909 4294967295 134512640 134702520 3221223968 3221223232 134557412 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23551/statm): 1846 909 413 48 0 1798 0
[pid=23551] vsize: 7384
Current children cumulated CPU time (s) 75.69
Current children cumulated vsize (Kb) 9512
[startup+100.014 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 948 0 0 0 7519 811 0 0 17 0 1 0 1843140091 7712768 918 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23551/statm): 1883 918 413 48 0 1835 0
[pid=23551] vsize: 7532
Current children cumulated CPU time (s) 83.32
Current children cumulated vsize (Kb) 9660
[startup+110.014 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 950 0 0 0 8238 904 0 0 22 0 1 0 1843140091 7712768 920 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23551/statm): 1883 920 413 48 0 1835 0
[pid=23551] vsize: 7532
Current children cumulated CPU time (s) 91.44
Current children cumulated vsize (Kb) 9660
[startup+120.015 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 957 0 0 0 9127 945 0 0 25 0 1 0 1843140091 7675904 927 4294967295 134512640 134702520 3221223968 3221127904 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23551/statm): 1874 927 413 48 0 1826 0
[pid=23551] vsize: 7496
Current children cumulated CPU time (s) 100.74
Current children cumulated vsize (Kb) 9624
[startup+130.017 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 963 0 0 0 9995 989 0 0 25 0 1 0 1843140091 7675904 933 4294967295 134512640 134702520 3221223968 3221223088 134572603 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23551/statm): 1874 933 413 48 0 1826 0
[pid=23551] vsize: 7496
Current children cumulated CPU time (s) 109.86
Current children cumulated vsize (Kb) 9624
[startup+140.018 s]
Raw data (loadavg): 1.09 1.04 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 978 0 0 0 10874 1031 0 0 25 0 1 0 1843140091 7819264 948 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23551/statm): 1909 948 413 48 0 1861 0
[pid=23551] vsize: 7636
Current children cumulated CPU time (s) 119.07
Current children cumulated vsize (Kb) 9764
[startup+150.019 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 989 0 0 0 11545 1140 0 0 18 0 1 0 1843140091 7819264 959 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23551/statm): 1909 959 413 48 0 1861 0
[pid=23551] vsize: 7636
Current children cumulated CPU time (s) 126.87
Current children cumulated vsize (Kb) 9764
[startup+160.02 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 990 0 0 0 12243 1238 0 0 18 0 1 0 1843140091 7819264 960 4294967295 134512640 134702520 3221223968 3221222864 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23551/statm): 1909 960 413 48 0 1861 0
[pid=23551] vsize: 7636
Current children cumulated CPU time (s) 134.83
Current children cumulated vsize (Kb) 9764
[startup+170.02 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 990 0 0 0 13111 1282 0 0 25 0 1 0 1843140091 7819264 960 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23551/statm): 1909 960 413 48 0 1861 0
[pid=23551] vsize: 7636
Current children cumulated CPU time (s) 143.95
Current children cumulated vsize (Kb) 9764
[startup+180.021 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 995 0 0 0 13990 1323 0 0 20 0 1 0 1843140091 7819264 965 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23551/statm): 1909 965 413 48 0 1861 0
[pid=23551] vsize: 7636
Current children cumulated CPU time (s) 153.15
Current children cumulated vsize (Kb) 9764
[startup+190.022 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 1003 0 0 0 14907 1351 0 0 25 0 1 0 1843140091 7819264 973 4294967295 134512640 134702520 3221223968 3221223248 134552370 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23551/statm): 1909 973 413 48 0 1861 0
[pid=23551] vsize: 7636
Current children cumulated CPU time (s) 162.6
Current children cumulated vsize (Kb) 9764
[startup+200.023 s]
Raw data (loadavg): 1.11 1.05 1.00 1/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 1023 0 0 0 15770 1398 0 0 17 0 1 0 1843140091 7966720 993 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23551/statm): 1945 993 413 48 0 1897 0
[pid=23551] vsize: 7780
Current children cumulated CPU time (s) 171.7
Current children cumulated vsize (Kb) 9908
[startup+210.023 s]
Raw data (loadavg): 1.09 1.04 1.00 1/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 1024 0 0 0 16338 1541 0 0 19 0 1 0 1843140091 7966720 994 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23551/statm): 1945 994 413 48 0 1897 0
[pid=23551] vsize: 7780
Current children cumulated CPU time (s) 178.81
Current children cumulated vsize (Kb) 9908
[startup+220.024 s]
Raw data (loadavg): 1.08 1.04 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 1024 0 0 0 17167 1601 0 0 25 0 1 0 1843140091 7950336 994 4294967295 134512640 134702520 3221223968 3221223248 134557196 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23551/statm): 1941 994 413 48 0 1893 0
[pid=23551] vsize: 7764
Current children cumulated CPU time (s) 187.7
Current children cumulated vsize (Kb) 9892
[startup+230.025 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 1025 0 0 0 18059 1635 0 0 19 0 1 0 1843140091 7950336 995 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23551/statm): 1941 995 413 48 0 1893 0
[pid=23551] vsize: 7764
Current children cumulated CPU time (s) 196.96
Current children cumulated vsize (Kb) 9892
[startup+240.025 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 1036 0 0 0 18971 1665 0 0 25 0 1 0 1843140091 7950336 1006 4294967295 134512640 134702520 3221223968 3221223248 134557293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23551/statm): 1941 1006 413 48 0 1893 0
[pid=23551] vsize: 7764
Current children cumulated CPU time (s) 206.38
Current children cumulated vsize (Kb) 9892
[startup+250.027 s]
Raw data (loadavg): 1.04 1.04 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 1044 0 0 0 19889 1694 0 0 25 0 1 0 1843140091 7950336 1014 4294967295 134512640 134702520 3221223968 3221223296 134617472 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23551/statm): 1941 1014 413 48 0 1893 0
[pid=23551] vsize: 7764
Current children cumulated CPU time (s) 215.85
Current children cumulated vsize (Kb) 9892
[startup+260.028 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 1059 0 0 0 20708 1756 0 0 18 0 1 0 1843140091 8101888 1029 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23551/statm): 1978 1029 413 48 0 1930 0
[pid=23551] vsize: 7912
Current children cumulated CPU time (s) 224.66
Current children cumulated vsize (Kb) 10040
[startup+270.028 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 1061 0 0 0 21294 1891 0 0 21 0 1 0 1843140091 8101888 1031 4294967295 134512640 134702520 3221223968 3221222724 134553847 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23551/statm): 1978 1031 413 48 0 1930 0
[pid=23551] vsize: 7912
Current children cumulated CPU time (s) 231.87
Current children cumulated vsize (Kb) 10040
[startup+280.029 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 1061 0 0 0 22133 1946 0 0 25 0 1 0 1843140091 8081408 1031 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23551/statm): 1973 1031 413 48 0 1925 0
[pid=23551] vsize: 7892
Current children cumulated CPU time (s) 240.81
Current children cumulated vsize (Kb) 10020
[startup+290.03 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 1063 0 0 0 23054 1970 0 0 24 0 1 0 1843140091 8081408 1033 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23551/statm): 1973 1033 413 48 0 1925 0
[pid=23551] vsize: 7892
Current children cumulated CPU time (s) 250.26
Current children cumulated vsize (Kb) 10020
[startup+300.03 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 1110 0 0 0 23933 2011 0 0 25 0 1 0 1843140091 8269824 1080 4294967295 134512640 134702520 3221223968 3221223248 134557289 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23551/statm): 2019 1080 413 48 0 1971 0
[pid=23551] vsize: 8076
Current children cumulated CPU time (s) 259.46
Current children cumulated vsize (Kb) 10204
[startup+310.032 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 1182 0 0 0 24855 2038 0 0 25 0 1 0 1843140091 8462336 1152 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23551/statm): 2066 1152 413 48 0 2018 0
[pid=23551] vsize: 8264
Current children cumulated CPU time (s) 268.95
Current children cumulated vsize (Kb) 10392
[startup+320.033 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 1247 0 0 0 25787 2061 0 0 25 0 1 0 1843140091 8671232 1217 4294967295 134512640 134702520 3221223968 3221223360 134606401 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23551/statm): 2117 1217 413 48 0 2069 0
[pid=23551] vsize: 8468
Current children cumulated CPU time (s) 278.5
Current children cumulated vsize (Kb) 10596
[startup+330.034 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 1287 0 0 0 26538 2145 0 0 18 0 1 0 1843140091 8806400 1257 4294967295 134512640 134702520 3221223968 3221222832 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23551/statm): 2150 1257 413 48 0 2102 0
[pid=23551] vsize: 8600
Current children cumulated CPU time (s) 286.85
Current children cumulated vsize (Kb) 10728
[startup+340.034 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 1287 0 0 0 27190 2257 0 0 22 0 1 0 1843140091 8806400 1257 4294967295 134512640 134702520 3221223968 3221222736 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23551/statm): 2150 1257 413 48 0 2102 0
[pid=23551] vsize: 8600
Current children cumulated CPU time (s) 294.49
Current children cumulated vsize (Kb) 10728
[startup+350.035 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 1287 0 0 0 28078 2296 0 0 25 0 1 0 1843140091 8806400 1257 4294967295 134512640 134702520 3221223968 3221195564 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23551/statm): 2150 1257 413 48 0 2102 0
[pid=23551] vsize: 8600
Current children cumulated CPU time (s) 303.76
Current children cumulated vsize (Kb) 10728
[startup+360.036 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 1287 0 0 0 28989 2326 0 0 23 0 1 0 1843140091 8806400 1257 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23551/statm): 2150 1257 413 48 0 2102 0
[pid=23551] vsize: 8600
Current children cumulated CPU time (s) 313.17
Current children cumulated vsize (Kb) 10728
[startup+370.036 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 1287 0 0 0 29906 2355 0 0 18 0 1 0 1843140091 8806400 1257 4294967295 134512640 134702520 3221223968 3221222804 134549007 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23551/statm): 2150 1257 413 48 0 2102 0
[pid=23551] vsize: 8600
Current children cumulated CPU time (s) 322.63
Current children cumulated vsize (Kb) 10728
[startup+380.037 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 1312 0 0 0 30847 2375 0 0 24 0 1 0 1843140091 9011200 1282 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23551/statm): 2200 1282 413 48 0 2152 0
[pid=23551] vsize: 8800
Current children cumulated CPU time (s) 332.24
Current children cumulated vsize (Kb) 10928
[startup+390.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 1370 0 0 0 31781 2396 0 0 25 0 1 0 1843140091 9175040 1340 4294967295 134512640 134702520 3221223968 3221207724 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23551/statm): 2240 1340 413 48 0 2192 0
[pid=23551] vsize: 8960
Current children cumulated CPU time (s) 341.79
Current children cumulated vsize (Kb) 11088
[startup+400.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 1424 0 0 0 32715 2419 0 0 25 0 1 0 1843140091 9486336 1394 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23551/statm): 2316 1394 413 48 0 2268 0
[pid=23551] vsize: 9264
Current children cumulated CPU time (s) 351.36
Current children cumulated vsize (Kb) 11392
[startup+410.039 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 1437 0 0 0 33426 2516 0 0 18 0 1 0 1843140091 9486336 1407 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23551/statm): 2316 1407 413 48 0 2268 0
[pid=23551] vsize: 9264
Current children cumulated CPU time (s) 359.44
Current children cumulated vsize (Kb) 11392
[startup+420.04 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 1437 0 0 0 34106 2626 0 0 21 0 1 0 1843140091 9486336 1407 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23551/statm): 2316 1407 413 48 0 2268 0
[pid=23551] vsize: 9264
Current children cumulated CPU time (s) 367.34
Current children cumulated vsize (Kb) 11392
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=23551) exited with status: 2
New process pid=23552
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=23552) exited with status: 0
New process pid=23553
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
[startup+430.041 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 753 0 0 0 433 97 0 0 17 0 1 0 1843182364 5083136 724 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23553/statm): 1241 724 413 48 0 1193 0
[pid=23553] vsize: 4964
Current children cumulated CPU time (s) 375
Current children cumulated vsize (Kb) 7092
[startup+440.042 s]
Raw data (loadavg): 1.12 1.04 1.01 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 812 0 0 0 929 258 0 0 22 0 1 0 1843182364 8933376 783 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2181 783 413 48 0 2133 0
[pid=23553] vsize: 8724
Current children cumulated CPU time (s) 381.57
Current children cumulated vsize (Kb) 10852
[startup+450.043 s]
Raw data (loadavg): 1.11 1.04 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 880 0 0 0 1792 303 0 0 25 0 1 0 1843182364 9633792 851 4294967295 134512640 134702520 3221223712 3221222992 134551042 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2352 851 413 48 0 2304 0
[pid=23553] vsize: 9408
Current children cumulated CPU time (s) 390.65
Current children cumulated vsize (Kb) 11536
[startup+460.044 s]
Raw data (loadavg): 1.17 1.06 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 924 0 0 0 2657 350 0 0 25 0 1 0 1843182364 9633792 895 4294967295 134512640 134702520 3221223712 3221059008 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2352 895 413 48 0 2304 0
[pid=23553] vsize: 9408
Current children cumulated CPU time (s) 399.77
Current children cumulated vsize (Kb) 11536
[startup+470.044 s]
Raw data (loadavg): 1.14 1.06 1.01 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 944 0 0 0 3384 439 0 0 17 0 1 0 1843182364 9756672 915 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2382 915 413 48 0 2334 0
[pid=23553] vsize: 9528
Current children cumulated CPU time (s) 407.93
Current children cumulated vsize (Kb) 11656
[startup+480.046 s]
Raw data (loadavg): 1.19 1.07 1.02 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 946 0 0 0 3809 626 0 0 24 0 1 0 1843182364 9756672 917 4294967295 134512640 134702520 3221223712 3221222992 134552175 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2382 917 413 48 0 2334 0
[pid=23553] vsize: 9528
Current children cumulated CPU time (s) 414.05
Current children cumulated vsize (Kb) 11656
[startup+490.046 s]
Raw data (loadavg): 1.16 1.07 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 946 0 0 0 4651 677 0 0 25 0 1 0 1843182364 9756672 917 4294967295 134512640 134702520 3221223712 3221182988 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2382 917 413 48 0 2334 0
[pid=23553] vsize: 9528
Current children cumulated CPU time (s) 422.98
Current children cumulated vsize (Kb) 11656
[startup+500.048 s]
Raw data (loadavg): 1.14 1.06 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 948 0 0 0 5509 724 0 0 25 0 1 0 1843182364 9756672 919 4294967295 134512640 134702520 3221223712 3220983628 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2382 919 413 48 0 2334 0
[pid=23553] vsize: 9528
Current children cumulated CPU time (s) 432.03
Current children cumulated vsize (Kb) 11656
[startup+510.049 s]
Raw data (loadavg): 1.12 1.06 1.01 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 956 0 0 0 6193 826 0 0 17 0 1 0 1843182364 9756672 927 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2382 927 413 48 0 2334 0
[pid=23553] vsize: 9528
Current children cumulated CPU time (s) 439.89
Current children cumulated vsize (Kb) 11656
[startup+520.049 s]
Raw data (loadavg): 1.10 1.06 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 958 0 0 0 6636 1003 0 0 25 0 1 0 1843182364 9756672 929 4294967295 134512640 134702520 3221223712 3221189392 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2382 929 413 48 0 2334 0
[pid=23553] vsize: 9528
Current children cumulated CPU time (s) 446.09
Current children cumulated vsize (Kb) 11656
[startup+530.05 s]
Raw data (loadavg): 1.16 1.07 1.02 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 959 0 0 0 7473 1057 0 0 25 0 1 0 1843182364 9756672 930 4294967295 134512640 134702520 3221223712 3221138348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2382 930 413 48 0 2334 0
[pid=23553] vsize: 9528
Current children cumulated CPU time (s) 455
Current children cumulated vsize (Kb) 11656
[startup+540.051 s]
Raw data (loadavg): 1.13 1.07 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 959 0 0 0 8309 1109 0 0 25 0 1 0 1843182364 9756672 930 4294967295 134512640 134702520 3221223712 3221113236 134611990 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2382 930 413 48 0 2334 0
[pid=23553] vsize: 9528
Current children cumulated CPU time (s) 463.88
Current children cumulated vsize (Kb) 11656
[startup+550.053 s]
Raw data (loadavg): 1.11 1.07 1.01 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 960 0 0 0 8941 1233 0 0 17 0 1 0 1843182364 9756672 931 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2382 931 413 48 0 2334 0
[pid=23553] vsize: 9528
Current children cumulated CPU time (s) 471.44
Current children cumulated vsize (Kb) 11656
[startup+560.053 s]
Raw data (loadavg): 1.17 1.08 1.02 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 960 0 0 0 9421 1406 0 0 25 0 1 0 1843182364 9756672 931 4294967295 134512640 134702520 3221223712 3221195948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2382 931 413 48 0 2334 0
[pid=23553] vsize: 9528
Current children cumulated CPU time (s) 477.97
Current children cumulated vsize (Kb) 11656
[startup+570.054 s]
Raw data (loadavg): 1.14 1.08 1.02 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 960 0 0 0 10266 1460 0 0 25 0 1 0 1843182364 9756672 931 4294967295 134512640 134702520 3221223712 3221077888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2382 931 413 48 0 2334 0
[pid=23553] vsize: 9528
Current children cumulated CPU time (s) 486.96
Current children cumulated vsize (Kb) 11656
[startup+580.056 s]
Raw data (loadavg): 1.12 1.07 1.02 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 966 0 0 0 11103 1514 0 0 25 0 1 0 1843182364 9756672 937 4294967295 134512640 134702520 3221223712 3221080272 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2382 937 413 48 0 2334 0
[pid=23553] vsize: 9528
Current children cumulated CPU time (s) 495.87
Current children cumulated vsize (Kb) 11656
[startup+590.055 s]
Raw data (loadavg): 1.10 1.07 1.02 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 971 0 0 0 11832 1600 0 0 16 0 1 0 1843182364 9756672 942 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2382 942 413 48 0 2334 0
[pid=23553] vsize: 9528
Current children cumulated CPU time (s) 504.02
Current children cumulated vsize (Kb) 11656
[startup+600.057 s]
Raw data (loadavg): 1.08 1.07 1.01 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 972 0 0 0 12235 1794 0 0 25 0 1 0 1843182364 9822208 943 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2398 943 413 48 0 2350 0
[pid=23553] vsize: 9592
Current children cumulated CPU time (s) 509.99
Current children cumulated vsize (Kb) 11720
[startup+610.058 s]
Raw data (loadavg): 1.07 1.07 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 977 0 0 0 13069 1849 0 0 25 0 1 0 1843182364 9822208 948 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2398 948 413 48 0 2350 0
[pid=23553] vsize: 9592
Current children cumulated CPU time (s) 518.88
Current children cumulated vsize (Kb) 11720
[startup+620.057 s]
Raw data (loadavg): 1.06 1.06 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 980 0 0 0 13918 1900 0 0 19 0 1 0 1843182364 9822208 951 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2398 951 413 48 0 2350 0
[pid=23553] vsize: 9592
Current children cumulated CPU time (s) 527.88
Current children cumulated vsize (Kb) 11720
[startup+630.058 s]
Raw data (loadavg): 1.05 1.06 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 984 0 0 0 14814 1936 0 0 25 0 1 0 1843182364 9822208 955 4294967295 134512640 134702520 3221223712 3221215628 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2398 955 413 48 0 2350 0
[pid=23553] vsize: 9592
Current children cumulated CPU time (s) 537.2
Current children cumulated vsize (Kb) 11720
[startup+640.059 s]
Raw data (loadavg): 1.12 1.07 1.02 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 985 0 0 0 15269 2113 0 0 16 0 1 0 1843182364 9822208 956 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2398 956 413 48 0 2350 0
[pid=23553] vsize: 9592
Current children cumulated CPU time (s) 543.52
Current children cumulated vsize (Kb) 11720
[startup+650.059 s]
Raw data (loadavg): 1.10 1.07 1.01 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 986 0 0 0 15944 2215 0 0 25 0 1 0 1843182364 9822208 957 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2398 957 413 48 0 2350 0
[pid=23553] vsize: 9592
Current children cumulated CPU time (s) 551.29
Current children cumulated vsize (Kb) 11720
[startup+660.06 s]
Raw data (loadavg): 1.09 1.07 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 987 0 0 0 16782 2266 0 0 21 0 1 0 1843182364 9822208 958 4294967295 134512640 134702520 3221223712 3221222992 134557214 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2398 958 413 48 0 2350 0
[pid=23553] vsize: 9592
Current children cumulated CPU time (s) 560.18
Current children cumulated vsize (Kb) 11720
[startup+670.061 s]
Raw data (loadavg): 1.07 1.06 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 994 0 0 0 17671 2304 0 0 25 0 1 0 1843182364 9822208 965 4294967295 134512640 134702520 3221223712 3221166528 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2398 965 413 48 0 2350 0
[pid=23553] vsize: 9592
Current children cumulated CPU time (s) 569.45
Current children cumulated vsize (Kb) 11720
[startup+680.061 s]
Raw data (loadavg): 1.06 1.06 1.01 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 995 0 0 0 18488 2362 0 0 17 0 1 0 1843182364 9822208 966 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2398 966 413 48 0 2350 0
[pid=23553] vsize: 9592
Current children cumulated CPU time (s) 578.2
Current children cumulated vsize (Kb) 11720
[startup+690.062 s]
Raw data (loadavg): 1.05 1.06 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 997 0 0 0 18838 2570 0 0 16 0 1 0 1843182364 9822208 968 4294967295 134512640 134702520 3221223712 3221222636 134519982 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2398 968 413 48 0 2350 0
[pid=23553] vsize: 9592
Current children cumulated CPU time (s) 583.78
Current children cumulated vsize (Kb) 11720
[startup+700.063 s]
Raw data (loadavg): 1.04 1.06 1.01 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 998 0 0 0 19693 2615 0 0 25 0 1 0 1843182364 9822208 969 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2398 969 413 48 0 2350 0
[pid=23553] vsize: 9592
Current children cumulated CPU time (s) 592.78
Current children cumulated vsize (Kb) 11720
[startup+710.063 s]
Raw data (loadavg): 1.11 1.07 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1022 0 0 0 20552 2663 0 0 25 0 1 0 1843182364 9822208 993 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2398 993 413 48 0 2350 0
[pid=23553] vsize: 9592
Current children cumulated CPU time (s) 601.85
Current children cumulated vsize (Kb) 11720
[startup+720.064 s]
Raw data (loadavg): 1.09 1.07 1.01 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1130 0 0 0 21458 2695 0 0 25 0 1 0 1843182364 10334208 1101 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2523 1101 413 48 0 2475 0
[pid=23553] vsize: 10092
Current children cumulated CPU time (s) 611.23
Current children cumulated vsize (Kb) 12220
[startup+730.066 s]
Raw data (loadavg): 1.08 1.06 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1223 0 0 0 22380 2721 0 0 25 0 1 0 1843182364 10448896 1194 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2551 1194 413 48 0 2503 0
[pid=23553] vsize: 10204
Current children cumulated CPU time (s) 620.71
Current children cumulated vsize (Kb) 12332
[startup+740.067 s]
Raw data (loadavg): 1.07 1.06 1.01 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1236 0 0 0 22938 2859 0 0 16 0 1 0 1843182364 10960896 1207 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2676 1207 413 48 0 2628 0
[pid=23553] vsize: 10704
Current children cumulated CPU time (s) 627.67
Current children cumulated vsize (Kb) 12832
[startup+750.068 s]
Raw data (loadavg): 1.06 1.06 1.01 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1238 0 0 0 23566 2979 0 0 25 0 1 0 1843182364 11030528 1209 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2693 1209 413 48 0 2645 0
[pid=23553] vsize: 10772
Current children cumulated CPU time (s) 635.15
Current children cumulated vsize (Kb) 12900
[startup+760.069 s]
Raw data (loadavg): 1.05 1.06 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1241 0 0 0 24436 3023 0 0 18 0 1 0 1843182364 11030528 1212 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2693 1212 413 48 0 2645 0
[pid=23553] vsize: 10772
Current children cumulated CPU time (s) 644.29
Current children cumulated vsize (Kb) 12900
[startup+770.069 s]
Raw data (loadavg): 1.04 1.05 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1251 0 0 0 25350 3053 0 0 25 0 1 0 1843182364 11030528 1222 4294967295 134512640 134702520 3221223712 3221222992 134550747 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2693 1222 413 48 0 2645 0
[pid=23553] vsize: 10772
Current children cumulated CPU time (s) 653.73
Current children cumulated vsize (Kb) 12900
[startup+780.07 s]
Raw data (loadavg): 1.03 1.05 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1271 0 0 0 26275 3078 0 0 25 0 1 0 1843182364 11030528 1242 4294967295 134512640 134702520 3221223712 3221222960 134564365 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2693 1242 413 48 0 2645 0
[pid=23553] vsize: 10772
Current children cumulated CPU time (s) 663.23
Current children cumulated vsize (Kb) 12900
[startup+790.071 s]
Raw data (loadavg): 1.03 1.05 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1350 0 0 0 27207 3100 0 0 24 0 1 0 1843182364 11165696 1321 4294967295 134512640 134702520 3221223712 3221222800 134564365 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2726 1321 413 48 0 2678 0
[pid=23553] vsize: 10904
Current children cumulated CPU time (s) 672.77
Current children cumulated vsize (Kb) 13032
[startup+800.072 s]
Raw data (loadavg): 1.02 1.05 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1434 0 0 0 28172 3113 0 0 25 0 1 0 1843182364 11165696 1398 4294967295 134512640 134702520 3221223712 3221172428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2726 1398 413 48 0 2678 0
[pid=23553] vsize: 10904
Current children cumulated CPU time (s) 682.55
Current children cumulated vsize (Kb) 13032
[startup+810.073 s]
Raw data (loadavg): 1.02 1.05 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1437 0 0 0 28663 3277 0 0 16 0 1 0 1843182364 11317248 1401 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2763 1401 413 48 0 2715 0
[pid=23553] vsize: 11052
Current children cumulated CPU time (s) 689.1
Current children cumulated vsize (Kb) 13180
[startup+820.073 s]
Raw data (loadavg): 1.02 1.04 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1441 0 0 0 29352 3377 0 0 25 0 1 0 1843182364 11296768 1405 4294967295 134512640 134702520 3221223712 3220960908 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2758 1405 413 48 0 2710 0
[pid=23553] vsize: 11032
Current children cumulated CPU time (s) 696.99
Current children cumulated vsize (Kb) 13160
[startup+830.074 s]
Raw data (loadavg): 1.01 1.04 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1441 0 0 0 30259 3408 0 0 21 0 1 0 1843182364 11296768 1405 4294967295 134512640 134702520 3221223712 3221222736 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2758 1405 413 48 0 2710 0
[pid=23553] vsize: 11032
Current children cumulated CPU time (s) 706.37
Current children cumulated vsize (Kb) 13160
[startup+840.074 s]
Raw data (loadavg): 1.08 1.06 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1441 0 0 0 31164 3439 0 0 18 0 1 0 1843182364 11296768 1405 4294967295 134512640 134702520 3221223712 3221222608 134557470 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2758 1405 413 48 0 2710 0
[pid=23553] vsize: 11032
Current children cumulated CPU time (s) 715.73
Current children cumulated vsize (Kb) 13160
[startup+850.076 s]
Raw data (loadavg): 1.07 1.06 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1447 0 0 0 32117 3456 0 0 25 0 1 0 1843182364 11296768 1411 4294967295 134512640 134702520 3221223712 3221169248 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2758 1411 413 48 0 2710 0
[pid=23553] vsize: 11032
Current children cumulated CPU time (s) 725.43
Current children cumulated vsize (Kb) 13160
[startup+860.077 s]
Raw data (loadavg): 1.06 1.05 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1455 0 0 0 33047 3481 0 0 25 0 1 0 1843182364 11296768 1419 4294967295 134512640 134702520 3221223712 3221222824 134574449 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2758 1419 413 48 0 2710 0
[pid=23553] vsize: 11032
Current children cumulated CPU time (s) 734.98
Current children cumulated vsize (Kb) 13160
[startup+870.077 s]
Raw data (loadavg): 1.05 1.05 1.00 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1491 0 0 0 33980 3504 0 0 25 0 1 0 1843182364 11808768 1455 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2883 1455 413 48 0 2835 0
[pid=23553] vsize: 11532
Current children cumulated CPU time (s) 744.54
Current children cumulated vsize (Kb) 13660
[startup+880.078 s]
Raw data (loadavg): 1.04 1.05 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1527 0 0 0 34680 3602 0 0 17 0 1 0 1843182364 11808768 1491 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2883 1491 413 48 0 2835 0
[pid=23553] vsize: 11532
Current children cumulated CPU time (s) 752.52
Current children cumulated vsize (Kb) 13660
[startup+890.079 s]
Raw data (loadavg): 1.03 1.05 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1529 0 0 0 35171 3769 0 0 25 0 1 0 1843182364 11898880 1493 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2905 1493 413 48 0 2857 0
[pid=23553] vsize: 11620
Current children cumulated CPU time (s) 759.1
Current children cumulated vsize (Kb) 13748
[startup+900.081 s]
Raw data (loadavg): 1.03 1.05 1.00 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1529 0 0 0 36088 3795 0 0 25 0 1 0 1843182364 11898880 1493 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2905 1493 413 48 0 2857 0
[pid=23553] vsize: 11620
Current children cumulated CPU time (s) 768.53
Current children cumulated vsize (Kb) 13748
[startup+910.081 s]
Raw data (loadavg): 1.02 1.04 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1529 0 0 0 37015 3820 0 0 25 0 1 0 1843182364 11898880 1493 4294967295 134512640 134702520 3221223712 3221222992 134557378 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2905 1493 413 48 0 2857 0
[pid=23553] vsize: 11620
Current children cumulated CPU time (s) 778.05
Current children cumulated vsize (Kb) 13748
[startup+920.082 s]
Raw data (loadavg): 1.02 1.04 1.00 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1532 0 0 0 37977 3832 0 0 24 0 1 0 1843182364 11898880 1496 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2905 1496 413 48 0 2857 0
[pid=23553] vsize: 11620
Current children cumulated CPU time (s) 787.79
Current children cumulated vsize (Kb) 13748
[startup+930.084 s]
Raw data (loadavg): 1.02 1.04 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1535 0 0 0 38903 3857 0 0 25 0 1 0 1843182364 11898880 1499 4294967295 134512640 134702520 3221223712 3221222960 134564365 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2905 1499 413 48 0 2857 0
[pid=23553] vsize: 11620
Current children cumulated CPU time (s) 797.3
Current children cumulated vsize (Kb) 13748
[startup+940.084 s]
Raw data (loadavg): 1.01 1.04 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1541 0 0 0 39841 3878 0 0 25 0 1 0 1843182364 11898880 1505 4294967295 134512640 134702520 3221223712 3221222992 134557183 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2905 1505 413 48 0 2857 0
[pid=23553] vsize: 11620
Current children cumulated CPU time (s) 806.89
Current children cumulated vsize (Kb) 13748
[startup+950.086 s]
Raw data (loadavg): 1.01 1.04 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1546 0 0 0 40780 3902 0 0 25 0 1 0 1843182364 11898880 1510 4294967295 134512640 134702520 3221223712 3221222960 134564346 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2905 1510 413 48 0 2857 0
[pid=23553] vsize: 11620
Current children cumulated CPU time (s) 816.52
Current children cumulated vsize (Kb) 13748
[startup+960.087 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1553 0 0 0 41746 3913 0 0 25 0 1 0 1843182364 11898880 1517 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2905 1517 413 48 0 2857 0
[pid=23553] vsize: 11620
Current children cumulated CPU time (s) 826.29
Current children cumulated vsize (Kb) 13748
[startup+970.087 s]
Raw data (loadavg): 1.09 1.05 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1555 0 0 0 42305 4059 0 0 17 0 1 0 1843182364 12034048 1519 4294967295 134512640 134702520 3221223712 3221222608 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2938 1519 413 48 0 2890 0
[pid=23553] vsize: 11752
Current children cumulated CPU time (s) 833.34
Current children cumulated vsize (Kb) 13880
[startup+980.088 s]
Raw data (loadavg): 1.07 1.05 1.00 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1557 0 0 0 42937 4179 0 0 25 0 1 0 1843182364 11997184 1521 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2929 1521 413 48 0 2881 0
[pid=23553] vsize: 11716
Current children cumulated CPU time (s) 840.86
Current children cumulated vsize (Kb) 13844
[startup+990.089 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1557 0 0 0 43895 4194 0 0 25 0 1 0 1843182364 11997184 1521 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2929 1521 413 48 0 2881 0
[pid=23553] vsize: 11716
Current children cumulated CPU time (s) 850.59
Current children cumulated vsize (Kb) 13844
[startup+1000.09 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1557 0 0 0 44813 4222 0 0 25 0 1 0 1843182364 11997184 1521 4294967295 134512640 134702520 3221223712 3221222992 134551042 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2929 1521 413 48 0 2881 0
[pid=23553] vsize: 11716
Current children cumulated CPU time (s) 860.05
Current children cumulated vsize (Kb) 13844
[startup+1010.09 s]
Raw data (loadavg): 1.04 1.04 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1558 0 0 0 45740 4248 0 0 25 0 1 0 1843182364 11997184 1522 4294967295 134512640 134702520 3221223712 3221222992 134550404 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2929 1522 413 48 0 2881 0
[pid=23553] vsize: 11716
Current children cumulated CPU time (s) 869.58
Current children cumulated vsize (Kb) 13844
[startup+1020.09 s]
Raw data (loadavg): 1.04 1.04 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1558 0 0 0 46706 4260 0 0 25 0 1 0 1843182364 11997184 1522 4294967295 134512640 134702520 3221223712 3221118848 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2929 1522 413 48 0 2881 0
[pid=23553] vsize: 11716
Current children cumulated CPU time (s) 879.36
Current children cumulated vsize (Kb) 13844
[startup+1030.09 s]
Raw data (loadavg): 1.03 1.04 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1561 0 0 0 47631 4286 0 0 25 0 1 0 1843182364 11997184 1525 4294967295 134512640 134702520 3221223712 3221222960 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2929 1525 413 48 0 2881 0
[pid=23553] vsize: 11716
Current children cumulated CPU time (s) 888.87
Current children cumulated vsize (Kb) 13844
[startup+1040.09 s]
Raw data (loadavg): 1.02 1.04 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1565 0 0 0 48566 4310 0 0 25 0 1 0 1843182364 11997184 1529 4294967295 134512640 134702520 3221223712 3221222992 134551035 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2929 1529 413 48 0 2881 0
[pid=23553] vsize: 11716
Current children cumulated CPU time (s) 898.46
Current children cumulated vsize (Kb) 13844
[startup+1050.09 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1581 0 0 0 49526 4323 0 0 21 0 1 0 1843182364 11485184 1485 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2804 1485 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 908.19
Current children cumulated vsize (Kb) 13344
[startup+1060.09 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1582 0 0 0 49979 4503 0 0 16 0 1 0 1843182364 11485184 1486 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2804 1486 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 914.52
Current children cumulated vsize (Kb) 13344
[startup+1070.09 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1583 0 0 0 50720 4586 0 0 25 0 1 0 1843182364 11485184 1487 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2804 1487 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 922.76
Current children cumulated vsize (Kb) 13344
[startup+1080.09 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1583 0 0 0 51637 4615 0 0 25 0 1 0 1843182364 11485184 1487 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2804 1487 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 932.22
Current children cumulated vsize (Kb) 13344
[startup+1090.1 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1596 0 0 0 52560 4641 0 0 25 0 1 0 1843182364 11485184 1500 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2804 1500 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 941.71
Current children cumulated vsize (Kb) 13344
[startup+1100.1 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1596 0 0 0 53486 4666 0 0 25 0 1 0 1843182364 11485184 1500 4294967295 134512640 134702520 3221223712 3221222992 134552785 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2804 1500 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 951.22
Current children cumulated vsize (Kb) 13344
[startup+1110.1 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1596 0 0 0 54410 4690 0 0 25 0 1 0 1843182364 11485184 1500 4294967295 134512640 134702520 3221223712 3221222992 134557183 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2804 1500 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 960.7
Current children cumulated vsize (Kb) 13344
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1596 0 0 0 55332 4718 0 0 17 0 1 0 1843182364 11485184 1500 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2804 1500 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 970.2
Current children cumulated vsize (Kb) 13344
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1596 0 0 0 56288 4734 0 0 25 0 1 0 1843182364 11485184 1500 4294967295 134512640 134702520 3221223712 3221222992 134557446 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2804 1500 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 979.92
Current children cumulated vsize (Kb) 13344
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1596 0 0 0 56798 4895 0 0 17 0 1 0 1843182364 11485184 1500 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2804 1500 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 986.63
Current children cumulated vsize (Kb) 13344
[startup+1150.1 s]
Raw data (loadavg): 1.08 1.04 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1596 0 0 0 57469 5007 0 0 25 0 1 0 1843182364 11485184 1500 4294967295 134512640 134702520 3221223712 3221222992 134552115 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2804 1500 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 994.46
Current children cumulated vsize (Kb) 13344
[startup+1160.1 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1596 0 0 0 58370 5042 0 0 25 0 1 0 1843182364 11485184 1500 4294967295 134512640 134702520 3221223712 3221103328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2804 1500 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 1003.82
Current children cumulated vsize (Kb) 13344
[startup+1170.1 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1596 0 0 0 59227 5093 0 0 16 0 1 0 1843182364 11485184 1500 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2804 1500 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 1012.9
Current children cumulated vsize (Kb) 13344
[startup+1180.1 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1596 0 0 0 60133 5124 0 0 16 0 1 0 1843182364 11485184 1500 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2804 1500 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 1022.27
Current children cumulated vsize (Kb) 13344
[startup+1190.1 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1596 0 0 0 61037 5156 0 0 16 0 1 0 1843182364 11485184 1500 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2804 1500 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 1031.63
Current children cumulated vsize (Kb) 13344
[startup+1200.1 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1596 0 0 0 61932 5191 0 0 17 0 1 0 1843182364 11485184 1500 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2804 1500 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 1040.93
Current children cumulated vsize (Kb) 13344
[startup+1210.11 s]
Raw data (loadavg): 1.11 1.04 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1596 0 0 0 62227 5423 0 0 16 0 1 0 1843182364 11485184 1500 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2804 1500 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 1046.2
Current children cumulated vsize (Kb) 13344
[startup+1220.11 s]
Raw data (loadavg): 1.09 1.04 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1596 0 0 0 63081 5474 0 0 25 0 1 0 1843182364 11485184 1500 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2804 1500 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 1055.25
Current children cumulated vsize (Kb) 13344
[startup+1230.11 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1596 0 0 0 63957 5514 0 0 25 0 1 0 1843182364 11485184 1500 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2804 1500 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 1064.41
Current children cumulated vsize (Kb) 13344
[startup+1240.11 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1596 0 0 0 64844 5553 0 0 24 0 1 0 1843182364 11485184 1500 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2804 1500 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 1073.67
Current children cumulated vsize (Kb) 13344
[startup+1250.11 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1597 0 0 0 65675 5604 0 0 21 0 1 0 1843182364 11485184 1501 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2804 1501 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 1082.49
Current children cumulated vsize (Kb) 13344
[startup+1260.11 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1600 0 0 0 66542 5648 0 0 16 0 1 0 1843182364 11485184 1504 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2804 1504 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 1091.6
Current children cumulated vsize (Kb) 13344
[startup+1270.11 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1602 0 0 0 66863 5867 0 0 19 0 1 0 1843182364 11546624 1506 4294967295 134512640 134702520 3221223712 3221222992 134553947 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2819 1506 413 48 0 2771 0
[pid=23553] vsize: 11276
Current children cumulated CPU time (s) 1097
Current children cumulated vsize (Kb) 13404
[startup+1280.11 s]
Raw data (loadavg): 1.18 1.06 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1602 0 0 0 67734 5909 0 0 25 0 1 0 1843182364 11546624 1506 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2819 1506 413 48 0 2771 0
[pid=23553] vsize: 11276
Current children cumulated CPU time (s) 1106.13
Current children cumulated vsize (Kb) 13404
[startup+1290.11 s]
Raw data (loadavg): 1.16 1.06 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1602 0 0 0 68611 5949 0 0 25 0 1 0 1843182364 11546624 1506 4294967295 134512640 134702520 3221223712 3221222992 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2819 1506 413 48 0 2771 0
[pid=23553] vsize: 11276
Current children cumulated CPU time (s) 1115.3
Current children cumulated vsize (Kb) 13404
[startup+1300.11 s]
Raw data (loadavg): 1.13 1.06 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1605 0 0 0 69498 5989 0 0 25 0 1 0 1843182364 11546624 1509 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2819 1509 413 48 0 2771 0
[pid=23553] vsize: 11276
Current children cumulated CPU time (s) 1124.57
Current children cumulated vsize (Kb) 13404
[startup+1310.11 s]
Raw data (loadavg): 1.11 1.06 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1606 0 0 0 70379 6028 0 0 25 0 1 0 1843182364 11546624 1510 4294967295 134512640 134702520 3221223712 3221194028 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2819 1510 413 48 0 2771 0
[pid=23553] vsize: 11276
Current children cumulated CPU time (s) 1133.77
Current children cumulated vsize (Kb) 13404
[startup+1320.12 s]
Raw data (loadavg): 1.09 1.05 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1606 0 0 0 71270 6063 0 0 25 0 1 0 1843182364 11546624 1510 4294967295 134512640 134702520 3221223712 3221199968 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2819 1510 413 48 0 2771 0
[pid=23553] vsize: 11276
Current children cumulated CPU time (s) 1143.03
Current children cumulated vsize (Kb) 13404
[startup+1330.12 s]
Raw data (loadavg): 1.08 1.05 1.01 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1606 0 0 0 71631 6271 0 0 16 0 1 0 1843182364 11546624 1510 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2819 1510 413 48 0 2771 0
[pid=23553] vsize: 11276
Current children cumulated CPU time (s) 1148.72
Current children cumulated vsize (Kb) 13404
[startup+1340.12 s]
Raw data (loadavg): 1.14 1.07 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1608 0 0 0 72382 6354 0 0 20 0 1 0 1843182364 11546624 1512 4294967295 134512640 134702520 3221223712 3221222992 134552426 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2819 1512 413 48 0 2771 0
[pid=23553] vsize: 11276
Current children cumulated CPU time (s) 1157.06
Current children cumulated vsize (Kb) 13404
[startup+1350.12 s]
Raw data (loadavg): 1.12 1.06 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1608 0 0 0 73260 6394 0 0 25 0 1 0 1843182364 11546624 1512 4294967295 134512640 134702520 3221223712 3221222960 134564346 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2819 1512 413 48 0 2771 0
[pid=23553] vsize: 11276
Current children cumulated CPU time (s) 1166.24
Current children cumulated vsize (Kb) 13404
[startup+1360.12 s]
Raw data (loadavg): 1.10 1.06 1.01 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1609 0 0 0 74144 6434 0 0 25 0 1 0 1843182364 11546624 1513 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2819 1513 413 48 0 2771 0
[pid=23553] vsize: 11276
Current children cumulated CPU time (s) 1175.48
Current children cumulated vsize (Kb) 13404
[startup+1370.12 s]
Raw data (loadavg): 1.08 1.06 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1609 0 0 0 75029 6473 0 0 25 0 1 0 1843182364 11546624 1513 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2819 1513 413 48 0 2771 0
[pid=23553] vsize: 11276
Current children cumulated CPU time (s) 1184.72
Current children cumulated vsize (Kb) 13404
[startup+1380.12 s]
Raw data (loadavg): 1.07 1.06 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1609 0 0 0 75925 6506 0 0 25 0 1 0 1843182364 11546624 1513 4294967295 134512640 134702520 3221223712 3221222992 134557201 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2819 1513 413 48 0 2771 0
[pid=23553] vsize: 11276
Current children cumulated CPU time (s) 1194.01
Current children cumulated vsize (Kb) 13404
[startup+1390.12 s]
Raw data (loadavg): 1.06 1.05 1.00 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1618 0 0 0 76818 6539 0 0 16 0 1 0 1843182364 11546624 1522 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2819 1522 413 48 0 2771 0
[pid=23553] vsize: 11276
Current children cumulated CPU time (s) 1203.27
Current children cumulated vsize (Kb) 13404
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1390.12 s]
Raw data (loadavg): 1.06 1.05 1.00 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1618 0 0 0 76818 6539 0 0 16 0 1 0 1843182364 11546624 1522 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2819 1522 413 48 0 2771 0
[pid=23553] vsize: 11276
Current children cumulated CPU time (s) 1203.27
Current children cumulated vsize (Kb) 13404
Sending SIGTERM to -23548
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=23555
New process pid=23556
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/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/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/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/1282/stat
open syscall for file /proc/1282/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/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/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/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/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/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/15372/stat
open syscall for file /proc/15372/status
open syscall for file /proc/15372/cmdline
open syscall for file /proc/15372/environ
open syscall for file /proc/2659/stat
open syscall for file /proc/2659/status
open syscall for file /proc/2659/cmdline
open syscall for file /proc/2659/environ
open syscall for file /proc/2686/stat
open syscall for file /proc/2686/status
open syscall for file /proc/2686/cmdline
open syscall for file /proc/2686/environ
open syscall for file /proc/2710/stat
open syscall for file /proc/2710/status
open syscall for file /proc/2710/cmdline
open syscall for file /proc/2710/environ
open syscall for file /proc/30711/stat
open syscall for file /proc/30711/status
open syscall for file /proc/30711/cmdline
open syscall for file /proc/30711/environ
open syscall for file /proc/30712/stat
open syscall for file /proc/30712/status
open syscall for file /proc/30712/cmdline
open syscall for file /proc/30712/environ
open syscall for file /proc/704/stat
open syscall for file /proc/704/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/704/cmdline
open syscall for file /proc/704/environ
open syscall for file /proc/739/stat
open syscall for file /proc/739/status
open syscall for file /proc/739/cmdline
open syscall for file /proc/739/environ
open syscall for file /proc/16528/stat
open syscall for file /proc/16528/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/16528/cmdline
open syscall for file /proc/16528/environ
open syscall for file /proc/16529/stat
open syscall for file /proc/16529/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/16529/cmdline
open syscall for file /proc/16529/environ
open syscall for file /proc/16538/stat
open syscall for file /proc/16538/status
open syscall for file /proc/16538/cmdline
open syscall for file /proc/16538/environ
open syscall for file /proc/23511/stat
open syscall for file /proc/23511/status
open syscall for file /proc/23511/cmdline
open syscall for file /proc/23511/environ
open syscall for file /proc/23547/stat
open syscall for file /proc/23547/status
open syscall for file /proc/23547/cmdline
open syscall for file /proc/23547/environ
open syscall for file /proc/23548/stat
open syscall for file /proc/23548/status
open syscall for file /proc/23548/cmdline
open syscall for file /proc/23548/environ
open syscall for file /proc/23553/stat
open syscall for file /proc/23553/status
open syscall for file /proc/23553/cmdline
open syscall for file /proc/23553/environ
open syscall for file /proc/23555/stat
open syscall for file /proc/23555/status
open syscall for file /proc/23555/cmdline
open syscall for file /proc/23555/environ
open syscall for file /proc/23556/stat
open syscall for file /proc/23556/status
open syscall for file /proc/23556/cmdline
open syscall for file /proc/23556/environ
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=23555) exited with status: 0
One traced child (pid=23553) exited with status: 3
One traced child (pid=23556) exited with status: 0
New process pid=23557
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=23557) exited with status: 0
New process pid=23558
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=23558) exited with status: 0
One traced child (pid=23548) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1390.62
CPU time (s): 1203.51
CPU user time (s): 1111.53
CPU system time (s): 91.978
CPU usage (%): 86.5443
Max. virtual memory (cumulated for all children) (Kb): 13880