1:
seed: 0
Nr of vars set: 1 (#equs: 0)
Nr of vars set: 882 (#equs: 6)
#decisions: 285605; #end-nodes: 14973;
#proof improvement attempts: 0; #restarts: 96
Current batch, end-nodes: 0 / 169 (103)
#axs: 245073, #non-axs: 6433
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)
seed: 0
Nr of vars set: 6525 (#equs: 12)
Time taken: 12 min, 58 sec
2:
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) R 2214 2215 22582 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1787858436 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2215/statm): 174 3 169 147 0 27 0
[pid=2215] 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=2216
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=2216) exited with status: 0
New process pid=2217
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=2217) exited with status: 0
New process pid=2218
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/wulflinc10/normalized-ooo.unbounded.all.ucl.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0038 s]
Raw data (loadavg): 0.92 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 7489 0 0 0 938 39 0 0 25 0 1 0 1787858443 35360768 6922 4294967295 134512640 134702520 3221223952 3221160908 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 8633 6922 413 48 0 8585 0
[pid=2218] vsize: 34532
Current children cumulated CPU time (s) 9.79
Current children cumulated vsize (Kb) 36660
[startup+20.0044 s]
Raw data (loadavg): 0.93 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 7489 0 0 0 1938 39 0 0 25 0 1 0 1787858443 35360768 6922 4294967295 134512640 134702520 3221223952 3220772928 134612101 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 8633 6922 413 48 0 8585 0
[pid=2218] vsize: 34532
Current children cumulated CPU time (s) 19.79
Current children cumulated vsize (Kb) 36660
[startup+30.0059 s]
Raw data (loadavg): 0.94 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 7489 0 0 0 2937 40 0 0 25 0 1 0 1787858443 35360768 6922 4294967295 134512640 134702520 3221223952 3220341248 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 8633 6922 413 48 0 8585 0
[pid=2218] vsize: 34532
Current children cumulated CPU time (s) 29.79
Current children cumulated vsize (Kb) 36660
[startup+40.0065 s]
Raw data (loadavg): 0.95 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 7567 0 0 0 3937 40 0 0 25 0 1 0 1787858443 35680256 7000 4294967295 134512640 134702520 3221223952 3219838208 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 8711 7000 413 48 0 8663 0
[pid=2218] vsize: 34844
Current children cumulated CPU time (s) 39.79
Current children cumulated vsize (Kb) 36972
[startup+50.0081 s]
Raw data (loadavg): 0.96 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 7723 0 0 0 4936 41 0 0 25 0 1 0 1787858443 36319232 7156 4294967295 134512640 134702520 3221223952 3219198828 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 8867 7156 413 48 0 8819 0
[pid=2218] vsize: 35468
Current children cumulated CPU time (s) 49.79
Current children cumulated vsize (Kb) 37596
[startup+60.0086 s]
Raw data (loadavg): 0.96 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 7962 0 0 0 5935 42 0 0 25 0 1 0 1787858443 37298176 7395 4294967295 134512640 134702520 3221223952 3218219628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 9106 7395 413 48 0 9058 0
[pid=2218] vsize: 36424
Current children cumulated CPU time (s) 59.79
Current children cumulated vsize (Kb) 38552
[startup+70.0092 s]
Raw data (loadavg): 0.97 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 8479 0 0 0 6934 43 0 0 25 0 1 0 1787858443 39415808 7912 4294967295 134512640 134702520 3221223952 3220986668 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 9623 7912 413 48 0 9575 0
[pid=2218] vsize: 38492
Current children cumulated CPU time (s) 69.79
Current children cumulated vsize (Kb) 40620
[startup+80.0107 s]
Raw data (loadavg): 0.97 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 8479 0 0 0 7934 43 0 0 25 0 1 0 1787858443 39415808 7912 4294967295 134512640 134702520 3221223952 3220390668 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 9623 7912 413 48 0 9575 0
[pid=2218] vsize: 38492
Current children cumulated CPU time (s) 79.79
Current children cumulated vsize (Kb) 40620
[startup+90.0113 s]
Raw data (loadavg): 0.98 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 8479 0 0 0 8934 43 0 0 25 0 1 0 1787858443 39415808 7912 4294967295 134512640 134702520 3221223952 3219500588 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 9623 7912 413 48 0 9575 0
[pid=2218] vsize: 38492
Current children cumulated CPU time (s) 89.79
Current children cumulated vsize (Kb) 40620
[startup+100.013 s]
Raw data (loadavg): 0.98 0.97 0.99 1/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) T 2215 2215 22582 0 -1 0 8655 0 0 0 9907 53 0 0 25 0 1 0 1787858443 83468288 8073 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2218/statm): 20378 8073 413 48 0 20330 0
[pid=2218] vsize: 81512
Current children cumulated CPU time (s) 99.62
Current children cumulated vsize (Kb) 83640
[startup+110.014 s]
Raw data (loadavg): 0.98 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 8694 0 0 0 10801 89 0 0 25 0 1 0 1787858443 83468288 8112 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 20378 8112 413 48 0 20330 0
[pid=2218] vsize: 81512
Current children cumulated CPU time (s) 108.92
Current children cumulated vsize (Kb) 83640
[startup+120.015 s]
Raw data (loadavg): 0.98 0.97 0.99 1/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) T 2215 2215 22582 0 -1 0 8711 0 0 0 11718 116 0 0 25 0 1 0 1787858443 83468288 8129 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20378 8129 413 48 0 20330 0
[pid=2218] vsize: 81512
Current children cumulated CPU time (s) 118.36
Current children cumulated vsize (Kb) 83640
[startup+130.016 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) T 2215 2215 22582 0 -1 0 8721 0 0 0 12656 137 0 0 25 0 1 0 1787858443 83603456 8139 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20411 8139 413 48 0 20363 0
[pid=2218] vsize: 81644
Current children cumulated CPU time (s) 127.95
Current children cumulated vsize (Kb) 83772
[startup+140.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 8722 0 0 0 13650 140 0 0 25 0 1 0 1787858443 83603456 8140 4294967295 134512640 134702520 3221223952 3220941968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20411 8140 413 48 0 20363 0
[pid=2218] vsize: 81644
Current children cumulated CPU time (s) 137.92
Current children cumulated vsize (Kb) 83772
[startup+150.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 8722 0 0 0 14650 140 0 0 25 0 1 0 1787858443 83603456 8140 4294967295 134512640 134702520 3221223952 3220602108 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20411 8140 413 48 0 20363 0
[pid=2218] vsize: 81644
Current children cumulated CPU time (s) 147.92
Current children cumulated vsize (Kb) 83772
[startup+160.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 8722 0 0 0 15650 140 0 0 25 0 1 0 1787858443 83603456 8140 4294967295 134512640 134702520 3221223952 3220236836 134611987 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20411 8140 413 48 0 20363 0
[pid=2218] vsize: 81644
Current children cumulated CPU time (s) 157.92
Current children cumulated vsize (Kb) 83772
[startup+170.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 8722 0 0 0 16650 140 0 0 25 0 1 0 1787858443 83603456 8140 4294967295 134512640 134702520 3221223952 3219834588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20411 8140 413 48 0 20363 0
[pid=2218] vsize: 81644
Current children cumulated CPU time (s) 167.92
Current children cumulated vsize (Kb) 83772
[startup+180.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 8722 0 0 0 17650 140 0 0 25 0 1 0 1787858443 83603456 8140 4294967295 134512640 134702520 3221223952 3219379548 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20411 8140 413 48 0 20363 0
[pid=2218] vsize: 81644
Current children cumulated CPU time (s) 177.92
Current children cumulated vsize (Kb) 83772
[startup+190.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 8722 0 0 0 18651 140 0 0 25 0 1 0 1787858443 83603456 8140 4294967295 134512640 134702520 3221223952 3218846288 134612101 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20411 8140 413 48 0 20363 0
[pid=2218] vsize: 81644
Current children cumulated CPU time (s) 187.93
Current children cumulated vsize (Kb) 83772
[startup+200.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 8722 0 0 0 19651 140 0 0 25 0 1 0 1787858443 83603456 8140 4294967295 134512640 134702520 3221223952 3218166588 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20411 8140 413 48 0 20363 0
[pid=2218] vsize: 81644
Current children cumulated CPU time (s) 197.93
Current children cumulated vsize (Kb) 83772
[startup+210.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 8722 0 0 0 20650 142 0 0 25 0 1 0 1787858443 83603456 8140 4294967295 134512640 134702520 3221223952 3216973148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20411 8140 413 48 0 20363 0
[pid=2218] vsize: 81644
Current children cumulated CPU time (s) 207.94
Current children cumulated vsize (Kb) 83772
[startup+220.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 8940 0 0 0 21649 143 0 0 25 0 1 0 1787858443 84496384 8358 4294967295 134512640 134702520 3221223952 3220303728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8358 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 217.94
Current children cumulated vsize (Kb) 84644
[startup+230.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 8940 0 0 0 22649 143 0 0 25 0 1 0 1787858443 84496384 8358 4294967295 134512640 134702520 3221223952 3221025808 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8358 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 227.94
Current children cumulated vsize (Kb) 84644
[startup+240.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 8960 0 0 0 23591 163 0 0 25 0 1 0 1787858443 84496384 8360 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 20629 8360 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 237.56
Current children cumulated vsize (Kb) 84644
[startup+250.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 8969 0 0 0 24517 189 0 0 25 0 1 0 1787858443 84496384 8369 4294967295 134512640 134702520 3221223952 3221223232 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 20629 8369 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 247.08
Current children cumulated vsize (Kb) 84644
[startup+260.026 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) T 2215 2215 22582 0 -1 0 8983 0 0 0 25442 216 0 0 25 0 1 0 1787858443 84496384 8383 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8383 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 256.6
Current children cumulated vsize (Kb) 84644
[startup+270.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 8997 0 0 0 26348 251 0 0 25 0 1 0 1787858443 84496384 8397 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8397 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 266.01
Current children cumulated vsize (Kb) 84644
[startup+280.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 8999 0 0 0 27328 258 0 0 25 0 1 0 1787858443 84496384 8399 4294967295 134512640 134702520 3221223952 3220265488 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8399 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 275.88
Current children cumulated vsize (Kb) 84644
[startup+290.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 8999 0 0 0 28328 258 0 0 25 0 1 0 1787858443 84496384 8399 4294967295 134512640 134702520 3221223952 3220197628 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8399 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 285.88
Current children cumulated vsize (Kb) 84644
[startup+300.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9015 0 0 0 29284 273 0 0 25 0 1 0 1787858443 84496384 8401 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 20629 8401 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 295.59
Current children cumulated vsize (Kb) 84644
[startup+310.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9019 0 0 0 30209 299 0 0 25 0 1 0 1787858443 84496384 8405 4294967295 134512640 134702520 3221223952 3221223232 134552900 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 20629 8405 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 305.1
Current children cumulated vsize (Kb) 84644
[startup+320.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9026 0 0 0 31140 323 0 0 25 0 1 0 1787858443 84496384 8412 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8412 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 314.65
Current children cumulated vsize (Kb) 84644
[startup+330.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9037 0 0 0 32087 342 0 0 25 0 1 0 1787858443 84496384 8423 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8423 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 324.31
Current children cumulated vsize (Kb) 84644
[startup+340.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9039 0 0 0 33079 344 0 0 25 0 1 0 1787858443 84496384 8425 4294967295 134512640 134702520 3221223952 3221188688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8425 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 334.25
Current children cumulated vsize (Kb) 84644
[startup+350.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9039 0 0 0 34079 344 0 0 25 0 1 0 1787858443 84496384 8425 4294967295 134512640 134702520 3221223952 3221146268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8425 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 344.25
Current children cumulated vsize (Kb) 84644
[startup+360.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9039 0 0 0 35079 344 0 0 25 0 1 0 1787858443 84496384 8425 4294967295 134512640 134702520 3221223952 3221101488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8425 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 354.25
Current children cumulated vsize (Kb) 84644
[startup+370.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9039 0 0 0 36079 344 0 0 25 0 1 0 1787858443 84496384 8425 4294967295 134512640 134702520 3221223952 3221056208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8425 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 364.25
Current children cumulated vsize (Kb) 84644
[startup+380.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9039 0 0 0 37080 344 0 0 25 0 1 0 1787858443 84496384 8425 4294967295 134512640 134702520 3221223952 3221010448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8425 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 374.26
Current children cumulated vsize (Kb) 84644
[startup+390.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9039 0 0 0 38080 344 0 0 25 0 1 0 1787858443 84496384 8425 4294967295 134512640 134702520 3221223952 3220964208 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8425 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 384.26
Current children cumulated vsize (Kb) 84644
[startup+400.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9039 0 0 0 39080 344 0 0 25 0 1 0 1787858443 84496384 8425 4294967295 134512640 134702520 3221223952 3220917488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8425 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 394.26
Current children cumulated vsize (Kb) 84644
[startup+410.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9039 0 0 0 40080 344 0 0 25 0 1 0 1787858443 84496384 8425 4294967295 134512640 134702520 3221223952 3220870268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8425 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 404.26
Current children cumulated vsize (Kb) 84644
[startup+420.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9039 0 0 0 41080 344 0 0 25 0 1 0 1787858443 84496384 8425 4294967295 134512640 134702520 3221223952 3220635248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8425 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 414.26
Current children cumulated vsize (Kb) 84644
[startup+430.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9039 0 0 0 42080 345 0 0 25 0 1 0 1787858443 84496384 8425 4294967295 134512640 134702520 3221223952 3220039728 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8425 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 424.27
Current children cumulated vsize (Kb) 84644
[startup+440.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9039 0 0 0 43081 345 0 0 25 0 1 0 1787858443 84496384 8425 4294967295 134512640 134702520 3221223952 3219192348 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8425 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 434.28
Current children cumulated vsize (Kb) 84644
[startup+450.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9039 0 0 0 44081 345 0 0 25 0 1 0 1787858443 84496384 8425 4294967295 134512640 134702520 3221223952 3220830448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8425 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 444.28
Current children cumulated vsize (Kb) 84644
[startup+460.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9039 0 0 0 45081 345 0 0 25 0 1 0 1787858443 84496384 8425 4294967295 134512640 134702520 3221223952 3220744348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8425 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 454.28
Current children cumulated vsize (Kb) 84644
[startup+470.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9039 0 0 0 46081 345 0 0 25 0 1 0 1787858443 84496384 8425 4294967295 134512640 134702520 3221223952 3220656028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8425 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 464.28
Current children cumulated vsize (Kb) 84644
[startup+480.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9039 0 0 0 47082 345 0 0 25 0 1 0 1787858443 84496384 8425 4294967295 134512640 134702520 3221223952 3220564688 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8425 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 474.29
Current children cumulated vsize (Kb) 84644
[startup+490.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9039 0 0 0 48082 345 0 0 25 0 1 0 1787858443 84496384 8425 4294967295 134512640 134702520 3221223952 3220470288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8425 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 484.29
Current children cumulated vsize (Kb) 84644
[startup+500.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9039 0 0 0 49082 345 0 0 25 0 1 0 1787858443 84496384 8425 4294967295 134512640 134702520 3221223952 3220135868 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8425 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 494.29
Current children cumulated vsize (Kb) 84644
[startup+510.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9039 0 0 0 50082 345 0 0 25 0 1 0 1787858443 84496384 8425 4294967295 134512640 134702520 3221223952 3219522916 134611990 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8425 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 504.29
Current children cumulated vsize (Kb) 84644
[startup+520.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9039 0 0 0 51082 345 0 0 25 0 1 0 1787858443 84496384 8425 4294967295 134512640 134702520 3221223952 3218610428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8425 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 514.29
Current children cumulated vsize (Kb) 84644
[startup+530.046 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) T 2215 2215 22582 0 -1 0 9058 0 0 0 52065 352 0 0 25 0 1 0 1787858443 84496384 8430 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2218/statm): 20629 8430 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 524.19
Current children cumulated vsize (Kb) 84644
[startup+540.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9073 0 0 0 52998 378 0 0 25 0 1 0 1787858443 84496384 8445 4294967295 134512640 134702520 3221223952 3221223232 134551042 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 20629 8445 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 533.78
Current children cumulated vsize (Kb) 84644
[startup+550.049 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9087 0 0 0 53950 393 0 0 25 0 1 0 1787858443 84496384 8459 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 20629 8459 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 543.45
Current children cumulated vsize (Kb) 84644
[startup+560.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9093 0 0 0 54917 404 0 0 25 0 1 0 1787858443 84496384 8465 4294967295 134512640 134702520 3221223952 3220476988 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8465 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 553.23
Current children cumulated vsize (Kb) 84644
[startup+570.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9093 0 0 0 55917 404 0 0 25 0 1 0 1787858443 84496384 8465 4294967295 134512640 134702520 3221223952 3221205948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8465 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 563.23
Current children cumulated vsize (Kb) 84644
[startup+580.051 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9093 0 0 0 56917 404 0 0 25 0 1 0 1787858443 84496384 8465 4294967295 134512640 134702520 3221223952 3220901168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8465 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 573.23
Current children cumulated vsize (Kb) 84644
[startup+590.051 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) T 2215 2215 22582 0 -1 0 9113 0 0 0 57900 411 0 0 25 0 1 0 1787858443 84496384 8471 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2218/statm): 20629 8471 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 583.13
Current children cumulated vsize (Kb) 84644
[startup+600.053 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9131 0 0 0 58844 431 0 0 25 0 1 0 1787858443 84496384 8489 4294967295 134512640 134702520 3221223952 3221223232 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 20629 8489 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 592.77
Current children cumulated vsize (Kb) 84644
[startup+610.054 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9147 0 0 0 59791 450 0 0 25 0 1 0 1787858443 84496384 8505 4294967295 134512640 134702520 3221223952 3221210588 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 20629 8505 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 602.43
Current children cumulated vsize (Kb) 84644
[startup+620.054 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9147 0 0 0 60791 450 0 0 25 0 1 0 1787858443 84496384 8505 4294967295 134512640 134702520 3221223952 3220876668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8505 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 612.43
Current children cumulated vsize (Kb) 84644
[startup+630.055 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9147 0 0 0 61792 450 0 0 25 0 1 0 1787858443 84496384 8505 4294967295 134512640 134702520 3221223952 3220517328 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8505 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 622.44
Current children cumulated vsize (Kb) 84644
[startup+640.055 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9147 0 0 0 62792 450 0 0 25 0 1 0 1787858443 84496384 8505 4294967295 134512640 134702520 3221223952 3220123548 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8505 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 632.44
Current children cumulated vsize (Kb) 84644
[startup+650.056 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9147 0 0 0 63792 450 0 0 25 0 1 0 1787858443 84496384 8505 4294967295 134512640 134702520 3221223952 3219680048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8505 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 642.44
Current children cumulated vsize (Kb) 84644
[startup+660.056 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9147 0 0 0 64792 450 0 0 25 0 1 0 1787858443 84496384 8505 4294967295 134512640 134702520 3221223952 3219164848 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8505 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 652.44
Current children cumulated vsize (Kb) 84644
[startup+670.057 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9147 0 0 0 65792 450 0 0 25 0 1 0 1787858443 84496384 8505 4294967295 134512640 134702520 3221223952 3218528028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8505 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 662.44
Current children cumulated vsize (Kb) 84644
[startup+680.058 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9147 0 0 0 66793 450 0 0 25 0 1 0 1787858443 84496384 8505 4294967295 134512640 134702520 3221223952 3217545968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8505 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 672.45
Current children cumulated vsize (Kb) 84644
[startup+690.058 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9147 0 0 0 67793 450 0 0 25 0 1 0 1787858443 84496384 8505 4294967295 134512640 134702520 3221223952 3221040828 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8505 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 682.45
Current children cumulated vsize (Kb) 84644
[startup+700.059 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9147 0 0 0 68793 450 0 0 25 0 1 0 1787858443 84496384 8505 4294967295 134512640 134702520 3221223952 3220910128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8505 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 692.45
Current children cumulated vsize (Kb) 84644
[startup+710.059 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9163 0 0 0 69767 459 0 0 25 0 1 0 1787858443 84496384 8507 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 20629 8507 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 702.28
Current children cumulated vsize (Kb) 84644
[startup+720.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9183 0 0 0 70701 480 0 0 25 0 1 0 1787858443 84631552 8527 4294967295 134512640 134702520 3221223952 3221223232 134550836 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 20662 8527 413 48 0 20614 0
[pid=2218] vsize: 82648
Current children cumulated CPU time (s) 711.83
Current children cumulated vsize (Kb) 84776
[startup+730.061 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) T 2215 2215 22582 0 -1 0 9202 0 0 0 71646 498 0 0 25 0 1 0 1787858443 84631552 8546 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2218/statm): 20662 8546 413 48 0 20614 0
[pid=2218] vsize: 82648
Current children cumulated CPU time (s) 721.46
Current children cumulated vsize (Kb) 84776
[startup+740.062 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9206 0 0 0 72635 502 0 0 25 0 1 0 1787858443 84631552 8550 4294967295 134512640 134702520 3221223952 3221060668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20662 8550 413 48 0 20614 0
[pid=2218] vsize: 82648
Current children cumulated CPU time (s) 731.39
Current children cumulated vsize (Kb) 84776
[startup+750.063 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9206 0 0 0 73635 502 0 0 25 0 1 0 1787858443 84631552 8550 4294967295 134512640 134702520 3221223952 3220439568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20662 8550 413 48 0 20614 0
[pid=2218] vsize: 82648
Current children cumulated CPU time (s) 741.39
Current children cumulated vsize (Kb) 84776
[startup+760.064 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9206 0 0 0 74635 502 0 0 25 0 1 0 1787858443 84631552 8550 4294967295 134512640 134702520 3221223952 3219522112 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20662 8550 413 48 0 20614 0
[pid=2218] vsize: 82648
Current children cumulated CPU time (s) 751.39
Current children cumulated vsize (Kb) 84776
[startup+770.065 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9206 0 0 0 75635 502 0 0 25 0 1 0 1787858443 84631552 8550 4294967295 134512640 134702520 3221223952 3221175068 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20662 8550 413 48 0 20614 0
[pid=2218] vsize: 82648
Current children cumulated CPU time (s) 761.39
Current children cumulated vsize (Kb) 84776
[startup+780.066 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9206 0 0 0 76635 502 0 0 25 0 1 0 1787858443 84631552 8550 4294967295 134512640 134702520 3221223952 3220939888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20662 8550 413 48 0 20614 0
[pid=2218] vsize: 82648
Current children cumulated CPU time (s) 771.39
Current children cumulated vsize (Kb) 84776
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
[startup+790.067 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9222 0 0 0 77609 522 0 0 25 0 1 0 1787858443 84635648 8552 4294967295 134512640 134702520 3221223952 3221223584 134531309 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 20663 8552 413 48 0 20615 0
[pid=2218] vsize: 82652
Current children cumulated CPU time (s) 781.33
Current children cumulated vsize (Kb) 84780
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=2218) exited with status: 2
New process pid=2219
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=2219) exited with status: 0
New process pid=2220
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+800.068 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 6117 0 0 0 939 31 0 0 25 0 1 0 1787937469 32931840 6088 4294967295 134512640 134702520 3221223712 3220458748 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 8040 6088 413 48 0 7992 0
[pid=2220] vsize: 32160
Current children cumulated CPU time (s) 791.17
Current children cumulated vsize (Kb) 34288
[startup+810.069 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 6401 0 0 0 1937 33 0 0 25 0 1 0 1787937469 34095104 6372 4294967295 134512640 134702520 3221223712 3220905308 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 8324 6372 413 48 0 8276 0
[pid=2220] vsize: 33296
Current children cumulated CPU time (s) 801.17
Current children cumulated vsize (Kb) 35424
[startup+820.069 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 6401 0 0 0 2937 33 0 0 25 0 1 0 1787937469 34095104 6372 4294967295 134512640 134702520 3221223712 3220227548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 8324 6372 413 48 0 8276 0
[pid=2220] vsize: 33296
Current children cumulated CPU time (s) 811.17
Current children cumulated vsize (Kb) 35424
[startup+830.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 6445 0 0 0 3935 34 0 0 25 0 1 0 1787937469 34275328 6416 4294967295 134512640 134702520 3221223712 3218946428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2220/statm): 8368 6416 413 48 0 8320 0
[pid=2220] vsize: 33472
Current children cumulated CPU time (s) 821.16
Current children cumulated vsize (Kb) 35600
[startup+840.071 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 6763 0 0 0 4933 35 0 0 25 0 1 0 1787937469 35577856 6734 4294967295 134512640 134702520 3221223712 3220908688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 8686 6734 413 48 0 8638 0
[pid=2220] vsize: 34744
Current children cumulated CPU time (s) 831.15
Current children cumulated vsize (Kb) 36872
[startup+850.072 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) T 2215 2215 22582 0 -1 0 7114 0 0 0 5917 42 0 0 25 0 1 0 1787937469 79011840 7083 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19290 7083 413 48 0 19242 0
[pid=2220] vsize: 77160
Current children cumulated CPU time (s) 841.06
Current children cumulated vsize (Kb) 79288
[startup+860.073 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7198 0 0 0 6872 57 0 0 25 0 1 0 1787937469 79282176 7167 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19356 7167 413 48 0 19308 0
[pid=2220] vsize: 77424
Current children cumulated CPU time (s) 850.76
Current children cumulated vsize (Kb) 79552
[startup+870.073 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7250 0 0 0 7822 75 0 0 25 0 1 0 1787937469 79417344 7219 4294967295 134512640 134702520 3221223712 3221222992 134553437 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19389 7219 413 48 0 19341 0
[pid=2220] vsize: 77556
Current children cumulated CPU time (s) 860.44
Current children cumulated vsize (Kb) 79684
[startup+880.075 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7269 0 0 0 8796 85 0 0 25 0 1 0 1787937469 79417344 7238 4294967295 134512640 134702520 3221223712 3220799648 134612101 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19389 7238 413 48 0 19341 0
[pid=2220] vsize: 77556
Current children cumulated CPU time (s) 870.28
Current children cumulated vsize (Kb) 79684
[startup+890.075 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7269 0 0 0 9796 85 0 0 25 0 1 0 1787937469 79417344 7238 4294967295 134512640 134702520 3221223712 3220137068 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19389 7238 413 48 0 19341 0
[pid=2220] vsize: 77556
Current children cumulated CPU time (s) 880.28
Current children cumulated vsize (Kb) 79684
[startup+900.077 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7269 0 0 0 10795 85 0 0 25 0 1 0 1787937469 79417344 7238 4294967295 134512640 134702520 3221223712 3221057708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19389 7238 413 48 0 19341 0
[pid=2220] vsize: 77556
Current children cumulated CPU time (s) 890.27
Current children cumulated vsize (Kb) 79684
[startup+910.077 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7269 0 0 0 11795 85 0 0 25 0 1 0 1787937469 79417344 7238 4294967295 134512640 134702520 3221223712 3220287488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19389 7238 413 48 0 19341 0
[pid=2220] vsize: 77556
Current children cumulated CPU time (s) 900.27
Current children cumulated vsize (Kb) 79684
[startup+920.078 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7294 0 0 0 12740 102 0 0 25 0 1 0 1787937469 79552512 7261 4294967295 134512640 134702520 3221223712 3221222992 134552175 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19422 7261 413 48 0 19374 0
[pid=2220] vsize: 77688
Current children cumulated CPU time (s) 909.89
Current children cumulated vsize (Kb) 79816
[startup+930.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7309 0 0 0 13669 127 0 0 25 0 1 0 1787937469 79552512 7276 4294967295 134512640 134702520 3221223712 3221222992 134551048 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19422 7276 413 48 0 19374 0
[pid=2220] vsize: 77688
Current children cumulated CPU time (s) 919.43
Current children cumulated vsize (Kb) 79816
[startup+940.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7324 0 0 0 14608 149 0 0 25 0 1 0 1787937469 79552512 7291 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19422 7291 413 48 0 19374 0
[pid=2220] vsize: 77688
Current children cumulated CPU time (s) 929.04
Current children cumulated vsize (Kb) 79816
[startup+950.082 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7326 0 0 0 15595 153 0 0 25 0 1 0 1787937469 79552512 7293 4294967295 134512640 134702520 3221223712 3220863468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 19422 7293 413 48 0 19374 0
[pid=2220] vsize: 77688
Current children cumulated CPU time (s) 938.95
Current children cumulated vsize (Kb) 79816
[startup+960.082 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7326 0 0 0 16596 153 0 0 25 0 1 0 1787937469 79552512 7293 4294967295 134512640 134702520 3221223712 3221058048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 19422 7293 413 48 0 19374 0
[pid=2220] vsize: 77688
Current children cumulated CPU time (s) 948.96
Current children cumulated vsize (Kb) 79816
[startup+970.083 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7326 0 0 0 17596 153 0 0 25 0 1 0 1787937469 79552512 7293 4294967295 134512640 134702520 3221223712 3220630688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 19422 7293 413 48 0 19374 0
[pid=2220] vsize: 77688
Current children cumulated CPU time (s) 958.96
Current children cumulated vsize (Kb) 79816
[startup+980.083 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7330 0 0 0 18567 164 0 0 25 0 1 0 1787937469 79552512 7295 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19422 7295 413 48 0 19374 0
[pid=2220] vsize: 77688
Current children cumulated CPU time (s) 968.78
Current children cumulated vsize (Kb) 79816
[startup+990.085 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7349 0 0 0 19510 184 0 0 25 0 1 0 1787937469 79552512 7314 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19422 7314 413 48 0 19374 0
[pid=2220] vsize: 77688
Current children cumulated CPU time (s) 978.41
Current children cumulated vsize (Kb) 79816
[startup+1000.09 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7360 0 0 0 20451 205 0 0 18 0 1 0 1787937469 79552512 7325 4294967295 134512640 134702520 3221223712 3221222992 134552208 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19422 7325 413 48 0 19374 0
[pid=2220] vsize: 77688
Current children cumulated CPU time (s) 988.03
Current children cumulated vsize (Kb) 79816
[startup+1010.09 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) T 2215 2215 22582 0 -1 0 7374 0 0 0 21386 227 0 0 25 0 1 0 1787937469 79552512 7339 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19422 7339 413 48 0 19374 0
[pid=2220] vsize: 77688
Current children cumulated CPU time (s) 997.6
Current children cumulated vsize (Kb) 79816
[startup+1020.09 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7376 0 0 0 22372 232 0 0 25 0 1 0 1787937469 79552512 7341 4294967295 134512640 134702520 3221223712 3220355948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 19422 7341 413 48 0 19374 0
[pid=2220] vsize: 77688
Current children cumulated CPU time (s) 1007.51
Current children cumulated vsize (Kb) 79816
[startup+1030.09 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7376 0 0 0 23372 232 0 0 25 0 1 0 1787937469 79552512 7341 4294967295 134512640 134702520 3221223712 3221178348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 19422 7341 413 48 0 19374 0
[pid=2220] vsize: 77688
Current children cumulated CPU time (s) 1017.51
Current children cumulated vsize (Kb) 79816
[startup+1040.09 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7376 0 0 0 24372 232 0 0 25 0 1 0 1787937469 79552512 7341 4294967295 134512640 134702520 3221223712 3220843628 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 19422 7341 413 48 0 19374 0
[pid=2220] vsize: 77688
Current children cumulated CPU time (s) 1027.51
Current children cumulated vsize (Kb) 79816
[startup+1050.09 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7378 0 0 0 25352 239 0 0 25 0 1 0 1787937469 79552512 7341 4294967295 134512640 134702520 3221223712 3221222960 134564365 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 19422 7341 413 48 0 19374 0
[pid=2220] vsize: 77688
Current children cumulated CPU time (s) 1037.38
Current children cumulated vsize (Kb) 79816
[startup+1060.09 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7384 0 0 0 26294 258 0 0 25 0 1 0 1787937469 79552512 7347 4294967295 134512640 134702520 3221223712 3221222992 134553264 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19422 7347 413 48 0 19374 0
[pid=2220] vsize: 77688
Current children cumulated CPU time (s) 1046.99
Current children cumulated vsize (Kb) 79816
[startup+1070.09 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7397 0 0 0 27220 282 0 0 25 0 1 0 1787937469 79687680 7360 4294967295 134512640 134702520 3221223712 3221222992 134552831 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 19455 7360 413 48 0 19407 0
[pid=2220] vsize: 77820
Current children cumulated CPU time (s) 1056.49
Current children cumulated vsize (Kb) 79948
[startup+1080.09 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) T 2215 2215 22582 0 -1 0 7415 0 0 0 28162 298 0 0 25 0 1 0 1787937469 79687680 7378 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19455 7378 413 48 0 19407 0
[pid=2220] vsize: 77820
Current children cumulated CPU time (s) 1066.07
Current children cumulated vsize (Kb) 79948
[startup+1090.09 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7416 0 0 0 29154 301 0 0 25 0 1 0 1787937469 79687680 7379 4294967295 134512640 134702520 3221223712 3220126668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 19455 7379 413 48 0 19407 0
[pid=2220] vsize: 77820
Current children cumulated CPU time (s) 1076.02
Current children cumulated vsize (Kb) 79948
[startup+1100.09 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7416 0 0 0 30154 301 0 0 25 0 1 0 1787937469 79687680 7379 4294967295 134512640 134702520 3221223712 3220758832 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 19455 7379 413 48 0 19407 0
[pid=2220] vsize: 77820
Current children cumulated CPU time (s) 1086.02
Current children cumulated vsize (Kb) 79948
[startup+1110.09 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7416 0 0 0 31155 301 0 0 25 0 1 0 1787937469 79687680 7379 4294967295 134512640 134702520 3221223712 3220898028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 19455 7379 413 48 0 19407 0
[pid=2220] vsize: 77820
Current children cumulated CPU time (s) 1096.03
Current children cumulated vsize (Kb) 79948
[startup+1120.09 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) T 2215 2215 22582 0 -1 0 7426 0 0 0 32129 310 0 0 25 0 1 0 1787937469 79687680 7387 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2220/statm): 19455 7387 413 48 0 19407 0
[pid=2220] vsize: 77820
Current children cumulated CPU time (s) 1105.86
Current children cumulated vsize (Kb) 79948
[startup+1130.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7452 0 0 0 33058 336 0 0 25 0 1 0 1787937469 79687680 7413 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19455 7413 413 48 0 19407 0
[pid=2220] vsize: 77820
Current children cumulated CPU time (s) 1115.41
Current children cumulated vsize (Kb) 79948
[startup+1140.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7475 0 0 0 34001 357 0 0 25 0 1 0 1787937469 79687680 7436 4294967295 134512640 134702520 3221223712 3221222992 134552530 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19455 7436 413 48 0 19407 0
[pid=2220] vsize: 77820
Current children cumulated CPU time (s) 1125.05
Current children cumulated vsize (Kb) 79948
[startup+1150.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7484 0 0 0 34964 370 0 0 25 0 1 0 1787937469 79687680 7445 4294967295 134512640 134702520 3221223712 3220954188 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 19455 7445 413 48 0 19407 0
[pid=2220] vsize: 77820
Current children cumulated CPU time (s) 1134.81
Current children cumulated vsize (Kb) 79948
[startup+1160.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7484 0 0 0 35964 370 0 0 25 0 1 0 1787937469 79687680 7445 4294967295 134512640 134702520 3221223712 3219987948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 19455 7445 413 48 0 19407 0
[pid=2220] vsize: 77820
Current children cumulated CPU time (s) 1144.81
Current children cumulated vsize (Kb) 79948
[startup+1170.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7484 0 0 0 36965 370 0 0 25 0 1 0 1787937469 79687680 7445 4294967295 134512640 134702520 3221223712 3221199488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 19455 7445 413 48 0 19407 0
[pid=2220] vsize: 77820
Current children cumulated CPU time (s) 1154.82
Current children cumulated vsize (Kb) 79948
[startup+1180.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7484 0 0 0 37965 370 0 0 25 0 1 0 1787937469 79687680 7445 4294967295 134512640 134702520 3221223712 3221110668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 19455 7445 413 48 0 19407 0
[pid=2220] vsize: 77820
Current children cumulated CPU time (s) 1164.82
Current children cumulated vsize (Kb) 79948
[startup+1190.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7484 0 0 0 38965 370 0 0 25 0 1 0 1787937469 79687680 7445 4294967295 134512640 134702520 3221223712 3220755808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 19455 7445 413 48 0 19407 0
[pid=2220] vsize: 77820
Current children cumulated CPU time (s) 1174.82
Current children cumulated vsize (Kb) 79948
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7494 0 0 0 39935 380 0 0 25 0 1 0 1787937469 79687680 7453 4294967295 134512640 134702520 3221223712 3221222992 134551055 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 19455 7453 413 48 0 19407 0
[pid=2220] vsize: 77820
Current children cumulated CPU time (s) 1184.62
Current children cumulated vsize (Kb) 79948
[startup+1210.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7512 0 0 0 40863 405 0 0 25 0 1 0 1787937469 79687680 7471 4294967295 134512640 134702520 3221223712 3221222992 134557255 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19455 7471 413 48 0 19407 0
[pid=2220] vsize: 77820
Current children cumulated CPU time (s) 1194.15
Current children cumulated vsize (Kb) 79948
[startup+1220.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7532 0 0 0 41803 423 0 0 25 0 1 0 1787937469 79822848 7491 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19488 7491 413 48 0 19440 0
[pid=2220] vsize: 77952
Current children cumulated CPU time (s) 1203.73
Current children cumulated vsize (Kb) 80080
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1220.11 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7532 0 0 0 41803 423 0 0 25 0 1 0 1787937469 79822848 7491 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19488 7491 413 48 0 19440 0
[pid=2220] vsize: 77952
Current children cumulated CPU time (s) 1203.73
Current children cumulated vsize (Kb) 80080
Sending SIGTERM to -2215
Sleeping 2 seconds
New process pid=2222
New process pid=2223
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/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/1565/cmdline
open syscall for file /proc/1565/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/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1665/stat
open syscall for file /proc/1665/status
open syscall for file /proc/1665/cmdline
open syscall for file /proc/1665/environ
open syscall for file /proc/13967/stat
open syscall for file /proc/13967/status
open syscall for file /proc/13967/cmdline
open syscall for file /proc/13967/environ
open syscall for file /proc/9077/stat
open syscall for file /proc/9077/status
open syscall for file /proc/9077/cmdline
open syscall for file /proc/9077/environ
open syscall for file /proc/9104/stat
open syscall for file /proc/9104/status
open syscall for file /proc/9104/cmdline
open syscall for file /proc/9104/environ
open syscall for file /proc/9128/stat
open syscall for file /proc/9128/status
open syscall for file /proc/9128/cmdline
open syscall for file /proc/9128/environ
open syscall for file /proc/17043/stat
open syscall for file /proc/17043/status
open syscall for file /proc/17043/cmdline
open syscall for file /proc/17043/environ
open syscall for file /proc/17049/stat
open syscall for file /proc/17049/status
open syscall for file /proc/17049/cmdline
open syscall for file /proc/17049/environ
open syscall for file /proc/2284/stat
open syscall for file /proc/2284/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/2284/cmdline
open syscall for file /proc/2284/environ
open syscall for file /proc/2319/stat
open syscall for file /proc/2319/status
open syscall for file /proc/2319/cmdline
open syscall for file /proc/2319/environ
open syscall for file /proc/22582/stat
open syscall for file /proc/22582/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/22582/cmdline
open syscall for file /proc/22582/environ
open syscall for file /proc/22583/stat
open syscall for file /proc/22583/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/22583/cmdline
open syscall for file /proc/22583/environ
open syscall for file /proc/22592/stat
open syscall for file /proc/22592/status
open syscall for file /proc/22592/cmdline
open syscall for file /proc/22592/environ
open syscall for file /proc/2178/stat
open syscall for file /proc/2178/status
open syscall for file /proc/2178/cmdline
open syscall for file /proc/2178/environ
open syscall for file /proc/2214/stat
open syscall for file /proc/2214/status
open syscall for file /proc/2214/cmdline
open syscall for file /proc/2214/environ
open syscall for file /proc/2215/stat
open syscall for file /proc/2215/status
open syscall for file /proc/2215/cmdline
open syscall for file /proc/2215/environ
open syscall for file /proc/2220/stat
open syscall for file /proc/2220/status
open syscall for file /proc/2220/cmdline
open syscall for file /proc/2220/environ
open syscall for file /proc/2222/stat
open syscall for file /proc/2222/status
open syscall for file /proc/2222/cmdline
open syscall for file /proc/2222/environ
open syscall for file /proc/2223/stat
open syscall for file /proc/2223/status
open syscall for file /proc/2223/cmdline
open syscall for file /proc/2223/environ
One traced child (pid=2222) exited with status: 0
One traced child (pid=2223) exited with status: 0
New process pid=2224
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=2224) exited with status: 0
New process pid=2225
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=2225) exited with status: 0
One traced child (pid=2215) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -2215
One traced child (pid=2220) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1222.14
CPU time (s): 424.235
CPU user time (s): 419.804
CPU system time (s): 4.43033
CPU usage (%): 34.7125
Max. virtual memory (cumulated for all children) (Kb): 84780