1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 14 (#equs: 11)
#decisions: 629898; #end-nodes: 219295;
#proof improvement attempts: 0; #restarts: 960
Current batch, end-nodes: 0 / 333 (319)
#axs: 970, #non-axs: 1923
tight: meta-meta: start: 3, end: 4; meta: start: 6, end (keep): 10
loose: meta-meta: start: 5, end: 7; meta: start: 17, end (keep): 25
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: 24 (#equs: 11)
Time taken: 15 min, 16 sec
2:
seed: 0
Nr of vars set: 24 (#equs: 0)
Nr of vars set: 24 (#equs: 0)
Interupt request received.
#decisions: 202171; #end-nodes: 63947;
#proof improvement attempts: 0; #restarts: 362
Current batch, end-nodes: 48 / 227 (210)
#axs: 957, #non-axs: 2443
tight: meta-meta: start: 3, end: 4; meta: start: 6, end (keep): 10
loose: meta-meta: start: 5, end: 7; meta: start: 17, end (keep): 25
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 4443 (#equs: 0)
Time taken: 4 min, 49 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/17934/stat): 17934 (vallstSAT2005PB) R 17933 17934 824 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1789436682 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/17934/statm): 174 3 169 147 0 27 0
[pid=17934] 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=17935
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=17935) exited with status: 0
New process pid=17936
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=17936) exited with status: 0
New process pid=17937
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/wulflinc5/normalized-mps-v2-20-10-aflow30a.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0036 s]
Raw data (loadavg): 0.87 0.97 0.99 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 650 0 0 0 839 54 0 0 24 0 1 0 1789436689 3739648 555 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 913 555 413 48 0 865 0
[pid=17937] vsize: 3652
Current children cumulated CPU time (s) 8.93
Current children cumulated vsize (Kb) 5780
[startup+20.0043 s]
Raw data (loadavg): 0.89 0.97 0.99 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 758 0 0 0 1655 117 0 0 25 0 1 0 1789436689 5738496 663 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1401 663 413 48 0 1353 0
[pid=17937] vsize: 5604
Current children cumulated CPU time (s) 17.72
Current children cumulated vsize (Kb) 7732
[startup+30.0071 s]
Raw data (loadavg): 0.91 0.97 0.99 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 795 0 0 0 2528 159 0 0 25 0 1 0 1789436689 5738496 700 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1401 700 413 48 0 1353 0
[pid=17937] vsize: 5604
Current children cumulated CPU time (s) 26.87
Current children cumulated vsize (Kb) 7732
[startup+40.0078 s]
Raw data (loadavg): 0.92 0.97 0.99 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 804 0 0 0 3403 203 0 0 24 0 1 0 1789436689 5857280 709 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1430 709 413 48 0 1382 0
[pid=17937] vsize: 5720
Current children cumulated CPU time (s) 36.06
Current children cumulated vsize (Kb) 7848
[startup+50.0096 s]
Raw data (loadavg): 0.93 0.97 0.99 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 814 0 0 0 4321 232 0 0 25 0 1 0 1789436689 5857280 719 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1430 719 413 48 0 1382 0
[pid=17937] vsize: 5720
Current children cumulated CPU time (s) 45.53
Current children cumulated vsize (Kb) 7848
[startup+60.0103 s]
Raw data (loadavg): 0.94 0.97 0.99 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 821 0 0 0 5164 286 0 0 22 0 1 0 1789436689 5857280 726 4294967295 134512640 134702520 3221223952 3221222848 134552242 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1430 726 413 48 0 1382 0
[pid=17937] vsize: 5720
Current children cumulated CPU time (s) 54.5
Current children cumulated vsize (Kb) 7848
[startup+70.0111 s]
Raw data (loadavg): 0.95 0.97 0.99 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 821 0 0 0 5975 354 0 0 23 0 1 0 1789436689 5857280 726 4294967295 134512640 134702520 3221223952 3221223232 134553147 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1430 726 413 48 0 1382 0
[pid=17937] vsize: 5720
Current children cumulated CPU time (s) 63.29
Current children cumulated vsize (Kb) 7848
[startup+80.0128 s]
Raw data (loadavg): 0.96 0.97 0.99 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 823 0 0 0 6889 384 0 0 25 0 1 0 1789436689 5857280 728 4294967295 134512640 134702520 3221223952 3221223232 134553294 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1430 728 413 48 0 1382 0
[pid=17937] vsize: 5720
Current children cumulated CPU time (s) 72.73
Current children cumulated vsize (Kb) 7848
[startup+90.0136 s]
Raw data (loadavg): 0.96 0.97 0.99 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 827 0 0 0 7786 418 0 0 24 0 1 0 1789436689 5857280 732 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1430 732 413 48 0 1382 0
[pid=17937] vsize: 5720
Current children cumulated CPU time (s) 82.04
Current children cumulated vsize (Kb) 7848
[startup+100.014 s]
Raw data (loadavg): 0.97 0.97 0.99 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 832 0 0 0 8700 451 0 0 25 0 1 0 1789436689 5857280 737 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1430 737 413 48 0 1382 0
[pid=17937] vsize: 5720
Current children cumulated CPU time (s) 91.51
Current children cumulated vsize (Kb) 7848
[startup+110.016 s]
Raw data (loadavg): 0.97 0.97 0.99 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 840 0 0 0 9620 477 0 0 25 0 1 0 1789436689 5939200 745 4294967295 134512640 134702520 3221223952 3221223232 134553369 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1450 745 413 48 0 1402 0
[pid=17937] vsize: 5800
Current children cumulated CPU time (s) 100.97
Current children cumulated vsize (Kb) 7928
[startup+120.017 s]
Raw data (loadavg): 0.98 0.97 0.99 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 845 0 0 0 10451 534 0 0 22 0 1 0 1789436689 5939200 750 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1450 750 413 48 0 1402 0
[pid=17937] vsize: 5800
Current children cumulated CPU time (s) 109.85
Current children cumulated vsize (Kb) 7928
[startup+130.018 s]
Raw data (loadavg): 0.98 0.97 0.99 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 845 0 0 0 11250 607 0 0 19 0 1 0 1789436689 5939200 750 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1450 750 413 48 0 1402 0
[pid=17937] vsize: 5800
Current children cumulated CPU time (s) 118.57
Current children cumulated vsize (Kb) 7928
[startup+140.018 s]
Raw data (loadavg): 0.98 0.97 0.99 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 846 0 0 0 12170 632 0 0 25 0 1 0 1789436689 5939200 751 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1450 751 413 48 0 1402 0
[pid=17937] vsize: 5800
Current children cumulated CPU time (s) 128.02
Current children cumulated vsize (Kb) 7928
[startup+150.019 s]
Raw data (loadavg): 1.06 0.99 0.99 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 848 0 0 0 13105 654 0 0 25 0 1 0 1789436689 5939200 753 4294967295 134512640 134702520 3221223952 3221223172 134550182 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1450 753 413 48 0 1402 0
[pid=17937] vsize: 5800
Current children cumulated CPU time (s) 137.59
Current children cumulated vsize (Kb) 7928
[startup+160.02 s]
Raw data (loadavg): 1.05 0.99 0.99 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 849 0 0 0 14027 678 0 0 25 0 1 0 1789436689 5939200 754 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1450 754 413 48 0 1402 0
[pid=17937] vsize: 5800
Current children cumulated CPU time (s) 147.05
Current children cumulated vsize (Kb) 7928
[startup+170.021 s]
Raw data (loadavg): 1.04 0.99 0.99 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 854 0 0 0 14954 702 0 0 25 0 1 0 1789436689 5939200 759 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1450 759 413 48 0 1402 0
[pid=17937] vsize: 5800
Current children cumulated CPU time (s) 156.56
Current children cumulated vsize (Kb) 7928
[startup+180.021 s]
Raw data (loadavg): 1.03 0.99 0.99 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 894 0 0 0 15882 726 0 0 25 0 1 0 1789436689 5939200 799 4294967295 134512640 134702520 3221223952 3221223232 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1450 799 413 48 0 1402 0
[pid=17937] vsize: 5800
Current children cumulated CPU time (s) 166.08
Current children cumulated vsize (Kb) 7928
[startup+190.022 s]
Raw data (loadavg): 1.03 0.99 0.99 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 908 0 0 0 16768 767 0 0 24 0 1 0 1789436689 5939200 813 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1450 813 413 48 0 1402 0
[pid=17937] vsize: 5800
Current children cumulated CPU time (s) 175.35
Current children cumulated vsize (Kb) 7928
[startup+200.024 s]
Raw data (loadavg): 1.02 0.99 0.99 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 908 0 0 0 17575 834 0 0 23 0 1 0 1789436689 5939200 813 4294967295 134512640 134702520 3221223952 3221222848 134553409 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1450 813 413 48 0 1402 0
[pid=17937] vsize: 5800
Current children cumulated CPU time (s) 184.09
Current children cumulated vsize (Kb) 7928
[startup+210.024 s]
Raw data (loadavg): 1.02 0.99 0.99 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 908 0 0 0 18470 869 0 0 25 0 1 0 1789436689 5939200 813 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1450 813 413 48 0 1402 0
[pid=17937] vsize: 5800
Current children cumulated CPU time (s) 193.39
Current children cumulated vsize (Kb) 7928
[startup+220.025 s]
Raw data (loadavg): 1.02 0.99 0.99 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 908 0 0 0 19386 899 0 0 25 0 1 0 1789436689 5939200 813 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1450 813 413 48 0 1402 0
[pid=17937] vsize: 5800
Current children cumulated CPU time (s) 202.85
Current children cumulated vsize (Kb) 7928
[startup+230.026 s]
Raw data (loadavg): 1.01 0.99 0.99 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 944 0 0 0 20318 924 0 0 25 0 1 0 1789436689 5939200 849 4294967295 134512640 134702520 3221223952 3221223232 134552263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1450 849 413 48 0 1402 0
[pid=17937] vsize: 5800
Current children cumulated CPU time (s) 212.42
Current children cumulated vsize (Kb) 7928
[startup+240.027 s]
Raw data (loadavg): 1.01 0.99 0.99 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 963 0 0 0 21241 951 0 0 25 0 1 0 1789436689 5939200 868 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1450 868 413 48 0 1402 0
[pid=17937] vsize: 5800
Current children cumulated CPU time (s) 221.92
Current children cumulated vsize (Kb) 7928
[startup+250.028 s]
Raw data (loadavg): 1.01 0.99 0.99 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 966 0 0 0 22169 976 0 0 25 0 1 0 1789436689 6041600 871 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1475 871 413 48 0 1427 0
[pid=17937] vsize: 5900
Current children cumulated CPU time (s) 231.45
Current children cumulated vsize (Kb) 8028
[startup+260.029 s]
Raw data (loadavg): 1.01 0.99 0.99 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 989 0 0 0 23097 1000 0 0 25 0 1 0 1789436689 6275072 894 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1532 894 413 48 0 1484 0
[pid=17937] vsize: 6128
Current children cumulated CPU time (s) 240.97
Current children cumulated vsize (Kb) 8256
[startup+270.03 s]
Raw data (loadavg): 1.01 0.99 0.99 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 994 0 0 0 23931 1056 0 0 22 0 1 0 1789436689 6275072 899 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1532 899 413 48 0 1484 0
[pid=17937] vsize: 6128
Current children cumulated CPU time (s) 249.87
Current children cumulated vsize (Kb) 8256
[startup+280.031 s]
Raw data (loadavg): 1.00 0.99 0.99 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 994 0 0 0 24745 1121 0 0 22 0 1 0 1789436689 6275072 899 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1532 899 413 48 0 1484 0
[pid=17937] vsize: 6128
Current children cumulated CPU time (s) 258.66
Current children cumulated vsize (Kb) 8256
[startup+290.031 s]
Raw data (loadavg): 1.00 0.99 0.99 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 994 0 0 0 25678 1144 0 0 23 0 1 0 1789436689 6275072 899 4294967295 134512640 134702520 3221223952 3221222976 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1532 899 413 48 0 1484 0
[pid=17937] vsize: 6128
Current children cumulated CPU time (s) 268.22
Current children cumulated vsize (Kb) 8256
[startup+300.032 s]
Raw data (loadavg): 1.08 1.00 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1013 0 0 0 26624 1163 0 0 25 0 1 0 1789436689 6275072 918 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1532 918 413 48 0 1484 0
[pid=17937] vsize: 6128
Current children cumulated CPU time (s) 277.87
Current children cumulated vsize (Kb) 8256
[startup+310.033 s]
Raw data (loadavg): 1.07 1.00 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1033 0 0 0 27563 1184 0 0 25 0 1 0 1789436689 6275072 938 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1532 938 413 48 0 1484 0
[pid=17937] vsize: 6128
Current children cumulated CPU time (s) 287.47
Current children cumulated vsize (Kb) 8256
[startup+320.034 s]
Raw data (loadavg): 1.06 1.00 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1051 0 0 0 28497 1207 0 0 25 0 1 0 1789436689 6508544 956 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1589 956 413 48 0 1541 0
[pid=17937] vsize: 6356
Current children cumulated CPU time (s) 297.04
Current children cumulated vsize (Kb) 8484
[startup+330.034 s]
Raw data (loadavg): 1.05 1.00 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1076 0 0 0 29433 1227 0 0 25 0 1 0 1789436689 6508544 981 4294967295 134512640 134702520 3221223952 3221223232 134552889 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1589 981 413 48 0 1541 0
[pid=17937] vsize: 6356
Current children cumulated CPU time (s) 306.6
Current children cumulated vsize (Kb) 8484
[startup+340.035 s]
Raw data (loadavg): 1.04 1.00 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1105 0 0 0 30384 1244 0 0 25 0 1 0 1789436689 6508544 1010 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1589 1010 413 48 0 1541 0
[pid=17937] vsize: 6356
Current children cumulated CPU time (s) 316.28
Current children cumulated vsize (Kb) 8484
[startup+350.037 s]
Raw data (loadavg): 1.03 1.00 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1108 0 0 0 31334 1260 0 0 25 0 1 0 1789436689 6508544 1013 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1589 1013 413 48 0 1541 0
[pid=17937] vsize: 6356
Current children cumulated CPU time (s) 325.94
Current children cumulated vsize (Kb) 8484
[startup+360.038 s]
Raw data (loadavg): 1.03 1.00 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1120 0 0 0 32236 1294 0 0 25 0 1 0 1789436689 6742016 1025 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1646 1025 413 48 0 1598 0
[pid=17937] vsize: 6584
Current children cumulated CPU time (s) 335.3
Current children cumulated vsize (Kb) 8712
[startup+370.038 s]
Raw data (loadavg): 1.02 1.00 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1120 0 0 0 33069 1349 0 0 24 0 1 0 1789436689 6742016 1025 4294967295 134512640 134702520 3221223952 3221223116 1074652272 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1646 1025 413 48 0 1598 0
[pid=17937] vsize: 6584
Current children cumulated CPU time (s) 344.18
Current children cumulated vsize (Kb) 8712
[startup+380.039 s]
Raw data (loadavg): 1.10 1.02 1.01 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1120 0 0 0 33983 1378 0 0 25 0 1 0 1789436689 6742016 1025 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1646 1025 413 48 0 1598 0
[pid=17937] vsize: 6584
Current children cumulated CPU time (s) 353.61
Current children cumulated vsize (Kb) 8712
[startup+390.04 s]
Raw data (loadavg): 1.08 1.02 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1302 0 0 0 34921 1400 0 0 25 0 1 0 1789436689 6819840 1207 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1665 1207 413 48 0 1617 0
[pid=17937] vsize: 6660
Current children cumulated CPU time (s) 363.21
Current children cumulated vsize (Kb) 8788
[startup+400.041 s]
Raw data (loadavg): 1.07 1.01 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1362 0 0 0 35858 1422 0 0 25 0 1 0 1789436689 6819840 1267 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1665 1267 413 48 0 1617 0
[pid=17937] vsize: 6660
Current children cumulated CPU time (s) 372.8
Current children cumulated vsize (Kb) 8788
[startup+410.041 s]
Raw data (loadavg): 1.06 1.01 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1363 0 0 0 36813 1440 0 0 25 0 1 0 1789436689 6819840 1268 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1665 1268 413 48 0 1617 0
[pid=17937] vsize: 6660
Current children cumulated CPU time (s) 382.53
Current children cumulated vsize (Kb) 8788
[startup+420.042 s]
Raw data (loadavg): 1.05 1.01 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1366 0 0 0 37752 1462 0 0 25 0 1 0 1789436689 6819840 1271 4294967295 134512640 134702520 3221223952 3221223232 134553430 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1665 1271 413 48 0 1617 0
[pid=17937] vsize: 6660
Current children cumulated CPU time (s) 392.14
Current children cumulated vsize (Kb) 8788
[startup+430.043 s]
Raw data (loadavg): 1.12 1.03 1.01 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1366 0 0 0 38687 1486 0 0 25 0 1 0 1789436689 6819840 1271 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1665 1271 413 48 0 1617 0
[pid=17937] vsize: 6660
Current children cumulated CPU time (s) 401.73
Current children cumulated vsize (Kb) 8788
[startup+440.044 s]
Raw data (loadavg): 1.10 1.03 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1392 0 0 0 39638 1502 0 0 25 0 1 0 1789436689 6819840 1297 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1665 1297 413 48 0 1617 0
[pid=17937] vsize: 6660
Current children cumulated CPU time (s) 411.4
Current children cumulated vsize (Kb) 8788
[startup+450.044 s]
Raw data (loadavg): 1.08 1.03 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1394 0 0 0 40581 1521 0 0 25 0 1 0 1789436689 6819840 1299 4294967295 134512640 134702520 3221223952 3221223232 134552266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1665 1299 413 48 0 1617 0
[pid=17937] vsize: 6660
Current children cumulated CPU time (s) 421.02
Current children cumulated vsize (Kb) 8788
[startup+460.045 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1397 0 0 0 41482 1557 0 0 25 0 1 0 1789436689 6819840 1302 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1665 1302 413 48 0 1617 0
[pid=17937] vsize: 6660
Current children cumulated CPU time (s) 430.39
Current children cumulated vsize (Kb) 8788
[startup+470.046 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1397 0 0 0 42352 1601 0 0 25 0 1 0 1789436689 6819840 1302 4294967295 134512640 134702520 3221223952 3221222848 134552270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1665 1302 413 48 0 1617 0
[pid=17937] vsize: 6660
Current children cumulated CPU time (s) 439.53
Current children cumulated vsize (Kb) 8788
[startup+480.047 s]
Raw data (loadavg): 1.05 1.02 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1398 0 0 0 43297 1619 0 0 25 0 1 0 1789436689 6819840 1303 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1665 1303 413 48 0 1617 0
[pid=17937] vsize: 6660
Current children cumulated CPU time (s) 449.16
Current children cumulated vsize (Kb) 8788
[startup+490.047 s]
Raw data (loadavg): 1.04 1.02 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1398 0 0 0 44243 1639 0 0 25 0 1 0 1789436689 6819840 1303 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1665 1303 413 48 0 1617 0
[pid=17937] vsize: 6660
Current children cumulated CPU time (s) 458.82
Current children cumulated vsize (Kb) 8788
[startup+500.049 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1399 0 0 0 45199 1655 0 0 25 0 1 0 1789436689 6819840 1304 4294967295 134512640 134702520 3221223952 3221223304 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1665 1304 413 48 0 1617 0
[pid=17937] vsize: 6660
Current children cumulated CPU time (s) 468.54
Current children cumulated vsize (Kb) 8788
[startup+510.05 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1399 0 0 0 46136 1677 0 0 25 0 1 0 1789436689 6819840 1304 4294967295 134512640 134702520 3221223952 3221223232 134553320 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1665 1304 413 48 0 1617 0
[pid=17937] vsize: 6660
Current children cumulated CPU time (s) 478.13
Current children cumulated vsize (Kb) 8788
[startup+520.051 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1399 0 0 0 47077 1696 0 0 25 0 1 0 1789436689 6819840 1304 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1665 1304 413 48 0 1617 0
[pid=17937] vsize: 6660
Current children cumulated CPU time (s) 487.73
Current children cumulated vsize (Kb) 8788
[startup+530.051 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1399 0 0 0 48033 1709 0 0 25 0 1 0 1789436689 6819840 1304 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1665 1304 413 48 0 1617 0
[pid=17937] vsize: 6660
Current children cumulated CPU time (s) 497.42
Current children cumulated vsize (Kb) 8788
[startup+540.052 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1408 0 0 0 48976 1730 0 0 25 0 1 0 1789436689 6819840 1313 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1665 1313 413 48 0 1617 0
[pid=17937] vsize: 6660
Current children cumulated CPU time (s) 507.06
Current children cumulated vsize (Kb) 8788
[startup+550.053 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1410 0 0 0 49938 1743 0 0 25 0 1 0 1789436689 6819840 1315 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1665 1315 413 48 0 1617 0
[pid=17937] vsize: 6660
Current children cumulated CPU time (s) 516.81
Current children cumulated vsize (Kb) 8788
[startup+560.054 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1411 0 0 0 50879 1763 0 0 25 0 1 0 1789436689 6819840 1316 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1665 1316 413 48 0 1617 0
[pid=17937] vsize: 6660
Current children cumulated CPU time (s) 526.42
Current children cumulated vsize (Kb) 8788
[startup+570.054 s]
Raw data (loadavg): 1.09 1.03 1.01 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1415 0 0 0 51790 1793 0 0 25 0 1 0 1789436689 6975488 1320 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1703 1320 413 48 0 1655 0
[pid=17937] vsize: 6812
Current children cumulated CPU time (s) 535.83
Current children cumulated vsize (Kb) 8940
[startup+580.055 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1415 0 0 0 52673 1832 0 0 25 0 1 0 1789436689 6975488 1320 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1703 1320 413 48 0 1655 0
[pid=17937] vsize: 6812
Current children cumulated CPU time (s) 545.05
Current children cumulated vsize (Kb) 8940
[startup+590.056 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1416 0 0 0 53615 1851 0 0 25 0 1 0 1789436689 6918144 1321 4294967295 134512640 134702520 3221223952 3221223172 134550217 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1689 1321 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 554.66
Current children cumulated vsize (Kb) 8884
[startup+600.058 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1417 0 0 0 54549 1874 0 0 25 0 1 0 1789436689 6918144 1322 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1322 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 564.23
Current children cumulated vsize (Kb) 8884
[startup+610.058 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1417 0 0 0 55513 1886 0 0 25 0 1 0 1789436689 6918144 1322 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1322 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 573.99
Current children cumulated vsize (Kb) 8884
[startup+620.059 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1417 0 0 0 56449 1906 0 0 25 0 1 0 1789436689 6918144 1322 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1322 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 583.55
Current children cumulated vsize (Kb) 8884
[startup+630.062 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1417 0 0 0 57414 1920 0 0 25 0 1 0 1789436689 6918144 1322 4294967295 134512640 134702520 3221223952 3221223232 134553113 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1689 1322 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 593.34
Current children cumulated vsize (Kb) 8884
[startup+640.062 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1418 0 0 0 58353 1942 0 0 25 0 1 0 1789436689 6918144 1323 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1323 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 602.95
Current children cumulated vsize (Kb) 8884
[startup+650.063 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1419 0 0 0 59292 1963 0 0 25 0 1 0 1789436689 6918144 1324 4294967295 134512640 134702520 3221223952 3221222960 134553867 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1689 1324 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 612.55
Current children cumulated vsize (Kb) 8884
[startup+660.065 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1420 0 0 0 60256 1978 0 0 25 0 1 0 1789436689 6918144 1325 4294967295 134512640 134702520 3221223952 3221223232 134557285 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1325 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 622.34
Current children cumulated vsize (Kb) 8884
[startup+670.066 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1421 0 0 0 61196 1999 0 0 25 0 1 0 1789436689 6918144 1326 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1689 1326 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 631.95
Current children cumulated vsize (Kb) 8884
[startup+680.067 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1422 0 0 0 62158 2013 0 0 25 0 1 0 1789436689 6918144 1327 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1327 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 641.71
Current children cumulated vsize (Kb) 8884
[startup+690.067 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1426 0 0 0 63077 2042 0 0 25 0 1 0 1789436689 6918144 1331 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1331 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 651.19
Current children cumulated vsize (Kb) 8884
[startup+700.068 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1426 0 0 0 63961 2083 0 0 25 0 1 0 1789436689 6918144 1331 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1331 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 660.44
Current children cumulated vsize (Kb) 8884
[startup+710.069 s]
Raw data (loadavg): 1.08 1.03 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1426 0 0 0 64893 2106 0 0 25 0 1 0 1789436689 6918144 1331 4294967295 134512640 134702520 3221223952 3221223232 134553111 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1689 1331 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 669.99
Current children cumulated vsize (Kb) 8884
[startup+720.069 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1426 0 0 0 65842 2124 0 0 25 0 1 0 1789436689 6918144 1331 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1689 1331 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 679.66
Current children cumulated vsize (Kb) 8884
[startup+730.071 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1427 0 0 0 66785 2141 0 0 25 0 1 0 1789436689 6918144 1332 4294967295 134512640 134702520 3221223952 3221223232 134553125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1332 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 689.26
Current children cumulated vsize (Kb) 8884
[startup+740.072 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1427 0 0 0 67719 2166 0 0 25 0 1 0 1789436689 6918144 1332 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1332 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 698.85
Current children cumulated vsize (Kb) 8884
[startup+750.073 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1427 0 0 0 68686 2178 0 0 25 0 1 0 1789436689 6918144 1332 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1689 1332 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 708.64
Current children cumulated vsize (Kb) 8884
[startup+760.073 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1429 0 0 0 69622 2200 0 0 25 0 1 0 1789436689 6918144 1334 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1334 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 718.22
Current children cumulated vsize (Kb) 8884
[startup+770.074 s]
Raw data (loadavg): 1.10 1.04 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1429 0 0 0 70581 2215 0 0 25 0 1 0 1789436689 6918144 1334 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1334 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 727.96
Current children cumulated vsize (Kb) 8884
[startup+780.075 s]
Raw data (loadavg): 1.08 1.04 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1430 0 0 0 71517 2237 0 0 25 0 1 0 1789436689 6918144 1335 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1335 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 737.54
Current children cumulated vsize (Kb) 8884
[startup+790.076 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1430 0 0 0 72477 2251 0 0 25 0 1 0 1789436689 6918144 1335 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1689 1335 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 747.28
Current children cumulated vsize (Kb) 8884
[startup+800.077 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1432 0 0 0 73411 2274 0 0 25 0 1 0 1789436689 6918144 1337 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1689 1337 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 756.85
Current children cumulated vsize (Kb) 8884
[startup+810.078 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1432 0 0 0 74366 2289 0 0 25 0 1 0 1789436689 6918144 1337 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1337 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 766.55
Current children cumulated vsize (Kb) 8884
[startup+820.078 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1433 0 0 0 75247 2332 0 0 25 0 1 0 1789436689 6918144 1338 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1338 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 775.79
Current children cumulated vsize (Kb) 8884
[startup+830.08 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1433 0 0 0 76134 2375 0 0 25 0 1 0 1789436689 6918144 1338 4294967295 134512640 134702520 3221223952 3221223232 134552284 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1689 1338 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 785.09
Current children cumulated vsize (Kb) 8884
[startup+840.08 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1433 0 0 0 77099 2387 0 0 25 0 1 0 1789436689 6918144 1338 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1338 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 794.86
Current children cumulated vsize (Kb) 8884
[startup+850.081 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1434 0 0 0 78036 2409 0 0 25 0 1 0 1789436689 6918144 1339 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1689 1339 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 804.45
Current children cumulated vsize (Kb) 8884
[startup+860.083 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1434 0 0 0 79002 2421 0 0 25 0 1 0 1789436689 6918144 1339 4294967295 134512640 134702520 3221223952 3221223172 134550182 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1689 1339 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 814.23
Current children cumulated vsize (Kb) 8884
[startup+870.084 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1435 0 0 0 79939 2443 0 0 25 0 1 0 1789436689 6918144 1340 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1340 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 823.82
Current children cumulated vsize (Kb) 8884
[startup+880.084 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1435 0 0 0 80903 2455 0 0 25 0 1 0 1789436689 6918144 1340 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1340 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 833.58
Current children cumulated vsize (Kb) 8884
[startup+890.085 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1436 0 0 0 81836 2479 0 0 25 0 1 0 1789436689 6918144 1341 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1341 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 843.15
Current children cumulated vsize (Kb) 8884
[startup+900.087 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1436 0 0 0 82797 2492 0 0 25 0 1 0 1789436689 6918144 1341 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1341 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 852.89
Current children cumulated vsize (Kb) 8884
[startup+910.088 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1438 0 0 0 83739 2512 0 0 25 0 1 0 1789436689 6918144 1343 4294967295 134512640 134702520 3221223952 3221223232 134552981 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1689 1343 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 862.51
Current children cumulated vsize (Kb) 8884
[startup+920.088 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1438 0 0 0 84704 2524 0 0 25 0 1 0 1789436689 6918144 1343 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1343 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 872.28
Current children cumulated vsize (Kb) 8884
[startup+930.089 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1440 0 0 0 85654 2539 0 0 25 0 1 0 1789436689 6918144 1345 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1345 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (Kb) 8884
[startup+940.09 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1441 0 0 0 86607 2555 0 0 25 0 1 0 1789436689 6918144 1346 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1346 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 891.62
Current children cumulated vsize (Kb) 8884
[startup+950.091 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1441 0 0 0 87565 2569 0 0 25 0 1 0 1789436689 6918144 1346 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1689 1346 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 901.34
Current children cumulated vsize (Kb) 8884
[startup+960.092 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1442 0 0 0 88457 2607 0 0 25 0 1 0 1789436689 6918144 1347 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1347 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 910.64
Current children cumulated vsize (Kb) 8884
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=17937) exited with status: 2
New process pid=17938
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=17938) exited with status: 0
New process pid=17939
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+970.093 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) T 17934 17934 824 0 -1 0 570 0 0 0 274 12 0 0 25 0 1 0 1789533397 3764224 541 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/17939/statm): 919 541 413 48 0 871 0
[pid=17939] vsize: 3676
Current children cumulated CPU time (s) 920.01
Current children cumulated vsize (Kb) 5804
[startup+980.095 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) T 17934 17934 824 0 -1 0 570 0 0 0 1205 36 0 0 25 0 1 0 1789533397 3764224 541 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17939/statm): 919 541 413 48 0 871 0
[pid=17939] vsize: 3676
Current children cumulated CPU time (s) 929.56
Current children cumulated vsize (Kb) 5804
[startup+990.096 s]
Raw data (loadavg): 1.08 1.03 1.01 1/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) T 17934 17934 824 0 -1 0 682 0 0 0 2141 58 0 0 25 0 1 0 1789533397 6008832 653 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1467 653 413 48 0 1419 0
[pid=17939] vsize: 5868
Current children cumulated CPU time (s) 939.14
Current children cumulated vsize (Kb) 7996
[startup+1000.1 s]
Raw data (loadavg): 1.07 1.03 1.00 2/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) R 17934 17934 824 0 -1 0 688 0 0 0 3043 91 0 0 25 0 1 0 1789533397 5980160 659 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17939/statm): 1460 659 413 48 0 1412 0
[pid=17939] vsize: 5840
Current children cumulated CPU time (s) 948.49
Current children cumulated vsize (Kb) 7968
[startup+1010.1 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) R 17934 17934 824 0 -1 0 756 0 0 0 3973 116 0 0 24 0 1 0 1789533397 5980160 727 4294967295 134512640 134702520 3221223712 3221222932 134550176 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17939/statm): 1460 727 413 48 0 1412 0
[pid=17939] vsize: 5840
Current children cumulated CPU time (s) 958.04
Current children cumulated vsize (Kb) 7968
[startup+1020.1 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) T 17934 17934 824 0 -1 0 762 0 0 0 4900 140 0 0 25 0 1 0 1789533397 5980160 733 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1460 733 413 48 0 1412 0
[pid=17939] vsize: 5840
Current children cumulated CPU time (s) 967.55
Current children cumulated vsize (Kb) 7968
[startup+1030.1 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) R 17934 17934 824 0 -1 0 766 0 0 0 5828 164 0 0 25 0 1 0 1789533397 5980160 737 4294967295 134512640 134702520 3221223712 3221222992 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17939/statm): 1460 737 413 48 0 1412 0
[pid=17939] vsize: 5840
Current children cumulated CPU time (s) 977.07
Current children cumulated vsize (Kb) 7968
[startup+1040.1 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) R 17934 17934 824 0 -1 0 769 0 0 0 6748 192 0 0 25 0 1 0 1789533397 5980160 740 4294967295 134512640 134702520 3221223712 3221222608 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17939/statm): 1460 740 413 48 0 1412 0
[pid=17939] vsize: 5840
Current children cumulated CPU time (s) 986.55
Current children cumulated vsize (Kb) 7968
[startup+1050.1 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) T 17934 17934 824 0 -1 0 770 0 0 0 7662 222 0 0 25 0 1 0 1789533397 5980160 741 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1460 741 413 48 0 1412 0
[pid=17939] vsize: 5840
Current children cumulated CPU time (s) 995.99
Current children cumulated vsize (Kb) 7968
[startup+1060.1 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) T 17934 17934 824 0 -1 0 771 0 0 0 8583 249 0 0 23 0 1 0 1789533397 5980160 742 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1460 742 413 48 0 1412 0
[pid=17939] vsize: 5840
Current children cumulated CPU time (s) 1005.47
Current children cumulated vsize (Kb) 7968
[startup+1070.1 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) R 17934 17934 824 0 -1 0 804 0 0 0 9519 273 0 0 24 0 1 0 1789533397 6062080 775 4294967295 134512640 134702520 3221223712 3221222736 134553157 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17939/statm): 1480 775 413 48 0 1432 0
[pid=17939] vsize: 5920
Current children cumulated CPU time (s) 1015.07
Current children cumulated vsize (Kb) 8048
[startup+1080.1 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) T 17934 17934 824 0 -1 0 807 0 0 0 10465 292 0 0 25 0 1 0 1789533397 6062080 778 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/17939/statm): 1480 778 413 48 0 1432 0
[pid=17939] vsize: 5920
Current children cumulated CPU time (s) 1024.72
Current children cumulated vsize (Kb) 8048
[startup+1090.1 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) T 17934 17934 824 0 -1 0 811 0 0 0 11386 320 0 0 17 0 1 0 1789533397 6062080 782 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/17939/statm): 1480 782 413 48 0 1432 0
[pid=17939] vsize: 5920
Current children cumulated CPU time (s) 1034.21
Current children cumulated vsize (Kb) 8048
[startup+1100.11 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) T 17934 17934 824 0 -1 0 816 0 0 0 12328 340 0 0 25 0 1 0 1789533397 6062080 787 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1480 787 413 48 0 1432 0
[pid=17939] vsize: 5920
Current children cumulated CPU time (s) 1043.83
Current children cumulated vsize (Kb) 8048
[startup+1110.11 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) T 17934 17934 824 0 -1 0 818 0 0 0 13274 357 0 0 25 0 1 0 1789533397 6062080 789 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1480 789 413 48 0 1432 0
[pid=17939] vsize: 5920
Current children cumulated CPU time (s) 1053.46
Current children cumulated vsize (Kb) 8048
[startup+1120.11 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) T 17934 17934 824 0 -1 0 819 0 0 0 14178 391 0 0 25 0 1 0 1789533397 6062080 790 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1480 790 413 48 0 1432 0
[pid=17939] vsize: 5920
Current children cumulated CPU time (s) 1062.84
Current children cumulated vsize (Kb) 8048
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) R 17934 17934 824 0 -1 0 821 0 0 0 15102 415 0 0 25 0 1 0 1789533397 6062080 792 4294967295 134512640 134702520 3221223712 3221222992 134552460 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1480 792 413 48 0 1432 0
[pid=17939] vsize: 5920
Current children cumulated CPU time (s) 1072.32
Current children cumulated vsize (Kb) 8048
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) T 17934 17934 824 0 -1 0 850 0 0 0 16027 442 0 0 25 0 1 0 1789533397 6062080 821 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1480 821 413 48 0 1432 0
[pid=17939] vsize: 5920
Current children cumulated CPU time (s) 1081.84
Current children cumulated vsize (Kb) 8048
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) R 17934 17934 824 0 -1 0 852 0 0 0 16949 469 0 0 25 0 1 0 1789533397 6062080 823 4294967295 134512640 134702520 3221223712 3221222992 134552509 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1480 823 413 48 0 1432 0
[pid=17939] vsize: 5920
Current children cumulated CPU time (s) 1091.33
Current children cumulated vsize (Kb) 8048
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) T 17934 17934 824 0 -1 0 855 0 0 0 17880 492 0 0 25 0 1 0 1789533397 6144000 826 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1500 826 413 48 0 1452 0
[pid=17939] vsize: 6000
Current children cumulated CPU time (s) 1100.87
Current children cumulated vsize (Kb) 8128
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) R 17934 17934 824 0 -1 0 900 0 0 0 18832 508 0 0 25 0 1 0 1789533397 6144000 871 4294967295 134512640 134702520 3221223712 3221222736 134553168 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17939/statm): 1500 871 413 48 0 1452 0
[pid=17939] vsize: 6000
Current children cumulated CPU time (s) 1110.55
Current children cumulated vsize (Kb) 8128
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) T 17934 17934 824 0 -1 0 901 0 0 0 19770 530 0 0 25 0 1 0 1789533397 6144000 872 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1500 872 413 48 0 1452 0
[pid=17939] vsize: 6000
Current children cumulated CPU time (s) 1120.15
Current children cumulated vsize (Kb) 8128
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) T 17934 17934 824 0 -1 0 903 0 0 0 20705 554 0 0 25 0 1 0 1789533397 6144000 874 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1500 874 413 48 0 1452 0
[pid=17939] vsize: 6000
Current children cumulated CPU time (s) 1129.74
Current children cumulated vsize (Kb) 8128
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) T 17934 17934 824 0 -1 0 905 0 0 0 21617 584 0 0 25 0 1 0 1789533397 6144000 876 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/17939/statm): 1500 876 413 48 0 1452 0
[pid=17939] vsize: 6000
Current children cumulated CPU time (s) 1139.16
Current children cumulated vsize (Kb) 8128
[startup+1210.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) R 17934 17934 824 0 -1 0 905 0 0 0 22538 609 0 0 25 0 1 0 1789533397 6144000 876 4294967295 134512640 134702520 3221223712 3221222992 134553333 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1500 876 413 48 0 1452 0
[pid=17939] vsize: 6000
Current children cumulated CPU time (s) 1148.62
Current children cumulated vsize (Kb) 8128
[startup+1220.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) R 17934 17934 824 0 -1 0 905 0 0 0 23498 623 0 0 25 0 1 0 1789533397 6144000 876 4294967295 134512640 134702520 3221223712 3221222992 134552523 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1500 876 413 48 0 1452 0
[pid=17939] vsize: 6000
Current children cumulated CPU time (s) 1158.36
Current children cumulated vsize (Kb) 8128
[startup+1230.12 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) R 17934 17934 824 0 -1 0 909 0 0 0 24425 649 0 0 25 0 1 0 1789533397 6144000 880 4294967295 134512640 134702520 3221223712 3221222992 134552969 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1500 880 413 48 0 1452 0
[pid=17939] vsize: 6000
Current children cumulated CPU time (s) 1167.89
Current children cumulated vsize (Kb) 8128
[startup+1240.12 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) R 17934 17934 824 0 -1 0 913 0 0 0 25361 671 0 0 25 0 1 0 1789533397 6144000 884 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1500 884 413 48 0 1452 0
[pid=17939] vsize: 6000
Current children cumulated CPU time (s) 1177.47
Current children cumulated vsize (Kb) 8128
[startup+1250.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) T 17934 17934 824 0 -1 0 923 0 0 0 26297 694 0 0 25 0 1 0 1789533397 6144000 894 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1500 894 413 48 0 1452 0
[pid=17939] vsize: 6000
Current children cumulated CPU time (s) 1187.06
Current children cumulated vsize (Kb) 8128
[startup+1260.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) R 17934 17934 824 0 -1 0 929 0 0 0 27256 706 0 0 25 0 1 0 1789533397 6144000 900 4294967295 134512640 134702520 3221223712 3221222992 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17939/statm): 1500 900 413 48 0 1452 0
[pid=17939] vsize: 6000
Current children cumulated CPU time (s) 1196.77
Current children cumulated vsize (Kb) 8128
[startup+1270.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) T 17934 17934 824 0 -1 0 933 0 0 0 28193 728 0 0 25 0 1 0 1789533397 6144000 904 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1500 904 413 48 0 1452 0
[pid=17939] vsize: 6000
Current children cumulated CPU time (s) 1206.36
Current children cumulated vsize (Kb) 8128
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1270.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) T 17934 17934 824 0 -1 0 933 0 0 0 28193 728 0 0 25 0 1 0 1789533397 6144000 904 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1500 904 413 48 0 1452 0
[pid=17939] vsize: 6000
Current children cumulated CPU time (s) 1206.36
Current children cumulated vsize (Kb) 8128
Sending SIGTERM to -17934
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=17941
New process pid=17942
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/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1565/cmdline
open syscall for file /proc/1565/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1665/stat
open syscall for file /proc/1665/status
open syscall for file /proc/1665/cmdline
open syscall for file /proc/1665/environ
open syscall for file /proc/15010/stat
open syscall for file /proc/15010/status
open syscall for file /proc/15010/cmdline
open syscall for file /proc/15010/environ
open syscall for file /proc/22628/stat
open syscall for file /proc/22628/status
open syscall for file /proc/22628/cmdline
open syscall for file /proc/22628/environ
open syscall for file /proc/22655/stat
open syscall for file /proc/22655/status
open syscall for file /proc/22655/cmdline
open syscall for file /proc/22655/environ
open syscall for file /proc/22679/stat
open syscall for file /proc/22679/status
open syscall for file /proc/22679/cmdline
open syscall for file /proc/22679/environ
open syscall for file /proc/15675/stat
open syscall for file /proc/15675/status
open syscall for file /proc/15675/cmdline
open syscall for file /proc/15675/environ
open syscall for file /proc/5614/stat
open syscall for file /proc/5614/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/5614/cmdline
open syscall for file /proc/5614/environ
open syscall for file /proc/5654/stat
open syscall for file /proc/5654/status
open syscall for file /proc/5654/cmdline
open syscall for file /proc/5654/environ
open syscall for file /proc/824/stat
open syscall for file /proc/824/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/824/cmdline
open syscall for file /proc/824/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/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/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/836/stat
open syscall for file /proc/836/status
open syscall for file /proc/836/cmdline
open syscall for file /proc/836/environ
open syscall for file /proc/17897/stat
open syscall for file /proc/17897/status
open syscall for file /proc/17897/cmdline
open syscall for file /proc/17897/environ
open syscall for file /proc/17933/stat
open syscall for file /proc/17933/status
open syscall for file /proc/17933/cmdline
open syscall for file /proc/17933/environ
open syscall for file /proc/17934/stat
open syscall for file /proc/17934/status
open syscall for file /proc/17934/cmdline
open syscall for file /proc/17934/environ
open syscall for file /proc/17939/stat
open syscall for file /proc/17939/status
open syscall for file /proc/17939/cmdline
open syscall for file /proc/17939/environ
open syscall for file /proc/17941/stat
open syscall for file /proc/17941/status
open syscall for file /proc/17941/cmdline
open syscall for file /proc/17941/environ
open syscall for file /proc/17942/stat
open syscall for file /proc/17942/status
open syscall for file /proc/17942/cmdline
open syscall for file /proc/17942/environ
One traced child (pid=17941) exited with status: 0
One traced child (pid=17942) exited with status: 0
New process pid=17943
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
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=17939) exited with status: 3
One traced child (pid=17943) exited with status: 0
New process pid=17944
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=17944) exited with status: 0
One traced child (pid=17934) 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): 1270.62
CPU time (s): 1206.65
CPU user time (s): 1172.94
CPU system time (s): 33.7019
CPU usage (%): 94.965
Max. virtual memory (cumulated for all children) (Kb): 8940