1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 2 (#equs: 1259)
#decisions: 250421; #end-nodes: 168829;
#proof improvement attempts: 0; #restarts: 864
Current batch, end-nodes: 0 / 321 (295)
#axs: 7958, #non-axs: 8113
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 2 (#equs: 1268)
Time taken: 5 min, 10 sec
2:
seed: 0
Nr of vars set: 2 (#equs: 0)
Nr of vars set: 2 (#equs: 21)
#decisions: 473464; #end-nodes: 352114;
#proof improvement attempts: 0; #restarts: 1248
Current batch, end-nodes: 0 / 435 (431)
#axs: 5531, #non-axs: 14017
tight: meta-meta: start: 5, end: 7; meta: start: 12, end (keep): 23
loose: meta-meta: start: 7, end: 11; meta: start: 25, end (keep): 41
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 2 (#equs: 35)
Time taken: 9 min, 16 sec
3:
seed: 0
Nr of vars set: 2 (#equs: 0)
Nr of vars set: 2 (#equs: 0)
Interupt request received.
#decisions: 358895; #end-nodes: 264288;
#proof improvement attempts: 0; #restarts: 929
Current batch, end-nodes: 6 / 396 (392)
#axs: 5462, #non-axs: 10840
tight: meta-meta: start: 4, end: 5; meta: start: 11, end (keep): 21
loose: meta-meta: start: 7, end: 11; meta: start: 25, end (keep): 41
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 171 (#equs: 1)
Time taken: 5 min, 34 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/16021/stat): 16021 (vallstSAT2005PB) R 16020 16021 9854 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1784898415 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16021/statm): 174 3 169 147 0 27 0
[pid=16021] 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=16022
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=16022) exited with status: 0
New process pid=16023
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=16023) exited with status: 0
New process pid=16024
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/wulflinc11/normalized-par32-5-c.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0033 s]
Raw data (loadavg): 0.94 1.00 0.99 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 443 0 0 0 335 209 0 0 16 0 1 0 1784898421 3104768 413 4294967295 134512640 134702520 3221223968 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16024/statm): 758 413 413 48 0 710 0
[pid=16024] vsize: 3032
Current children cumulated CPU time (s) 5.46
Current children cumulated vsize (Kb) 5160
[startup+20.0051 s]
Raw data (loadavg): 0.94 1.00 0.99 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 509 0 0 0 985 327 0 0 16 0 1 0 1784898421 4714496 479 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1151 479 413 48 0 1103 0
[pid=16024] vsize: 4604
Current children cumulated CPU time (s) 13.14
Current children cumulated vsize (Kb) 6732
[startup+30.0058 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 553 0 0 0 1642 438 0 0 16 0 1 0 1784898421 4853760 523 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1185 523 413 48 0 1137 0
[pid=16024] vsize: 4740
Current children cumulated CPU time (s) 20.82
Current children cumulated vsize (Kb) 6868
[startup+40.0066 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 555 0 0 0 2071 628 0 0 16 0 1 0 1784898421 4853760 525 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1185 525 413 48 0 1137 0
[pid=16024] vsize: 4740
Current children cumulated CPU time (s) 27.01
Current children cumulated vsize (Kb) 6868
[startup+50.0084 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 564 0 0 0 2709 754 0 0 16 0 1 0 1784898421 4853760 534 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16024/statm): 1185 534 413 48 0 1137 0
[pid=16024] vsize: 4740
Current children cumulated CPU time (s) 34.65
Current children cumulated vsize (Kb) 6868
[startup+60.0092 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 600 0 0 0 3446 841 0 0 16 0 1 0 1784898421 4960256 570 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1211 570 413 48 0 1163 0
[pid=16024] vsize: 4844
Current children cumulated CPU time (s) 42.89
Current children cumulated vsize (Kb) 6972
[startup+70.011 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 601 0 0 0 3906 1025 0 0 15 0 1 0 1784898421 4960256 571 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1211 571 413 48 0 1163 0
[pid=16024] vsize: 4844
Current children cumulated CPU time (s) 49.33
Current children cumulated vsize (Kb) 6972
[startup+80.0118 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) R 16021 16021 9854 0 -1 0 602 0 0 0 4512 1156 0 0 17 0 1 0 1784898421 4960256 572 4294967295 134512640 134702520 3221223968 3221223248 134554263 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16024/statm): 1211 572 413 48 0 1163 0
[pid=16024] vsize: 4844
Current children cumulated CPU time (s) 56.7
Current children cumulated vsize (Kb) 6972
[startup+90.0116 s]
Raw data (loadavg): 1.08 1.03 1.00 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 621 0 0 0 5277 1238 0 0 15 0 1 0 1784898421 4960256 591 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16024/statm): 1211 591 413 48 0 1163 0
[pid=16024] vsize: 4844
Current children cumulated CPU time (s) 65.17
Current children cumulated vsize (Kb) 6972
[startup+100.012 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 634 0 0 0 5876 1375 0 0 15 0 1 0 1784898421 5115904 604 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1249 604 413 48 0 1201 0
[pid=16024] vsize: 4996
Current children cumulated CPU time (s) 72.53
Current children cumulated vsize (Kb) 7124
[startup+110.013 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 634 0 0 0 6388 1540 0 0 16 0 1 0 1784898421 5115904 604 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16024/statm): 1249 604 413 48 0 1201 0
[pid=16024] vsize: 4996
Current children cumulated CPU time (s) 79.3
Current children cumulated vsize (Kb) 7124
[startup+120.015 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) R 16021 16021 9854 0 -1 0 634 0 0 0 7156 1618 0 0 17 0 1 0 1784898421 5115904 604 4294967295 134512640 134702520 3221223968 3221223248 134557457 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1249 604 413 48 0 1201 0
[pid=16024] vsize: 4996
Current children cumulated CPU time (s) 87.76
Current children cumulated vsize (Kb) 7124
[startup+130.016 s]
Raw data (loadavg): 1.04 1.02 1.00 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 659 0 0 0 7969 1682 0 0 18 0 1 0 1784898421 5115904 629 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1249 629 413 48 0 1201 0
[pid=16024] vsize: 4996
Current children cumulated CPU time (s) 96.53
Current children cumulated vsize (Kb) 7124
[startup+140.017 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 662 0 0 0 8480 1838 0 0 15 0 1 0 1784898421 5115904 632 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1249 632 413 48 0 1201 0
[pid=16024] vsize: 4996
Current children cumulated CPU time (s) 103.2
Current children cumulated vsize (Kb) 7124
[startup+150.018 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) R 16021 16021 9854 0 -1 0 662 0 0 0 9052 1980 0 0 16 0 1 0 1784898421 5115904 632 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16024/statm): 1249 632 413 48 0 1201 0
[pid=16024] vsize: 4996
Current children cumulated CPU time (s) 110.34
Current children cumulated vsize (Kb) 7124
[startup+160.018 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) R 16021 16021 9854 0 -1 0 663 0 0 0 9868 2042 0 0 17 0 1 0 1784898421 5115904 633 4294967295 134512640 134702520 3221223968 3221223248 134550688 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16024/statm): 1249 633 413 48 0 1201 0
[pid=16024] vsize: 4996
Current children cumulated CPU time (s) 119.12
Current children cumulated vsize (Kb) 7124
[startup+170.019 s]
Raw data (loadavg): 1.10 1.04 1.01 2/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) R 16021 16021 9854 0 -1 0 685 0 0 0 10688 2103 0 0 17 0 1 0 1784898421 5246976 655 4294967295 134512640 134702520 3221223968 3221223248 134556507 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1281 655 413 48 0 1233 0
[pid=16024] vsize: 5124
Current children cumulated CPU time (s) 127.93
Current children cumulated vsize (Kb) 7252
[startup+180.021 s]
Raw data (loadavg): 1.16 1.05 1.01 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 693 0 0 0 11267 2247 0 0 16 0 1 0 1784898421 5246976 663 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16024/statm): 1281 663 413 48 0 1233 0
[pid=16024] vsize: 5124
Current children cumulated CPU time (s) 135.16
Current children cumulated vsize (Kb) 7252
[startup+190.021 s]
Raw data (loadavg): 1.13 1.05 1.01 2/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) R 16021 16021 9854 0 -1 0 693 0 0 0 11835 2388 0 0 17 0 1 0 1784898421 5246976 663 4294967295 134512640 134702520 3221223968 3221157804 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1281 663 413 48 0 1233 0
[pid=16024] vsize: 5124
Current children cumulated CPU time (s) 142.25
Current children cumulated vsize (Kb) 7252
[startup+200.022 s]
Raw data (loadavg): 1.11 1.05 1.01 2/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) R 16021 16021 9854 0 -1 0 697 0 0 0 12643 2454 0 0 17 0 1 0 1784898421 5246976 667 4294967295 134512640 134702520 3221223968 3221223248 134557232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1281 667 413 48 0 1233 0
[pid=16024] vsize: 5124
Current children cumulated CPU time (s) 150.99
Current children cumulated vsize (Kb) 7252
[startup+210.023 s]
Raw data (loadavg): 1.09 1.05 1.01 2/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) R 16021 16021 9854 0 -1 0 702 0 0 0 13466 2511 0 0 17 0 1 0 1784898421 5386240 672 4294967295 134512640 134702520 3221223968 3221223088 134586040 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1315 672 413 48 0 1267 0
[pid=16024] vsize: 5260
Current children cumulated CPU time (s) 159.79
Current children cumulated vsize (Kb) 7388
[startup+220.024 s]
Raw data (loadavg): 1.08 1.04 1.01 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 727 0 0 0 14218 2599 0 0 16 0 1 0 1784898421 5386240 697 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16024/statm): 1315 697 413 48 0 1267 0
[pid=16024] vsize: 5260
Current children cumulated CPU time (s) 168.19
Current children cumulated vsize (Kb) 7388
[startup+230.025 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 727 0 0 0 14656 2780 0 0 16 0 1 0 1784898421 5386240 697 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1315 697 413 48 0 1267 0
[pid=16024] vsize: 5260
Current children cumulated CPU time (s) 174.38
Current children cumulated vsize (Kb) 7388
[startup+240.025 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 727 0 0 0 15440 2857 0 0 17 0 1 0 1784898421 5386240 697 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16024/statm): 1315 697 413 48 0 1267 0
[pid=16024] vsize: 5260
Current children cumulated CPU time (s) 182.99
Current children cumulated vsize (Kb) 7388
[startup+250.026 s]
Raw data (loadavg): 1.05 1.04 1.00 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 731 0 0 0 16255 2924 0 0 17 0 1 0 1784898421 5386240 701 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1315 701 413 48 0 1267 0
[pid=16024] vsize: 5260
Current children cumulated CPU time (s) 191.81
Current children cumulated vsize (Kb) 7388
[startup+260.027 s]
Raw data (loadavg): 1.04 1.04 1.00 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 746 0 0 0 17109 2974 0 0 16 0 1 0 1784898421 5386240 716 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1315 716 413 48 0 1267 0
[pid=16024] vsize: 5260
Current children cumulated CPU time (s) 200.85
Current children cumulated vsize (Kb) 7388
[startup+270.029 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 762 0 0 0 17838 3065 0 0 16 0 1 0 1784898421 5431296 732 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1326 732 413 48 0 1278 0
[pid=16024] vsize: 5304
Current children cumulated CPU time (s) 209.05
Current children cumulated vsize (Kb) 7432
[startup+280.029 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 762 0 0 0 18248 3258 0 0 16 0 1 0 1784898421 5431296 732 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1326 732 413 48 0 1278 0
[pid=16024] vsize: 5304
Current children cumulated CPU time (s) 215.08
Current children cumulated vsize (Kb) 7432
[startup+290.03 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) R 16021 16021 9854 0 -1 0 762 0 0 0 19122 3302 0 0 18 0 1 0 1784898421 5431296 732 4294967295 134512640 134702520 3221223968 3221223248 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1326 732 413 48 0 1278 0
[pid=16024] vsize: 5304
Current children cumulated CPU time (s) 224.26
Current children cumulated vsize (Kb) 7432
[startup+300.031 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) R 16021 16021 9854 0 -1 0 763 0 0 0 19941 3365 0 0 17 0 1 0 1784898421 5431296 733 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16024/statm): 1326 733 413 48 0 1278 0
[pid=16024] vsize: 5304
Current children cumulated CPU time (s) 233.08
Current children cumulated vsize (Kb) 7432
[startup+310.032 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) R 16021 16021 9854 0 -1 0 765 0 0 0 20824 3404 0 0 19 0 1 0 1784898421 5431296 735 4294967295 134512640 134702520 3221223968 3221223248 134557466 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1326 735 413 48 0 1278 0
[pid=16024] vsize: 5304
Current children cumulated CPU time (s) 242.3
Current children cumulated vsize (Kb) 7432
[startup+320.034 s]
Raw data (loadavg): 1.09 1.04 1.00 2/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) R 16021 16021 9854 0 -1 0 796 0 0 0 21715 3440 0 0 20 0 1 0 1784898421 5586944 766 4294967295 134512640 134702520 3221223968 3221222992 134552319 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1364 766 413 48 0 1316 0
[pid=16024] vsize: 5456
Current children cumulated CPU time (s) 251.57
Current children cumulated vsize (Kb) 7584
[startup+330.034 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 796 0 0 0 22207 3614 0 0 16 0 1 0 1784898421 5586944 766 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16024/statm): 1364 766 413 48 0 1316 0
[pid=16024] vsize: 5456
Current children cumulated CPU time (s) 258.23
Current children cumulated vsize (Kb) 7584
[startup+340.034 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 796 0 0 0 22848 3729 0 0 16 0 1 0 1784898421 5586944 766 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16024/statm): 1364 766 413 48 0 1316 0
[pid=16024] vsize: 5456
Current children cumulated CPU time (s) 265.79
Current children cumulated vsize (Kb) 7584
[startup+350.035 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 797 0 0 0 23701 3775 0 0 18 0 1 0 1784898421 5586944 767 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1364 767 413 48 0 1316 0
[pid=16024] vsize: 5456
Current children cumulated CPU time (s) 274.78
Current children cumulated vsize (Kb) 7584
[startup+360.036 s]
Raw data (loadavg): 1.04 1.04 1.00 2/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 798 0 0 0 24591 3812 0 0 19 0 1 0 1784898421 5586944 768 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1364 768 413 48 0 1316 0
[pid=16024] vsize: 5456
Current children cumulated CPU time (s) 284.05
Current children cumulated vsize (Kb) 7584
[startup+370.037 s]
Raw data (loadavg): 1.11 1.05 1.01 2/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) R 16021 16021 9854 0 -1 0 804 0 0 0 25487 3848 0 0 20 0 1 0 1784898421 5586944 774 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1364 774 413 48 0 1316 0
[pid=16024] vsize: 5456
Current children cumulated CPU time (s) 293.37
Current children cumulated vsize (Kb) 7584
[startup+380.037 s]
Raw data (loadavg): 1.09 1.05 1.00 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 824 0 0 0 26333 3900 0 0 15 0 1 0 1784898421 5652480 794 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16024/statm): 1380 794 413 48 0 1332 0
[pid=16024] vsize: 5520
Current children cumulated CPU time (s) 302.35
Current children cumulated vsize (Kb) 7648
[startup+390.038 s]
Raw data (loadavg): 1.15 1.06 1.01 2/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) R 16021 16021 9854 0 -1 0 824 0 0 0 26827 4066 0 0 16 0 1 0 1784898421 5652480 794 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1380 794 413 48 0 1332 0
[pid=16024] vsize: 5520
Current children cumulated CPU time (s) 308.95
Current children cumulated vsize (Kb) 7648
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=16024) exited with status: 2
New process pid=16025
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=16025) exited with status: 0
New process pid=16026
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+400.039 s]
Raw data (loadavg): 1.13 1.06 1.01 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 501 0 0 0 335 106 0 0 17 0 1 0 1784937765 3522560 472 4294967295 134512640 134702520 3221223712 3221222816 134564365 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 860 472 413 48 0 812 0
[pid=16026] vsize: 3440
Current children cumulated CPU time (s) 315.13
Current children cumulated vsize (Kb) 5568
[startup+410.04 s]
Raw data (loadavg): 1.19 1.07 1.01 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 570 0 0 0 789 284 0 0 16 0 1 0 1784937765 6262784 541 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1529 541 413 48 0 1481 0
[pid=16026] vsize: 6116
Current children cumulated CPU time (s) 321.45
Current children cumulated vsize (Kb) 8244
[startup+420.042 s]
Raw data (loadavg): 1.24 1.09 1.02 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 625 0 0 0 1517 377 0 0 16 0 1 0 1784937765 6377472 596 4294967295 134512640 134702520 3221223712 3221222992 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1557 596 413 48 0 1509 0
[pid=16026] vsize: 6228
Current children cumulated CPU time (s) 329.66
Current children cumulated vsize (Kb) 8356
[startup+430.042 s]
Raw data (loadavg): 1.20 1.08 1.02 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 660 0 0 0 2205 480 0 0 16 0 1 0 1784937765 6377472 631 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1557 631 413 48 0 1509 0
[pid=16026] vsize: 6228
Current children cumulated CPU time (s) 337.57
Current children cumulated vsize (Kb) 8356
[startup+440.042 s]
Raw data (loadavg): 1.17 1.08 1.01 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 662 0 0 0 2603 681 0 0 17 0 1 0 1784937765 6377472 633 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1557 633 413 48 0 1509 0
[pid=16026] vsize: 6228
Current children cumulated CPU time (s) 343.56
Current children cumulated vsize (Kb) 8356
[startup+450.043 s]
Raw data (loadavg): 1.14 1.08 1.01 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 668 0 0 0 3356 764 0 0 16 0 1 0 1784937765 6377472 639 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1557 639 413 48 0 1509 0
[pid=16026] vsize: 6228
Current children cumulated CPU time (s) 351.92
Current children cumulated vsize (Kb) 8356
[startup+460.044 s]
Raw data (loadavg): 1.12 1.08 1.01 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 682 0 0 0 4178 823 0 0 18 0 1 0 1784937765 6377472 653 4294967295 134512640 134702520 3221223712 3221222992 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1557 653 413 48 0 1509 0
[pid=16026] vsize: 6228
Current children cumulated CPU time (s) 360.73
Current children cumulated vsize (Kb) 8356
[startup+470.044 s]
Raw data (loadavg): 1.26 1.10 1.02 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 691 0 0 0 4600 1015 0 0 16 0 1 0 1784937765 6512640 662 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1590 662 413 48 0 1542 0
[pid=16026] vsize: 6360
Current children cumulated CPU time (s) 366.87
Current children cumulated vsize (Kb) 8488
[startup+480.045 s]
Raw data (loadavg): 1.22 1.10 1.02 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 692 0 0 0 5201 1145 0 0 16 0 1 0 1784937765 6479872 663 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1582 663 413 48 0 1534 0
[pid=16026] vsize: 6328
Current children cumulated CPU time (s) 374.18
Current children cumulated vsize (Kb) 8456
[startup+490.046 s]
Raw data (loadavg): 1.18 1.10 1.02 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 696 0 0 0 5984 1220 0 0 16 0 1 0 1784937765 6479872 667 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1582 667 413 48 0 1534 0
[pid=16026] vsize: 6328
Current children cumulated CPU time (s) 382.76
Current children cumulated vsize (Kb) 8456
[startup+500.047 s]
Raw data (loadavg): 1.15 1.09 1.02 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 698 0 0 0 6541 1365 0 0 16 0 1 0 1784937765 6479872 669 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1582 669 413 48 0 1534 0
[pid=16026] vsize: 6328
Current children cumulated CPU time (s) 389.78
Current children cumulated vsize (Kb) 8456
[startup+510.048 s]
Raw data (loadavg): 1.13 1.09 1.02 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 701 0 0 0 7040 1533 0 0 17 0 1 0 1784937765 6479872 672 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1582 672 413 48 0 1534 0
[pid=16026] vsize: 6328
Current children cumulated CPU time (s) 396.45
Current children cumulated vsize (Kb) 8456
[startup+520.048 s]
Raw data (loadavg): 1.18 1.10 1.02 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 707 0 0 0 7830 1605 0 0 16 0 1 0 1784937765 6479872 678 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1582 678 413 48 0 1534 0
[pid=16026] vsize: 6328
Current children cumulated CPU time (s) 405.07
Current children cumulated vsize (Kb) 8456
[startup+530.049 s]
Raw data (loadavg): 1.15 1.10 1.02 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 709 0 0 0 8599 1687 0 0 16 0 1 0 1784937765 6479872 680 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1582 680 413 48 0 1534 0
[pid=16026] vsize: 6328
Current children cumulated CPU time (s) 413.58
Current children cumulated vsize (Kb) 8456
[startup+540.05 s]
Raw data (loadavg): 1.21 1.11 1.03 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 709 0 0 0 8941 1897 0 0 16 0 1 0 1784937765 6479872 680 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1582 680 413 48 0 1534 0
[pid=16026] vsize: 6328
Current children cumulated CPU time (s) 419.1
Current children cumulated vsize (Kb) 8456
[startup+550.051 s]
Raw data (loadavg): 1.18 1.11 1.03 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 712 0 0 0 9699 1978 0 0 17 0 1 0 1784937765 6479872 683 4294967295 134512640 134702520 3221223712 3221222992 134550404 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1582 683 413 48 0 1534 0
[pid=16026] vsize: 6328
Current children cumulated CPU time (s) 427.49
Current children cumulated vsize (Kb) 8456
[startup+560.052 s]
Raw data (loadavg): 1.23 1.12 1.03 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 714 0 0 0 10516 2041 0 0 18 0 1 0 1784937765 6479872 685 4294967295 134512640 134702520 3221223712 3221222992 134553116 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1582 685 413 48 0 1534 0
[pid=16026] vsize: 6328
Current children cumulated CPU time (s) 436.29
Current children cumulated vsize (Kb) 8456
[startup+570.053 s]
Raw data (loadavg): 1.19 1.12 1.03 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 720 0 0 0 11237 2129 0 0 16 0 1 0 1784937765 6479872 691 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1582 691 413 48 0 1534 0
[pid=16026] vsize: 6328
Current children cumulated CPU time (s) 444.38
Current children cumulated vsize (Kb) 8456
[startup+580.054 s]
Raw data (loadavg): 1.24 1.13 1.03 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 722 0 0 0 11623 2330 0 0 16 0 1 0 1784937765 6479872 693 4294967295 134512640 134702520 3221223712 3221222992 134557208 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1582 693 413 48 0 1534 0
[pid=16026] vsize: 6328
Current children cumulated CPU time (s) 450.25
Current children cumulated vsize (Kb) 8456
[startup+590.055 s]
Raw data (loadavg): 1.29 1.14 1.04 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 724 0 0 0 12430 2394 0 0 17 0 1 0 1784937765 6479872 695 4294967295 134512640 134702520 3221223712 3221222992 134557183 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1582 695 413 48 0 1534 0
[pid=16026] vsize: 6328
Current children cumulated CPU time (s) 458.96
Current children cumulated vsize (Kb) 8456
[startup+600.057 s]
Raw data (loadavg): 1.32 1.15 1.04 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 725 0 0 0 13247 2459 0 0 18 0 1 0 1784937765 6479872 696 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1582 696 413 48 0 1534 0
[pid=16026] vsize: 6328
Current children cumulated CPU time (s) 467.78
Current children cumulated vsize (Kb) 8456
[startup+610.058 s]
Raw data (loadavg): 1.27 1.15 1.04 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 738 0 0 0 14046 2526 0 0 15 0 1 0 1784937765 6778880 709 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1655 709 413 48 0 1607 0
[pid=16026] vsize: 6620
Current children cumulated CPU time (s) 476.44
Current children cumulated vsize (Kb) 8748
[startup+620.058 s]
Raw data (loadavg): 1.23 1.14 1.04 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 739 0 0 0 14383 2751 0 0 16 0 1 0 1784937765 6778880 710 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1655 710 413 48 0 1607 0
[pid=16026] vsize: 6620
Current children cumulated CPU time (s) 482.06
Current children cumulated vsize (Kb) 8748
[startup+630.059 s]
Raw data (loadavg): 1.19 1.14 1.04 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 742 0 0 0 15158 2827 0 0 16 0 1 0 1784937765 6778880 713 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1655 713 413 48 0 1607 0
[pid=16026] vsize: 6620
Current children cumulated CPU time (s) 490.57
Current children cumulated vsize (Kb) 8748
[startup+640.059 s]
Raw data (loadavg): 1.16 1.13 1.04 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 743 0 0 0 16033 2868 0 0 18 0 1 0 1784937765 6778880 714 4294967295 134512640 134702520 3221223712 3221222992 134557225 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1655 714 413 48 0 1607 0
[pid=16026] vsize: 6620
Current children cumulated CPU time (s) 499.73
Current children cumulated vsize (Kb) 8748
[startup+650.06 s]
Raw data (loadavg): 1.14 1.13 1.04 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 751 0 0 0 16855 2928 0 0 18 0 1 0 1784937765 6778880 722 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1655 722 413 48 0 1607 0
[pid=16026] vsize: 6620
Current children cumulated CPU time (s) 508.55
Current children cumulated vsize (Kb) 8748
[startup+660.06 s]
Raw data (loadavg): 1.12 1.12 1.04 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 767 0 0 0 17463 3057 0 0 16 0 1 0 1784937765 6778880 738 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1655 738 413 48 0 1607 0
[pid=16026] vsize: 6620
Current children cumulated CPU time (s) 515.92
Current children cumulated vsize (Kb) 8748
[startup+670.062 s]
Raw data (loadavg): 1.10 1.12 1.04 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 769 0 0 0 18009 3210 0 0 16 0 1 0 1784937765 6881280 740 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1680 740 413 48 0 1632 0
[pid=16026] vsize: 6720
Current children cumulated CPU time (s) 522.91
Current children cumulated vsize (Kb) 8848
[startup+680.063 s]
Raw data (loadavg): 1.08 1.11 1.03 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 769 0 0 0 18825 3270 0 0 18 0 1 0 1784937765 6881280 740 4294967295 134512640 134702520 3221223712 3221222832 134573892 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1680 740 413 48 0 1632 0
[pid=16026] vsize: 6720
Current children cumulated CPU time (s) 531.67
Current children cumulated vsize (Kb) 8848
[startup+690.064 s]
Raw data (loadavg): 1.07 1.11 1.03 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 775 0 0 0 19640 3333 0 0 17 0 1 0 1784937765 6881280 746 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1680 746 413 48 0 1632 0
[pid=16026] vsize: 6720
Current children cumulated CPU time (s) 540.45
Current children cumulated vsize (Kb) 8848
[startup+700.066 s]
Raw data (loadavg): 1.06 1.10 1.03 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 781 0 0 0 20528 3372 0 0 18 0 1 0 1784937765 6881280 752 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1680 752 413 48 0 1632 0
[pid=16026] vsize: 6720
Current children cumulated CPU time (s) 549.72
Current children cumulated vsize (Kb) 8848
[startup+710.066 s]
Raw data (loadavg): 1.05 1.10 1.03 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 791 0 0 0 21039 3529 0 0 15 0 1 0 1784937765 6881280 762 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1680 762 413 48 0 1632 0
[pid=16026] vsize: 6720
Current children cumulated CPU time (s) 556.4
Current children cumulated vsize (Kb) 8848
[startup+720.067 s]
Raw data (loadavg): 1.04 1.10 1.03 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 793 0 0 0 21629 3665 0 0 17 0 1 0 1784937765 6881280 764 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1680 764 413 48 0 1632 0
[pid=16026] vsize: 6720
Current children cumulated CPU time (s) 563.66
Current children cumulated vsize (Kb) 8848
[startup+730.069 s]
Raw data (loadavg): 1.03 1.09 1.03 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 794 0 0 0 22501 3709 0 0 18 0 1 0 1784937765 6881280 765 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1680 765 413 48 0 1632 0
[pid=16026] vsize: 6720
Current children cumulated CPU time (s) 572.82
Current children cumulated vsize (Kb) 8848
[startup+740.07 s]
Raw data (loadavg): 1.03 1.09 1.03 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 797 0 0 0 23319 3770 0 0 17 0 1 0 1784937765 6881280 768 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1680 768 413 48 0 1632 0
[pid=16026] vsize: 6720
Current children cumulated CPU time (s) 581.61
Current children cumulated vsize (Kb) 8848
[startup+750.071 s]
Raw data (loadavg): 1.02 1.09 1.03 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 806 0 0 0 24201 3812 0 0 18 0 1 0 1784937765 6881280 777 4294967295 134512640 134702520 3221223712 3221222960 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1680 777 413 48 0 1632 0
[pid=16026] vsize: 6720
Current children cumulated CPU time (s) 590.85
Current children cumulated vsize (Kb) 8848
[startup+760.071 s]
Raw data (loadavg): 1.02 1.08 1.03 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 820 0 0 0 24787 3945 0 0 16 0 1 0 1784937765 6881280 791 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1680 791 413 48 0 1632 0
[pid=16026] vsize: 6720
Current children cumulated CPU time (s) 598.04
Current children cumulated vsize (Kb) 8848
[startup+770.073 s]
Raw data (loadavg): 1.02 1.08 1.03 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 822 0 0 0 25369 4079 0 0 18 0 1 0 1784937765 6881280 793 4294967295 134512640 134702520 3221223712 3221222992 134553895 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1680 793 413 48 0 1632 0
[pid=16026] vsize: 6720
Current children cumulated CPU time (s) 605.2
Current children cumulated vsize (Kb) 8848
[startup+780.074 s]
Raw data (loadavg): 1.01 1.08 1.02 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 822 0 0 0 26180 4145 0 0 18 0 1 0 1784937765 6881280 793 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1680 793 413 48 0 1632 0
[pid=16026] vsize: 6720
Current children cumulated CPU time (s) 613.97
Current children cumulated vsize (Kb) 8848
[startup+790.075 s]
Raw data (loadavg): 1.01 1.07 1.02 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 826 0 0 0 27062 4184 0 0 19 0 1 0 1784937765 6881280 797 4294967295 134512640 134702520 3221223712 3221222992 134557183 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1680 797 413 48 0 1632 0
[pid=16026] vsize: 6720
Current children cumulated CPU time (s) 623.18
Current children cumulated vsize (Kb) 8848
[startup+800.076 s]
Raw data (loadavg): 1.01 1.07 1.02 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 840 0 0 0 27901 4238 0 0 15 0 1 0 1784937765 6881280 811 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1680 811 413 48 0 1632 0
[pid=16026] vsize: 6720
Current children cumulated CPU time (s) 632.11
Current children cumulated vsize (Kb) 8848
[startup+810.077 s]
Raw data (loadavg): 1.01 1.07 1.02 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 842 0 0 0 28729 4296 0 0 15 0 1 0 1784937765 6881280 813 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1680 813 413 48 0 1632 0
[pid=16026] vsize: 6720
Current children cumulated CPU time (s) 640.97
Current children cumulated vsize (Kb) 8848
[startup+820.079 s]
Raw data (loadavg): 1.09 1.08 1.03 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 844 0 0 0 29066 4514 0 0 16 0 1 0 1784937765 6881280 815 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1680 815 413 48 0 1632 0
[pid=16026] vsize: 6720
Current children cumulated CPU time (s) 646.52
Current children cumulated vsize (Kb) 8848
[startup+830.08 s]
Raw data (loadavg): 1.07 1.08 1.02 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 844 0 0 0 29932 4561 0 0 17 0 1 0 1784937765 6881280 815 4294967295 134512640 134702520 3221223712 3221222992 134553160 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1680 815 413 48 0 1632 0
[pid=16026] vsize: 6720
Current children cumulated CPU time (s) 655.65
Current children cumulated vsize (Kb) 8848
[startup+840.081 s]
Raw data (loadavg): 1.06 1.08 1.02 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 844 0 0 0 30811 4602 0 0 19 0 1 0 1784937765 6881280 815 4294967295 134512640 134702520 3221223712 3221222992 134552338 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1680 815 413 48 0 1632 0
[pid=16026] vsize: 6720
Current children cumulated CPU time (s) 664.85
Current children cumulated vsize (Kb) 8848
[startup+850.082 s]
Raw data (loadavg): 1.05 1.07 1.02 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 847 0 0 0 31631 4661 0 0 16 0 1 0 1784937765 6983680 818 4294967295 134512640 134702520 3221223712 3221222992 134557183 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1705 818 413 48 0 1657 0
[pid=16026] vsize: 6820
Current children cumulated CPU time (s) 673.64
Current children cumulated vsize (Kb) 8948
[startup+860.083 s]
Raw data (loadavg): 1.04 1.07 1.02 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 935 0 0 0 32517 4699 0 0 17 0 1 0 1784937765 7282688 906 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1778 906 413 48 0 1730 0
[pid=16026] vsize: 7112
Current children cumulated CPU time (s) 682.88
Current children cumulated vsize (Kb) 9240
[startup+870.085 s]
Raw data (loadavg): 1.04 1.07 1.02 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 1051 0 0 0 33434 4727 0 0 15 0 1 0 1784937765 7725056 1019 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1886 1019 413 48 0 1838 0
[pid=16026] vsize: 7544
Current children cumulated CPU time (s) 692.33
Current children cumulated vsize (Kb) 9672
[startup+880.086 s]
Raw data (loadavg): 1.03 1.06 1.02 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 1052 0 0 0 33877 4913 0 0 15 0 1 0 1784937765 7725056 1020 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1886 1020 413 48 0 1838 0
[pid=16026] vsize: 7544
Current children cumulated CPU time (s) 698.62
Current children cumulated vsize (Kb) 9672
[startup+890.087 s]
Raw data (loadavg): 1.02 1.06 1.02 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 1053 0 0 0 34636 4996 0 0 19 0 1 0 1784937765 7704576 1021 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1881 1021 413 48 0 1833 0
[pid=16026] vsize: 7524
Current children cumulated CPU time (s) 707.04
Current children cumulated vsize (Kb) 9652
[startup+900.087 s]
Raw data (loadavg): 1.02 1.06 1.02 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 1054 0 0 0 35530 5031 0 0 25 0 1 0 1784937765 7704576 1022 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1881 1022 413 48 0 1833 0
[pid=16026] vsize: 7524
Current children cumulated CPU time (s) 716.33
Current children cumulated vsize (Kb) 9652
[startup+910.088 s]
Raw data (loadavg): 1.02 1.06 1.02 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 1070 0 0 0 36432 5064 0 0 25 0 1 0 1784937765 8003584 1038 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1954 1038 413 48 0 1906 0
[pid=16026] vsize: 7816
Current children cumulated CPU time (s) 725.68
Current children cumulated vsize (Kb) 9944
[startup+920.09 s]
Raw data (loadavg): 1.01 1.05 1.02 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 1146 0 0 0 37330 5097 0 0 21 0 1 0 1784937765 8302592 1114 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 2027 1114 413 48 0 1979 0
[pid=16026] vsize: 8108
Current children cumulated CPU time (s) 734.99
Current children cumulated vsize (Kb) 10236
[startup+930.091 s]
Raw data (loadavg): 1.01 1.05 1.02 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 1217 0 0 0 38233 5129 0 0 18 0 1 0 1784937765 8437760 1185 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16026/statm): 2060 1185 413 48 0 2012 0
[pid=16026] vsize: 8240
Current children cumulated CPU time (s) 744.34
Current children cumulated vsize (Kb) 10368
[startup+940.091 s]
Raw data (loadavg): 1.01 1.05 1.01 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 1300 0 0 0 39200 5140 0 0 25 0 1 0 1784937765 8736768 1268 4294967295 134512640 134702520 3221223712 3221222960 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 2133 1268 413 48 0 2085 0
[pid=16026] vsize: 8532
Current children cumulated CPU time (s) 754.12
Current children cumulated vsize (Kb) 10660
[startup+950.092 s]
Raw data (loadavg): 1.01 1.05 1.01 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 1346 0 0 0 40098 5177 0 0 24 0 1 0 1784937765 8871936 1314 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 2166 1314 413 48 0 2118 0
[pid=16026] vsize: 8664
Current children cumulated CPU time (s) 763.47
Current children cumulated vsize (Kb) 10792
[startup+960.093 s]
Raw data (loadavg): 1.01 1.05 1.01 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 1408 0 0 0 40937 5229 0 0 15 0 1 0 1784937765 7974912 1111 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1947 1111 413 48 0 1899 0
[pid=16026] vsize: 7788
Current children cumulated CPU time (s) 772.38
Current children cumulated vsize (Kb) 9916
[startup+970.095 s]
Raw data (loadavg): 1.00 1.04 1.01 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 1409 0 0 0 41342 5428 0 0 16 0 1 0 1784937765 8114176 1112 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1981 1112 413 48 0 1933 0
[pid=16026] vsize: 7924
Current children cumulated CPU time (s) 778.42
Current children cumulated vsize (Kb) 10052
[startup+980.097 s]
Raw data (loadavg): 1.00 1.04 1.01 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 1410 0 0 0 42218 5470 0 0 21 0 1 0 1784937765 8081408 1113 4294967295 134512640 134702520 3221223712 3221222992 134550404 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1973 1113 413 48 0 1925 0
[pid=16026] vsize: 7892
Current children cumulated CPU time (s) 787.6
Current children cumulated vsize (Kb) 10020
[startup+990.096 s]
Raw data (loadavg): 1.00 1.04 1.01 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 1411 0 0 0 43114 5506 0 0 25 0 1 0 1784937765 8081408 1114 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1973 1114 413 48 0 1925 0
[pid=16026] vsize: 7892
Current children cumulated CPU time (s) 796.92
Current children cumulated vsize (Kb) 10020
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.04 1.01 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 1424 0 0 0 44008 5542 0 0 21 0 1 0 1784937765 8380416 1127 4294967295 134512640 134702520 3221223712 3221222992 134557259 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 2046 1127 413 48 0 1998 0
[pid=16026] vsize: 8184
Current children cumulated CPU time (s) 806.22
Current children cumulated vsize (Kb) 10312
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.04 1.01 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 1470 0 0 0 44910 5574 0 0 19 0 1 0 1784937765 8380416 1173 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 2046 1173 413 48 0 1998 0
[pid=16026] vsize: 8184
Current children cumulated CPU time (s) 815.56
Current children cumulated vsize (Kb) 10312
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.03 1.01 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 1537 0 0 0 45875 5586 0 0 25 0 1 0 1784937765 8679424 1240 4294967295 134512640 134702520 3221223712 3221222992 134554260 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 2119 1240 413 48 0 2071 0
[pid=16026] vsize: 8476
Current children cumulated CPU time (s) 825.33
Current children cumulated vsize (Kb) 10604
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.03 1.01 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 1565 0 0 0 46777 5618 0 0 25 0 1 0 1784937765 8679424 1268 4294967295 134512640 134702520 3221223712 3221222992 134557173 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 2119 1268 413 48 0 2071 0
[pid=16026] vsize: 8476
Current children cumulated CPU time (s) 834.67
Current children cumulated vsize (Kb) 10604
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 1613 0 0 0 47680 5651 0 0 18 0 1 0 1784937765 8978432 1316 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 2192 1316 413 48 0 2144 0
[pid=16026] vsize: 8768
Current children cumulated CPU time (s) 844.03
Current children cumulated vsize (Kb) 10896
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 1641 0 0 0 48650 5661 0 0 25 0 1 0 1784937765 8978432 1344 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16026/statm): 2192 1344 413 48 0 2144 0
[pid=16026] vsize: 8768
Current children cumulated CPU time (s) 853.83
Current children cumulated vsize (Kb) 10896
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 1673 0 0 0 49400 5744 0 0 15 0 1 0 1784937765 8081408 1149 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1973 1149 413 48 0 1925 0
[pid=16026] vsize: 7892
Current children cumulated CPU time (s) 862.16
Current children cumulated vsize (Kb) 10020
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=16026) exited with status: 2
New process pid=16027
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=16027) exited with status: 0
New process pid=16028
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+1070.11 s]
Raw data (loadavg): 1.08 1.04 1.01 1/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 582 0 0 0 53 8 0 0 19 0 1 0 1785005365 4259840 554 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16028/statm): 1040 554 413 48 0 992 0
[pid=16028] vsize: 4160
Current children cumulated CPU time (s) 868.22
Current children cumulated vsize (Kb) 6288
[startup+1080.11 s]
Raw data (loadavg): 1.07 1.04 1.01 1/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 585 0 0 0 552 171 0 0 16 0 1 0 1785005365 4259840 557 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1040 557 413 48 0 992 0
[pid=16028] vsize: 4160
Current children cumulated CPU time (s) 874.84
Current children cumulated vsize (Kb) 6288
[startup+1090.11 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 691 0 0 0 1163 298 0 0 17 0 1 0 1785005365 7196672 663 4294967295 134512640 134702520 3221223712 3221222992 134554409 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1757 663 413 48 0 1709 0
[pid=16028] vsize: 7028
Current children cumulated CPU time (s) 882.22
Current children cumulated vsize (Kb) 9156
[startup+1100.11 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 736 0 0 0 1984 359 0 0 17 0 1 0 1785005365 7340032 708 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1792 708 413 48 0 1744 0
[pid=16028] vsize: 7168
Current children cumulated CPU time (s) 891.04
Current children cumulated vsize (Kb) 9296
[startup+1110.11 s]
Raw data (loadavg): 1.04 1.04 1.00 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 773 0 0 0 2809 416 0 0 16 0 1 0 1785005365 7712768 745 4294967295 134512640 134702520 3221223712 3221222992 134550688 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1883 745 413 48 0 1835 0
[pid=16028] vsize: 7532
Current children cumulated CPU time (s) 899.86
Current children cumulated vsize (Kb) 9660
[startup+1120.11 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 790 0 0 0 3464 535 0 0 16 0 1 0 1785005365 7712768 762 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1883 762 413 48 0 1835 0
[pid=16028] vsize: 7532
Current children cumulated CPU time (s) 907.6
Current children cumulated vsize (Kb) 9660
[startup+1130.11 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 792 0 0 0 3973 692 0 0 17 0 1 0 1785005365 7811072 764 4294967295 134512640 134702520 3221223712 3221222992 134557208 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 764 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 914.26
Current children cumulated vsize (Kb) 9756
[startup+1140.11 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 792 0 0 0 4743 768 0 0 16 0 1 0 1785005365 7811072 764 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16028/statm): 1907 764 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 922.72
Current children cumulated vsize (Kb) 9756
[startup+1150.12 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 792 0 0 0 5543 838 0 0 17 0 1 0 1785005365 7811072 764 4294967295 134512640 134702520 3221223712 3221222992 134557225 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 764 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 931.42
Current children cumulated vsize (Kb) 9756
[startup+1160.12 s]
Raw data (loadavg): 1.10 1.04 1.01 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 792 0 0 0 6095 984 0 0 16 0 1 0 1785005365 7811072 764 4294967295 134512640 134702520 3221223712 3221222608 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 764 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 938.4
Current children cumulated vsize (Kb) 9756
[startup+1170.12 s]
Raw data (loadavg): 1.08 1.04 1.00 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 792 0 0 0 6627 1139 0 0 17 0 1 0 1785005365 7811072 764 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16028/statm): 1907 764 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 945.27
Current children cumulated vsize (Kb) 9756
[startup+1180.12 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 792 0 0 0 7368 1230 0 0 15 0 1 0 1785005365 7811072 764 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 764 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 953.59
Current children cumulated vsize (Kb) 9756
[startup+1190.12 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 795 0 0 0 8126 1311 0 0 15 0 1 0 1785005365 7811072 767 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16028/statm): 1907 767 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 961.98
Current children cumulated vsize (Kb) 9756
[startup+1200.12 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 796 0 0 0 8462 1522 0 0 16 0 1 0 1785005365 7811072 768 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 768 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 967.45
Current children cumulated vsize (Kb) 9756
[startup+1210.12 s]
Raw data (loadavg): 1.12 1.05 1.01 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 797 0 0 0 9262 1587 0 0 17 0 1 0 1785005365 7811072 769 4294967295 134512640 134702520 3221223712 3221222992 134557225 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 769 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 976.1
Current children cumulated vsize (Kb) 9756
[startup+1220.12 s]
Raw data (loadavg): 1.10 1.05 1.00 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 807 0 0 0 10068 1652 0 0 17 0 1 0 1785005365 7811072 779 4294967295 134512640 134702520 3221223712 3221222992 134557516 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 779 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 984.81
Current children cumulated vsize (Kb) 9756
[startup+1230.12 s]
Raw data (loadavg): 1.08 1.05 1.00 1/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 807 0 0 0 10676 1778 0 0 16 0 1 0 1785005365 7811072 779 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 779 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 992.15
Current children cumulated vsize (Kb) 9756
[startup+1240.12 s]
Raw data (loadavg): 1.14 1.06 1.01 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 808 0 0 0 11162 1948 0 0 17 0 1 0 1785005365 7811072 780 4294967295 134512640 134702520 3221223712 3221149228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16028/statm): 1907 780 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 998.71
Current children cumulated vsize (Kb) 9756
[startup+1250.13 s]
Raw data (loadavg): 1.12 1.06 1.01 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 810 0 0 0 11912 2032 0 0 16 0 1 0 1785005365 7811072 782 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16028/statm): 1907 782 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1007.05
Current children cumulated vsize (Kb) 9756
[startup+1260.13 s]
Raw data (loadavg): 1.10 1.06 1.01 1/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 810 0 0 0 12752 2085 0 0 16 0 1 0 1785005365 7811072 782 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16028/statm): 1907 782 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1015.98
Current children cumulated vsize (Kb) 9756
[startup+1270.13 s]
Raw data (loadavg): 1.17 1.07 1.01 1/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 813 0 0 0 13385 2205 0 0 15 0 1 0 1785005365 7811072 785 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16028/statm): 1907 785 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1023.51
Current children cumulated vsize (Kb) 9756
[startup+1280.13 s]
Raw data (loadavg): 1.22 1.08 1.02 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 815 0 0 0 13865 2377 0 0 17 0 1 0 1785005365 7811072 787 4294967295 134512640 134702520 3221223712 3221222992 134552889 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 787 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1030.03
Current children cumulated vsize (Kb) 9756
[startup+1290.13 s]
Raw data (loadavg): 1.19 1.08 1.01 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 815 0 0 0 14673 2441 0 0 18 0 1 0 1785005365 7811072 787 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16028/statm): 1907 787 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1038.75
Current children cumulated vsize (Kb) 9756
[startup+1300.13 s]
Raw data (loadavg): 1.16 1.08 1.01 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 816 0 0 0 15483 2505 0 0 17 0 1 0 1785005365 7811072 788 4294967295 134512640 134702520 3221223712 3221222992 134552444 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 788 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1047.49
Current children cumulated vsize (Kb) 9756
[startup+1310.13 s]
Raw data (loadavg): 1.21 1.09 1.02 1/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 817 0 0 0 16237 2591 0 0 16 0 1 0 1785005365 7811072 789 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 789 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1055.89
Current children cumulated vsize (Kb) 9756
[startup+1320.13 s]
Raw data (loadavg): 1.17 1.09 1.02 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 819 0 0 0 16593 2797 0 0 16 0 1 0 1785005365 7811072 791 4294967295 134512640 134702520 3221223712 3221222992 134553397 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16028/statm): 1907 791 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1061.51
Current children cumulated vsize (Kb) 9756
[startup+1330.13 s]
Raw data (loadavg): 1.15 1.08 1.02 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 820 0 0 0 17382 2869 0 0 16 0 1 0 1785005365 7811072 792 4294967295 134512640 134702520 3221223712 3221222976 134553862 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 792 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1070.12
Current children cumulated vsize (Kb) 9756
[startup+1340.13 s]
Raw data (loadavg): 1.12 1.08 1.01 1/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 827 0 0 0 18213 2927 0 0 15 0 1 0 1785005365 7811072 799 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 799 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1079.01
Current children cumulated vsize (Kb) 9756
[startup+1350.14 s]
Raw data (loadavg): 1.10 1.08 1.01 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 830 0 0 0 19070 2976 0 0 18 0 1 0 1785005365 7811072 802 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16028/statm): 1907 802 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1088.07
Current children cumulated vsize (Kb) 9756
[startup+1360.14 s]
Raw data (loadavg): 1.09 1.08 1.01 1/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 830 0 0 0 19599 3134 0 0 16 0 1 0 1785005365 7811072 802 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16028/statm): 1907 802 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1094.94
Current children cumulated vsize (Kb) 9756
[startup+1370.14 s]
Raw data (loadavg): 1.07 1.07 1.01 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 832 0 0 0 20167 3277 0 0 16 0 1 0 1785005365 7811072 804 4294967295 134512640 134702520 3221223712 3221222972 134549068 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 804 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1102.05
Current children cumulated vsize (Kb) 9756
[startup+1380.14 s]
Raw data (loadavg): 1.06 1.07 1.01 1/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 832 0 0 0 21032 3326 0 0 17 0 1 0 1785005365 7811072 804 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 804 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1111.19
Current children cumulated vsize (Kb) 9756
[startup+1390.14 s]
Raw data (loadavg): 1.05 1.07 1.01 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 835 0 0 0 21854 3383 0 0 18 0 1 0 1785005365 7811072 807 4294967295 134512640 134702520 3221223712 3221222832 134578812 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 807 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1119.98
Current children cumulated vsize (Kb) 9756
[startup+1400.14 s]
Raw data (loadavg): 1.04 1.06 1.01 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 839 0 0 0 22740 3420 0 0 19 0 1 0 1785005365 7811072 811 4294967295 134512640 134702520 3221223712 3221222992 134557173 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 811 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1129.21
Current children cumulated vsize (Kb) 9756
[startup+1410.14 s]
Raw data (loadavg): 1.04 1.06 1.01 1/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 840 0 0 0 23196 3601 0 0 16 0 1 0 1785005365 7811072 812 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16028/statm): 1907 812 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1135.58
Current children cumulated vsize (Kb) 9756
[startup+1420.14 s]
Raw data (loadavg): 1.03 1.06 1.01 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 841 0 0 0 23828 3723 0 0 16 0 1 0 1785005365 7811072 813 4294967295 134512640 134702520 3221223712 3221222992 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 813 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1143.12
Current children cumulated vsize (Kb) 9756
[startup+1430.15 s]
Raw data (loadavg): 1.02 1.06 1.01 1/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 843 0 0 0 24690 3768 0 0 16 0 1 0 1785005365 7811072 815 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16028/statm): 1907 815 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1152.19
Current children cumulated vsize (Kb) 9756
[startup+1440.15 s]
Raw data (loadavg): 1.10 1.07 1.01 1/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 844 0 0 0 25518 3824 0 0 18 0 1 0 1785005365 7811072 816 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 816 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1161.03
Current children cumulated vsize (Kb) 9756
[startup+1450.15 s]
Raw data (loadavg): 1.08 1.07 1.01 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 846 0 0 0 26398 3867 0 0 18 0 1 0 1785005365 7811072 818 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 818 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1170.26
Current children cumulated vsize (Kb) 9756
[startup+1460.15 s]
Raw data (loadavg): 1.07 1.07 1.01 1/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 848 0 0 0 26876 4036 0 0 15 0 1 0 1785005365 7811072 820 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 820 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1176.73
Current children cumulated vsize (Kb) 9756
[startup+1470.15 s]
Raw data (loadavg): 1.13 1.08 1.01 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 849 0 0 0 27485 4162 0 0 16 0 1 0 1785005365 7811072 821 4294967295 134512640 134702520 3221223712 3221222992 134552759 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16028/statm): 1907 821 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1184.08
Current children cumulated vsize (Kb) 9756
[startup+1480.15 s]
Raw data (loadavg): 1.11 1.08 1.01 1/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 850 0 0 0 28350 4205 0 0 18 0 1 0 1785005365 7811072 822 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 822 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1193.16
Current children cumulated vsize (Kb) 9756
[startup+1490.15 s]
Raw data (loadavg): 1.10 1.07 1.01 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 851 0 0 0 29161 4271 0 0 16 0 1 0 1785005365 7811072 823 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 823 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1201.93
Current children cumulated vsize (Kb) 9756
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1490.15 s]
Raw data (loadavg): 1.10 1.07 1.01 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 851 0 0 0 29161 4271 0 0 16 0 1 0 1785005365 7811072 823 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 823 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1201.93
Current children cumulated vsize (Kb) 9756
Sending SIGTERM to -16021
Sleeping 2 seconds
New process pid=16030
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=16031
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1565/cmdline
open syscall for file /proc/1565/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1665/stat
open syscall for file /proc/1665/status
open syscall for file /proc/1665/cmdline
open syscall for file /proc/1665/environ
open syscall for file /proc/21244/stat
open syscall for file /proc/21244/status
open syscall for file /proc/21244/cmdline
open syscall for file /proc/21244/environ
open syscall for file /proc/22265/stat
open syscall for file /proc/22265/status
open syscall for file /proc/22265/cmdline
open syscall for file /proc/22265/environ
open syscall for file /proc/22292/stat
open syscall for file /proc/22292/status
open syscall for file /proc/22292/cmdline
open syscall for file /proc/22292/environ
open syscall for file /proc/22316/stat
open syscall for file /proc/22316/status
open syscall for file /proc/22316/cmdline
open syscall for file /proc/22316/environ
open syscall for file /proc/1196/stat
open syscall for file /proc/1196/status
open syscall for file /proc/1196/cmdline
open syscall for file /proc/1196/environ
open syscall for file /proc/32112/stat
open syscall for file /proc/32112/status
open syscall for file /proc/32112/cmdline
open syscall for file /proc/32112/environ
open syscall for file /proc/23586/stat
open syscall for file /proc/23586/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/23586/cmdline
open syscall for file /proc/23586/environ
open syscall for file /proc/23621/stat
open syscall for file /proc/23621/status
open syscall for file /proc/23621/cmdline
open syscall for file /proc/23621/environ
open syscall for file /proc/9854/stat
open syscall for file /proc/9854/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/9854/cmdline
open syscall for file /proc/9854/environ
open syscall for file /proc/9855/stat
open syscall for file /proc/9855/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/9855/cmdline
open syscall for file /proc/9855/environ
open syscall for file /proc/9864/stat
open syscall for file /proc/9864/status
open syscall for file /proc/9864/cmdline
open syscall for file /proc/9864/environ
open syscall for file /proc/15984/stat
open syscall for file /proc/15984/status
open syscall for file /proc/15984/cmdline
open syscall for file /proc/15984/environ
open syscall for file /proc/16020/stat
open syscall for file /proc/16020/status
open syscall for file /proc/16020/cmdline
open syscall for file /proc/16020/environ
open syscall for file /proc/16021/stat
open syscall for file /proc/16021/status
open syscall for file /proc/16021/cmdline
open syscall for file /proc/16021/environ
open syscall for file /proc/16028/stat
open syscall for file /proc/16028/status
open syscall for file /proc/16028/cmdline
open syscall for file /proc/16028/environ
open syscall for file /proc/16030/stat
open syscall for file /proc/16030/status
open syscall for file /proc/16030/cmdline
open syscall for file /proc/16030/environ
open syscall for file /proc/16031/stat
open syscall for file /proc/16031/status
open syscall for file /proc/16031/cmdline
open syscall for file /proc/16031/environ
One traced child (pid=16030) exited with status: 0
One traced child (pid=16031) exited with status: 0
New process pid=16032
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=16028) exited with status: 3
One traced child (pid=16032) exited with status: 0
New process pid=16033
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=16033) exited with status: 0
One traced child (pid=16021) 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): 1490.66
CPU time (s): 1202.28
CPU user time (s): 1058.57
CPU system time (s): 143.708
CPU usage (%): 80.6541
Max. virtual memory (cumulated for all children) (Kb): 10896