1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 192 (#equs: 0)
#decisions: 530491; #end-nodes: 116549;
#proof improvement attempts: 0; #restarts: 672
Current batch, end-nodes: 0 / 247 (247)
#axs: 292, #non-axs: 421
tight: meta-meta: start: 4, end: 5; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 192 (#equs: 0)
Time taken: 5 min, 38 sec
2:
seed: 0
Nr of vars set: 192 (#equs: 0)
Nr of vars set: 192 (#equs: 0)
Interupt request received.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 192 (#equs: 0)
Time taken: 14 min, 27 sec
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) R 13042 13043 20115 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1853042452 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13043/statm): 174 3 169 147 0 27 0
[pid=13043] 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=13044
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=13044) exited with status: 0
New process pid=13045
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=13045) exited with status: 0
New process pid=13046
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/wulflinc28/normalized-mps-v2-20-10-mod010.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0041 s]
Raw data (loadavg): 1.09 1.03 1.01 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 391 0 0 0 782 71 0 0 19 0 1 0 1853042460 2928640 361 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13046/statm): 715 361 413 48 0 667 0
[pid=13046] vsize: 2860
Current children cumulated CPU time (s) 8.55
Current children cumulated vsize (Kb) 4988
[startup+20.0048 s]
Raw data (loadavg): 1.08 1.03 1.00 2/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) R 13043 13043 20115 0 -1 0 459 0 0 0 1582 140 0 0 21 0 1 0 1853042460 4321280 429 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1055 429 413 48 0 1007 0
[pid=13046] vsize: 4220
Current children cumulated CPU time (s) 17.24
Current children cumulated vsize (Kb) 6348
[startup+30.0065 s]
Raw data (loadavg): 1.07 1.03 1.00 2/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) R 13043 13043 20115 0 -1 0 514 0 0 0 2403 200 0 0 22 0 1 0 1853042460 4345856 484 4294967295 134512640 134702520 3221223952 3221223352 134607362 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1061 484 413 48 0 1013 0
[pid=13046] vsize: 4244
Current children cumulated CPU time (s) 26.05
Current children cumulated vsize (Kb) 6372
[startup+40.0072 s]
Raw data (loadavg): 1.14 1.04 1.01 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 516 0 0 0 3228 256 0 0 20 0 1 0 1853042460 4345856 486 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1061 486 413 48 0 1013 0
[pid=13046] vsize: 4244
Current children cumulated CPU time (s) 34.86
Current children cumulated vsize (Kb) 6372
[startup+50.0089 s]
Raw data (loadavg): 1.11 1.04 1.01 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 535 0 0 0 4054 316 0 0 23 0 1 0 1853042460 4345856 505 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1061 505 413 48 0 1013 0
[pid=13046] vsize: 4244
Current children cumulated CPU time (s) 43.72
Current children cumulated vsize (Kb) 6372
[startup+60.0096 s]
Raw data (loadavg): 1.17 1.05 1.01 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 535 0 0 0 4849 384 0 0 18 0 1 0 1853042460 4345856 505 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13046/statm): 1061 505 413 48 0 1013 0
[pid=13046] vsize: 4244
Current children cumulated CPU time (s) 52.35
Current children cumulated vsize (Kb) 6372
[startup+70.0104 s]
Raw data (loadavg): 1.14 1.05 1.01 2/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) R 13043 13043 20115 0 -1 0 535 0 0 0 5663 450 0 0 25 0 1 0 1853042460 4345856 505 4294967295 134512640 134702520 3221223952 3221223232 134552894 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1061 505 413 48 0 1013 0
[pid=13046] vsize: 4244
Current children cumulated CPU time (s) 61.15
Current children cumulated vsize (Kb) 6372
[startup+80.0111 s]
Raw data (loadavg): 1.19 1.07 1.02 2/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) R 13043 13043 20115 0 -1 0 549 0 0 0 6484 511 0 0 21 0 1 0 1853042460 4472832 519 4294967295 134512640 134702520 3221223952 3221223232 134552991 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1092 519 413 48 0 1044 0
[pid=13046] vsize: 4368
Current children cumulated CPU time (s) 69.97
Current children cumulated vsize (Kb) 6496
[startup+90.0118 s]
Raw data (loadavg): 1.16 1.06 1.01 2/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) R 13043 13043 20115 0 -1 0 723 0 0 0 7319 566 0 0 22 0 1 0 1853042460 4472832 693 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1092 693 413 48 0 1044 0
[pid=13046] vsize: 4368
Current children cumulated CPU time (s) 78.87
Current children cumulated vsize (Kb) 6496
[startup+100.013 s]
Raw data (loadavg): 1.21 1.08 1.02 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 745 0 0 0 8149 625 0 0 22 0 1 0 1853042460 4472832 715 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1092 715 413 48 0 1044 0
[pid=13046] vsize: 4368
Current children cumulated CPU time (s) 87.76
Current children cumulated vsize (Kb) 6496
[startup+110.015 s]
Raw data (loadavg): 1.18 1.07 1.02 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 745 0 0 0 8947 695 0 0 21 0 1 0 1853042460 4472832 715 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13046/statm): 1092 715 413 48 0 1044 0
[pid=13046] vsize: 4368
Current children cumulated CPU time (s) 96.44
Current children cumulated vsize (Kb) 6496
[startup+120.016 s]
Raw data (loadavg): 1.15 1.07 1.02 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 745 0 0 0 9754 765 0 0 24 0 1 0 1853042460 4472832 715 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1092 715 413 48 0 1044 0
[pid=13046] vsize: 4368
Current children cumulated CPU time (s) 105.21
Current children cumulated vsize (Kb) 6496
[startup+130.017 s]
Raw data (loadavg): 1.13 1.07 1.02 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 798 0 0 0 10582 825 0 0 23 0 1 0 1853042460 4472832 768 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13046/statm): 1092 768 413 48 0 1044 0
[pid=13046] vsize: 4368
Current children cumulated CPU time (s) 114.09
Current children cumulated vsize (Kb) 6496
[startup+140.017 s]
Raw data (loadavg): 1.11 1.07 1.01 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 802 0 0 0 11414 885 0 0 22 0 1 0 1853042460 4472832 772 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13046/statm): 1092 772 413 48 0 1044 0
[pid=13046] vsize: 4368
Current children cumulated CPU time (s) 123.01
Current children cumulated vsize (Kb) 6496
[startup+150.018 s]
Raw data (loadavg): 1.09 1.06 1.01 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 805 0 0 0 12250 940 0 0 24 0 1 0 1853042460 4608000 775 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1125 775 413 48 0 1077 0
[pid=13046] vsize: 4500
Current children cumulated CPU time (s) 131.92
Current children cumulated vsize (Kb) 6628
[startup+160.019 s]
Raw data (loadavg): 1.08 1.06 1.01 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 806 0 0 0 13045 1012 0 0 22 0 1 0 1853042460 4608000 776 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1125 776 413 48 0 1077 0
[pid=13046] vsize: 4500
Current children cumulated CPU time (s) 140.59
Current children cumulated vsize (Kb) 6628
[startup+170.019 s]
Raw data (loadavg): 1.06 1.06 1.01 2/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) R 13043 13043 20115 0 -1 0 806 0 0 0 13853 1075 0 0 25 0 1 0 1853042460 4595712 776 4294967295 134512640 134702520 3221223952 3221223232 134552266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/13046/statm): 1122 776 413 48 0 1074 0
[pid=13046] vsize: 4488
Current children cumulated CPU time (s) 149.3
Current children cumulated vsize (Kb) 6616
[startup+180.02 s]
Raw data (loadavg): 1.05 1.06 1.01 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 811 0 0 0 14687 1132 0 0 23 0 1 0 1853042460 4595712 781 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13046/statm): 1122 781 413 48 0 1074 0
[pid=13046] vsize: 4488
Current children cumulated CPU time (s) 158.21
Current children cumulated vsize (Kb) 6616
[startup+190.021 s]
Raw data (loadavg): 1.05 1.05 1.01 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 815 0 0 0 15530 1184 0 0 25 0 1 0 1853042460 4595712 785 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13046/statm): 1122 785 413 48 0 1074 0
[pid=13046] vsize: 4488
Current children cumulated CPU time (s) 167.16
Current children cumulated vsize (Kb) 6616
[startup+200.022 s]
Raw data (loadavg): 1.04 1.05 1.01 2/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) R 13043 13043 20115 0 -1 0 818 0 0 0 16368 1237 0 0 18 0 1 0 1853042460 4595712 788 4294967295 134512640 134702520 3221223952 3221223232 134552871 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/13046/statm): 1122 788 413 48 0 1074 0
[pid=13046] vsize: 4488
Current children cumulated CPU time (s) 176.07
Current children cumulated vsize (Kb) 6616
[startup+210.023 s]
Raw data (loadavg): 1.03 1.05 1.01 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 821 0 0 0 17183 1300 0 0 22 0 1 0 1853042460 4595712 791 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13046/statm): 1122 791 413 48 0 1074 0
[pid=13046] vsize: 4488
Current children cumulated CPU time (s) 184.85
Current children cumulated vsize (Kb) 6616
[startup+220.024 s]
Raw data (loadavg): 1.03 1.05 1.01 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 821 0 0 0 17984 1365 0 0 24 0 1 0 1853042460 4595712 791 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1122 791 413 48 0 1074 0
[pid=13046] vsize: 4488
Current children cumulated CPU time (s) 193.51
Current children cumulated vsize (Kb) 6616
[startup+230.026 s]
Raw data (loadavg): 1.02 1.05 1.01 2/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) R 13043 13043 20115 0 -1 0 826 0 0 0 18827 1418 0 0 17 0 1 0 1853042460 4595712 796 4294967295 134512640 134702520 3221223952 3221222848 134553330 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1122 796 413 48 0 1074 0
[pid=13046] vsize: 4488
Current children cumulated CPU time (s) 202.47
Current children cumulated vsize (Kb) 6616
[startup+240.026 s]
Raw data (loadavg): 1.02 1.04 1.00 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 827 0 0 0 19670 1473 0 0 25 0 1 0 1853042460 4595712 797 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1122 797 413 48 0 1074 0
[pid=13046] vsize: 4488
Current children cumulated CPU time (s) 211.45
Current children cumulated vsize (Kb) 6616
[startup+250.028 s]
Raw data (loadavg): 1.02 1.04 1.00 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 832 0 0 0 20512 1528 0 0 25 0 1 0 1853042460 4595712 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1122 802 413 48 0 1074 0
[pid=13046] vsize: 4488
Current children cumulated CPU time (s) 220.42
Current children cumulated vsize (Kb) 6616
[startup+260.03 s]
Raw data (loadavg): 1.01 1.04 1.00 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 834 0 0 0 21333 1585 0 0 22 0 1 0 1853042460 4595712 804 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13046/statm): 1122 804 413 48 0 1074 0
[pid=13046] vsize: 4488
Current children cumulated CPU time (s) 229.2
Current children cumulated vsize (Kb) 6616
[startup+270.029 s]
Raw data (loadavg): 1.01 1.04 1.00 2/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) R 13043 13043 20115 0 -1 0 834 0 0 0 22133 1655 0 0 23 0 1 0 1853042460 4595712 804 4294967295 134512640 134702520 3221223952 3221222848 134552871 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1122 804 413 48 0 1074 0
[pid=13046] vsize: 4488
Current children cumulated CPU time (s) 237.9
Current children cumulated vsize (Kb) 6616
[startup+280.03 s]
Raw data (loadavg): 1.01 1.04 1.00 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 838 0 0 0 22980 1708 0 0 25 0 1 0 1853042460 4714496 808 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1151 808 413 48 0 1103 0
[pid=13046] vsize: 4604
Current children cumulated CPU time (s) 246.9
Current children cumulated vsize (Kb) 6732
[startup+290.031 s]
Raw data (loadavg): 1.08 1.05 1.01 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 843 0 0 0 23828 1762 0 0 20 0 1 0 1853042460 4714496 813 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1151 813 413 48 0 1103 0
[pid=13046] vsize: 4604
Current children cumulated CPU time (s) 255.92
Current children cumulated vsize (Kb) 6732
[startup+300.032 s]
Raw data (loadavg): 1.07 1.05 1.00 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 845 0 0 0 24675 1816 0 0 25 0 1 0 1853042460 4714496 815 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1151 815 413 48 0 1103 0
[pid=13046] vsize: 4604
Current children cumulated CPU time (s) 264.93
Current children cumulated vsize (Kb) 6732
[startup+310.034 s]
Raw data (loadavg): 1.06 1.05 1.00 2/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) R 13043 13043 20115 0 -1 0 849 0 0 0 25519 1869 0 0 18 0 1 0 1853042460 4714496 819 4294967295 134512640 134702520 3221223952 3221222848 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1151 819 413 48 0 1103 0
[pid=13046] vsize: 4604
Current children cumulated CPU time (s) 273.9
Current children cumulated vsize (Kb) 6732
[startup+320.035 s]
Raw data (loadavg): 1.05 1.04 1.00 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 849 0 0 0 26320 1938 0 0 22 0 1 0 1853042460 4714496 819 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1151 819 413 48 0 1103 0
[pid=13046] vsize: 4604
Current children cumulated CPU time (s) 282.6
Current children cumulated vsize (Kb) 6732
[startup+330.037 s]
Raw data (loadavg): 1.04 1.04 1.00 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 849 0 0 0 27144 1996 0 0 25 0 1 0 1853042460 4714496 819 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1151 819 413 48 0 1103 0
[pid=13046] vsize: 4604
Current children cumulated CPU time (s) 291.42
Current children cumulated vsize (Kb) 6732
[startup+340.037 s]
Raw data (loadavg): 1.03 1.04 1.00 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 855 0 0 0 27993 2047 0 0 20 0 1 0 1853042460 4714496 825 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1151 825 413 48 0 1103 0
[pid=13046] vsize: 4604
Current children cumulated CPU time (s) 300.42
Current children cumulated vsize (Kb) 6732
[startup+350.039 s]
Raw data (loadavg): 1.03 1.04 1.00 2/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) R 13043 13043 20115 0 -1 0 857 0 0 0 28845 2098 0 0 24 0 1 0 1853042460 4714496 827 4294967295 134512640 134702520 3221223952 3221223232 134552991 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1151 827 413 48 0 1103 0
[pid=13046] vsize: 4604
Current children cumulated CPU time (s) 309.45
Current children cumulated vsize (Kb) 6732
[startup+360.04 s]
Raw data (loadavg): 1.02 1.04 1.00 2/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) R 13043 13043 20115 0 -1 0 860 0 0 0 29691 2149 0 0 22 0 1 0 1853042460 4714496 830 4294967295 134512640 134702520 3221223952 3221223072 134578847 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1151 830 413 48 0 1103 0
[pid=13046] vsize: 4604
Current children cumulated CPU time (s) 318.42
Current children cumulated vsize (Kb) 6732
[startup+370.04 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 862 0 0 0 30532 2202 0 0 22 0 1 0 1853042460 4714496 832 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1151 832 413 48 0 1103 0
[pid=13046] vsize: 4604
Current children cumulated CPU time (s) 327.36
Current children cumulated vsize (Kb) 6732
[startup+380.041 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) R 13043 13043 20115 0 -1 0 862 0 0 0 31327 2270 0 0 22 0 1 0 1853042460 4714496 832 4294967295 134512640 134702520 3221223952 3221222848 134552347 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1151 832 413 48 0 1103 0
[pid=13046] vsize: 4604
Current children cumulated CPU time (s) 335.99
Current children cumulated vsize (Kb) 6732
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=13046) exited with status: 2
New process pid=13047
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=13047) exited with status: 0
New process pid=13048
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+390.042 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 352 0 0 0 591 46 0 0 19 0 1 0 1853080739 2715648 322 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 663 322 413 48 0 615 0
[pid=13048] vsize: 2652
Current children cumulated CPU time (s) 344.79
Current children cumulated vsize (Kb) 4780
[startup+400.043 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 352 0 0 0 1404 112 0 0 17 0 1 0 1853080739 2715648 322 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 663 322 413 48 0 615 0
[pid=13048] vsize: 2652
Current children cumulated CPU time (s) 353.58
Current children cumulated vsize (Kb) 4780
[startup+410.044 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 518 0 0 0 2249 165 0 0 19 0 1 0 1853080739 4005888 488 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 978 488 413 48 0 930 0
[pid=13048] vsize: 3912
Current children cumulated CPU time (s) 362.56
Current children cumulated vsize (Kb) 6040
[startup+420.045 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 530 0 0 0 3086 220 0 0 24 0 1 0 1853080739 4005888 500 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 978 500 413 48 0 930 0
[pid=13048] vsize: 3912
Current children cumulated CPU time (s) 371.48
Current children cumulated vsize (Kb) 6040
[startup+430.046 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 555 0 0 0 3924 274 0 0 25 0 1 0 1853080739 4136960 525 4294967295 134512640 134702520 3221223712 3221222992 134552544 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1010 525 413 48 0 962 0
[pid=13048] vsize: 4040
Current children cumulated CPU time (s) 380.4
Current children cumulated vsize (Kb) 6168
[startup+440.047 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 558 0 0 0 4734 340 0 0 23 0 1 0 1853080739 4136960 528 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1010 528 413 48 0 962 0
[pid=13048] vsize: 4040
Current children cumulated CPU time (s) 389.16
Current children cumulated vsize (Kb) 6168
[startup+450.048 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 561 0 0 0 5549 406 0 0 23 0 1 0 1853080739 4136960 531 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1010 531 413 48 0 962 0
[pid=13048] vsize: 4040
Current children cumulated CPU time (s) 397.97
Current children cumulated vsize (Kb) 6168
[startup+460.048 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 700 0 0 0 6383 464 0 0 24 0 1 0 1853080739 4136960 670 4294967295 134512640 134702520 3221223712 3221223196 134608133 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1010 670 413 48 0 962 0
[pid=13048] vsize: 4040
Current children cumulated CPU time (s) 406.89
Current children cumulated vsize (Kb) 6168
[startup+470.049 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 715 0 0 0 7226 517 0 0 24 0 1 0 1853080739 4136960 685 4294967295 134512640 134702520 3221223712 3221222608 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1010 685 413 48 0 962 0
[pid=13048] vsize: 4040
Current children cumulated CPU time (s) 415.85
Current children cumulated vsize (Kb) 6168
[startup+480.05 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 719 0 0 0 8069 571 0 0 23 0 1 0 1853080739 4136960 689 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1010 689 413 48 0 962 0
[pid=13048] vsize: 4040
Current children cumulated CPU time (s) 424.82
Current children cumulated vsize (Kb) 6168
[startup+490.051 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 721 0 0 0 8875 638 0 0 23 0 1 0 1853080739 4136960 691 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1010 691 413 48 0 962 0
[pid=13048] vsize: 4040
Current children cumulated CPU time (s) 433.55
Current children cumulated vsize (Kb) 6168
[startup+500.052 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 721 0 0 0 9693 700 0 0 19 0 1 0 1853080739 4136960 691 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1010 691 413 48 0 962 0
[pid=13048] vsize: 4040
Current children cumulated CPU time (s) 442.35
Current children cumulated vsize (Kb) 6168
[startup+510.054 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 726 0 0 0 10534 754 0 0 24 0 1 0 1853080739 4136960 696 4294967295 134512640 134702520 3221223712 3221222608 134552232 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1010 696 413 48 0 962 0
[pid=13048] vsize: 4040
Current children cumulated CPU time (s) 451.3
Current children cumulated vsize (Kb) 6168
[startup+520.055 s]
Raw data (loadavg): 1.15 1.05 1.01 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 732 0 0 0 11384 805 0 0 24 0 1 0 1853080739 4255744 702 4294967295 134512640 134702520 3221223712 3221222736 134551086 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1039 702 413 48 0 991 0
[pid=13048] vsize: 4156
Current children cumulated CPU time (s) 460.31
Current children cumulated vsize (Kb) 6284
[startup+530.056 s]
Raw data (loadavg): 1.13 1.05 1.01 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 737 0 0 0 12231 858 0 0 25 0 1 0 1853080739 4255744 707 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1039 707 413 48 0 991 0
[pid=13048] vsize: 4156
Current children cumulated CPU time (s) 469.31
Current children cumulated vsize (Kb) 6284
[startup+540.057 s]
Raw data (loadavg): 1.11 1.05 1.01 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 741 0 0 0 13048 920 0 0 18 0 1 0 1853080739 4255744 711 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1039 711 413 48 0 991 0
[pid=13048] vsize: 4156
Current children cumulated CPU time (s) 478.1
Current children cumulated vsize (Kb) 6284
[startup+550.059 s]
Raw data (loadavg): 1.09 1.04 1.01 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 743 0 0 0 13864 981 0 0 25 0 1 0 1853080739 4255744 713 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434789 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1039 713 413 48 0 991 0
[pid=13048] vsize: 4156
Current children cumulated CPU time (s) 486.87
Current children cumulated vsize (Kb) 6284
[startup+560.059 s]
Raw data (loadavg): 1.08 1.04 1.01 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 749 0 0 0 14708 1035 0 0 25 0 1 0 1853080739 4255744 719 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434789 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1039 719 413 48 0 991 0
[pid=13048] vsize: 4156
Current children cumulated CPU time (s) 495.85
Current children cumulated vsize (Kb) 6284
[startup+570.06 s]
Raw data (loadavg): 1.14 1.06 1.01 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 756 0 0 0 15542 1093 0 0 24 0 1 0 1853080739 4255744 726 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1039 726 413 48 0 991 0
[pid=13048] vsize: 4156
Current children cumulated CPU time (s) 504.77
Current children cumulated vsize (Kb) 6284
[startup+580.062 s]
Raw data (loadavg): 1.12 1.05 1.01 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 758 0 0 0 16395 1143 0 0 19 0 1 0 1853080739 4255744 728 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1039 728 413 48 0 991 0
[pid=13048] vsize: 4156
Current children cumulated CPU time (s) 513.8
Current children cumulated vsize (Kb) 6284
[startup+590.062 s]
Raw data (loadavg): 1.10 1.05 1.01 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 761 0 0 0 17219 1205 0 0 20 0 1 0 1853080739 4255744 731 4294967295 134512640 134702520 3221223712 3221222608 134553346 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1039 731 413 48 0 991 0
[pid=13048] vsize: 4156
Current children cumulated CPU time (s) 522.66
Current children cumulated vsize (Kb) 6284
[startup+600.064 s]
Raw data (loadavg): 1.09 1.05 1.01 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 761 0 0 0 18034 1265 0 0 23 0 1 0 1853080739 4255744 731 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1039 731 413 48 0 991 0
[pid=13048] vsize: 4156
Current children cumulated CPU time (s) 531.41
Current children cumulated vsize (Kb) 6284
[startup+610.066 s]
Raw data (loadavg): 1.07 1.05 1.01 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 764 0 0 0 18874 1319 0 0 24 0 1 0 1853080739 4378624 734 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1069 734 413 48 0 1021 0
[pid=13048] vsize: 4276
Current children cumulated CPU time (s) 540.35
Current children cumulated vsize (Kb) 6404
[startup+620.066 s]
Raw data (loadavg): 1.06 1.05 1.01 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 768 0 0 0 19726 1372 0 0 24 0 1 0 1853080739 4378624 738 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1069 738 413 48 0 1021 0
[pid=13048] vsize: 4276
Current children cumulated CPU time (s) 549.4
Current children cumulated vsize (Kb) 6404
[startup+630.067 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 770 0 0 0 20581 1421 0 0 25 0 1 0 1853080739 4378624 740 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1069 740 413 48 0 1021 0
[pid=13048] vsize: 4276
Current children cumulated CPU time (s) 558.44
Current children cumulated vsize (Kb) 6404
[startup+640.068 s]
Raw data (loadavg): 1.12 1.06 1.01 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 774 0 0 0 21425 1474 0 0 23 0 1 0 1853080739 4378624 744 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1069 744 413 48 0 1021 0
[pid=13048] vsize: 4276
Current children cumulated CPU time (s) 567.41
Current children cumulated vsize (Kb) 6404
[startup+650.069 s]
Raw data (loadavg): 1.10 1.06 1.01 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 775 0 0 0 22236 1538 0 0 23 0 1 0 1853080739 4378624 745 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1069 745 413 48 0 1021 0
[pid=13048] vsize: 4276
Current children cumulated CPU time (s) 576.16
Current children cumulated vsize (Kb) 6404
[startup+660.07 s]
Raw data (loadavg): 1.09 1.06 1.01 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 776 0 0 0 23065 1596 0 0 25 0 1 0 1853080739 4378624 746 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1069 746 413 48 0 1021 0
[pid=13048] vsize: 4276
Current children cumulated CPU time (s) 585.03
Current children cumulated vsize (Kb) 6404
[startup+670.071 s]
Raw data (loadavg): 1.07 1.05 1.01 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 787 0 0 0 23911 1647 0 0 24 0 1 0 1853080739 4378624 757 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1069 757 413 48 0 1021 0
[pid=13048] vsize: 4276
Current children cumulated CPU time (s) 594
Current children cumulated vsize (Kb) 6404
[startup+680.073 s]
Raw data (loadavg): 1.06 1.05 1.01 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 792 0 0 0 24772 1698 0 0 25 0 1 0 1853080739 4378624 762 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1069 762 413 48 0 1021 0
[pid=13048] vsize: 4276
Current children cumulated CPU time (s) 603.12
Current children cumulated vsize (Kb) 6404
[startup+690.073 s]
Raw data (loadavg): 1.05 1.05 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 798 0 0 0 25627 1747 0 0 24 0 1 0 1853080739 4517888 768 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1103 768 413 48 0 1055 0
[pid=13048] vsize: 4412
Current children cumulated CPU time (s) 612.16
Current children cumulated vsize (Kb) 6540
[startup+700.075 s]
Raw data (loadavg): 1.12 1.06 1.01 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 802 0 0 0 26459 1805 0 0 20 0 1 0 1853080739 4517888 772 4294967295 134512640 134702520 3221223712 3221222608 134552242 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1103 772 413 48 0 1055 0
[pid=13048] vsize: 4412
Current children cumulated CPU time (s) 621.06
Current children cumulated vsize (Kb) 6540
[startup+710.076 s]
Raw data (loadavg): 1.10 1.06 1.01 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 802 0 0 0 27269 1871 0 0 23 0 1 0 1853080739 4517888 772 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1103 772 413 48 0 1055 0
[pid=13048] vsize: 4412
Current children cumulated CPU time (s) 629.82
Current children cumulated vsize (Kb) 6540
[startup+720.076 s]
Raw data (loadavg): 1.09 1.06 1.01 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 804 0 0 0 28101 1927 0 0 20 0 1 0 1853080739 4517888 774 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1103 774 413 48 0 1055 0
[pid=13048] vsize: 4412
Current children cumulated CPU time (s) 638.7
Current children cumulated vsize (Kb) 6540
[startup+730.078 s]
Raw data (loadavg): 1.07 1.06 1.01 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 806 0 0 0 28960 1974 0 0 25 0 1 0 1853080739 4517888 776 4294967295 134512640 134702520 3221223712 3221223104 134605854 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1103 776 413 48 0 1055 0
[pid=13048] vsize: 4412
Current children cumulated CPU time (s) 647.76
Current children cumulated vsize (Kb) 6540
[startup+740.079 s]
Raw data (loadavg): 1.06 1.05 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 810 0 0 0 29808 2026 0 0 20 0 1 0 1853080739 4517888 780 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1103 780 413 48 0 1055 0
[pid=13048] vsize: 4412
Current children cumulated CPU time (s) 656.76
Current children cumulated vsize (Kb) 6540
[startup+750.08 s]
Raw data (loadavg): 1.05 1.05 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 812 0 0 0 30657 2080 0 0 25 0 1 0 1853080739 4517888 782 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1103 782 413 48 0 1055 0
[pid=13048] vsize: 4412
Current children cumulated CPU time (s) 665.79
Current children cumulated vsize (Kb) 6540
[startup+760.081 s]
Raw data (loadavg): 1.04 1.05 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 815 0 0 0 31471 2144 0 0 21 0 1 0 1853080739 4517888 785 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1103 785 413 48 0 1055 0
[pid=13048] vsize: 4412
Current children cumulated CPU time (s) 674.57
Current children cumulated vsize (Kb) 6540
[startup+770.081 s]
Raw data (loadavg): 1.04 1.05 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 815 0 0 0 32277 2210 0 0 22 0 1 0 1853080739 4517888 785 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1103 785 413 48 0 1055 0
[pid=13048] vsize: 4412
Current children cumulated CPU time (s) 683.29
Current children cumulated vsize (Kb) 6540
[startup+780.081 s]
Raw data (loadavg): 1.03 1.05 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 817 0 0 0 33130 2258 0 0 25 0 1 0 1853080739 4517888 787 4294967295 134512640 134702520 3221223712 3221222832 134573874 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1103 787 413 48 0 1055 0
[pid=13048] vsize: 4412
Current children cumulated CPU time (s) 692.3
Current children cumulated vsize (Kb) 6540
[startup+790.083 s]
Raw data (loadavg): 1.02 1.04 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 821 0 0 0 33988 2306 0 0 24 0 1 0 1853080739 4517888 791 4294967295 134512640 134702520 3221223712 3221222608 134553320 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1103 791 413 48 0 1055 0
[pid=13048] vsize: 4412
Current children cumulated CPU time (s) 701.36
Current children cumulated vsize (Kb) 6540
[startup+800.084 s]
Raw data (loadavg): 1.02 1.04 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 826 0 0 0 34839 2356 0 0 25 0 1 0 1853080739 4517888 796 4294967295 134512640 134702520 3221223712 3221223112 134607270 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1103 796 413 48 0 1055 0
[pid=13048] vsize: 4412
Current children cumulated CPU time (s) 710.37
Current children cumulated vsize (Kb) 6540
[startup+810.084 s]
Raw data (loadavg): 1.02 1.04 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 846 0 0 0 35697 2403 0 0 24 0 1 0 1853080739 4661248 816 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1138 816 413 48 0 1090 0
[pid=13048] vsize: 4552
Current children cumulated CPU time (s) 719.42
Current children cumulated vsize (Kb) 6680
[startup+820.085 s]
Raw data (loadavg): 1.01 1.04 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 846 0 0 0 36522 2467 0 0 21 0 1 0 1853080739 4661248 816 4294967295 134512640 134702520 3221223712 3221222608 134552263 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1138 816 413 48 0 1090 0
[pid=13048] vsize: 4552
Current children cumulated CPU time (s) 728.31
Current children cumulated vsize (Kb) 6680
[startup+830.086 s]
Raw data (loadavg): 1.01 1.04 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 846 0 0 0 37356 2525 0 0 25 0 1 0 1853080739 4640768 816 4294967295 134512640 134702520 3221223712 3221222992 134553147 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1133 816 413 48 0 1085 0
[pid=13048] vsize: 4532
Current children cumulated CPU time (s) 737.23
Current children cumulated vsize (Kb) 6660
[startup+840.087 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 859 0 0 0 38202 2580 0 0 24 0 1 0 1853080739 4792320 829 4294967295 134512640 134702520 3221223712 3221222992 134552345 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1170 829 413 48 0 1122 0
[pid=13048] vsize: 4680
Current children cumulated CPU time (s) 746.24
Current children cumulated vsize (Kb) 6808
[startup+850.088 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 885 0 0 0 39069 2628 0 0 25 0 1 0 1853080739 4792320 855 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1170 855 413 48 0 1122 0
[pid=13048] vsize: 4680
Current children cumulated CPU time (s) 755.39
Current children cumulated vsize (Kb) 6808
[startup+860.089 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 895 0 0 0 39932 2677 0 0 24 0 1 0 1853080739 4792320 865 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1170 865 413 48 0 1122 0
[pid=13048] vsize: 4680
Current children cumulated CPU time (s) 764.51
Current children cumulated vsize (Kb) 6808
[startup+870.09 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 901 0 0 0 40775 2734 0 0 17 0 1 0 1853080739 4927488 871 4294967295 134512640 134702520 3221223712 3221222608 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1203 871 413 48 0 1155 0
[pid=13048] vsize: 4812
Current children cumulated CPU time (s) 773.51
Current children cumulated vsize (Kb) 6940
[startup+880.09 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 901 0 0 0 41592 2796 0 0 24 0 1 0 1853080739 4927488 871 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1203 871 413 48 0 1155 0
[pid=13048] vsize: 4812
Current children cumulated CPU time (s) 782.3
Current children cumulated vsize (Kb) 6940
[startup+890.091 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 904 0 0 0 42447 2847 0 0 25 0 1 0 1853080739 4911104 874 4294967295 134512640 134702520 3221223712 3221222992 134552550 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1199 874 413 48 0 1151 0
[pid=13048] vsize: 4796
Current children cumulated CPU time (s) 791.36
Current children cumulated vsize (Kb) 6924
[startup+900.093 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 911 0 0 0 43322 2887 0 0 24 0 1 0 1853080739 4911104 881 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1199 881 413 48 0 1151 0
[pid=13048] vsize: 4796
Current children cumulated CPU time (s) 800.51
Current children cumulated vsize (Kb) 6924
[startup+910.094 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 915 0 0 0 44179 2935 0 0 22 0 1 0 1853080739 4911104 885 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1199 885 413 48 0 1151 0
[pid=13048] vsize: 4796
Current children cumulated CPU time (s) 809.56
Current children cumulated vsize (Kb) 6924
[startup+920.095 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 920 0 0 0 45047 2982 0 0 24 0 1 0 1853080739 4911104 890 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1199 890 413 48 0 1151 0
[pid=13048] vsize: 4796
Current children cumulated CPU time (s) 818.71
Current children cumulated vsize (Kb) 6924
[startup+930.097 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 920 0 0 0 45871 3043 0 0 22 0 1 0 1853080739 4911104 890 4294967295 134512640 134702520 3221223712 3221222608 134550721 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1199 890 413 48 0 1151 0
[pid=13048] vsize: 4796
Current children cumulated CPU time (s) 827.56
Current children cumulated vsize (Kb) 6924
[startup+940.097 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 921 0 0 0 46703 3102 0 0 21 0 1 0 1853080739 4911104 891 4294967295 134512640 134702520 3221223712 3221223112 134607270 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1199 891 413 48 0 1151 0
[pid=13048] vsize: 4796
Current children cumulated CPU time (s) 836.47
Current children cumulated vsize (Kb) 6924
[startup+950.098 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 926 0 0 0 47575 3144 0 0 25 0 1 0 1853080739 4911104 896 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1199 896 413 48 0 1151 0
[pid=13048] vsize: 4796
Current children cumulated CPU time (s) 845.61
Current children cumulated vsize (Kb) 6924
[startup+960.1 s]
Raw data (loadavg): 1.13 1.05 1.01 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 927 0 0 0 48437 3192 0 0 24 0 1 0 1853080739 4911104 897 4294967295 134512640 134702520 3221223712 3221222992 134552871 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1199 897 413 48 0 1151 0
[pid=13048] vsize: 4796
Current children cumulated CPU time (s) 854.71
Current children cumulated vsize (Kb) 6924
[startup+970.1 s]
Raw data (loadavg): 1.11 1.05 1.01 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 933 0 0 0 49305 3239 0 0 22 0 1 0 1853080739 5038080 903 4294967295 134512640 134702520 3221223712 3221223112 134606948 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1230 903 413 48 0 1182 0
[pid=13048] vsize: 4920
Current children cumulated CPU time (s) 863.86
Current children cumulated vsize (Kb) 7048
[startup+980.101 s]
Raw data (loadavg): 1.09 1.05 1.01 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 938 0 0 0 50155 3292 0 0 24 0 1 0 1853080739 5038080 908 4294967295 134512640 134702520 3221223712 3221222608 134550404 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1230 908 413 48 0 1182 0
[pid=13048] vsize: 4920
Current children cumulated CPU time (s) 872.89
Current children cumulated vsize (Kb) 7048
[startup+990.102 s]
Raw data (loadavg): 1.08 1.04 1.01 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 938 0 0 0 50984 3353 0 0 23 0 1 0 1853080739 5038080 908 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1230 908 413 48 0 1182 0
[pid=13048] vsize: 4920
Current children cumulated CPU time (s) 881.79
Current children cumulated vsize (Kb) 7048
[startup+1000.1 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 938 0 0 0 51825 3407 0 0 25 0 1 0 1853080739 5038080 908 4294967295 134512640 134702520 3221223712 3221223112 134606953 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1230 908 413 48 0 1182 0
[pid=13048] vsize: 4920
Current children cumulated CPU time (s) 890.74
Current children cumulated vsize (Kb) 7048
[startup+1010.1 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 941 0 0 0 52692 3451 0 0 24 0 1 0 1853080739 5038080 911 4294967295 134512640 134702520 3221223712 3221222736 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1230 911 413 48 0 1182 0
[pid=13048] vsize: 4920
Current children cumulated CPU time (s) 899.85
Current children cumulated vsize (Kb) 7048
[startup+1020.1 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 944 0 0 0 53555 3499 0 0 25 0 1 0 1853080739 5038080 914 4294967295 134512640 134702520 3221223712 3221222992 134552544 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1230 914 413 48 0 1182 0
[pid=13048] vsize: 4920
Current children cumulated CPU time (s) 908.96
Current children cumulated vsize (Kb) 7048
[startup+1030.11 s]
Raw data (loadavg): 1.04 1.04 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 946 0 0 0 54425 3547 0 0 25 0 1 0 1853080739 5038080 916 4294967295 134512640 134702520 3221223712 3221222992 134553147 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1230 916 413 48 0 1182 0
[pid=13048] vsize: 4920
Current children cumulated CPU time (s) 918.14
Current children cumulated vsize (Kb) 7048
[startup+1040.11 s]
Raw data (loadavg): 1.03 1.04 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 949 0 0 0 55295 3592 0 0 25 0 1 0 1853080739 5038080 919 4294967295 134512640 134702520 3221223712 3221222992 134552310 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1230 919 413 48 0 1182 0
[pid=13048] vsize: 4920
Current children cumulated CPU time (s) 927.29
Current children cumulated vsize (Kb) 7048
[startup+1050.11 s]
Raw data (loadavg): 1.10 1.05 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 951 0 0 0 56111 3658 0 0 23 0 1 0 1853080739 5038080 921 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1230 921 413 48 0 1182 0
[pid=13048] vsize: 4920
Current children cumulated CPU time (s) 936.11
Current children cumulated vsize (Kb) 7048
[startup+1060.11 s]
Raw data (loadavg): 1.08 1.05 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 951 0 0 0 56925 3719 0 0 24 0 1 0 1853080739 5038080 921 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1230 921 413 48 0 1182 0
[pid=13048] vsize: 4920
Current children cumulated CPU time (s) 944.86
Current children cumulated vsize (Kb) 7048
[startup+1070.11 s]
Raw data (loadavg): 1.07 1.05 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 955 0 0 0 57792 3766 0 0 24 0 1 0 1853080739 5038080 925 4294967295 134512640 134702520 3221223712 3221222992 134554270 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1230 925 413 48 0 1182 0
[pid=13048] vsize: 4920
Current children cumulated CPU time (s) 954
Current children cumulated vsize (Kb) 7048
[startup+1080.11 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 958 0 0 0 58659 3813 0 0 25 0 1 0 1853080739 5038080 928 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1230 928 413 48 0 1182 0
[pid=13048] vsize: 4920
Current children cumulated CPU time (s) 963.14
Current children cumulated vsize (Kb) 7048
[startup+1090.11 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 960 0 0 0 59515 3861 0 0 25 0 1 0 1853080739 5038080 930 4294967295 134512640 134702520 3221223712 3221222992 134552871 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1230 930 413 48 0 1182 0
[pid=13048] vsize: 4920
Current children cumulated CPU time (s) 972.18
Current children cumulated vsize (Kb) 7048
[startup+1100.11 s]
Raw data (loadavg): 1.04 1.04 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 962 0 0 0 60376 3910 0 0 25 0 1 0 1853080739 5152768 932 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1258 932 413 48 0 1210 0
[pid=13048] vsize: 5032
Current children cumulated CPU time (s) 981.28
Current children cumulated vsize (Kb) 7160
[startup+1110.11 s]
Raw data (loadavg): 1.04 1.04 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 963 0 0 0 61246 3950 0 0 25 0 1 0 1853080739 5152768 933 4294967295 134512640 134702520 3221223712 3221222992 134552242 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1258 933 413 48 0 1210 0
[pid=13048] vsize: 5032
Current children cumulated CPU time (s) 990.38
Current children cumulated vsize (Kb) 7160
[startup+1120.11 s]
Raw data (loadavg): 1.03 1.04 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 966 0 0 0 62062 4016 0 0 23 0 1 0 1853080739 5152768 936 4294967295 134512640 134702520 3221223712 3221222608 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1258 936 413 48 0 1210 0
[pid=13048] vsize: 5032
Current children cumulated CPU time (s) 999.2
Current children cumulated vsize (Kb) 7160
[startup+1130.12 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 966 0 0 0 62874 4080 0 0 20 0 1 0 1853080739 5152768 936 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1258 936 413 48 0 1210 0
[pid=13048] vsize: 5032
Current children cumulated CPU time (s) 1007.96
Current children cumulated vsize (Kb) 7160
[startup+1140.12 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 967 0 0 0 63739 4124 0 0 25 0 1 0 1853080739 5152768 937 4294967295 134512640 134702520 3221223712 3221222992 134552981 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1258 937 413 48 0 1210 0
[pid=13048] vsize: 5032
Current children cumulated CPU time (s) 1017.05
Current children cumulated vsize (Kb) 7160
[startup+1150.12 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 969 0 0 0 64609 4166 0 0 22 0 1 0 1853080739 5152768 939 4294967295 134512640 134702520 3221223712 3221222992 134552991 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1258 939 413 48 0 1210 0
[pid=13048] vsize: 5032
Current children cumulated CPU time (s) 1026.17
Current children cumulated vsize (Kb) 7160
[startup+1160.12 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 972 0 0 0 65472 4215 0 0 25 0 1 0 1853080739 5152768 942 4294967295 134512640 134702520 3221223712 3221222992 134553317 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1258 942 413 48 0 1210 0
[pid=13048] vsize: 5032
Current children cumulated CPU time (s) 1035.29
Current children cumulated vsize (Kb) 7160
[startup+1170.12 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 974 0 0 0 66331 4264 0 0 25 0 1 0 1853080739 5152768 944 4294967295 134512640 134702520 3221223712 3221222992 134552541 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1258 944 413 48 0 1210 0
[pid=13048] vsize: 5032
Current children cumulated CPU time (s) 1044.37
Current children cumulated vsize (Kb) 7160
[startup+1180.12 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 975 0 0 0 67187 4311 0 0 25 0 1 0 1853080739 5152768 945 4294967295 134512640 134702520 3221223712 3221222992 134553287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1258 945 413 48 0 1210 0
[pid=13048] vsize: 5032
Current children cumulated CPU time (s) 1053.4
Current children cumulated vsize (Kb) 7160
[startup+1190.12 s]
Raw data (loadavg): 1.09 1.04 1.01 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 976 0 0 0 68024 4365 0 0 18 0 1 0 1853080739 5152768 946 4294967295 134512640 134702520 3221223712 3221222608 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1258 946 413 48 0 1210 0
[pid=13048] vsize: 5032
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (Kb) 7160
[startup+1200.12 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 976 0 0 0 68833 4431 0 0 23 0 1 0 1853080739 5152768 946 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1258 946 413 48 0 1210 0
[pid=13048] vsize: 5032
Current children cumulated CPU time (s) 1071.06
Current children cumulated vsize (Kb) 7160
[startup+1210.12 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 978 0 0 0 69682 4480 0 0 24 0 1 0 1853080739 5152768 948 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1258 948 413 48 0 1210 0
[pid=13048] vsize: 5032
Current children cumulated CPU time (s) 1080.04
Current children cumulated vsize (Kb) 7160
[startup+1220.12 s]
Raw data (loadavg): 1.05 1.04 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 981 0 0 0 70541 4527 0 0 24 0 1 0 1853080739 5152768 951 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1258 951 413 48 0 1210 0
[pid=13048] vsize: 5032
Current children cumulated CPU time (s) 1089.1
Current children cumulated vsize (Kb) 7160
[startup+1230.12 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 983 0 0 0 71403 4574 0 0 22 0 1 0 1853080739 5152768 953 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1258 953 413 48 0 1210 0
[pid=13048] vsize: 5032
Current children cumulated CPU time (s) 1098.19
Current children cumulated vsize (Kb) 7160
[startup+1240.12 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 985 0 0 0 72271 4621 0 0 25 0 1 0 1853080739 5152768 955 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1258 955 413 48 0 1210 0
[pid=13048] vsize: 5032
Current children cumulated CPU time (s) 1107.34
Current children cumulated vsize (Kb) 7160
[startup+1250.13 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 992 0 0 0 73153 4658 0 0 23 0 1 0 1853080739 5287936 962 4294967295 134512640 134702520 3221223712 3221222736 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1291 962 413 48 0 1243 0
[pid=13048] vsize: 5164
Current children cumulated CPU time (s) 1116.53
Current children cumulated vsize (Kb) 7292
[startup+1260.13 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 995 0 0 0 74017 4705 0 0 24 0 1 0 1853080739 5287936 965 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1291 965 413 48 0 1243 0
[pid=13048] vsize: 5164
Current children cumulated CPU time (s) 1125.64
Current children cumulated vsize (Kb) 7292
[startup+1270.13 s]
Raw data (loadavg): 1.10 1.04 1.01 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 995 0 0 0 74828 4772 0 0 23 0 1 0 1853080739 5287936 965 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1291 965 413 48 0 1243 0
[pid=13048] vsize: 5164
Current children cumulated CPU time (s) 1134.42
Current children cumulated vsize (Kb) 7292
[startup+1280.13 s]
Raw data (loadavg): 1.08 1.04 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 996 0 0 0 75656 4831 0 0 25 0 1 0 1853080739 5287936 966 4294967295 134512640 134702520 3221223712 3221222992 134554260 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1291 966 413 48 0 1243 0
[pid=13048] vsize: 5164
Current children cumulated CPU time (s) 1143.29
Current children cumulated vsize (Kb) 7292
[startup+1290.13 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 999 0 0 0 76515 4876 0 0 25 0 1 0 1853080739 5287936 969 4294967295 134512640 134702520 3221223712 3221222992 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1291 969 413 48 0 1243 0
[pid=13048] vsize: 5164
Current children cumulated CPU time (s) 1152.33
Current children cumulated vsize (Kb) 7292
[startup+1300.13 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 1000 0 0 0 77376 4923 0 0 25 0 1 0 1853080739 5287936 970 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1291 970 413 48 0 1243 0
[pid=13048] vsize: 5164
Current children cumulated CPU time (s) 1161.41
Current children cumulated vsize (Kb) 7292
[startup+1310.13 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 1003 0 0 0 78234 4969 0 0 24 0 1 0 1853080739 5287936 973 4294967295 134512640 134702520 3221223712 3221222992 134552345 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1291 973 413 48 0 1243 0
[pid=13048] vsize: 5164
Current children cumulated CPU time (s) 1170.45
Current children cumulated vsize (Kb) 7292
[startup+1320.13 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 1005 0 0 0 79095 5012 0 0 25 0 1 0 1853080739 5287936 975 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1291 975 413 48 0 1243 0
[pid=13048] vsize: 5164
Current children cumulated CPU time (s) 1179.49
Current children cumulated vsize (Kb) 7292
[startup+1330.13 s]
Raw data (loadavg): 1.04 1.03 1.00 3/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 1006 0 0 0 79967 5054 0 0 25 0 1 0 1853080739 5287936 976 4294967295 134512640 134702520 3221223712 3221222992 134552254 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1291 976 413 48 0 1243 0
[pid=13048] vsize: 5164
Current children cumulated CPU time (s) 1188.63
Current children cumulated vsize (Kb) 7292
[startup+1340.13 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 1009 0 0 0 80810 5106 0 0 22 0 1 0 1853080739 5287936 979 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1291 979 413 48 0 1243 0
[pid=13048] vsize: 5164
Current children cumulated CPU time (s) 1197.58
Current children cumulated vsize (Kb) 7292
[startup+1350.13 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 1009 0 0 0 81619 5169 0 0 19 0 1 0 1853080739 5287936 979 4294967295 134512640 134702520 3221223712 3221222608 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1291 979 413 48 0 1243 0
[pid=13048] vsize: 5164
Current children cumulated CPU time (s) 1206.3
Current children cumulated vsize (Kb) 7292
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1350.14 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 1009 0 0 0 81619 5169 0 0 19 0 1 0 1853080739 5287936 979 4294967295 134512640 134702520 3221223712 3221222608 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1291 979 413 48 0 1243 0
[pid=13048] vsize: 5164
Current children cumulated CPU time (s) 1206.3
Current children cumulated vsize (Kb) 7292
Sending SIGTERM to -13043
Sleeping 2 seconds
New process pid=13050
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=13051
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /proc/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
One traced child (pid=13048) exited with status: 3
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/31324/stat
open syscall for file /proc/31324/status
open syscall for file /proc/31324/cmdline
open syscall for file /proc/31324/environ
open syscall for file /proc/2146/stat
open syscall for file /proc/2146/status
open syscall for file /proc/2146/cmdline
open syscall for file /proc/2146/environ
open syscall for file /proc/2173/stat
open syscall for file /proc/2173/status
open syscall for file /proc/2173/cmdline
open syscall for file /proc/2173/environ
open syscall for file /proc/2197/stat
open syscall for file /proc/2197/status
open syscall for file /proc/2197/cmdline
open syscall for file /proc/2197/environ
open syscall for file /proc/2649/stat
open syscall for file /proc/2649/status
open syscall for file /proc/2649/cmdline
open syscall for file /proc/2649/environ
open syscall for file /proc/4357/stat
open syscall for file /proc/4357/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/4357/cmdline
open syscall for file /proc/4357/environ
open syscall for file /proc/4392/stat
open syscall for file /proc/4392/status
open syscall for file /proc/4392/cmdline
open syscall for file /proc/4392/environ
open syscall for file /proc/20115/stat
open syscall for file /proc/20115/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/20115/cmdline
open syscall for file /proc/20115/environ
open syscall for file /proc/20116/stat
open syscall for file /proc/20116/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/20116/cmdline
open syscall for file /proc/20116/environ
open syscall for file /proc/20125/stat
open syscall for file /proc/20125/status
open syscall for file /proc/20125/cmdline
open syscall for file /proc/20125/environ
open syscall for file /proc/13006/stat
open syscall for file /proc/13006/status
open syscall for file /proc/13006/cmdline
open syscall for file /proc/13006/environ
open syscall for file /proc/13042/stat
open syscall for file /proc/13042/status
open syscall for file /proc/13042/cmdline
open syscall for file /proc/13042/environ
open syscall for file /proc/13043/stat
open syscall for file /proc/13043/status
open syscall for file /proc/13043/cmdline
open syscall for file /proc/13043/environ
open syscall for file /proc/13050/stat
open syscall for file /proc/13050/status
open syscall for file /proc/13050/cmdline
open syscall for file /proc/13050/environ
open syscall for file /proc/13051/stat
open syscall for file /proc/13051/status
open syscall for file /proc/13051/cmdline
open syscall for file /proc/13051/environ
One traced child (pid=13050) exited with status: 0
One traced child (pid=13051) exited with status: 0
New process pid=13052
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=13052) exited with status: 0
New process pid=13053
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=13053) exited with status: 0
One traced child (pid=13043) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1350.63
CPU time (s): 1206.48
CPU user time (s): 1131.78
CPU system time (s): 74.6986
CPU usage (%): 89.327
Max. virtual memory (cumulated for all children) (Kb): 7292