1:
seed: 0
Nr of vars set: 854 (#equs: 0)
Nr of vars set: 854 (#equs: 42)
#decisions: 3868366; #end-nodes: 64964;
#proof improvement attempts: 0; #restarts: 384
Current batch, end-nodes: 0 / 185 (175)
#axs: 9315, #non-axs: 13260
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: 855 (#equs: 128)
Time taken: 6 min, 23 sec
2:
seed: 0
Nr of vars set: 864 (#equs: 0)
Nr of vars set: 864 (#equs: 17)
#decisions: 2609534; #end-nodes: 51260;
#proof improvement attempts: 0; #restarts: 288
Current batch, end-nodes: 0 / 210 (191)
#axs: 9239, #non-axs: 15525
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: 868 (#equs: 54)
Time taken: 4 min, 46 sec
3:
Error: changing-setting file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options couldn't be opened.
No such file or directory
seed: 0
Nr of vars set: 868 (#equs: 0)
Nr of vars set: 868 (#equs: 4)
Interupt request received.
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 874 (#equs: 50)
Time taken: 8 min, 48 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/4560/stat): 4560 (vallstSAT2005PB) R 4559 4560 4005 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19474328 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4560/statm): 174 3 169 147 0 27 0
[pid=4560] 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=4561
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=4561) exited with status: 0
New process pid=4562
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=4562) exited with status: 0
New process pid=4563
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/wulflinc32/normalized-mps-v2-20-10-neos12.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0033 s]
Raw data (loadavg): 0.94 0.98 0.91 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 1904 0 0 0 871 45 0 0 25 0 1 0 19474335 10211328 1808 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 2493 1808 413 48 0 2445 0
[pid=4563] vsize: 9972
Current children cumulated CPU time (s) 9.18
Current children cumulated vsize (Kb) 12100
[startup+20.005 s]
Raw data (loadavg): 0.95 0.98 0.91 2/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 1904 0 0 0 1806 66 0 0 25 0 1 0 19474335 10211328 1808 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 2493 1808 413 48 0 2445 0
[pid=4563] vsize: 9972
Current children cumulated CPU time (s) 18.74
Current children cumulated vsize (Kb) 12100
[startup+30.0058 s]
Raw data (loadavg): 1.03 1.00 0.91 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 1952 0 0 0 2365 210 0 0 16 0 1 0 19474335 20910080 1856 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5105 1856 413 48 0 5057 0
[pid=4563] vsize: 20420
Current children cumulated CPU time (s) 25.77
Current children cumulated vsize (Kb) 22548
[startup+40.0065 s]
Raw data (loadavg): 1.03 1.00 0.91 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 1960 0 0 0 2960 339 0 0 16 0 1 0 19474335 20910080 1864 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4563/statm): 5105 1864 413 48 0 5057 0
[pid=4563] vsize: 20420
Current children cumulated CPU time (s) 33.01
Current children cumulated vsize (Kb) 22548
[startup+50.0073 s]
Raw data (loadavg): 1.02 1.00 0.91 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 1964 0 0 0 3560 471 0 0 16 0 1 0 19474335 20910080 1868 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4563/statm): 5105 1868 413 48 0 5057 0
[pid=4563] vsize: 20420
Current children cumulated CPU time (s) 40.33
Current children cumulated vsize (Kb) 22548
[startup+60.008 s]
Raw data (loadavg): 1.02 1.00 0.91 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 1968 0 0 0 4141 611 0 0 16 0 1 0 19474335 20910080 1872 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5105 1872 413 48 0 5057 0
[pid=4563] vsize: 20420
Current children cumulated CPU time (s) 47.54
Current children cumulated vsize (Kb) 22548
[startup+70.0088 s]
Raw data (loadavg): 1.01 1.00 0.91 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 1978 0 0 0 4691 758 0 0 16 0 1 0 19474335 20910080 1882 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4563/statm): 5105 1882 413 48 0 5057 0
[pid=4563] vsize: 20420
Current children cumulated CPU time (s) 54.51
Current children cumulated vsize (Kb) 22548
[startup+80.0095 s]
Raw data (loadavg): 1.01 1.00 0.91 2/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) R 4560 4560 4005 0 -1 0 1983 0 0 0 5288 884 0 0 16 0 1 0 19474335 20910080 1887 4294967295 134512640 134702520 3221223952 3221223232 134553404 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5105 1887 413 48 0 5057 0
[pid=4563] vsize: 20420
Current children cumulated CPU time (s) 61.74
Current children cumulated vsize (Kb) 22548
[startup+90.0093 s]
Raw data (loadavg): 1.01 1.00 0.91 2/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) R 4560 4560 4005 0 -1 0 1994 0 0 0 5894 1012 0 0 16 0 1 0 19474335 20910080 1898 4294967295 134512640 134702520 3221223952 3221222976 134553147 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4563/statm): 5105 1898 413 48 0 5057 0
[pid=4563] vsize: 20420
Current children cumulated CPU time (s) 69.08
Current children cumulated vsize (Kb) 22548
[startup+100.01 s]
Raw data (loadavg): 1.01 1.00 0.91 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2003 0 0 0 6453 1158 0 0 16 0 1 0 19474335 20910080 1907 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5105 1907 413 48 0 5057 0
[pid=4563] vsize: 20420
Current children cumulated CPU time (s) 76.13
Current children cumulated vsize (Kb) 22548
[startup+110.011 s]
Raw data (loadavg): 1.01 1.00 0.91 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2012 0 0 0 7079 1282 0 0 15 0 1 0 19474335 20910080 1916 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4563/statm): 5105 1916 413 48 0 5057 0
[pid=4563] vsize: 20420
Current children cumulated CPU time (s) 83.63
Current children cumulated vsize (Kb) 22548
[startup+120.013 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2025 0 0 0 7702 1405 0 0 15 0 1 0 19474335 20910080 1929 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5105 1929 413 48 0 5057 0
[pid=4563] vsize: 20420
Current children cumulated CPU time (s) 91.09
Current children cumulated vsize (Kb) 22548
[startup+130.013 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) R 4560 4560 4005 0 -1 0 2027 0 0 0 8562 1450 0 0 20 0 1 0 19474335 20910080 1931 4294967295 134512640 134702520 3221223952 3221222848 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5105 1931 413 48 0 5057 0
[pid=4563] vsize: 20420
Current children cumulated CPU time (s) 100.14
Current children cumulated vsize (Kb) 22548
[startup+140.013 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2027 0 0 0 9417 1495 0 0 15 0 1 0 19474335 20910080 1931 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4563/statm): 5105 1931 413 48 0 5057 0
[pid=4563] vsize: 20420
Current children cumulated CPU time (s) 109.14
Current children cumulated vsize (Kb) 22548
[startup+150.014 s]
Raw data (loadavg): 1.08 1.02 0.92 2/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) R 4560 4560 4005 0 -1 0 2027 0 0 0 9931 1655 0 0 15 0 1 0 19474335 20910080 1931 4294967295 134512640 134702520 3221223952 3221223352 134607256 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5105 1931 413 48 0 5057 0
[pid=4563] vsize: 20420
Current children cumulated CPU time (s) 115.88
Current children cumulated vsize (Kb) 22548
[startup+160.016 s]
Raw data (loadavg): 1.07 1.02 0.92 2/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) R 4560 4560 4005 0 -1 0 2028 0 0 0 10504 1789 0 0 15 0 1 0 19474335 20914176 1932 4294967295 134512640 134702520 3221223952 3221223352 134606953 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4563/statm): 5106 1932 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 122.95
Current children cumulated vsize (Kb) 22552
[startup+170.016 s]
Raw data (loadavg): 1.06 1.01 0.92 2/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2028 0 0 0 11064 1933 0 0 16 0 1 0 19474335 20914176 1932 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4563/statm): 5106 1932 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 22552
[startup+180.017 s]
Raw data (loadavg): 1.05 1.01 0.92 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2028 0 0 0 11602 2086 0 0 16 0 1 0 19474335 20914176 1932 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4563/statm): 5106 1932 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 136.9
Current children cumulated vsize (Kb) 22552
[startup+190.018 s]
Raw data (loadavg): 1.04 1.01 0.92 2/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) R 4560 4560 4005 0 -1 0 2028 0 0 0 12177 2226 0 0 16 0 1 0 19474335 20914176 1932 4294967295 134512640 134702520 3221223952 3221222976 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5106 1932 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 144.05
Current children cumulated vsize (Kb) 22552
[startup+200.019 s]
Raw data (loadavg): 1.03 1.01 0.92 2/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) R 4560 4560 4005 0 -1 0 2028 0 0 0 12795 2352 0 0 16 0 1 0 19474335 20914176 1932 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5106 1932 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 151.49
Current children cumulated vsize (Kb) 22552
[startup+210.019 s]
Raw data (loadavg): 1.03 1.01 0.92 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2028 0 0 0 13437 2464 0 0 16 0 1 0 19474335 20914176 1932 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5106 1932 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 159.03
Current children cumulated vsize (Kb) 22552
[startup+220.021 s]
Raw data (loadavg): 1.02 1.01 0.92 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2032 0 0 0 14043 2589 0 0 15 0 1 0 19474335 20914176 1936 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4563/statm): 5106 1936 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 166.34
Current children cumulated vsize (Kb) 22552
[startup+230.022 s]
Raw data (loadavg): 1.02 1.01 0.92 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2039 0 0 0 14623 2726 0 0 16 0 1 0 19474335 20914176 1943 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5106 1943 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 173.51
Current children cumulated vsize (Kb) 22552
[startup+240.023 s]
Raw data (loadavg): 1.02 1.01 0.92 2/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) R 4560 4560 4005 0 -1 0 2051 0 0 0 15199 2858 0 0 16 0 1 0 19474335 20914176 1955 4294967295 134512640 134702520 3221223952 3221223232 134553816 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5106 1955 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 180.59
Current children cumulated vsize (Kb) 22552
[startup+250.023 s]
Raw data (loadavg): 1.01 1.01 0.92 2/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2053 0 0 0 16025 2917 0 0 20 0 1 0 19474335 20914176 1957 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5106 1957 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 189.44
Current children cumulated vsize (Kb) 22552
[startup+260.024 s]
Raw data (loadavg): 1.01 1.01 0.92 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2053 0 0 0 16919 2950 0 0 15 0 1 0 19474335 20914176 1957 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5106 1957 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 198.71
Current children cumulated vsize (Kb) 22552
[startup+270.025 s]
Raw data (loadavg): 1.01 1.00 0.92 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2053 0 0 0 17432 3108 0 0 15 0 1 0 19474335 20914176 1957 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4563/statm): 5106 1957 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 205.42
Current children cumulated vsize (Kb) 22552
[startup+280.026 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) R 4560 4560 4005 0 -1 0 2053 0 0 0 17994 3253 0 0 16 0 1 0 19474335 20914176 1957 4294967295 134512640 134702520 3221223952 3221223232 134553320 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4563/statm): 5106 1957 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 212.49
Current children cumulated vsize (Kb) 22552
[startup+290.025 s]
Raw data (loadavg): 1.08 1.02 0.92 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2053 0 0 0 18520 3408 0 0 15 0 1 0 19474335 20914176 1957 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5106 1957 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 219.3
Current children cumulated vsize (Kb) 22552
[startup+300.026 s]
Raw data (loadavg): 1.15 1.03 0.93 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2053 0 0 0 19085 3548 0 0 16 0 1 0 19474335 20914176 1957 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4563/statm): 5106 1957 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 226.35
Current children cumulated vsize (Kb) 22552
[startup+310.027 s]
Raw data (loadavg): 1.12 1.03 0.93 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2053 0 0 0 19692 3680 0 0 16 0 1 0 19474335 20914176 1957 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4563/statm): 5106 1957 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 233.74
Current children cumulated vsize (Kb) 22552
[startup+320.028 s]
Raw data (loadavg): 1.10 1.03 0.93 2/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) R 4560 4560 4005 0 -1 0 2053 0 0 0 20287 3811 0 0 16 0 1 0 19474335 20914176 1957 4294967295 134512640 134702520 3221223952 3221222976 134553816 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5106 1957 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 241
Current children cumulated vsize (Kb) 22552
[startup+330.029 s]
Raw data (loadavg): 1.09 1.03 0.93 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2053 0 0 0 20876 3947 0 0 15 0 1 0 19474335 20914176 1957 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5106 1957 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 248.25
Current children cumulated vsize (Kb) 22552
[startup+340.029 s]
Raw data (loadavg): 1.07 1.03 0.93 2/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) R 4560 4560 4005 0 -1 0 2072 0 0 0 21513 4066 0 0 16 0 1 0 19474335 20914176 1976 4294967295 134512640 134702520 3221223952 3221223344 134604994 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5106 1976 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 255.81
Current children cumulated vsize (Kb) 22552
[startup+350.03 s]
Raw data (loadavg): 1.13 1.04 0.93 2/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) R 4560 4560 4005 0 -1 0 2104 0 0 0 22078 4211 0 0 16 0 1 0 19474335 20914176 2008 4294967295 134512640 134702520 3221223952 3221223232 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5106 2008 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 262.91
Current children cumulated vsize (Kb) 22552
[startup+360.031 s]
Raw data (loadavg): 1.11 1.04 0.93 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2125 0 0 0 22742 4322 0 0 15 0 1 0 19474335 20914176 2028 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5106 2028 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 270.66
Current children cumulated vsize (Kb) 22552
[startup+370.033 s]
Raw data (loadavg): 1.10 1.04 0.93 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2160 0 0 0 23409 4434 0 0 16 0 1 0 19474335 20914176 2063 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5106 2063 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 278.45
Current children cumulated vsize (Kb) 22552
[startup+380.034 s]
Raw data (loadavg): 1.08 1.04 0.93 2/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2161 0 0 0 24297 4472 0 0 20 0 1 0 19474335 21102592 2064 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5152 2064 413 48 0 5104 0
[pid=4563] vsize: 20608
Current children cumulated CPU time (s) 287.71
Current children cumulated vsize (Kb) 22736
[startup+390.033 s]
Raw data (loadavg): 1.07 1.04 0.93 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2161 0 0 0 25131 4526 0 0 15 0 1 0 19474335 20922368 2063 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5108 2063 413 48 0 5060 0
[pid=4563] vsize: 20432
Current children cumulated CPU time (s) 296.59
Current children cumulated vsize (Kb) 22560
[startup+400.034 s]
Raw data (loadavg): 1.06 1.03 0.93 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2161 0 0 0 25704 4666 0 0 16 0 1 0 19474335 20922368 2063 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5108 2063 413 48 0 5060 0
[pid=4563] vsize: 20432
Current children cumulated CPU time (s) 303.72
Current children cumulated vsize (Kb) 22560
[startup+410.035 s]
Raw data (loadavg): 1.12 1.05 0.94 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2162 0 0 0 26354 4782 0 0 16 0 1 0 19474335 20922368 2064 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5108 2064 413 48 0 5060 0
[pid=4563] vsize: 20432
Current children cumulated CPU time (s) 311.38
Current children cumulated vsize (Kb) 22560
[startup+420.037 s]
Raw data (loadavg): 1.10 1.05 0.94 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2163 0 0 0 27001 4899 0 0 15 0 1 0 19474335 21106688 2065 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5153 2065 413 48 0 5105 0
[pid=4563] vsize: 20612
Current children cumulated CPU time (s) 319.02
Current children cumulated vsize (Kb) 22740
[startup+430.037 s]
Raw data (loadavg): 1.17 1.06 0.95 2/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) R 4560 4560 4005 0 -1 0 2164 0 0 0 27614 5027 0 0 15 0 1 0 19474335 21016576 2065 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4563/statm): 5131 2065 413 48 0 5083 0
[pid=4563] vsize: 20524
Current children cumulated CPU time (s) 326.43
Current children cumulated vsize (Kb) 22652
[startup+440.037 s]
Raw data (loadavg): 1.14 1.06 0.95 2/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) R 4560 4560 4005 0 -1 0 2171 0 0 0 28332 5122 0 0 16 0 1 0 19474335 21016576 2072 4294967295 134512640 134702520 3221223952 3221223352 134606948 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4563/statm): 5131 2072 413 48 0 5083 0
[pid=4563] vsize: 20524
Current children cumulated CPU time (s) 334.56
Current children cumulated vsize (Kb) 22652
[startup+450.038 s]
Raw data (loadavg): 1.12 1.06 0.95 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2216 0 0 0 28980 5233 0 0 15 0 1 0 19474335 21016576 2117 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5131 2117 413 48 0 5083 0
[pid=4563] vsize: 20524
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (Kb) 22652
[startup+460.039 s]
Raw data (loadavg): 1.10 1.05 0.95 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2249 0 0 0 29724 5324 0 0 15 0 1 0 19474335 21016576 2150 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4563/statm): 5131 2150 413 48 0 5083 0
[pid=4563] vsize: 20524
Current children cumulated CPU time (s) 350.5
Current children cumulated vsize (Kb) 22652
[startup+470.041 s]
Raw data (loadavg): 1.08 1.05 0.95 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2281 0 0 0 30398 5425 0 0 16 0 1 0 19474335 21143552 2182 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5162 2182 413 48 0 5114 0
[pid=4563] vsize: 20648
Current children cumulated CPU time (s) 358.25
Current children cumulated vsize (Kb) 22776
[startup+480.042 s]
Raw data (loadavg): 1.07 1.05 0.95 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2324 0 0 0 31084 5526 0 0 16 0 1 0 19474335 21143552 2225 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5162 2225 413 48 0 5114 0
[pid=4563] vsize: 20648
Current children cumulated CPU time (s) 366.12
Current children cumulated vsize (Kb) 22776
[startup+490.041 s]
Raw data (loadavg): 1.06 1.05 0.95 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2334 0 0 0 31959 5571 0 0 21 0 1 0 19474335 21278720 2235 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5195 2235 413 48 0 5147 0
[pid=4563] vsize: 20780
Current children cumulated CPU time (s) 375.32
Current children cumulated vsize (Kb) 22908
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=4563) exited with status: 2
New process pid=4564
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=4564) exited with status: 0
New process pid=4565
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+500.043 s]
Raw data (loadavg): 1.05 1.05 0.95 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 147 0 0 0 69 2 0 0 25 0 1 0 19524263 1859584 118 4294967295 134512640 134702520 3221223712 3221223188 1074898590 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4565/statm): 454 118 413 48 0 406 0
[pid=4565] vsize: 1816
Current children cumulated CPU time (s) 385
Current children cumulated vsize (Kb) 3944
[startup+510.043 s]
Raw data (loadavg): 1.04 1.04 0.95 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) R 4560 4560 4005 0 -1 0 1852 0 0 0 954 46 0 0 25 0 1 0 19524263 10620928 1822 4294967295 134512640 134702520 3221223712 3221222848 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4565/statm): 2593 1822 413 48 0 2545 0
[pid=4565] vsize: 10372
Current children cumulated CPU time (s) 394.29
Current children cumulated vsize (Kb) 12500
[startup+520.044 s]
Raw data (loadavg): 1.03 1.04 0.95 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) R 4560 4560 4005 0 -1 0 1908 0 0 0 1860 78 0 0 19 0 1 0 19524263 22163456 1878 4294967295 134512640 134702520 3221223712 3221222960 134564365 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4565/statm): 5411 1878 413 48 0 5363 0
[pid=4565] vsize: 21644
Current children cumulated CPU time (s) 403.67
Current children cumulated vsize (Kb) 23772
[startup+530.045 s]
Raw data (loadavg): 1.03 1.04 0.95 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) R 4560 4560 4005 0 -1 0 1954 0 0 0 2545 179 0 0 22 0 1 0 19524263 22167552 1924 4294967295 134512640 134702520 3221223712 3221222736 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4565/statm): 5412 1924 413 48 0 5364 0
[pid=4565] vsize: 21648
Current children cumulated CPU time (s) 411.53
Current children cumulated vsize (Kb) 23776
[startup+540.045 s]
Raw data (loadavg): 1.02 1.04 0.95 1/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 1982 0 0 0 3201 289 0 0 17 0 1 0 19524263 22167552 1952 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4565/statm): 5412 1952 413 48 0 5364 0
[pid=4565] vsize: 21648
Current children cumulated CPU time (s) 419.19
Current children cumulated vsize (Kb) 23776
[startup+550.046 s]
Raw data (loadavg): 1.02 1.04 0.95 1/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 1998 0 0 0 3930 376 0 0 18 0 1 0 19524263 22167552 1968 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4565/statm): 5412 1968 413 48 0 5364 0
[pid=4565] vsize: 21648
Current children cumulated CPU time (s) 427.35
Current children cumulated vsize (Kb) 23776
[startup+560.047 s]
Raw data (loadavg): 1.02 1.03 0.95 1/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 2009 0 0 0 4592 481 0 0 19 0 1 0 19524263 22294528 1979 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4565/statm): 5443 1979 413 48 0 5395 0
[pid=4565] vsize: 21772
Current children cumulated CPU time (s) 435.02
Current children cumulated vsize (Kb) 23900
[startup+570.049 s]
Raw data (loadavg): 1.01 1.03 0.95 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) R 4560 4560 4005 0 -1 0 2030 0 0 0 5220 603 0 0 20 0 1 0 19524263 22294528 2000 4294967295 134512640 134702520 3221223712 3221222992 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4565/statm): 5443 2000 413 48 0 5395 0
[pid=4565] vsize: 21772
Current children cumulated CPU time (s) 442.52
Current children cumulated vsize (Kb) 23900
[startup+580.05 s]
Raw data (loadavg): 1.01 1.03 0.95 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) R 4560 4560 4005 0 -1 0 2052 0 0 0 5914 704 0 0 19 0 1 0 19524263 22294528 2022 4294967295 134512640 134702520 3221223712 3221223112 134606948 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4565/statm): 5443 2022 413 48 0 5395 0
[pid=4565] vsize: 21772
Current children cumulated CPU time (s) 450.47
Current children cumulated vsize (Kb) 23900
[startup+590.05 s]
Raw data (loadavg): 1.01 1.03 0.95 1/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 2071 0 0 0 6570 811 0 0 18 0 1 0 19524263 22294528 2041 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4565/statm): 5443 2041 413 48 0 5395 0
[pid=4565] vsize: 21772
Current children cumulated CPU time (s) 458.1
Current children cumulated vsize (Kb) 23900
[startup+600.052 s]
Raw data (loadavg): 1.01 1.03 0.95 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) R 4560 4560 4005 0 -1 0 2105 0 0 0 7251 914 0 0 25 0 1 0 19524263 22515712 2075 4294967295 134512640 134702520 3221223712 3221222736 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4565/statm): 5497 2075 413 48 0 5449 0
[pid=4565] vsize: 21988
Current children cumulated CPU time (s) 465.94
Current children cumulated vsize (Kb) 24116
[startup+610.053 s]
Raw data (loadavg): 1.01 1.03 0.95 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) R 4560 4560 4005 0 -1 0 2106 0 0 0 8142 951 0 0 25 0 1 0 19524263 22515712 2076 4294967295 134512640 134702520 3221223712 3221222608 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4565/statm): 5497 2076 413 48 0 5449 0
[pid=4565] vsize: 21988
Current children cumulated CPU time (s) 475.22
Current children cumulated vsize (Kb) 24116
[startup+620.054 s]
Raw data (loadavg): 1.08 1.04 0.95 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) R 4560 4560 4005 0 -1 0 2106 0 0 0 8938 1016 0 0 17 0 1 0 19524263 22425600 2075 4294967295 134512640 134702520 3221223712 3221222992 134552220 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4565/statm): 5475 2075 413 48 0 5427 0
[pid=4565] vsize: 21900
Current children cumulated CPU time (s) 483.83
Current children cumulated vsize (Kb) 24028
[startup+630.055 s]
Raw data (loadavg): 1.07 1.04 0.95 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) R 4560 4560 4005 0 -1 0 2106 0 0 0 9533 1152 0 0 19 0 1 0 19524263 22425600 2075 4294967295 134512640 134702520 3221223712 3221223112 134606953 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4565/statm): 5475 2075 413 48 0 5427 0
[pid=4565] vsize: 21900
Current children cumulated CPU time (s) 491.14
Current children cumulated vsize (Kb) 24028
[startup+640.056 s]
Raw data (loadavg): 1.06 1.04 0.95 1/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 2107 0 0 0 10186 1266 0 0 21 0 1 0 19524263 22425600 2076 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4565/statm): 5475 2076 413 48 0 5427 0
[pid=4565] vsize: 21900
Current children cumulated CPU time (s) 498.81
Current children cumulated vsize (Kb) 24028
[startup+650.056 s]
Raw data (loadavg): 1.05 1.04 0.95 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) R 4560 4560 4005 0 -1 0 2108 0 0 0 10857 1377 0 0 18 0 1 0 19524263 22425600 2077 4294967295 134512640 134702520 3221223712 3221223184 134657210 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4565/statm): 5475 2077 413 48 0 5427 0
[pid=4565] vsize: 21900
Current children cumulated CPU time (s) 506.63
Current children cumulated vsize (Kb) 24028
[startup+660.057 s]
Raw data (loadavg): 1.04 1.03 0.95 1/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 2110 0 0 0 11500 1491 0 0 16 0 1 0 19524263 22425600 2079 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4565/statm): 5475 2079 413 48 0 5427 0
[pid=4565] vsize: 21900
Current children cumulated CPU time (s) 514.2
Current children cumulated vsize (Kb) 24028
[startup+670.059 s]
Raw data (loadavg): 1.04 1.03 0.95 1/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 2113 0 0 0 12161 1600 0 0 15 0 1 0 19524263 22425600 2082 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4565/statm): 5475 2082 413 48 0 5427 0
[pid=4565] vsize: 21900
Current children cumulated CPU time (s) 521.9
Current children cumulated vsize (Kb) 24028
[startup+680.06 s]
Raw data (loadavg): 1.03 1.03 0.95 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) R 4560 4560 4005 0 -1 0 2114 0 0 0 12808 1713 0 0 16 0 1 0 19524263 22425600 2083 4294967295 134512640 134702520 3221223712 3221222992 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4565/statm): 5475 2083 413 48 0 5427 0
[pid=4565] vsize: 21900
Current children cumulated CPU time (s) 529.5
Current children cumulated vsize (Kb) 24028
[startup+690.061 s]
Raw data (loadavg): 1.02 1.03 0.95 1/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 2117 0 0 0 13462 1828 0 0 15 0 1 0 19524263 22425600 2086 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4565/statm): 5475 2086 413 48 0 5427 0
[pid=4565] vsize: 21900
Current children cumulated CPU time (s) 537.19
Current children cumulated vsize (Kb) 24028
[startup+700.062 s]
Raw data (loadavg): 1.02 1.03 0.95 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 2123 0 0 0 14107 1947 0 0 16 0 1 0 19524263 22515712 2092 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4565/statm): 5497 2092 413 48 0 5449 0
[pid=4565] vsize: 21988
Current children cumulated CPU time (s) 544.83
Current children cumulated vsize (Kb) 24116
[startup+710.063 s]
Raw data (loadavg): 1.02 1.03 0.95 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 2126 0 0 0 14683 2085 0 0 16 0 1 0 19524263 22515712 2095 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4565/statm): 5497 2095 413 48 0 5449 0
[pid=4565] vsize: 21988
Current children cumulated CPU time (s) 551.97
Current children cumulated vsize (Kb) 24116
[startup+720.064 s]
Raw data (loadavg): 1.01 1.03 0.95 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) R 4560 4560 4005 0 -1 0 2130 0 0 0 15520 2138 0 0 19 0 1 0 19524263 22695936 2099 4294967295 134512640 134702520 3221223712 3221222608 134552329 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4565/statm): 5541 2099 413 48 0 5493 0
[pid=4565] vsize: 22164
Current children cumulated CPU time (s) 560.87
Current children cumulated vsize (Kb) 24292
[startup+730.065 s]
Raw data (loadavg): 1.01 1.02 0.95 1/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 2130 0 0 0 16464 2157 0 0 19 0 1 0 19524263 22515712 2098 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4565/statm): 5497 2098 413 48 0 5449 0
[pid=4565] vsize: 21988
Current children cumulated CPU time (s) 570.5
Current children cumulated vsize (Kb) 24116
[startup+740.066 s]
Raw data (loadavg): 1.01 1.02 0.95 1/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 2132 0 0 0 17029 2298 0 0 16 0 1 0 19524263 22515712 2100 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4565/statm): 5497 2100 413 48 0 5449 0
[pid=4565] vsize: 21988
Current children cumulated CPU time (s) 577.56
Current children cumulated vsize (Kb) 24116
[startup+750.067 s]
Raw data (loadavg): 1.09 1.04 0.96 1/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 2132 0 0 0 17595 2432 0 0 16 0 1 0 19524263 22515712 2100 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4565/statm): 5497 2100 413 48 0 5449 0
[pid=4565] vsize: 21988
Current children cumulated CPU time (s) 584.56
Current children cumulated vsize (Kb) 24116
[startup+760.068 s]
Raw data (loadavg): 1.07 1.04 0.96 1/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 2133 0 0 0 18121 2584 0 0 15 0 1 0 19524263 22515712 2101 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4565/statm): 5497 2101 413 48 0 5449 0
[pid=4565] vsize: 21988
Current children cumulated CPU time (s) 591.34
Current children cumulated vsize (Kb) 24116
[startup+770.07 s]
Raw data (loadavg): 1.06 1.04 0.96 1/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 2134 0 0 0 18645 2740 0 0 16 0 1 0 19524263 22515712 2102 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4565/statm): 5497 2102 413 48 0 5449 0
[pid=4565] vsize: 21988
Current children cumulated CPU time (s) 598.14
Current children cumulated vsize (Kb) 24116
[startup+780.07 s]
Raw data (loadavg): 1.05 1.03 0.96 1/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 2136 0 0 0 19254 2864 0 0 15 0 1 0 19524263 22515712 2104 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4565/statm): 5497 2104 413 48 0 5449 0
[pid=4565] vsize: 21988
Current children cumulated CPU time (s) 605.47
Current children cumulated vsize (Kb) 24116
[startup+790.07 s]
Raw data (loadavg): 1.04 1.03 0.96 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) R 4560 4560 4005 0 -1 0 2138 0 0 0 19844 2997 0 0 16 0 1 0 19524263 22515712 2106 4294967295 134512640 134702520 3221223712 3221164112 134612230 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4565/statm): 5497 2106 413 48 0 5449 0
[pid=4565] vsize: 21988
Current children cumulated CPU time (s) 612.7
Current children cumulated vsize (Kb) 24116
[startup+800.071 s]
Raw data (loadavg): 1.04 1.03 0.96 1/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 2139 0 0 0 20420 3136 0 0 15 0 1 0 19524263 22515712 2107 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4565/statm): 5497 2107 413 48 0 5449 0
[pid=4565] vsize: 21988
Current children cumulated CPU time (s) 619.85
Current children cumulated vsize (Kb) 24116
[startup+810.072 s]
Raw data (loadavg): 1.03 1.03 0.96 1/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 2148 0 0 0 21092 3247 0 0 16 0 1 0 19524263 22515712 2116 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4565/statm): 5497 2116 413 48 0 5449 0
[pid=4565] vsize: 21988
Current children cumulated CPU time (s) 627.68
Current children cumulated vsize (Kb) 24116
[startup+820.073 s]
Raw data (loadavg): 1.02 1.03 0.96 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) R 4560 4560 4005 0 -1 0 2151 0 0 0 21722 3363 0 0 15 0 1 0 19524263 22515712 2119 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4565/statm): 5497 2119 413 48 0 5449 0
[pid=4565] vsize: 21988
Current children cumulated CPU time (s) 635.14
Current children cumulated vsize (Kb) 24116
[startup+830.073 s]
Raw data (loadavg): 1.02 1.03 0.96 1/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 2183 0 0 0 22392 3473 0 0 16 0 1 0 19524263 22716416 2151 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4565/statm): 5546 2151 413 48 0 5498 0
[pid=4565] vsize: 22184
Current children cumulated CPU time (s) 642.94
Current children cumulated vsize (Kb) 24312
[startup+840.074 s]
Raw data (loadavg): 1.02 1.03 0.96 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) R 4560 4560 4005 0 -1 0 2213 0 0 0 22995 3602 0 0 16 0 1 0 19524263 22626304 2181 4294967295 134512640 134702520 3221223712 3221223224 1074744847 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4565/statm): 5524 2181 413 48 0 5476 0
[pid=4565] vsize: 22096
Current children cumulated CPU time (s) 650.26
Current children cumulated vsize (Kb) 24224
[startup+850.075 s]
Raw data (loadavg): 1.01 1.02 0.96 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) R 4560 4560 4005 0 -1 0 2243 0 0 0 23722 3692 0 0 17 0 1 0 19524263 22806528 2211 4294967295 134512640 134702520 3221223712 3221222608 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4565/statm): 5568 2211 413 48 0 5520 0
[pid=4565] vsize: 22272
Current children cumulated CPU time (s) 658.43
Current children cumulated vsize (Kb) 24400
[startup+860.076 s]
Raw data (loadavg): 1.01 1.02 0.96 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) R 4560 4560 4005 0 -1 0 2243 0 0 0 24688 3705 0 0 25 0 1 0 19524263 22806528 2211 4294967295 134512640 134702520 3221223712 3221222548 134550182 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4565/statm): 5568 2211 413 48 0 5520 0
[pid=4565] vsize: 22272
Current children cumulated CPU time (s) 668.22
Current children cumulated vsize (Kb) 24400
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=4565) exited with status: 2
New process pid=4566
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=4566) exited with status: 0
New process pid=4567
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+870.077 s]
Raw data (loadavg): 1.01 1.02 0.96 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 1875 0 0 0 490 39 0 0 23 0 1 0 19560755 10727424 1846 4294967295 134512640 134702520 3221223712 3221222848 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4567/statm): 2619 1846 413 48 0 2571 0
[pid=4567] vsize: 10476
Current children cumulated CPU time (s) 677.5
Current children cumulated vsize (Kb) 12604
[startup+880.078 s]
Raw data (loadavg): 1.01 1.02 0.96 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 1879 0 0 0 1454 54 0 0 25 0 1 0 19560755 10727424 1850 4294967295 134512640 134702520 3221223712 3221222848 134552385 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4567/statm): 2619 1850 413 48 0 2571 0
[pid=4567] vsize: 10476
Current children cumulated CPU time (s) 687.29
Current children cumulated vsize (Kb) 12604
[startup+890.078 s]
Raw data (loadavg): 1.01 1.02 0.96 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 1978 0 0 0 2250 119 0 0 22 0 1 0 19560755 22343680 1949 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5455 1949 413 48 0 5407 0
[pid=4567] vsize: 21820
Current children cumulated CPU time (s) 695.9
Current children cumulated vsize (Kb) 23948
[startup+900.08 s]
Raw data (loadavg): 1.00 1.02 0.96 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2014 0 0 0 2976 208 0 0 19 0 1 0 19560755 22343680 1985 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5455 1985 413 48 0 5407 0
[pid=4567] vsize: 21820
Current children cumulated CPU time (s) 704.05
Current children cumulated vsize (Kb) 23948
[startup+910.081 s]
Raw data (loadavg): 1.00 1.02 0.96 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2047 0 0 0 3690 303 0 0 19 0 1 0 19560755 22519808 2018 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4567/statm): 5498 2018 413 48 0 5450 0
[pid=4567] vsize: 21992
Current children cumulated CPU time (s) 712.14
Current children cumulated vsize (Kb) 24120
[startup+920.082 s]
Raw data (loadavg): 1.00 1.02 0.96 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2087 0 0 0 4398 401 0 0 21 0 1 0 19560755 22519808 2058 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5498 2058 413 48 0 5450 0
[pid=4567] vsize: 21992
Current children cumulated CPU time (s) 720.2
Current children cumulated vsize (Kb) 24120
[startup+930.083 s]
Raw data (loadavg): 1.00 1.02 0.96 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2121 0 0 0 5110 499 0 0 17 0 1 0 19560755 22519808 2092 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4567/statm): 5498 2092 413 48 0 5450 0
[pid=4567] vsize: 21992
Current children cumulated CPU time (s) 728.3
Current children cumulated vsize (Kb) 24120
[startup+940.082 s]
Raw data (loadavg): 1.00 1.02 0.96 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2154 0 0 0 5774 604 0 0 18 0 1 0 19560755 22519808 2125 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5498 2125 413 48 0 5450 0
[pid=4567] vsize: 21992
Current children cumulated CPU time (s) 735.99
Current children cumulated vsize (Kb) 24120
[startup+950.084 s]
Raw data (loadavg): 1.00 1.01 0.96 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2188 0 0 0 6465 707 0 0 23 0 1 0 19560755 22519808 2159 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5498 2159 413 48 0 5450 0
[pid=4567] vsize: 21992
Current children cumulated CPU time (s) 743.93
Current children cumulated vsize (Kb) 24120
[startup+960.085 s]
Raw data (loadavg): 1.07 1.03 0.96 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2218 0 0 0 7211 793 0 0 22 0 1 0 19560755 22736896 2189 4294967295 134512640 134702520 3221223712 3221222992 134553489 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4567/statm): 5551 2189 413 48 0 5503 0
[pid=4567] vsize: 22204
Current children cumulated CPU time (s) 752.25
Current children cumulated vsize (Kb) 24332
[startup+970.086 s]
Raw data (loadavg): 1.06 1.03 0.96 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2246 0 0 0 7985 871 0 0 25 0 1 0 19560755 22917120 2217 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5595 2217 413 48 0 5547 0
[pid=4567] vsize: 22380
Current children cumulated CPU time (s) 760.77
Current children cumulated vsize (Kb) 24508
[startup+980.087 s]
Raw data (loadavg): 1.05 1.03 0.96 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2246 0 0 0 8944 885 0 0 25 0 1 0 19560755 22917120 2217 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5595 2217 413 48 0 5547 0
[pid=4567] vsize: 22380
Current children cumulated CPU time (s) 770.5
Current children cumulated vsize (Kb) 24508
[startup+990.086 s]
Raw data (loadavg): 1.04 1.03 0.96 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2247 0 0 0 9614 995 0 0 16 0 1 0 19560755 22740992 2217 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5552 2217 413 48 0 5504 0
[pid=4567] vsize: 22208
Current children cumulated CPU time (s) 778.3
Current children cumulated vsize (Kb) 24336
[startup+1000.09 s]
Raw data (loadavg): 1.04 1.03 0.96 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2247 0 0 0 10267 1104 0 0 19 0 1 0 19560755 22740992 2217 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5552 2217 413 48 0 5504 0
[pid=4567] vsize: 22208
Current children cumulated CPU time (s) 785.92
Current children cumulated vsize (Kb) 24336
[startup+1010.09 s]
Raw data (loadavg): 1.03 1.02 0.96 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2248 0 0 0 10909 1218 0 0 17 0 1 0 19560755 22740992 2218 4294967295 134512640 134702520 3221223712 3221223112 134607344 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5552 2218 413 48 0 5504 0
[pid=4567] vsize: 22208
Current children cumulated CPU time (s) 793.48
Current children cumulated vsize (Kb) 24336
[startup+1020.09 s]
Raw data (loadavg): 1.02 1.02 0.96 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2250 0 0 0 11543 1333 0 0 18 0 1 0 19560755 22740992 2220 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5552 2220 413 48 0 5504 0
[pid=4567] vsize: 22208
Current children cumulated CPU time (s) 800.97
Current children cumulated vsize (Kb) 24336
[startup+1030.09 s]
Raw data (loadavg): 1.02 1.02 0.96 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2251 0 0 0 12153 1461 0 0 18 0 1 0 19560755 22740992 2221 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5552 2221 413 48 0 5504 0
[pid=4567] vsize: 22208
Current children cumulated CPU time (s) 808.35
Current children cumulated vsize (Kb) 24336
[startup+1040.09 s]
Raw data (loadavg): 1.02 1.02 0.96 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2252 0 0 0 12780 1582 0 0 17 0 1 0 19560755 22740992 2222 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5552 2222 413 48 0 5504 0
[pid=4567] vsize: 22208
Current children cumulated CPU time (s) 815.83
Current children cumulated vsize (Kb) 24336
[startup+1050.09 s]
Raw data (loadavg): 1.01 1.02 0.96 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2253 0 0 0 13427 1699 0 0 16 0 1 0 19560755 22740992 2223 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5552 2223 413 48 0 5504 0
[pid=4567] vsize: 22208
Current children cumulated CPU time (s) 823.47
Current children cumulated vsize (Kb) 24336
[startup+1060.09 s]
Raw data (loadavg): 1.01 1.02 0.96 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2255 0 0 0 14014 1834 0 0 16 0 1 0 19560755 22740992 2225 4294967295 134512640 134702520 3221223712 3221222992 134553820 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4567/statm): 5552 2225 413 48 0 5504 0
[pid=4567] vsize: 22208
Current children cumulated CPU time (s) 830.69
Current children cumulated vsize (Kb) 24336
[startup+1070.09 s]
Raw data (loadavg): 1.01 1.02 0.96 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2259 0 0 0 14688 1941 0 0 16 0 1 0 19560755 22740992 2229 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5552 2229 413 48 0 5504 0
[pid=4567] vsize: 22208
Current children cumulated CPU time (s) 838.5
Current children cumulated vsize (Kb) 24336
[startup+1080.09 s]
Raw data (loadavg): 1.01 1.02 0.96 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2264 0 0 0 15300 2060 0 0 15 0 1 0 19560755 22839296 2233 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5576 2233 413 48 0 5528 0
[pid=4567] vsize: 22304
Current children cumulated CPU time (s) 845.81
Current children cumulated vsize (Kb) 24432
[startup+1090.1 s]
Raw data (loadavg): 1.01 1.02 0.96 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2267 0 0 0 15908 2189 0 0 16 0 1 0 19560755 22839296 2236 4294967295 134512640 134702520 3221223712 3221222992 134553830 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5576 2236 413 48 0 5528 0
[pid=4567] vsize: 22304
Current children cumulated CPU time (s) 853.18
Current children cumulated vsize (Kb) 24432
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.02 0.96 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2273 0 0 0 16575 2293 0 0 17 0 1 0 19560755 23015424 2242 4294967295 134512640 134702520 3221223712 3221222608 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5619 2242 413 48 0 5571 0
[pid=4567] vsize: 22476
Current children cumulated CPU time (s) 860.89
Current children cumulated vsize (Kb) 24604
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.01 0.96 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2273 0 0 0 17538 2306 0 0 25 0 1 0 19560755 23015424 2242 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5619 2242 413 48 0 5571 0
[pid=4567] vsize: 22476
Current children cumulated CPU time (s) 870.65
Current children cumulated vsize (Kb) 24604
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.01 0.96 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2275 0 0 0 18250 2403 0 0 15 0 1 0 19560755 22839296 2243 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4567/statm): 5576 2243 413 48 0 5528 0
[pid=4567] vsize: 22304
Current children cumulated CPU time (s) 878.74
Current children cumulated vsize (Kb) 24432
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.01 0.96 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2276 0 0 0 18775 2564 0 0 15 0 1 0 19560755 22839296 2244 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4567/statm): 5576 2244 413 48 0 5528 0
[pid=4567] vsize: 22304
Current children cumulated CPU time (s) 885.6
Current children cumulated vsize (Kb) 24432
[startup+1140.1 s]
Raw data (loadavg): 1.07 1.03 0.97 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2279 0 0 0 19368 2693 0 0 16 0 1 0 19560755 22839296 2247 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4567/statm): 5576 2247 413 48 0 5528 0
[pid=4567] vsize: 22304
Current children cumulated CPU time (s) 892.82
Current children cumulated vsize (Kb) 24432
[startup+1150.1 s]
Raw data (loadavg): 1.06 1.03 0.97 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2280 0 0 0 19941 2833 0 0 15 0 1 0 19560755 22839296 2248 4294967295 134512640 134702520 3221223712 3221223112 134606948 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5576 2248 413 48 0 5528 0
[pid=4567] vsize: 22304
Current children cumulated CPU time (s) 899.95
Current children cumulated vsize (Kb) 24432
[startup+1160.1 s]
Raw data (loadavg): 1.05 1.03 0.97 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2281 0 0 0 20511 2971 0 0 15 0 1 0 19560755 22839296 2249 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5576 2249 413 48 0 5528 0
[pid=4567] vsize: 22304
Current children cumulated CPU time (s) 907.03
Current children cumulated vsize (Kb) 24432
[startup+1170.1 s]
Raw data (loadavg): 1.04 1.03 0.97 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2281 0 0 0 21098 3111 0 0 16 0 1 0 19560755 22839296 2249 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5576 2249 413 48 0 5528 0
[pid=4567] vsize: 22304
Current children cumulated CPU time (s) 914.3
Current children cumulated vsize (Kb) 24432
[startup+1180.1 s]
Raw data (loadavg): 1.04 1.02 0.97 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2283 0 0 0 21676 3247 0 0 16 0 1 0 19560755 22839296 2251 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5576 2251 413 48 0 5528 0
[pid=4567] vsize: 22304
Current children cumulated CPU time (s) 921.44
Current children cumulated vsize (Kb) 24432
[startup+1190.1 s]
Raw data (loadavg): 1.03 1.02 0.97 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2286 0 0 0 22317 3363 0 0 16 0 1 0 19560755 22839296 2254 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5576 2254 413 48 0 5528 0
[pid=4567] vsize: 22304
Current children cumulated CPU time (s) 929.01
Current children cumulated vsize (Kb) 24432
[startup+1200.11 s]
Raw data (loadavg): 1.03 1.02 0.97 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2290 0 0 0 22977 3474 0 0 16 0 1 0 19560755 22839296 2258 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5576 2258 413 48 0 5528 0
[pid=4567] vsize: 22304
Current children cumulated CPU time (s) 936.72
Current children cumulated vsize (Kb) 24432
[startup+1210.11 s]
Raw data (loadavg): 1.10 1.04 0.97 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2297 0 0 0 23635 3587 0 0 15 0 1 0 19560755 22933504 2265 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4567/statm): 5599 2265 413 48 0 5551 0
[pid=4567] vsize: 22396
Current children cumulated CPU time (s) 944.43
Current children cumulated vsize (Kb) 24524
[startup+1220.11 s]
Raw data (loadavg): 1.16 1.05 0.98 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2303 0 0 0 24319 3688 0 0 16 0 1 0 19560755 22933504 2271 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5599 2271 413 48 0 5551 0
[pid=4567] vsize: 22396
Current children cumulated CPU time (s) 952.28
Current children cumulated vsize (Kb) 24524
[startup+1230.11 s]
Raw data (loadavg): 1.14 1.05 0.98 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2328 0 0 0 25040 3780 0 0 15 0 1 0 19560755 22933504 2296 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4567/statm): 5599 2296 413 48 0 5551 0
[pid=4567] vsize: 22396
Current children cumulated CPU time (s) 960.41
Current children cumulated vsize (Kb) 24524
[startup+1240.11 s]
Raw data (loadavg): 1.20 1.07 0.98 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2371 0 0 0 25707 3883 0 0 15 0 1 0 19560755 22933504 2339 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5599 2339 413 48 0 5551 0
[pid=4567] vsize: 22396
Current children cumulated CPU time (s) 968.11
Current children cumulated vsize (Kb) 24524
[startup+1250.11 s]
Raw data (loadavg): 1.17 1.06 0.98 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2383 0 0 0 26561 3930 0 0 20 0 1 0 19560755 23146496 2351 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4567/statm): 5651 2351 413 48 0 5603 0
[pid=4567] vsize: 22604
Current children cumulated CPU time (s) 977.12
Current children cumulated vsize (Kb) 24732
[startup+1260.11 s]
Raw data (loadavg): 1.14 1.06 0.98 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2383 0 0 0 27499 3949 0 0 16 0 1 0 19560755 22970368 2350 4294967295 134512640 134702520 3221223712 3221222992 134554306 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5608 2350 413 48 0 5560 0
[pid=4567] vsize: 22432
Current children cumulated CPU time (s) 986.69
Current children cumulated vsize (Kb) 24560
[startup+1270.11 s]
Raw data (loadavg): 1.12 1.06 0.98 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2383 0 0 0 28129 4074 0 0 16 0 1 0 19560755 22970368 2350 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5608 2350 413 48 0 5560 0
[pid=4567] vsize: 22432
Current children cumulated CPU time (s) 994.24
Current children cumulated vsize (Kb) 24560
[startup+1280.11 s]
Raw data (loadavg): 1.10 1.06 0.98 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2385 0 0 0 28855 4165 0 0 16 0 1 0 19560755 22970368 2352 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5608 2352 413 48 0 5560 0
[pid=4567] vsize: 22432
Current children cumulated CPU time (s) 1002.41
Current children cumulated vsize (Kb) 24560
[startup+1290.11 s]
Raw data (loadavg): 1.16 1.07 0.99 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2387 0 0 0 29548 4271 0 0 15 0 1 0 19560755 22970368 2354 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5608 2354 413 48 0 5560 0
[pid=4567] vsize: 22432
Current children cumulated CPU time (s) 1010.4
Current children cumulated vsize (Kb) 24560
[startup+1300.11 s]
Raw data (loadavg): 1.13 1.07 0.99 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2390 0 0 0 30229 4371 0 0 16 0 1 0 19560755 23064576 2357 4294967295 134512640 134702520 3221223712 3221222992 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5631 2357 413 48 0 5583 0
[pid=4567] vsize: 22524
Current children cumulated CPU time (s) 1018.21
Current children cumulated vsize (Kb) 24652
[startup+1310.11 s]
Raw data (loadavg): 1.11 1.06 0.99 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2393 0 0 0 30908 4477 0 0 15 0 1 0 19560755 23064576 2360 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4567/statm): 5631 2360 413 48 0 5583 0
[pid=4567] vsize: 22524
Current children cumulated CPU time (s) 1026.06
Current children cumulated vsize (Kb) 24652
[startup+1320.12 s]
Raw data (loadavg): 1.09 1.06 0.99 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2399 0 0 0 31655 4563 0 0 16 0 1 0 19560755 23064576 2366 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5631 2366 413 48 0 5583 0
[pid=4567] vsize: 22524
Current children cumulated CPU time (s) 1034.39
Current children cumulated vsize (Kb) 24652
[startup+1330.12 s]
Raw data (loadavg): 1.08 1.06 0.99 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2443 0 0 0 32383 4652 0 0 15 0 1 0 19560755 24641536 2410 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 6016 2410 413 48 0 5968 0
[pid=4567] vsize: 24064
Current children cumulated CPU time (s) 1042.56
Current children cumulated vsize (Kb) 26192
[startup+1340.12 s]
Raw data (loadavg): 1.07 1.06 0.99 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2467 0 0 0 33077 4758 0 0 15 0 1 0 19560755 24641536 2434 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4567/statm): 6016 2434 413 48 0 5968 0
[pid=4567] vsize: 24064
Current children cumulated CPU time (s) 1050.56
Current children cumulated vsize (Kb) 26192
[startup+1350.12 s]
Raw data (loadavg): 1.21 1.09 1.00 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2502 0 0 0 33718 4874 0 0 15 0 1 0 19560755 24641536 2469 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 6016 2469 413 48 0 5968 0
[pid=4567] vsize: 24064
Current children cumulated CPU time (s) 1058.13
Current children cumulated vsize (Kb) 26192
[startup+1360.12 s]
Raw data (loadavg): 1.18 1.08 1.00 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2534 0 0 0 34455 4968 0 0 16 0 1 0 19560755 24748032 2501 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4567/statm): 6042 2501 413 48 0 5994 0
[pid=4567] vsize: 24168
Current children cumulated CPU time (s) 1066.44
Current children cumulated vsize (Kb) 26296
[startup+1370.12 s]
Raw data (loadavg): 1.15 1.08 1.00 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2574 0 0 0 35175 5064 0 0 16 0 1 0 19560755 24748032 2541 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 6042 2541 413 48 0 5994 0
[pid=4567] vsize: 24168
Current children cumulated CPU time (s) 1074.6
Current children cumulated vsize (Kb) 26296
[startup+1380.12 s]
Raw data (loadavg): 1.13 1.08 1.00 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2606 0 0 0 35912 5149 0 0 17 0 1 0 19560755 24965120 2573 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 6095 2573 413 48 0 6047 0
[pid=4567] vsize: 24380
Current children cumulated CPU time (s) 1082.82
Current children cumulated vsize (Kb) 26508
[startup+1390.12 s]
Raw data (loadavg): 1.11 1.07 1.00 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2606 0 0 0 36873 5165 0 0 25 0 1 0 19560755 24965120 2573 4294967295 134512640 134702520 3221223712 3221222608 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4567/statm): 6095 2573 413 48 0 6047 0
[pid=4567] vsize: 24380
Current children cumulated CPU time (s) 1092.59
Current children cumulated vsize (Kb) 26508
[startup+1400.12 s]
Raw data (loadavg): 1.09 1.07 1.00 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2606 0 0 0 37685 5229 0 0 16 0 1 0 19560755 24784896 2572 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 6051 2572 413 48 0 6003 0
[pid=4567] vsize: 24204
Current children cumulated CPU time (s) 1101.35
Current children cumulated vsize (Kb) 26332
[startup+1410.12 s]
Raw data (loadavg): 1.08 1.07 1.00 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2609 0 0 0 38394 5329 0 0 16 0 1 0 19560755 24784896 2575 4294967295 134512640 134702520 3221223712 3221222736 134552319 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4567/statm): 6051 2575 413 48 0 6003 0
[pid=4567] vsize: 24204
Current children cumulated CPU time (s) 1109.44
Current children cumulated vsize (Kb) 26332
[startup+1420.12 s]
Raw data (loadavg): 1.06 1.07 1.00 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2610 0 0 0 39098 5429 0 0 16 0 1 0 19560755 24784896 2576 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 6051 2576 413 48 0 6003 0
[pid=4567] vsize: 24204
Current children cumulated CPU time (s) 1117.48
Current children cumulated vsize (Kb) 26332
[startup+1430.13 s]
Raw data (loadavg): 1.05 1.06 1.00 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2617 0 0 0 39805 5527 0 0 16 0 1 0 19560755 24784896 2583 4294967295 134512640 134702520 3221223712 3221221708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4567/statm): 6051 2583 413 48 0 6003 0
[pid=4567] vsize: 24204
Current children cumulated CPU time (s) 1125.53
Current children cumulated vsize (Kb) 26332
[startup+1440.14 s]
Raw data (loadavg): 1.20 1.09 1.01 1/60 4610
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2625 0 0 0 40445 5643 0 0 15 0 1 0 19560755 24887296 2591 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4567/statm): 6076 2591 413 48 0 6028 0
[pid=4567] vsize: 24304
Current children cumulated CPU time (s) 1133.09
Current children cumulated vsize (Kb) 26432
[startup+1450.14 s]
Raw data (loadavg): 1.24 1.11 1.01 1/56 4622
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2628 0 0 0 41169 5731 0 0 16 0 1 0 19560755 24887296 2594 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 6076 2594 413 48 0 6028 0
[pid=4567] vsize: 24304
Current children cumulated CPU time (s) 1141.21
Current children cumulated vsize (Kb) 26432
[startup+1460.14 s]
Raw data (loadavg): 1.28 1.12 1.02 1/56 4622
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2632 0 0 0 41976 5799 0 0 16 0 1 0 19560755 24887296 2598 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 6076 2598 413 48 0 6028 0
[pid=4567] vsize: 24304
Current children cumulated CPU time (s) 1149.96
Current children cumulated vsize (Kb) 26432
[startup+1470.14 s]
Raw data (loadavg): 1.23 1.11 1.02 2/56 4622
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2638 0 0 0 42771 5867 0 0 16 0 1 0 19560755 24887296 2604 4294967295 134512640 134702520 3221223712 3221214036 134611987 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4567/statm): 6076 2604 413 48 0 6028 0
[pid=4567] vsize: 24304
Current children cumulated CPU time (s) 1158.59
Current children cumulated vsize (Kb) 26432
[startup+1480.14 s]
Raw data (loadavg): 1.20 1.11 1.02 2/56 4622
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2648 0 0 0 43574 5930 0 0 16 0 1 0 19560755 24887296 2614 4294967295 134512640 134702520 3221223712 3221223104 134604336 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4567/statm): 6076 2614 413 48 0 6028 0
[pid=4567] vsize: 24304
Current children cumulated CPU time (s) 1167.25
Current children cumulated vsize (Kb) 26432
[startup+1490.14 s]
Raw data (loadavg): 1.17 1.11 1.02 2/56 4624
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2701 0 0 0 44311 6016 0 0 17 0 1 0 19560755 25079808 2667 4294967295 134512640 134702520 3221223712 3221222736 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4567/statm): 6123 2667 413 48 0 6075 0
[pid=4567] vsize: 24492
Current children cumulated CPU time (s) 1175.48
Current children cumulated vsize (Kb) 26620
[startup+1500.14 s]
Raw data (loadavg): 1.14 1.10 1.01 2/56 4624
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2705 0 0 0 45054 6105 0 0 16 0 1 0 19560755 24989696 2671 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4567/statm): 6101 2671 413 48 0 6053 0
[pid=4567] vsize: 24404
Current children cumulated CPU time (s) 1183.8
Current children cumulated vsize (Kb) 26532
[startup+1510.14 s]
Raw data (loadavg): 1.12 1.10 1.01 2/56 4626
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2722 0 0 0 45795 6190 0 0 16 0 1 0 19560755 24989696 2688 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 6101 2688 413 48 0 6053 0
[pid=4567] vsize: 24404
Current children cumulated CPU time (s) 1192.06
Current children cumulated vsize (Kb) 26532
[startup+1520.14 s]
Raw data (loadavg): 1.10 1.09 1.01 2/56 4628
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2725 0 0 0 46608 6248 0 0 20 0 1 0 19560755 25169920 2691 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 6145 2691 413 48 0 6097 0
[pid=4567] vsize: 24580
Current children cumulated CPU time (s) 1200.77
Current children cumulated vsize (Kb) 26708
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1520.14 s]
Raw data (loadavg): 1.10 1.09 1.01 1/56 4628
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2725 0 0 0 46608 6248 0 0 20 0 1 0 19560755 25169920 2691 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 6145 2691 413 48 0 6097 0
[pid=4567] vsize: 24580
Current children cumulated CPU time (s) 1200.77
Current children cumulated vsize (Kb) 26708
Sending SIGTERM to -4560
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=4630
New process pid=4631
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/3987/stat
open syscall for file /proc/3987/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/3987/cmdline
open syscall for file /proc/3987/environ
open syscall for file /proc/4013/stat
open syscall for file /proc/4013/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4013/cmdline
open syscall for file /proc/4013/environ
open syscall for file /proc/4521/stat
open syscall for file /proc/4521/status
open syscall for file /proc/4521/cmdline
open syscall for file /proc/4521/environ
open syscall for file /proc/4559/stat
open syscall for file /proc/4559/status
open syscall for file /proc/4559/cmdline
open syscall for file /proc/4559/environ
open syscall for file /proc/4560/stat
open syscall for file /proc/4560/status
open syscall for file /proc/4560/cmdline
open syscall for file /proc/4560/environ
open syscall for file /proc/4567/stat
open syscall for file /proc/4567/status
open syscall for file /proc/4567/cmdline
open syscall for file /proc/4567/environ
open syscall for file /proc/4630/stat
open syscall for file /proc/4630/status
open syscall for file /proc/4630/cmdline
open syscall for file /proc/4630/environ
open syscall for file /proc/4631/stat
open syscall for file /proc/4631/status
open syscall for file /proc/4631/cmdline
open syscall for file /proc/4631/environ
One traced child (pid=4630) exited with status: 0
One traced child (pid=4631) exited with status: 0
New process pid=4632
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=4632) exited with status: 0
New process pid=4633
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=4633) exited with status: 0
One traced child (pid=4560) ended because it received signal 15 (SIGTERM)
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=4567) exited with status: 3
All traced children have exited ! Game is over.
Child status: 3
Real time (s): 1521.31
CPU time (s): 529.678
CPU user time (s): 467.064
CPU system time (s): 62.6135
CPU usage (%): 34.8173
Max. virtual memory (cumulated for all children) (Kb): 26708