1:
seed: 0
Nr of vars set: 282 (#equs: 0)
Nr of vars set: 1566 (#equs: 3069)
#decisions: 149778; #end-nodes: 91767;
#proof improvement attempts: 0; #restarts: 576
Current batch, end-nodes: 0 / 226 (223)
#axs: 16514, #non-axs: 10343
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: 1566 (#equs: 3450)
Time taken: 5 min, 28 sec
2:
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: 1566 (#equs: 0)
Nr of vars set: 1566 (#equs: 0)
Interupt request received.
#decisions: 681943; #end-nodes: 496426;
#proof improvement attempts: 0; #restarts: 1531
Current batch, end-nodes: 436 / 520 (502)
#axs: 5397, #non-axs: 23093
tight: meta-meta: start: 4, end: 5; meta: start: 8, end (keep): 15
loose: meta-meta: start: 6, end: 9; meta: start: 20, end (keep): 32
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 2016 (#equs: 2)
Time taken: 14 min, 39 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/11835/stat): 11835 (vallstSAT2005PB) R 11834 11835 2660 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1843117950 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11835/statm): 174 3 169 147 0 27 0
[pid=11835] 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=11836
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=11836) exited with status: 0
New process pid=11837
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=11837) exited with status: 0
New process pid=11838
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/wulflinc20/normalized-par32-3.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0032 s]
Raw data (loadavg): 0.93 0.99 0.99 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 800 0 0 0 619 125 0 0 17 0 1 0 1843117959 4718592 770 4294967295 134512640 134702520 3221223968 3221223336 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11838/statm): 1152 770 413 48 0 1104 0
[pid=11838] vsize: 4608
Current children cumulated CPU time (s) 7.46
Current children cumulated vsize (Kb) 6736
[startup+20.0049 s]
Raw data (loadavg): 0.94 0.99 0.99 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 800 0 0 0 1263 249 0 0 22 0 1 0 1843117959 4718592 770 4294967295 134512640 134702520 3221223968 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11838/statm): 1152 770 413 48 0 1104 0
[pid=11838] vsize: 4608
Current children cumulated CPU time (s) 15.14
Current children cumulated vsize (Kb) 6736
[startup+30.0056 s]
Raw data (loadavg): 0.95 0.99 0.99 2/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) R 11835 11835 2660 0 -1 0 842 0 0 0 2093 307 0 0 21 0 1 0 1843117959 7430144 812 4294967295 134512640 134702520 3221223968 3221223248 134550404 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11838/statm): 1814 812 413 48 0 1766 0
[pid=11838] vsize: 7256
Current children cumulated CPU time (s) 24.02
Current children cumulated vsize (Kb) 9384
[startup+40.0064 s]
Raw data (loadavg): 0.96 0.99 0.99 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 886 0 0 0 2954 355 0 0 25 0 1 0 1843117959 7565312 856 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11838/statm): 1847 856 413 48 0 1799 0
[pid=11838] vsize: 7388
Current children cumulated CPU time (s) 33.11
Current children cumulated vsize (Kb) 9516
[startup+50.0081 s]
Raw data (loadavg): 0.96 0.99 0.99 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 912 0 0 0 3727 429 0 0 17 0 1 0 1843117959 7565312 882 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11838/statm): 1847 882 413 48 0 1799 0
[pid=11838] vsize: 7388
Current children cumulated CPU time (s) 41.58
Current children cumulated vsize (Kb) 9516
[startup+60.0088 s]
Raw data (loadavg): 0.97 0.99 0.99 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 913 0 0 0 4343 562 0 0 23 0 1 0 1843117959 7565312 883 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11838/statm): 1847 883 413 48 0 1799 0
[pid=11838] vsize: 7388
Current children cumulated CPU time (s) 49.07
Current children cumulated vsize (Kb) 9516
[startup+70.0105 s]
Raw data (loadavg): 0.97 0.99 0.99 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 914 0 0 0 5178 620 0 0 20 0 1 0 1843117959 7565312 884 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11838/statm): 1847 884 413 48 0 1799 0
[pid=11838] vsize: 7388
Current children cumulated CPU time (s) 58
Current children cumulated vsize (Kb) 9516
[startup+80.0112 s]
Raw data (loadavg): 0.98 0.99 0.99 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 921 0 0 0 6063 658 0 0 20 0 1 0 1843117959 7565312 891 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11838/statm): 1847 891 413 48 0 1799 0
[pid=11838] vsize: 7388
Current children cumulated CPU time (s) 67.23
Current children cumulated vsize (Kb) 9516
[startup+90.012 s]
Raw data (loadavg): 0.98 0.99 0.99 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 941 0 0 0 6952 695 0 0 20 0 1 0 1843117959 7667712 911 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11838/statm): 1872 911 413 48 0 1824 0
[pid=11838] vsize: 7488
Current children cumulated CPU time (s) 76.49
Current children cumulated vsize (Kb) 9616
[startup+100.014 s]
Raw data (loadavg): 0.98 0.99 0.99 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 958 0 0 0 7690 782 0 0 18 0 1 0 1843117959 7667712 928 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11838/statm): 1872 928 413 48 0 1824 0
[pid=11838] vsize: 7488
Current children cumulated CPU time (s) 84.74
Current children cumulated vsize (Kb) 9616
[startup+110.014 s]
Raw data (loadavg): 0.98 0.99 0.99 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 960 0 0 0 8335 902 0 0 23 0 1 0 1843117959 7667712 930 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11838/statm): 1872 930 413 48 0 1824 0
[pid=11838] vsize: 7488
Current children cumulated CPU time (s) 92.39
Current children cumulated vsize (Kb) 9616
[startup+120.015 s]
Raw data (loadavg): 0.99 0.99 0.99 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 960 0 0 0 9190 954 0 0 20 0 1 0 1843117959 7667712 930 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11838/statm): 1872 930 413 48 0 1824 0
[pid=11838] vsize: 7488
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (Kb) 9616
[startup+130.016 s]
Raw data (loadavg): 0.99 0.99 0.99 2/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) R 11835 11835 2660 0 -1 0 963 0 0 0 10117 981 0 0 25 0 1 0 1843117959 7667712 933 4294967295 134512640 134702520 3221223968 3221178624 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11838/statm): 1872 933 413 48 0 1824 0
[pid=11838] vsize: 7488
Current children cumulated CPU time (s) 111
Current children cumulated vsize (Kb) 9616
[startup+140.018 s]
Raw data (loadavg): 0.99 0.99 0.99 2/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) R 11835 11835 2660 0 -1 0 969 0 0 0 11000 1019 0 0 25 0 1 0 1843117959 7667712 939 4294967295 134512640 134702520 3221223968 3221223248 134553492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11838/statm): 1872 939 413 48 0 1824 0
[pid=11838] vsize: 7488
Current children cumulated CPU time (s) 120.21
Current children cumulated vsize (Kb) 9616
[startup+150.018 s]
Raw data (loadavg): 0.99 0.99 0.99 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 995 0 0 0 11902 1056 0 0 19 0 1 0 1843117959 7827456 965 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11838/statm): 1911 965 413 48 0 1863 0
[pid=11838] vsize: 7644
Current children cumulated CPU time (s) 129.6
Current children cumulated vsize (Kb) 9772
[startup+160.019 s]
Raw data (loadavg): 0.99 0.99 0.99 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 995 0 0 0 12460 1204 0 0 17 0 1 0 1843117959 7827456 965 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11838/statm): 1911 965 413 48 0 1863 0
[pid=11838] vsize: 7644
Current children cumulated CPU time (s) 136.66
Current children cumulated vsize (Kb) 9772
[startup+170.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) R 11835 11835 2660 0 -1 0 996 0 0 0 13276 1266 0 0 25 0 1 0 1843117959 7827456 966 4294967295 134512640 134702520 3221223968 3221223248 134557196 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11838/statm): 1911 966 413 48 0 1863 0
[pid=11838] vsize: 7644
Current children cumulated CPU time (s) 145.44
Current children cumulated vsize (Kb) 9772
[startup+180.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) R 11835 11835 2660 0 -1 0 999 0 0 0 14194 1292 0 0 25 0 1 0 1843117959 7827456 969 4294967295 134512640 134702520 3221223968 3221023104 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11838/statm): 1911 969 413 48 0 1863 0
[pid=11838] vsize: 7644
Current children cumulated CPU time (s) 154.88
Current children cumulated vsize (Kb) 9772
[startup+190.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) R 11835 11835 2660 0 -1 0 1003 0 0 0 15078 1332 0 0 25 0 1 0 1843117959 7827456 973 4294967295 134512640 134702520 3221223968 3221223248 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11838/statm): 1911 973 413 48 0 1863 0
[pid=11838] vsize: 7644
Current children cumulated CPU time (s) 164.12
Current children cumulated vsize (Kb) 9772
[startup+200.021 s]
Raw data (loadavg): 0.99 0.99 0.99 2/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) R 11835 11835 2660 0 -1 0 1015 0 0 0 16004 1358 0 0 25 0 1 0 1843117959 7974912 985 4294967295 134512640 134702520 3221223968 3221223188 134549061 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11838/statm): 1947 985 413 48 0 1899 0
[pid=11838] vsize: 7788
Current children cumulated CPU time (s) 173.64
Current children cumulated vsize (Kb) 9916
[startup+210.022 s]
Raw data (loadavg): 0.99 0.99 0.99 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 1036 0 0 0 16890 1395 0 0 17 0 1 0 1843117959 7974912 1006 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11838/statm): 1947 1006 413 48 0 1899 0
[pid=11838] vsize: 7788
Current children cumulated CPU time (s) 182.87
Current children cumulated vsize (Kb) 9916
[startup+220.022 s]
Raw data (loadavg): 0.99 0.99 0.99 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 1036 0 0 0 17454 1540 0 0 18 0 1 0 1843117959 7974912 1006 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11838/statm): 1947 1006 413 48 0 1899 0
[pid=11838] vsize: 7788
Current children cumulated CPU time (s) 189.96
Current children cumulated vsize (Kb) 9916
[startup+230.023 s]
Raw data (loadavg): 0.99 0.99 0.99 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 1037 0 0 0 18283 1599 0 0 25 0 1 0 1843117959 7974912 1007 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11838/statm): 1947 1007 413 48 0 1899 0
[pid=11838] vsize: 7788
Current children cumulated CPU time (s) 198.84
Current children cumulated vsize (Kb) 9916
[startup+240.023 s]
Raw data (loadavg): 0.99 0.99 0.99 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 1038 0 0 0 19200 1627 0 0 25 0 1 0 1843117959 7974912 1008 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11838/statm): 1947 1008 413 48 0 1899 0
[pid=11838] vsize: 7788
Current children cumulated CPU time (s) 208.29
Current children cumulated vsize (Kb) 9916
[startup+250.025 s]
Raw data (loadavg): 0.99 0.99 0.99 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 1043 0 0 0 20087 1665 0 0 25 0 1 0 1843117959 7974912 1013 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11838/statm): 1947 1013 413 48 0 1899 0
[pid=11838] vsize: 7788
Current children cumulated CPU time (s) 217.54
Current children cumulated vsize (Kb) 9916
[startup+260.025 s]
Raw data (loadavg): 0.99 0.99 0.99 2/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 1049 0 0 0 21021 1687 0 0 25 0 1 0 1843117959 7974912 1019 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11838/statm): 1947 1019 413 48 0 1899 0
[pid=11838] vsize: 7788
Current children cumulated CPU time (s) 227.1
Current children cumulated vsize (Kb) 9916
[startup+270.026 s]
Raw data (loadavg): 0.99 0.99 0.99 2/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) R 11835 11835 2660 0 -1 0 1083 0 0 0 21951 1710 0 0 25 0 1 0 1843117959 8118272 1053 4294967295 134512640 134702520 3221223968 3221223088 134572629 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11838/statm): 1982 1053 413 48 0 1934 0
[pid=11838] vsize: 7928
Current children cumulated CPU time (s) 236.63
Current children cumulated vsize (Kb) 10056
[startup+280.028 s]
Raw data (loadavg): 1.07 1.01 1.00 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 1112 0 0 0 22693 1795 0 0 18 0 1 0 1843117959 8306688 1082 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11838/statm): 2028 1082 413 48 0 1980 0
[pid=11838] vsize: 8112
Current children cumulated CPU time (s) 244.9
Current children cumulated vsize (Kb) 10240
[startup+290.028 s]
Raw data (loadavg): 1.13 1.02 1.00 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 1114 0 0 0 23356 1911 0 0 23 0 1 0 1843117959 8306688 1084 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11838/statm): 2028 1084 413 48 0 1980 0
[pid=11838] vsize: 8112
Current children cumulated CPU time (s) 252.69
Current children cumulated vsize (Kb) 10240
[startup+300.029 s]
Raw data (loadavg): 1.11 1.02 1.00 2/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) R 11835 11835 2660 0 -1 0 1114 0 0 0 24267 1940 0 0 25 0 1 0 1843117959 8306688 1084 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11838/statm): 2028 1084 413 48 0 1980 0
[pid=11838] vsize: 8112
Current children cumulated CPU time (s) 262.09
Current children cumulated vsize (Kb) 10240
[startup+310.03 s]
Raw data (loadavg): 1.09 1.02 1.00 2/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) R 11835 11835 2660 0 -1 0 1135 0 0 0 25205 1962 0 0 25 0 1 0 1843117959 8306688 1105 4294967295 134512640 134702520 3221223968 3221142624 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11838/statm): 2028 1105 413 48 0 1980 0
[pid=11838] vsize: 8112
Current children cumulated CPU time (s) 271.69
Current children cumulated vsize (Kb) 10240
[startup+320.032 s]
Raw data (loadavg): 1.08 1.02 1.00 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 1198 0 0 0 26123 1989 0 0 17 0 1 0 1843117959 8642560 1168 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11838/statm): 2110 1168 413 48 0 2062 0
[pid=11838] vsize: 8440
Current children cumulated CPU time (s) 281.14
Current children cumulated vsize (Kb) 10568
[startup+330.032 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) R 11835 11835 2660 0 -1 0 1255 0 0 0 27075 2005 0 0 25 0 1 0 1843117959 8847360 1225 4294967295 134512640 134702520 3221223968 3221014944 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11838/statm): 2160 1225 413 48 0 2112 0
[pid=11838] vsize: 8640
Current children cumulated CPU time (s) 290.82
Current children cumulated vsize (Kb) 10768
[startup+340.032 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) R 11835 11835 2660 0 -1 0 1316 0 0 0 28009 2026 0 0 25 0 1 0 1843117959 8982528 1286 4294967295 134512640 134702520 3221223968 3221223248 134557293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11838/statm): 2193 1286 413 48 0 2145 0
[pid=11838] vsize: 8772
Current children cumulated CPU time (s) 300.37
Current children cumulated vsize (Kb) 10900
[startup+350.034 s]
Raw data (loadavg): 1.05 1.02 1.00 2/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) R 11835 11835 2660 0 -1 0 1368 0 0 0 28952 2048 0 0 25 0 1 0 1843117959 9289728 1338 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11838/statm): 2268 1338 413 48 0 2220 0
[pid=11838] vsize: 9072
Current children cumulated CPU time (s) 310.02
Current children cumulated vsize (Kb) 11200
[startup+360.034 s]
Raw data (loadavg): 1.12 1.03 1.01 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 1382 0 0 0 29661 2150 0 0 17 0 1 0 1843117959 9289728 1352 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11838/statm): 2268 1352 413 48 0 2220 0
[pid=11838] vsize: 9072
Current children cumulated CPU time (s) 318.13
Current children cumulated vsize (Kb) 11200
[startup+370.036 s]
Raw data (loadavg): 1.10 1.03 1.00 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 1382 0 0 0 30348 2261 0 0 23 0 1 0 1843117959 9289728 1352 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11838/statm): 2268 1352 413 48 0 2220 0
[pid=11838] vsize: 9072
Current children cumulated CPU time (s) 326.11
Current children cumulated vsize (Kb) 11200
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=11838) exited with status: 2
New process pid=11839
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=11839) exited with status: 0
New process pid=11840
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+380.037 s]
Raw data (loadavg): 1.08 1.03 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 744 0 0 0 418 104 0 0 17 0 1 0 1843155221 5050368 715 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 1233 715 413 48 0 1185 0
[pid=11840] vsize: 4932
Current children cumulated CPU time (s) 333.65
Current children cumulated vsize (Kb) 7060
[startup+390.037 s]
Raw data (loadavg): 1.07 1.03 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 830 0 0 0 939 263 0 0 25 0 1 0 1843155221 8986624 801 4294967295 134512640 134702520 3221223712 3221134368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2194 801 413 48 0 2146 0
[pid=11840] vsize: 8776
Current children cumulated CPU time (s) 340.45
Current children cumulated vsize (Kb) 10904
[startup+400.038 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 873 0 0 0 1778 317 0 0 22 0 1 0 1843155221 9486336 844 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2316 844 413 48 0 2268 0
[pid=11840] vsize: 9264
Current children cumulated CPU time (s) 349.38
Current children cumulated vsize (Kb) 11392
[startup+410.039 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 910 0 0 0 2617 372 0 0 21 0 1 0 1843155221 9564160 881 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2335 881 413 48 0 2287 0
[pid=11840] vsize: 9340
Current children cumulated CPU time (s) 358.32
Current children cumulated vsize (Kb) 11468
[startup+420.041 s]
Raw data (loadavg): 1.12 1.04 1.01 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 929 0 0 0 3253 493 0 0 16 0 1 0 1843155221 9564160 900 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2335 900 413 48 0 2287 0
[pid=11840] vsize: 9340
Current children cumulated CPU time (s) 365.89
Current children cumulated vsize (Kb) 11468
[startup+430.043 s]
Raw data (loadavg): 1.10 1.04 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 933 0 0 0 3753 660 0 0 25 0 1 0 1843155221 9625600 904 4294967295 134512640 134702520 3221223712 3221172108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2350 904 413 48 0 2302 0
[pid=11840] vsize: 9400
Current children cumulated CPU time (s) 372.56
Current children cumulated vsize (Kb) 11528
[startup+440.043 s]
Raw data (loadavg): 1.09 1.04 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 936 0 0 0 4579 716 0 0 25 0 1 0 1843155221 9625600 907 4294967295 134512640 134702520 3221223712 3221101248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2350 907 413 48 0 2302 0
[pid=11840] vsize: 9400
Current children cumulated CPU time (s) 381.38
Current children cumulated vsize (Kb) 11528
[startup+450.044 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 946 0 0 0 5403 774 0 0 25 0 1 0 1843155221 9625600 917 4294967295 134512640 134702520 3221223712 3221218368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2350 917 413 48 0 2302 0
[pid=11840] vsize: 9400
Current children cumulated CPU time (s) 390.2
Current children cumulated vsize (Kb) 11528
[startup+460.045 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 948 0 0 0 6077 877 0 0 16 0 1 0 1843155221 9625600 919 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2350 919 413 48 0 2302 0
[pid=11840] vsize: 9400
Current children cumulated CPU time (s) 397.97
Current children cumulated vsize (Kb) 11528
[startup+470.046 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 949 0 0 0 6529 1053 0 0 25 0 1 0 1843155221 9625600 920 4294967295 134512640 134702520 3221223712 3221200448 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2350 920 413 48 0 2302 0
[pid=11840] vsize: 9400
Current children cumulated CPU time (s) 404.25
Current children cumulated vsize (Kb) 11528
[startup+480.047 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 949 0 0 0 7352 1111 0 0 25 0 1 0 1843155221 9625600 920 4294967295 134512640 134702520 3221223712 3221134988 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2350 920 413 48 0 2302 0
[pid=11840] vsize: 9400
Current children cumulated CPU time (s) 413.06
Current children cumulated vsize (Kb) 11528
[startup+490.048 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 956 0 0 0 8175 1168 0 0 25 0 1 0 1843155221 9625600 927 4294967295 134512640 134702520 3221223712 3221045388 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2350 927 413 48 0 2302 0
[pid=11840] vsize: 9400
Current children cumulated CPU time (s) 421.86
Current children cumulated vsize (Kb) 11528
[startup+500.049 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 956 0 0 0 8861 1274 0 0 16 0 1 0 1843155221 9625600 927 4294967295 134512640 134702520 3221223712 3221222608 134557225 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2350 927 413 48 0 2302 0
[pid=11840] vsize: 9400
Current children cumulated CPU time (s) 429.78
Current children cumulated vsize (Kb) 11528
[startup+510.049 s]
Raw data (loadavg): 1.10 1.04 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 957 0 0 0 9279 1467 0 0 25 0 1 0 1843155221 9625600 928 4294967295 134512640 134702520 3221223712 3221209072 134611991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2350 928 413 48 0 2302 0
[pid=11840] vsize: 9400
Current children cumulated CPU time (s) 435.89
Current children cumulated vsize (Kb) 11528
[startup+520.051 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 959 0 0 0 10106 1523 0 0 25 0 1 0 1843155221 9625600 930 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2350 930 413 48 0 2302 0
[pid=11840] vsize: 9400
Current children cumulated CPU time (s) 444.72
Current children cumulated vsize (Kb) 11528
[startup+530.052 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 959 0 0 0 10937 1582 0 0 25 0 1 0 1843155221 9625600 930 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2350 930 413 48 0 2302 0
[pid=11840] vsize: 9400
Current children cumulated CPU time (s) 453.62
Current children cumulated vsize (Kb) 11528
[startup+540.051 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 964 0 0 0 11793 1632 0 0 18 0 1 0 1843155221 9625600 935 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2350 935 413 48 0 2302 0
[pid=11840] vsize: 9400
Current children cumulated CPU time (s) 462.68
Current children cumulated vsize (Kb) 11528
[startup+550.053 s]
Raw data (loadavg): 1.05 1.04 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 965 0 0 0 12097 1861 0 0 16 0 1 0 1843155221 9625600 936 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2350 936 413 48 0 2302 0
[pid=11840] vsize: 9400
Current children cumulated CPU time (s) 468.01
Current children cumulated vsize (Kb) 11528
[startup+560.054 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 967 0 0 0 12946 1910 0 0 25 0 1 0 1843155221 9625600 938 4294967295 134512640 134702520 3221223712 3221163168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2350 938 413 48 0 2302 0
[pid=11840] vsize: 9400
Current children cumulated CPU time (s) 476.99
Current children cumulated vsize (Kb) 11528
[startup+570.055 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 970 0 0 0 13772 1966 0 0 25 0 1 0 1843155221 9625600 941 4294967295 134512640 134702520 3221223712 3221222992 134552246 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2350 941 413 48 0 2302 0
[pid=11840] vsize: 9400
Current children cumulated CPU time (s) 485.81
Current children cumulated vsize (Kb) 11528
[startup+580.055 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 977 0 0 0 14601 2020 0 0 19 0 1 0 1843155221 9625600 948 4294967295 134512640 134702520 3221223712 3221222960 134564365 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2350 948 413 48 0 2302 0
[pid=11840] vsize: 9400
Current children cumulated CPU time (s) 494.64
Current children cumulated vsize (Kb) 11528
[startup+590.056 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 979 0 0 0 15279 2124 0 0 16 0 1 0 1843155221 9625600 950 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2350 950 413 48 0 2302 0
[pid=11840] vsize: 9400
Current children cumulated CPU time (s) 502.46
Current children cumulated vsize (Kb) 11528
[startup+600.057 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 981 0 0 0 15782 2285 0 0 25 0 1 0 1843155221 9691136 952 4294967295 134512640 134702520 3221223712 3221214348 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2366 952 413 48 0 2318 0
[pid=11840] vsize: 9464
Current children cumulated CPU time (s) 509.1
Current children cumulated vsize (Kb) 11592
[startup+610.058 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 981 0 0 0 16610 2345 0 0 25 0 1 0 1843155221 9691136 952 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2366 952 413 48 0 2318 0
[pid=11840] vsize: 9464
Current children cumulated CPU time (s) 517.98
Current children cumulated vsize (Kb) 11592
[startup+620.059 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 983 0 0 0 17499 2382 0 0 25 0 1 0 1843155221 9691136 954 4294967295 134512640 134702520 3221223712 3221060908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2366 954 413 48 0 2318 0
[pid=11840] vsize: 9464
Current children cumulated CPU time (s) 527.24
Current children cumulated vsize (Kb) 11592
[startup+630.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 988 0 0 0 18324 2439 0 0 25 0 1 0 1843155221 9691136 959 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2366 959 413 48 0 2318 0
[pid=11840] vsize: 9464
Current children cumulated CPU time (s) 536.06
Current children cumulated vsize (Kb) 11592
[startup+640.061 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 988 0 0 0 18996 2547 0 0 17 0 1 0 1843155221 9691136 959 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2366 959 413 48 0 2318 0
[pid=11840] vsize: 9464
Current children cumulated CPU time (s) 543.86
Current children cumulated vsize (Kb) 11592
[startup+650.061 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 990 0 0 0 19506 2709 0 0 25 0 1 0 1843155221 9691136 961 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2366 961 413 48 0 2318 0
[pid=11840] vsize: 9464
Current children cumulated CPU time (s) 550.58
Current children cumulated vsize (Kb) 11592
[startup+660.062 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 995 0 0 0 20338 2767 0 0 21 0 1 0 1843155221 9691136 966 4294967295 134512640 134702520 3221223712 3221222992 134552894 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2366 966 413 48 0 2318 0
[pid=11840] vsize: 9464
Current children cumulated CPU time (s) 559.48
Current children cumulated vsize (Kb) 11592
[startup+670.064 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1067 0 0 0 21225 2805 0 0 25 0 1 0 1843155221 9691136 1038 4294967295 134512640 134702520 3221223712 3221222992 134552128 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2366 1038 413 48 0 2318 0
[pid=11840] vsize: 9464
Current children cumulated CPU time (s) 568.73
Current children cumulated vsize (Kb) 11592
[startup+680.065 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1162 0 0 0 22122 2841 0 0 25 0 1 0 1843155221 10190848 1133 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2488 1133 413 48 0 2440 0
[pid=11840] vsize: 9952
Current children cumulated CPU time (s) 578.06
Current children cumulated vsize (Kb) 12080
[startup+690.064 s]
Raw data (loadavg): 1.08 1.03 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1254 0 0 0 23037 2871 0 0 25 0 1 0 1843155221 10821632 1225 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2642 1225 413 48 0 2594 0
[pid=11840] vsize: 10568
Current children cumulated CPU time (s) 587.51
Current children cumulated vsize (Kb) 12696
[startup+700.065 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1279 0 0 0 23635 3004 0 0 16 0 1 0 1843155221 10821632 1250 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2642 1250 413 48 0 2594 0
[pid=11840] vsize: 10568
Current children cumulated CPU time (s) 594.82
Current children cumulated vsize (Kb) 12696
[startup+710.066 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1281 0 0 0 24223 3137 0 0 25 0 1 0 1843155221 10915840 1252 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2665 1252 413 48 0 2617 0
[pid=11840] vsize: 10660
Current children cumulated CPU time (s) 602.03
Current children cumulated vsize (Kb) 12788
[startup+720.066 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1285 0 0 0 25124 3168 0 0 25 0 1 0 1843155221 10915840 1256 4294967295 134512640 134702520 3221223712 3221168928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2665 1256 413 48 0 2617 0
[pid=11840] vsize: 10660
Current children cumulated CPU time (s) 611.35
Current children cumulated vsize (Kb) 12788
[startup+730.067 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1297 0 0 0 26030 3201 0 0 25 0 1 0 1843155221 10915840 1268 4294967295 134512640 134702520 3221223712 3221200448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2665 1268 413 48 0 2617 0
[pid=11840] vsize: 10660
Current children cumulated CPU time (s) 620.74
Current children cumulated vsize (Kb) 12788
[startup+740.068 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1305 0 0 0 26933 3234 0 0 19 0 1 0 1843155221 10915840 1276 4294967295 134512640 134702520 3221223712 3221222976 134553191 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2665 1276 413 48 0 2617 0
[pid=11840] vsize: 10660
Current children cumulated CPU time (s) 630.1
Current children cumulated vsize (Kb) 12788
[startup+750.069 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1347 0 0 0 27851 3264 0 0 25 0 1 0 1843155221 10915840 1318 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2665 1318 413 48 0 2617 0
[pid=11840] vsize: 10660
Current children cumulated CPU time (s) 639.58
Current children cumulated vsize (Kb) 12788
[startup+760.069 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1399 0 0 0 28781 3287 0 0 25 0 1 0 1843155221 11055104 1370 4294967295 134512640 134702520 3221223712 3221222992 134552472 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2699 1370 413 48 0 2651 0
[pid=11840] vsize: 10796
Current children cumulated CPU time (s) 649.11
Current children cumulated vsize (Kb) 12924
[startup+770.071 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1445 0 0 0 29554 3361 0 0 16 0 1 0 1843155221 11554816 1416 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2821 1416 413 48 0 2773 0
[pid=11840] vsize: 11284
Current children cumulated CPU time (s) 657.58
Current children cumulated vsize (Kb) 13412
[startup+780.072 s]
Raw data (loadavg): 1.09 1.04 1.01 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1447 0 0 0 29968 3558 0 0 25 0 1 0 1843155221 11636736 1418 4294967295 134512640 134702520 3221223712 3221222992 134550404 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2841 1418 413 48 0 2793 0
[pid=11840] vsize: 11364
Current children cumulated CPU time (s) 663.69
Current children cumulated vsize (Kb) 13492
[startup+790.072 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1448 0 0 0 30868 3592 0 0 25 0 1 0 1843155221 11636736 1419 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2841 1419 413 48 0 2793 0
[pid=11840] vsize: 11364
Current children cumulated CPU time (s) 673.03
Current children cumulated vsize (Kb) 13492
[startup+800.074 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1449 0 0 0 31770 3624 0 0 25 0 1 0 1843155221 11636736 1420 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2841 1420 413 48 0 2793 0
[pid=11840] vsize: 11364
Current children cumulated CPU time (s) 682.37
Current children cumulated vsize (Kb) 13492
[startup+810.075 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1465 0 0 0 32691 3651 0 0 25 0 1 0 1843155221 11636736 1436 4294967295 134512640 134702520 3221223712 3221222992 134552562 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2841 1436 413 48 0 2793 0
[pid=11840] vsize: 11364
Current children cumulated CPU time (s) 691.85
Current children cumulated vsize (Kb) 13492
[startup+820.077 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1470 0 0 0 33632 3670 0 0 19 0 1 0 1843155221 11636736 1441 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2841 1441 413 48 0 2793 0
[pid=11840] vsize: 11364
Current children cumulated CPU time (s) 701.45
Current children cumulated vsize (Kb) 13492
[startup+830.077 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1476 0 0 0 34576 3692 0 0 25 0 1 0 1843155221 11636736 1447 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2841 1447 413 48 0 2793 0
[pid=11840] vsize: 11364
Current children cumulated CPU time (s) 711.11
Current children cumulated vsize (Kb) 13492
[startup+840.078 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1484 0 0 0 35498 3717 0 0 25 0 1 0 1843155221 11636736 1455 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2841 1455 413 48 0 2793 0
[pid=11840] vsize: 11364
Current children cumulated CPU time (s) 720.58
Current children cumulated vsize (Kb) 13492
[startup+850.079 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1502 0 0 0 36298 3784 0 0 17 0 1 0 1843155221 11771904 1473 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2874 1473 413 48 0 2826 0
[pid=11840] vsize: 11496
Current children cumulated CPU time (s) 729.25
Current children cumulated vsize (Kb) 13624
[startup+860.08 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1504 0 0 0 36693 3987 0 0 21 0 1 0 1843155221 11771904 1475 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2874 1475 413 48 0 2826 0
[pid=11840] vsize: 11496
Current children cumulated CPU time (s) 735.23
Current children cumulated vsize (Kb) 13624
[startup+870.081 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1504 0 0 0 37606 4016 0 0 17 0 1 0 1843155221 11771904 1475 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2874 1475 413 48 0 2826 0
[pid=11840] vsize: 11496
Current children cumulated CPU time (s) 744.65
Current children cumulated vsize (Kb) 13624
[startup+880.082 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1504 0 0 0 38555 4033 0 0 22 0 1 0 1843155221 11771904 1475 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2874 1475 413 48 0 2826 0
[pid=11840] vsize: 11496
Current children cumulated CPU time (s) 754.31
Current children cumulated vsize (Kb) 13624
[startup+890.082 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1504 0 0 0 39483 4060 0 0 25 0 1 0 1843155221 11771904 1475 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2874 1475 413 48 0 2826 0
[pid=11840] vsize: 11496
Current children cumulated CPU time (s) 763.86
Current children cumulated vsize (Kb) 13624
[startup+900.082 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1505 0 0 0 40405 4087 0 0 25 0 1 0 1843155221 11771904 1476 4294967295 134512640 134702520 3221223712 3221222968 134564337 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2874 1476 413 48 0 2826 0
[pid=11840] vsize: 11496
Current children cumulated CPU time (s) 773.35
Current children cumulated vsize (Kb) 13624
[startup+910.083 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1510 0 0 0 41333 4111 0 0 25 0 1 0 1843155221 11771904 1481 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2874 1481 413 48 0 2826 0
[pid=11840] vsize: 11496
Current children cumulated CPU time (s) 782.87
Current children cumulated vsize (Kb) 13624
[startup+920.084 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1513 0 0 0 42302 4124 0 0 25 0 1 0 1843155221 11771904 1484 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2874 1484 413 48 0 2826 0
[pid=11840] vsize: 11496
Current children cumulated CPU time (s) 792.69
Current children cumulated vsize (Kb) 13624
[startup+930.085 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1520 0 0 0 43233 4147 0 0 25 0 1 0 1843155221 11771904 1491 4294967295 134512640 134702520 3221223712 3221222992 134551042 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2874 1491 413 48 0 2826 0
[pid=11840] vsize: 11496
Current children cumulated CPU time (s) 802.23
Current children cumulated vsize (Kb) 13624
[startup+940.085 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1533 0 0 0 44049 4208 0 0 17 0 1 0 1843155221 11771904 1504 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2874 1504 413 48 0 2826 0
[pid=11840] vsize: 11496
Current children cumulated CPU time (s) 811
Current children cumulated vsize (Kb) 13624
[startup+950.086 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1535 0 0 0 44428 4415 0 0 20 0 1 0 1843155221 11845632 1506 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2892 1506 413 48 0 2844 0
[pid=11840] vsize: 11568
Current children cumulated CPU time (s) 816.86
Current children cumulated vsize (Kb) 13696
[startup+960.087 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1535 0 0 0 45366 4438 0 0 19 0 1 0 1843155221 11845632 1506 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2892 1506 413 48 0 2844 0
[pid=11840] vsize: 11568
Current children cumulated CPU time (s) 826.47
Current children cumulated vsize (Kb) 13696
[startup+970.088 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1535 0 0 0 46290 4465 0 0 25 0 1 0 1843155221 11845632 1506 4294967295 134512640 134702520 3221223712 3221185868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2892 1506 413 48 0 2844 0
[pid=11840] vsize: 11568
Current children cumulated CPU time (s) 835.98
Current children cumulated vsize (Kb) 13696
[startup+980.089 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1535 0 0 0 47205 4494 0 0 25 0 1 0 1843155221 11845632 1506 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2892 1506 413 48 0 2844 0
[pid=11840] vsize: 11568
Current children cumulated CPU time (s) 845.42
Current children cumulated vsize (Kb) 13696
[startup+990.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1535 0 0 0 48120 4522 0 0 25 0 1 0 1843155221 11845632 1506 4294967295 134512640 134702520 3221223712 3221222992 134557183 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2892 1506 413 48 0 2844 0
[pid=11840] vsize: 11568
Current children cumulated CPU time (s) 854.85
Current children cumulated vsize (Kb) 13696
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1540 0 0 0 49041 4547 0 0 25 0 1 0 1843155221 11845632 1511 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2892 1511 413 48 0 2844 0
[pid=11840] vsize: 11568
Current children cumulated CPU time (s) 864.31
Current children cumulated vsize (Kb) 13696
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1542 0 0 0 50008 4559 0 0 25 0 1 0 1843155221 11845632 1513 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2892 1513 413 48 0 2844 0
[pid=11840] vsize: 11568
Current children cumulated CPU time (s) 874.1
Current children cumulated vsize (Kb) 13696
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1542 0 0 0 50939 4583 0 0 25 0 1 0 1843155221 11845632 1513 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2892 1513 413 48 0 2844 0
[pid=11840] vsize: 11568
Current children cumulated CPU time (s) 883.65
Current children cumulated vsize (Kb) 13696
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1545 0 0 0 51852 4613 0 0 17 0 1 0 1843155221 11345920 1477 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1477 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 893.08
Current children cumulated vsize (Kb) 13208
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1546 0 0 0 52228 4815 0 0 16 0 1 0 1843155221 11345920 1478 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2770 1478 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 898.86
Current children cumulated vsize (Kb) 13208
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1547 0 0 0 53083 4862 0 0 25 0 1 0 1843155221 11345920 1479 4294967295 134512640 134702520 3221223712 3221202508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1479 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 907.88
Current children cumulated vsize (Kb) 13208
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1547 0 0 0 53976 4894 0 0 25 0 1 0 1843155221 11345920 1479 4294967295 134512640 134702520 3221223712 3221222960 134564349 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1479 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 917.13
Current children cumulated vsize (Kb) 13208
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1549 0 0 0 54874 4927 0 0 25 0 1 0 1843155221 11345920 1481 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1481 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 926.44
Current children cumulated vsize (Kb) 13208
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1549 0 0 0 55838 4941 0 0 25 0 1 0 1843155221 11345920 1481 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1481 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 936.22
Current children cumulated vsize (Kb) 13208
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1549 0 0 0 56744 4970 0 0 24 0 1 0 1843155221 11345920 1481 4294967295 134512640 134702520 3221223712 3221222992 134557225 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1481 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 945.57
Current children cumulated vsize (Kb) 13208
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1549 0 0 0 57704 4983 0 0 25 0 1 0 1843155221 11345920 1481 4294967295 134512640 134702520 3221223712 3221222992 134553162 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1481 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 955.3
Current children cumulated vsize (Kb) 13208
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1551 0 0 0 58606 5018 0 0 25 0 1 0 1843155221 11345920 1483 4294967295 134512640 134702520 3221223712 3221222992 134557712 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1483 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 964.67
Current children cumulated vsize (Kb) 13208
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1551 0 0 0 59252 5133 0 0 16 0 1 0 1843155221 11345920 1483 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1483 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 972.28
Current children cumulated vsize (Kb) 13208
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1552 0 0 0 59788 5287 0 0 25 0 1 0 1843155221 11345920 1484 4294967295 134512640 134702520 3221223712 3221222980 134557393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2770 1484 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 979.18
Current children cumulated vsize (Kb) 13208
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1552 0 0 0 60673 5325 0 0 25 0 1 0 1843155221 11345920 1484 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2770 1484 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 988.41
Current children cumulated vsize (Kb) 13208
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1553 0 0 0 61563 5363 0 0 25 0 1 0 1843155221 11345920 1485 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1485 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 997.69
Current children cumulated vsize (Kb) 13208
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1553 0 0 0 62457 5403 0 0 25 0 1 0 1843155221 11345920 1485 4294967295 134512640 134702520 3221223712 3221222992 134553931 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2770 1485 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 1007.03
Current children cumulated vsize (Kb) 13208
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1553 0 0 0 63346 5440 0 0 25 0 1 0 1843155221 11345920 1485 4294967295 134512640 134702520 3221223712 3221222992 134552569 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1485 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 1016.29
Current children cumulated vsize (Kb) 13208
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1554 0 0 0 64237 5478 0 0 25 0 1 0 1843155221 11345920 1486 4294967295 134512640 134702520 3221223712 3221222992 134554260 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1486 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 1025.58
Current children cumulated vsize (Kb) 13208
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1555 0 0 0 65044 5544 0 0 16 0 1 0 1843155221 11345920 1487 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1487 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 1034.31
Current children cumulated vsize (Kb) 13208
[startup+1200.11 s]
Raw data (loadavg): 1.07 1.02 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1557 0 0 0 65420 5745 0 0 25 0 1 0 1843155221 11345920 1489 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1489 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 1040.08
Current children cumulated vsize (Kb) 13208
[startup+1210.11 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1560 0 0 0 66291 5787 0 0 25 0 1 0 1843155221 11345920 1492 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1492 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 1049.21
Current children cumulated vsize (Kb) 13208
[startup+1220.11 s]
Raw data (loadavg): 1.05 1.01 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1560 0 0 0 67235 5806 0 0 25 0 1 0 1843155221 11345920 1492 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2770 1492 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 1058.84
Current children cumulated vsize (Kb) 13208
[startup+1230.11 s]
Raw data (loadavg): 1.12 1.03 1.01 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1563 0 0 0 68114 5847 0 0 25 0 1 0 1843155221 11345920 1495 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1495 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 1068.04
Current children cumulated vsize (Kb) 13208
[startup+1240.12 s]
Raw data (loadavg): 1.10 1.03 1.01 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1563 0 0 0 68995 5889 0 0 25 0 1 0 1843155221 11345920 1495 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1495 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 1077.27
Current children cumulated vsize (Kb) 13208
[startup+1250.12 s]
Raw data (loadavg): 1.08 1.03 1.01 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1563 0 0 0 69881 5932 0 0 25 0 1 0 1843155221 11345920 1495 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1495 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 1086.56
Current children cumulated vsize (Kb) 13208
[startup+1260.12 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1563 0 0 0 70309 6108 0 0 16 0 1 0 1843155221 11345920 1495 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1495 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 1092.6
Current children cumulated vsize (Kb) 13208
[startup+1270.12 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1564 0 0 0 71024 6205 0 0 16 0 1 0 1843155221 11345920 1496 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1496 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 1100.72
Current children cumulated vsize (Kb) 13208
[startup+1280.12 s]
Raw data (loadavg): 1.05 1.02 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1564 0 0 0 71866 6256 0 0 17 0 1 0 1843155221 11345920 1496 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1496 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 1109.65
Current children cumulated vsize (Kb) 13208
[startup+1290.12 s]
Raw data (loadavg): 1.04 1.02 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1564 0 0 0 72742 6301 0 0 17 0 1 0 1843155221 11345920 1496 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1496 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 1118.86
Current children cumulated vsize (Kb) 13208
[startup+1300.12 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1572 0 0 0 73626 6342 0 0 17 0 1 0 1843155221 11345920 1504 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1504 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 1128.11
Current children cumulated vsize (Kb) 13208
[startup+1310.12 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1573 0 0 0 74510 6382 0 0 18 0 1 0 1843155221 11345920 1505 4294967295 134512640 134702520 3221223712 3221222992 134550691 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1505 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 1137.35
Current children cumulated vsize (Kb) 13208
[startup+1320.12 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1573 0 0 0 75264 6462 0 0 15 0 1 0 1843155221 11345920 1505 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1505 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 1145.69
Current children cumulated vsize (Kb) 13208
[startup+1330.12 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1574 0 0 0 75693 6643 0 0 17 0 1 0 1843155221 11419648 1506 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2788 1506 413 48 0 2740 0
[pid=11840] vsize: 11152
Current children cumulated CPU time (s) 1151.79
Current children cumulated vsize (Kb) 13280
[startup+1340.13 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1574 0 0 0 76559 6688 0 0 18 0 1 0 1843155221 11419648 1506 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2788 1506 413 48 0 2740 0
[pid=11840] vsize: 11152
Current children cumulated CPU time (s) 1160.9
Current children cumulated vsize (Kb) 13280
[startup+1350.13 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1575 0 0 0 77445 6727 0 0 18 0 1 0 1843155221 11419648 1507 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2788 1507 413 48 0 2740 0
[pid=11840] vsize: 11152
Current children cumulated CPU time (s) 1170.15
Current children cumulated vsize (Kb) 13280
[startup+1360.13 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1576 0 0 0 78335 6765 0 0 18 0 1 0 1843155221 11419648 1508 4294967295 134512640 134702520 3221223712 3221222992 134557245 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2788 1508 413 48 0 2740 0
[pid=11840] vsize: 11152
Current children cumulated CPU time (s) 1179.43
Current children cumulated vsize (Kb) 13280
[startup+1370.13 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1578 0 0 0 79231 6799 0 0 18 0 1 0 1843155221 11419648 1510 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2788 1510 413 48 0 2740 0
[pid=11840] vsize: 11152
Current children cumulated CPU time (s) 1188.73
Current children cumulated vsize (Kb) 13280
[startup+1380.13 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1581 0 0 0 80187 6814 0 0 25 0 1 0 1843155221 11419648 1513 4294967295 134512640 134702520 3221223712 3221182828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2788 1513 413 48 0 2740 0
[pid=11840] vsize: 11152
Current children cumulated CPU time (s) 1198.44
Current children cumulated vsize (Kb) 13280
[startup+1390.13 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1584 0 0 0 81085 6849 0 0 21 0 1 0 1843155221 11419648 1516 4294967295 134512640 134702520 3221223712 3221222992 134552370 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2788 1516 413 48 0 2740 0
[pid=11840] vsize: 11152
Current children cumulated CPU time (s) 1207.77
Current children cumulated vsize (Kb) 13280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1390.13 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1584 0 0 0 81085 6849 0 0 21 0 1 0 1843155221 11419648 1516 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2788 1516 413 48 0 2740 0
[pid=11840] vsize: 11152
Current children cumulated CPU time (s) 1207.77
Current children cumulated vsize (Kb) 13280
Sending SIGTERM to -11835
Sleeping 2 seconds
New process pid=11842
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=11843
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/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/21233/stat
open syscall for file /proc/21233/status
open syscall for file /proc/21233/cmdline
open syscall for file /proc/21233/environ
open syscall for file /proc/20037/stat
open syscall for file /proc/20037/status
open syscall for file /proc/20037/cmdline
open syscall for file /proc/20037/environ
open syscall for file /proc/20064/stat
open syscall for file /proc/20064/status
open syscall for file /proc/20064/cmdline
open syscall for file /proc/20064/environ
open syscall for file /proc/20088/stat
open syscall for file /proc/20088/status
open syscall for file /proc/20088/cmdline
open syscall for file /proc/20088/environ
open syscall for file /proc/4269/stat
open syscall for file /proc/4269/status
open syscall for file /proc/4269/cmdline
open syscall for file /proc/4269/environ
open syscall for file /proc/17737/stat
open syscall for file /proc/17737/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/17737/cmdline
open syscall for file /proc/17737/environ
open syscall for file /proc/17772/stat
open syscall for file /proc/17772/status
open syscall for file /proc/17772/cmdline
open syscall for file /proc/17772/environ
open syscall for file /proc/2660/stat
open syscall for file /proc/2660/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/2660/cmdline
open syscall for file /proc/2660/environ
open syscall for file /proc/2661/stat
open syscall for file /proc/2661/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/2661/cmdline
open syscall for file /proc/2661/environ
open syscall for file /proc/2670/stat
open syscall for file /proc/2670/status
open syscall for file /proc/2670/cmdline
open syscall for file /proc/2670/environ
open syscall for file /proc/11798/stat
open syscall for file /proc/11798/status
open syscall for file /proc/11798/cmdline
open syscall for file /proc/11798/environ
open syscall for file /proc/11834/stat
open syscall for file /proc/11834/status
open syscall for file /proc/11834/cmdline
open syscall for file /proc/11834/environ
open syscall for file /proc/11835/stat
open syscall for file /proc/11835/status
open syscall for file /proc/11835/cmdline
open syscall for file /proc/11835/environ
open syscall for file /proc/11840/stat
open syscall for file /proc/11840/status
open syscall for file /proc/11840/cmdline
open syscall for file /proc/11840/environ
open syscall for file /proc/11842/stat
open syscall for file /proc/11842/status
open syscall for file /proc/11842/cmdline
open syscall for file /proc/11842/environ
open syscall for file /proc/11843/stat
open syscall for file /proc/11843/status
open syscall for file /proc/11843/cmdline
open syscall for file /proc/11843/environ
One traced child (pid=11842) exited with status: 0
One traced child (pid=11843) exited with status: 0
New process pid=11844
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=11844) exited with status: 0
New process pid=11845
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=11845) exited with status: 0
One traced child (pid=11835) 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=11840) exited with status: 3
All traced children have exited ! Game is over.
Child status: 3
Real time (s): 1390.72
CPU time (s): 879.911
CPU user time (s): 811.353
CPU system time (s): 68.5586
CPU usage (%): 63.27
Max. virtual memory (cumulated for all children) (Kb): 13696