1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 11 (#equs: 11)
#decisions: 818149; #end-nodes: 297208;
#proof improvement attempts: 0; #restarts: 1152
Current batch, end-nodes: 0 / 367 (367)
#axs: 970, #non-axs: 1150
tight: meta-meta: start: 3, end: 4; meta: start: 5, end (keep): 8
loose: meta-meta: start: 6, end: 8; meta: start: 11, end (keep): 15
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: 18 (#equs: 11)
Time taken: 15 min, 31 sec
2:
seed: 0
Nr of vars set: 18 (#equs: 0)
Nr of vars set: 18 (#equs: 0)
Interupt request received.
#decisions: 238878; #end-nodes: 76027;
#proof improvement attempts: 0; #restarts: 412
Current batch, end-nodes: 205 / 265 (223)
#axs: 957, #non-axs: 1250
tight: meta-meta: start: 3, end: 4; meta: start: 5, end (keep): 8
loose: meta-meta: start: 6, end: 8; meta: start: 11, end (keep): 15
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 4272 (#equs: 0)
Time taken: 4 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/6174/stat): 6174 (vallstSAT2005PB) R 6173 6174 4059 0 -1 0 19 0 0 0 0 0 0 0 24 0 1 0 19926052 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6174/statm): 174 3 169 147 0 27 0
[pid=6174] 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=6175
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=6175) exited with status: 0
New process pid=6176
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=6176) exited with status: 0
New process pid=6177
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/wulflinc21/normalized-mps-v2-13-7-aflow30a.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0036 s]
Raw data (loadavg): 0.87 1.03 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 520 0 0 0 781 73 0 0 21 0 1 0 19926058 3473408 490 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 848 490 413 48 0 800 0
[pid=6177] vsize: 3392
Current children cumulated CPU time (s) 8.55
Current children cumulated vsize (Kb) 5520
[startup+20.0043 s]
Raw data (loadavg): 0.89 1.03 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 587 0 0 0 1539 155 0 0 24 0 1 0 19926058 5185536 557 4294967295 134512640 134702520 3221223952 3221223232 134553162 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1266 557 413 48 0 1218 0
[pid=6177] vsize: 5064
Current children cumulated CPU time (s) 16.95
Current children cumulated vsize (Kb) 7192
[startup+30.005 s]
Raw data (loadavg): 0.91 1.03 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 613 0 0 0 2384 208 0 0 25 0 1 0 19926058 5185536 583 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1266 583 413 48 0 1218 0
[pid=6177] vsize: 5064
Current children cumulated CPU time (s) 25.93
Current children cumulated vsize (Kb) 7192
[startup+40.0057 s]
Raw data (loadavg): 0.92 1.03 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 630 0 0 0 3240 259 0 0 25 0 1 0 19926058 5185536 600 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1266 600 413 48 0 1218 0
[pid=6177] vsize: 5064
Current children cumulated CPU time (s) 35
Current children cumulated vsize (Kb) 7192
[startup+50.0063 s]
Raw data (loadavg): 0.93 1.03 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 637 0 0 0 4075 313 0 0 21 0 1 0 19926058 5185536 607 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1266 607 413 48 0 1218 0
[pid=6177] vsize: 5064
Current children cumulated CPU time (s) 43.89
Current children cumulated vsize (Kb) 7192
[startup+60.007 s]
Raw data (loadavg): 0.94 1.03 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 637 0 0 0 4808 408 0 0 20 0 1 0 19926058 5185536 607 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1266 607 413 48 0 1218 0
[pid=6177] vsize: 5064
Current children cumulated CPU time (s) 52.17
Current children cumulated vsize (Kb) 7192
[startup+70.0077 s]
Raw data (loadavg): 0.95 1.03 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 638 0 0 0 5607 473 0 0 24 0 1 0 19926058 5185536 608 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1266 608 413 48 0 1218 0
[pid=6177] vsize: 5064
Current children cumulated CPU time (s) 60.81
Current children cumulated vsize (Kb) 7192
[startup+80.0084 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 651 0 0 0 6481 518 0 0 25 0 1 0 19926058 5300224 621 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1294 621 413 48 0 1246 0
[pid=6177] vsize: 5176
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 7304
[startup+90.009 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 657 0 0 0 7343 565 0 0 25 0 1 0 19926058 5300224 627 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1294 627 413 48 0 1246 0
[pid=6177] vsize: 5176
Current children cumulated CPU time (s) 79.09
Current children cumulated vsize (Kb) 7304
[startup+100.01 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 721 0 0 0 8232 604 0 0 24 0 1 0 19926058 5300224 691 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1294 691 413 48 0 1246 0
[pid=6177] vsize: 5176
Current children cumulated CPU time (s) 88.37
Current children cumulated vsize (Kb) 7304
[startup+110.011 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 722 0 0 0 8990 689 0 0 21 0 1 0 19926058 5300224 692 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1294 692 413 48 0 1246 0
[pid=6177] vsize: 5176
Current children cumulated CPU time (s) 96.8
Current children cumulated vsize (Kb) 7304
[startup+120.012 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 722 0 0 0 9766 766 0 0 25 0 1 0 19926058 5300224 692 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1294 692 413 48 0 1246 0
[pid=6177] vsize: 5176
Current children cumulated CPU time (s) 105.33
Current children cumulated vsize (Kb) 7304
[startup+130.013 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 724 0 0 0 10660 804 0 0 25 0 1 0 19926058 5300224 694 4294967295 134512640 134702520 3221223952 3221222976 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1294 694 413 48 0 1246 0
[pid=6177] vsize: 5176
Current children cumulated CPU time (s) 114.65
Current children cumulated vsize (Kb) 7304
[startup+140.013 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 728 0 0 0 11534 843 0 0 25 0 1 0 19926058 5300224 698 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1294 698 413 48 0 1246 0
[pid=6177] vsize: 5176
Current children cumulated CPU time (s) 123.78
Current children cumulated vsize (Kb) 7304
[startup+150.014 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 731 0 0 0 12436 878 0 0 25 0 1 0 19926058 5300224 701 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1294 701 413 48 0 1246 0
[pid=6177] vsize: 5176
Current children cumulated CPU time (s) 133.15
Current children cumulated vsize (Kb) 7304
[startup+160.015 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 741 0 0 0 13328 913 0 0 24 0 1 0 19926058 5300224 711 4294967295 134512640 134702520 3221223952 3221222976 134550645 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1294 711 413 48 0 1246 0
[pid=6177] vsize: 5176
Current children cumulated CPU time (s) 142.42
Current children cumulated vsize (Kb) 7304
[startup+170.015 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 741 0 0 0 14099 990 0 0 19 0 1 0 19926058 5300224 711 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1294 711 413 48 0 1246 0
[pid=6177] vsize: 5176
Current children cumulated CPU time (s) 150.9
Current children cumulated vsize (Kb) 7304
[startup+180.016 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 741 0 0 0 14903 1055 0 0 25 0 1 0 19926058 5300224 711 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1294 711 413 48 0 1246 0
[pid=6177] vsize: 5176
Current children cumulated CPU time (s) 159.59
Current children cumulated vsize (Kb) 7304
[startup+190.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 741 0 0 0 15814 1084 0 0 25 0 1 0 19926058 5300224 711 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1294 711 413 48 0 1246 0
[pid=6177] vsize: 5176
Current children cumulated CPU time (s) 168.99
Current children cumulated vsize (Kb) 7304
[startup+200.017 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 754 0 0 0 16719 1116 0 0 24 0 1 0 19926058 5394432 724 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1317 724 413 48 0 1269 0
[pid=6177] vsize: 5268
Current children cumulated CPU time (s) 178.36
Current children cumulated vsize (Kb) 7396
[startup+210.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 779 0 0 0 17632 1145 0 0 24 0 1 0 19926058 5394432 749 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1317 749 413 48 0 1269 0
[pid=6177] vsize: 5268
Current children cumulated CPU time (s) 187.78
Current children cumulated vsize (Kb) 7396
[startup+220.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 781 0 0 0 18539 1177 0 0 25 0 1 0 19926058 5394432 751 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1317 751 413 48 0 1269 0
[pid=6177] vsize: 5268
Current children cumulated CPU time (s) 197.17
Current children cumulated vsize (Kb) 7396
[startup+230.02 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 785 0 0 0 19423 1219 0 0 22 0 1 0 19926058 5394432 755 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1317 755 413 48 0 1269 0
[pid=6177] vsize: 5268
Current children cumulated CPU time (s) 206.43
Current children cumulated vsize (Kb) 7396
[startup+240.021 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 786 0 0 0 20214 1291 0 0 22 0 1 0 19926058 5394432 756 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1317 756 413 48 0 1269 0
[pid=6177] vsize: 5268
Current children cumulated CPU time (s) 215.06
Current children cumulated vsize (Kb) 7396
[startup+250.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 787 0 0 0 21087 1333 0 0 25 0 1 0 19926058 5394432 757 4294967295 134512640 134702520 3221223952 3221223232 134552268 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1317 757 413 48 0 1269 0
[pid=6177] vsize: 5268
Current children cumulated CPU time (s) 224.21
Current children cumulated vsize (Kb) 7396
[startup+260.023 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 798 0 0 0 21985 1366 0 0 24 0 1 0 19926058 5591040 768 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1365 768 413 48 0 1317 0
[pid=6177] vsize: 5460
Current children cumulated CPU time (s) 233.52
Current children cumulated vsize (Kb) 7588
[startup+270.023 s]
Raw data (loadavg): 1.08 1.03 1.01 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 839 0 0 0 22880 1403 0 0 25 0 1 0 19926058 5591040 809 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1365 809 413 48 0 1317 0
[pid=6177] vsize: 5460
Current children cumulated CPU time (s) 242.84
Current children cumulated vsize (Kb) 7588
[startup+280.023 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 874 0 0 0 23796 1433 0 0 25 0 1 0 19926058 5787648 844 4294967295 134512640 134702520 3221223952 3221223232 134552270 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1413 844 413 48 0 1365 0
[pid=6177] vsize: 5652
Current children cumulated CPU time (s) 252.3
Current children cumulated vsize (Kb) 7780
[startup+290.024 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 903 0 0 0 24714 1461 0 0 25 0 1 0 19926058 5984256 873 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1461 873 413 48 0 1413 0
[pid=6177] vsize: 5844
Current children cumulated CPU time (s) 261.76
Current children cumulated vsize (Kb) 7972
[startup+300.024 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 921 0 0 0 25595 1503 0 0 19 0 1 0 19926058 6123520 891 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1495 891 413 48 0 1447 0
[pid=6177] vsize: 5980
Current children cumulated CPU time (s) 270.99
Current children cumulated vsize (Kb) 8108
[startup+310.026 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 921 0 0 0 26398 1576 0 0 23 0 1 0 19926058 6123520 891 4294967295 134512640 134702520 3221223952 3221222848 134550389 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1495 891 413 48 0 1447 0
[pid=6177] vsize: 5980
Current children cumulated CPU time (s) 279.75
Current children cumulated vsize (Kb) 8108
[startup+320.027 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 922 0 0 0 27291 1612 0 0 25 0 1 0 19926058 6098944 892 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1489 892 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 289.04
Current children cumulated vsize (Kb) 8084
[startup+330.027 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 935 0 0 0 28202 1641 0 0 25 0 1 0 19926058 6098944 905 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1489 905 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 298.44
Current children cumulated vsize (Kb) 8084
[startup+340.028 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 935 0 0 0 29120 1667 0 0 25 0 1 0 19926058 6098944 905 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1489 905 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 307.88
Current children cumulated vsize (Kb) 8084
[startup+350.029 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 949 0 0 0 30037 1694 0 0 25 0 1 0 19926058 6098944 919 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1489 919 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 317.32
Current children cumulated vsize (Kb) 8084
[startup+360.029 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1093 0 0 0 30956 1724 0 0 25 0 1 0 19926058 6098944 1063 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1489 1063 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 326.81
Current children cumulated vsize (Kb) 8084
[startup+370.031 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1166 0 0 0 31881 1750 0 0 25 0 1 0 19926058 6098944 1136 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1489 1136 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 336.32
Current children cumulated vsize (Kb) 8084
[startup+380.032 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1180 0 0 0 32777 1785 0 0 24 0 1 0 19926058 6098944 1150 4294967295 134512640 134702520 3221223952 3221222848 134552541 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1489 1150 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 345.63
Current children cumulated vsize (Kb) 8084
[startup+390.032 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1180 0 0 0 33603 1844 0 0 23 0 1 0 19926058 6098944 1150 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1489 1150 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 354.48
Current children cumulated vsize (Kb) 8084
[startup+400.033 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1180 0 0 0 34502 1877 0 0 25 0 1 0 19926058 6098944 1150 4294967295 134512640 134702520 3221223952 3221223172 134550208 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1489 1150 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 363.8
Current children cumulated vsize (Kb) 8084
[startup+410.034 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1180 0 0 0 35422 1904 0 0 25 0 1 0 19926058 6098944 1150 4294967295 134512640 134702520 3221223952 3221223232 134553820 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1489 1150 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 373.27
Current children cumulated vsize (Kb) 8084
[startup+420.034 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1180 0 0 0 36344 1930 0 0 25 0 1 0 19926058 6098944 1150 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1489 1150 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 382.75
Current children cumulated vsize (Kb) 8084
[startup+430.035 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1184 0 0 0 37272 1958 0 0 25 0 1 0 19926058 6098944 1154 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1489 1154 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 392.31
Current children cumulated vsize (Kb) 8084
[startup+440.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1187 0 0 0 38197 1983 0 0 24 0 1 0 19926058 6098944 1157 4294967295 134512640 134702520 3221223952 3221222848 134553458 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1489 1157 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 401.81
Current children cumulated vsize (Kb) 8084
[startup+450.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1187 0 0 0 39143 2003 0 0 25 0 1 0 19926058 6098944 1157 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1489 1157 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 411.47
Current children cumulated vsize (Kb) 8084
[startup+460.039 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1188 0 0 0 40068 2029 0 0 25 0 1 0 19926058 6098944 1158 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1489 1158 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 420.98
Current children cumulated vsize (Kb) 8084
[startup+470.04 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1191 0 0 0 40946 2070 0 0 24 0 1 0 19926058 6098944 1161 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1489 1161 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 430.17
Current children cumulated vsize (Kb) 8084
[startup+480.039 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1191 0 0 0 41774 2128 0 0 24 0 1 0 19926058 6098944 1161 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1489 1161 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 439.03
Current children cumulated vsize (Kb) 8084
[startup+490.04 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1191 0 0 0 42693 2155 0 0 25 0 1 0 19926058 6098944 1161 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1489 1161 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 448.49
Current children cumulated vsize (Kb) 8084
[startup+500.041 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1194 0 0 0 43616 2182 0 0 25 0 1 0 19926058 6098944 1164 4294967295 134512640 134702520 3221223952 3221223232 134553100 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1489 1164 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 457.99
Current children cumulated vsize (Kb) 8084
[startup+510.041 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1196 0 0 0 44539 2211 0 0 25 0 1 0 19926058 6098944 1166 4294967295 134512640 134702520 3221223952 3221223232 134553489 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1489 1166 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 467.51
Current children cumulated vsize (Kb) 8084
[startup+520.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1198 0 0 0 45462 2238 0 0 25 0 1 0 19926058 6098944 1168 4294967295 134512640 134702520 3221223952 3221223232 134553162 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1489 1168 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 477.01
Current children cumulated vsize (Kb) 8084
[startup+530.043 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1201 0 0 0 46388 2264 0 0 25 0 1 0 19926058 6098944 1171 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1489 1171 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 486.53
Current children cumulated vsize (Kb) 8084
[startup+540.647 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1201 0 0 0 47333 2283 0 0 25 0 1 0 19926058 6098944 1171 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1489 1171 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 496.17
Current children cumulated vsize (Kb) 8084
[startup+550.648 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1202 0 0 0 48261 2307 0 0 25 0 1 0 19926058 6193152 1172 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1512 1172 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 505.69
Current children cumulated vsize (Kb) 8176
[startup+560.649 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1203 0 0 0 49170 2339 0 0 25 0 1 0 19926058 6193152 1173 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1512 1173 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 515.1
Current children cumulated vsize (Kb) 8176
[startup+570.65 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1203 0 0 0 50038 2387 0 0 25 0 1 0 19926058 6193152 1173 4294967295 134512640 134702520 3221223952 3221222848 134553287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1512 1173 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 524.26
Current children cumulated vsize (Kb) 8176
[startup+580.651 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1203 0 0 0 50962 2413 0 0 25 0 1 0 19926058 6193152 1173 4294967295 134512640 134702520 3221223952 3221223232 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1512 1173 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 533.76
Current children cumulated vsize (Kb) 8176
[startup+590.652 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1204 0 0 0 51892 2434 0 0 25 0 1 0 19926058 6193152 1174 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1512 1174 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 543.27
Current children cumulated vsize (Kb) 8176
[startup+600.652 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1206 0 0 0 52818 2461 0 0 24 0 1 0 19926058 6193152 1176 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1512 1176 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 552.8
Current children cumulated vsize (Kb) 8176
[startup+610.654 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1206 0 0 0 53767 2480 0 0 25 0 1 0 19926058 6193152 1176 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1512 1176 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 562.48
Current children cumulated vsize (Kb) 8176
[startup+620.655 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1207 0 0 0 54692 2505 0 0 25 0 1 0 19926058 6193152 1177 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1512 1177 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 571.98
Current children cumulated vsize (Kb) 8176
[startup+630.654 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1208 0 0 0 55625 2525 0 0 25 0 1 0 19926058 6193152 1178 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1512 1178 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 581.51
Current children cumulated vsize (Kb) 8176
[startup+640.655 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1208 0 0 0 56556 2549 0 0 25 0 1 0 19926058 6193152 1178 4294967295 134512640 134702520 3221223952 3221222976 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1512 1178 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 591.06
Current children cumulated vsize (Kb) 8176
[startup+650.656 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1209 0 0 0 57497 2570 0 0 25 0 1 0 19926058 6193152 1179 4294967295 134512640 134702520 3221223952 3221223232 134552347 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1512 1179 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 600.68
Current children cumulated vsize (Kb) 8176
[startup+660.656 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1210 0 0 0 58385 2611 0 0 21 0 1 0 19926058 6193152 1180 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1512 1180 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 609.97
Current children cumulated vsize (Kb) 8176
[startup+670.658 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1210 0 0 0 59252 2655 0 0 25 0 1 0 19926058 6193152 1180 4294967295 134512640 134702520 3221223952 3221222848 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1512 1180 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 619.08
Current children cumulated vsize (Kb) 8176
[startup+680.658 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1210 0 0 0 60194 2673 0 0 25 0 1 0 19926058 6193152 1180 4294967295 134512640 134702520 3221223952 3221223232 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1512 1180 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 628.68
Current children cumulated vsize (Kb) 8176
[startup+690.658 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1211 0 0 0 61120 2702 0 0 25 0 1 0 19926058 6193152 1181 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1512 1181 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 638.23
Current children cumulated vsize (Kb) 8176
[startup+700.659 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1213 0 0 0 62055 2722 0 0 25 0 1 0 19926058 6193152 1183 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1512 1183 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 647.78
Current children cumulated vsize (Kb) 8176
[startup+710.66 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1213 0 0 0 63000 2739 0 0 25 0 1 0 19926058 6193152 1183 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1512 1183 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 657.4
Current children cumulated vsize (Kb) 8176
[startup+720.66 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1214 0 0 0 63933 2762 0 0 25 0 1 0 19926058 6193152 1184 4294967295 134512640 134702520 3221223952 3221223232 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1512 1184 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 666.96
Current children cumulated vsize (Kb) 8176
[startup+730.661 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1215 0 0 0 64859 2786 0 0 25 0 1 0 19926058 6193152 1185 4294967295 134512640 134702520 3221223952 3221223232 134554260 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1512 1185 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 676.46
Current children cumulated vsize (Kb) 8176
[startup+740.663 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1215 0 0 0 65805 2804 0 0 25 0 1 0 19926058 6193152 1185 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1512 1185 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 686.1
Current children cumulated vsize (Kb) 8176
[startup+750.663 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1216 0 0 0 66735 2830 0 0 25 0 1 0 19926058 6193152 1186 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1512 1186 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 695.66
Current children cumulated vsize (Kb) 8176
[startup+760.665 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1217 0 0 0 67636 2862 0 0 25 0 1 0 19926058 6193152 1187 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1512 1187 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 704.99
Current children cumulated vsize (Kb) 8176
[startup+770.666 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1217 0 0 0 68498 2909 0 0 25 0 1 0 19926058 6193152 1187 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1512 1187 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 714.08
Current children cumulated vsize (Kb) 8176
[startup+780.665 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1217 0 0 0 69411 2941 0 0 25 0 1 0 19926058 6193152 1187 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1512 1187 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 723.53
Current children cumulated vsize (Kb) 8176
[startup+790.666 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1218 0 0 0 70333 2969 0 0 25 0 1 0 19926058 6193152 1188 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1512 1188 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 733.03
Current children cumulated vsize (Kb) 8176
[startup+800.667 s]
Raw data (loadavg): 1.08 1.02 1.01 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1220 0 0 0 71268 2990 0 0 24 0 1 0 19926058 6193152 1190 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1512 1190 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 742.59
Current children cumulated vsize (Kb) 8176
[startup+810.668 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1221 0 0 0 72198 3015 0 0 25 0 1 0 19926058 6193152 1191 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1512 1191 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 752.14
Current children cumulated vsize (Kb) 8176
[startup+820.669 s]
Raw data (loadavg): 1.06 1.01 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1222 0 0 0 73120 3042 0 0 25 0 1 0 19926058 6283264 1192 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1534 1192 413 48 0 1486 0
[pid=6177] vsize: 6136
Current children cumulated CPU time (s) 761.63
Current children cumulated vsize (Kb) 8264
[startup+830.669 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1222 0 0 0 74072 3060 0 0 25 0 1 0 19926058 6283264 1192 4294967295 134512640 134702520 3221223952 3221223232 134553340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1534 1192 413 48 0 1486 0
[pid=6177] vsize: 6136
Current children cumulated CPU time (s) 771.33
Current children cumulated vsize (Kb) 8264
[startup+840.67 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1223 0 0 0 74992 3089 0 0 25 0 1 0 19926058 6283264 1193 4294967295 134512640 134702520 3221223952 3221223232 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1534 1193 413 48 0 1486 0
[pid=6177] vsize: 6136
Current children cumulated CPU time (s) 780.82
Current children cumulated vsize (Kb) 8264
[startup+850.67 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1224 0 0 0 75922 3113 0 0 25 0 1 0 19926058 6283264 1194 4294967295 134512640 134702520 3221223952 3221222848 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1534 1194 413 48 0 1486 0
[pid=6177] vsize: 6136
Current children cumulated CPU time (s) 790.36
Current children cumulated vsize (Kb) 8264
[startup+860.671 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1224 0 0 0 76871 3130 0 0 25 0 1 0 19926058 6283264 1194 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1534 1194 413 48 0 1486 0
[pid=6177] vsize: 6136
Current children cumulated CPU time (s) 800.02
Current children cumulated vsize (Kb) 8264
[startup+870.672 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1226 0 0 0 77782 3158 0 0 25 0 1 0 19926058 6283264 1196 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1534 1196 413 48 0 1486 0
[pid=6177] vsize: 6136
Current children cumulated CPU time (s) 809.41
Current children cumulated vsize (Kb) 8264
[startup+880.672 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1226 0 0 0 78662 3197 0 0 25 0 1 0 19926058 6283264 1196 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1534 1196 413 48 0 1486 0
[pid=6177] vsize: 6136
Current children cumulated CPU time (s) 818.6
Current children cumulated vsize (Kb) 8264
[startup+890.673 s]
Raw data (loadavg): 1.09 1.02 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1226 0 0 0 79588 3220 0 0 25 0 1 0 19926058 6283264 1196 4294967295 134512640 134702520 3221223952 3221223232 134552981 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1534 1196 413 48 0 1486 0
[pid=6177] vsize: 6136
Current children cumulated CPU time (s) 828.09
Current children cumulated vsize (Kb) 8264
[startup+900.674 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1227 0 0 0 80509 3247 0 0 25 0 1 0 19926058 6283264 1197 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1534 1197 413 48 0 1486 0
[pid=6177] vsize: 6136
Current children cumulated CPU time (s) 837.57
Current children cumulated vsize (Kb) 8264
[startup+910.675 s]
Raw data (loadavg): 1.06 1.02 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1228 0 0 0 81461 3263 0 0 25 0 1 0 19926058 6283264 1198 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1534 1198 413 48 0 1486 0
[pid=6177] vsize: 6136
Current children cumulated CPU time (s) 847.25
Current children cumulated vsize (Kb) 8264
[startup+920.676 s]
Raw data (loadavg): 1.13 1.04 1.01 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1230 0 0 0 82389 3288 0 0 25 0 1 0 19926058 6283264 1200 4294967295 134512640 134702520 3221223952 3221223232 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1534 1200 413 48 0 1486 0
[pid=6177] vsize: 6136
Current children cumulated CPU time (s) 856.78
Current children cumulated vsize (Kb) 8264
[startup+930.677 s]
Raw data (loadavg): 1.18 1.05 1.01 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1231 0 0 0 83332 3307 0 0 24 0 1 0 19926058 6283264 1201 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1534 1201 413 48 0 1486 0
[pid=6177] vsize: 6136
Current children cumulated CPU time (s) 866.4
Current children cumulated vsize (Kb) 8264
[startup+940.677 s]
Raw data (loadavg): 1.15 1.05 1.01 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1232 0 0 0 84270 3326 0 0 25 0 1 0 19926058 6283264 1202 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1534 1202 413 48 0 1486 0
[pid=6177] vsize: 6136
Current children cumulated CPU time (s) 875.97
Current children cumulated vsize (Kb) 8264
[startup+950.678 s]
Raw data (loadavg): 1.13 1.05 1.01 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1233 0 0 0 85201 3350 0 0 25 0 1 0 19926058 6283264 1203 4294967295 134512640 134702520 3221223952 3221223232 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1534 1203 413 48 0 1486 0
[pid=6177] vsize: 6136
Current children cumulated CPU time (s) 885.52
Current children cumulated vsize (Kb) 8264
[startup+960.679 s]
Raw data (loadavg): 1.11 1.05 1.01 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1233 0 0 0 86156 3365 0 0 25 0 1 0 19926058 6283264 1203 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1534 1203 413 48 0 1486 0
[pid=6177] vsize: 6136
Current children cumulated CPU time (s) 895.22
Current children cumulated vsize (Kb) 8264
[startup+970.679 s]
Raw data (loadavg): 1.17 1.06 1.01 1/56 6179
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1235 0 0 0 87085 3390 0 0 25 0 1 0 19926058 6283264 1205 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1534 1205 413 48 0 1486 0
[pid=6177] vsize: 6136
Current children cumulated CPU time (s) 904.76
Current children cumulated vsize (Kb) 8264
[startup+980.68 s]
Raw data (loadavg): 1.14 1.06 1.01 2/56 6179
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1235 0 0 0 88039 3405 0 0 25 0 1 0 19926058 6283264 1205 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1534 1205 413 48 0 1486 0
[pid=6177] vsize: 6136
Current children cumulated CPU time (s) 914.45
Current children cumulated vsize (Kb) 8264
[startup+990.681 s]
Raw data (loadavg): 1.12 1.06 1.01 2/56 6179
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1236 0 0 0 88923 3445 0 0 25 0 1 0 19926058 6283264 1206 4294967295 134512640 134702520 3221223952 3221222848 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1534 1206 413 48 0 1486 0
[pid=6177] vsize: 6136
Current children cumulated CPU time (s) 923.69
Current children cumulated vsize (Kb) 8264
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=6177) exited with status: 2
New process pid=6180
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=6180) exited with status: 0
New process pid=6181
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+1000.68 s]
Raw data (loadavg): 1.10 1.05 1.01 2/56 6181
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) T 6174 6174 4059 0 -1 0 494 0 0 0 157 9 0 0 25 0 1 0 20025953 3481600 465 4294967295 134512640 134702520 3221223712 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6181/statm): 850 465 413 48 0 802 0
[pid=6181] vsize: 3400
Current children cumulated CPU time (s) 932.95
Current children cumulated vsize (Kb) 5528
[startup+1010.68 s]
Raw data (loadavg): 1.09 1.05 1.01 2/56 6181
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) T 6174 6174 4059 0 -1 0 497 0 0 0 1071 40 0 0 25 0 1 0 20025953 3481600 468 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6181/statm): 850 468 413 48 0 802 0
[pid=6181] vsize: 3400
Current children cumulated CPU time (s) 942.4
Current children cumulated vsize (Kb) 5528
[startup+1020.68 s]
Raw data (loadavg): 1.07 1.05 1.01 1/56 6181
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) T 6174 6174 4059 0 -1 0 618 0 0 0 1993 70 0 0 25 0 1 0 20025953 5218304 589 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6181/statm): 1274 589 413 48 0 1226 0
[pid=6181] vsize: 5096
Current children cumulated CPU time (s) 951.92
Current children cumulated vsize (Kb) 7224
[startup+1030.68 s]
Raw data (loadavg): 1.06 1.05 1.01 2/56 6181
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) R 6174 6174 4059 0 -1 0 634 0 0 0 2900 101 0 0 25 0 1 0 20025953 5218304 605 4294967295 134512640 134702520 3221223712 3221222992 134552254 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6181/statm): 1274 605 413 48 0 1226 0
[pid=6181] vsize: 5096
Current children cumulated CPU time (s) 961.3
Current children cumulated vsize (Kb) 7224
[startup+1040.68 s]
Raw data (loadavg): 1.12 1.06 1.01 2/56 6181
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) R 6174 6174 4059 0 -1 0 664 0 0 0 3823 127 0 0 25 0 1 0 20025953 5218304 635 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6181/statm): 1274 635 413 48 0 1226 0
[pid=6181] vsize: 5096
Current children cumulated CPU time (s) 970.79
Current children cumulated vsize (Kb) 7224
[startup+1050.68 s]
Raw data (loadavg): 1.11 1.06 1.01 2/58 6217
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) T 6174 6174 4059 0 -1 0 696 0 0 0 4725 163 0 0 17 0 1 0 20025953 5316608 667 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6181/statm): 1298 667 413 48 0 1250 0
[pid=6181] vsize: 5192
Current children cumulated CPU time (s) 980.17
Current children cumulated vsize (Kb) 7320
[startup+1060.69 s]
Raw data (loadavg): 1.09 1.06 1.01 2/56 6236
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) R 6174 6174 4059 0 -1 0 700 0 0 0 5625 198 0 0 25 0 1 0 20025953 5316608 671 4294967295 134512640 134702520 3221223712 3221222608 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6181/statm): 1298 671 413 48 0 1250 0
[pid=6181] vsize: 5192
Current children cumulated CPU time (s) 989.52
Current children cumulated vsize (Kb) 7320
[startup+1070.69 s]
Raw data (loadavg): 1.07 1.06 1.01 1/56 6236
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) T 6174 6174 4059 0 -1 0 700 0 0 0 6521 234 0 0 25 0 1 0 20025953 5316608 671 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6181/statm): 1298 671 413 48 0 1250 0
[pid=6181] vsize: 5192
Current children cumulated CPU time (s) 998.84
Current children cumulated vsize (Kb) 7320
[startup+1080.69 s]
Raw data (loadavg): 1.06 1.05 1.01 1/56 6236
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) T 6174 6174 4059 0 -1 0 702 0 0 0 7415 270 0 0 19 0 1 0 20025953 5316608 673 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6181/statm): 1298 673 413 48 0 1250 0
[pid=6181] vsize: 5192
Current children cumulated CPU time (s) 1008.14
Current children cumulated vsize (Kb) 7320
[startup+1090.69 s]
Raw data (loadavg): 1.05 1.05 1.01 1/56 6236
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) T 6174 6174 4059 0 -1 0 704 0 0 0 8321 304 0 0 25 0 1 0 20025953 5316608 675 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6181/statm): 1298 675 413 48 0 1250 0
[pid=6181] vsize: 5192
Current children cumulated CPU time (s) 1017.54
Current children cumulated vsize (Kb) 7320
[startup+1100.69 s]
Raw data (loadavg): 1.04 1.05 1.01 2/56 6236
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) R 6174 6174 4059 0 -1 0 708 0 0 0 9238 332 0 0 25 0 1 0 20025953 5316608 679 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6181/statm): 1298 679 413 48 0 1250 0
[pid=6181] vsize: 5192
Current children cumulated CPU time (s) 1026.99
Current children cumulated vsize (Kb) 7320
[startup+1110.69 s]
Raw data (loadavg): 1.04 1.05 1.00 1/56 6236
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) T 6174 6174 4059 0 -1 0 712 0 0 0 10144 364 0 0 25 0 1 0 20025953 5316608 683 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6181/statm): 1298 683 413 48 0 1250 0
[pid=6181] vsize: 5192
Current children cumulated CPU time (s) 1036.37
Current children cumulated vsize (Kb) 7320
[startup+1120.69 s]
Raw data (loadavg): 1.03 1.05 1.00 2/56 6238
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) R 6174 6174 4059 0 -1 0 726 0 0 0 11044 398 0 0 25 0 1 0 20025953 5451776 697 4294967295 134512640 134702520 3221223712 3221222608 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6181/statm): 1331 697 413 48 0 1283 0
[pid=6181] vsize: 5324
Current children cumulated CPU time (s) 1045.71
Current children cumulated vsize (Kb) 7452
[startup+1130.69 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 6240
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) T 6174 6174 4059 0 -1 0 726 0 0 0 11934 437 0 0 25 0 1 0 20025953 5451776 697 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6181/statm): 1331 697 413 48 0 1283 0
[pid=6181] vsize: 5324
Current children cumulated CPU time (s) 1055
Current children cumulated vsize (Kb) 7452
[startup+1140.69 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 6240
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) T 6174 6174 4059 0 -1 0 727 0 0 0 12851 467 0 0 25 0 1 0 20025953 5406720 698 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6181/statm): 1320 698 413 48 0 1272 0
[pid=6181] vsize: 5280
Current children cumulated CPU time (s) 1064.47
Current children cumulated vsize (Kb) 7408
[startup+1150.69 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 6240
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) R 6174 6174 4059 0 -1 0 730 0 0 0 13772 494 0 0 25 0 1 0 20025953 5406720 701 4294967295 134512640 134702520 3221223712 3221222736 134553460 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6181/statm): 1320 701 413 48 0 1272 0
[pid=6181] vsize: 5280
Current children cumulated CPU time (s) 1073.95
Current children cumulated vsize (Kb) 7408
[startup+1160.69 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 6240
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) T 6174 6174 4059 0 -1 0 732 0 0 0 14684 522 0 0 24 0 1 0 20025953 5406720 703 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6181/statm): 1320 703 413 48 0 1272 0
[pid=6181] vsize: 5280
Current children cumulated CPU time (s) 1083.35
Current children cumulated vsize (Kb) 7408
[startup+1170.69 s]
Raw data (loadavg): 1.09 1.05 1.01 2/56 6240
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) R 6174 6174 4059 0 -1 0 735 0 0 0 15584 557 0 0 25 0 1 0 20025953 5406720 706 4294967295 134512640 134702520 3221223712 3221222992 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6181/statm): 1320 706 413 48 0 1272 0
[pid=6181] vsize: 5280
Current children cumulated CPU time (s) 1092.7
Current children cumulated vsize (Kb) 7408
[startup+1180.7 s]
Raw data (loadavg): 1.08 1.05 1.00 2/56 6240
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) R 6174 6174 4059 0 -1 0 738 0 0 0 16499 586 0 0 25 0 1 0 20025953 5406720 709 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6181/statm): 1320 709 413 48 0 1272 0
[pid=6181] vsize: 5280
Current children cumulated CPU time (s) 1102.14
Current children cumulated vsize (Kb) 7408
[startup+1190.7 s]
Raw data (loadavg): 1.06 1.05 1.00 1/56 6240
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) T 6174 6174 4059 0 -1 0 741 0 0 0 17404 619 0 0 25 0 1 0 20025953 5406720 712 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6181/statm): 1320 712 413 48 0 1272 0
[pid=6181] vsize: 5280
Current children cumulated CPU time (s) 1111.52
Current children cumulated vsize (Kb) 7408
[startup+1200.7 s]
Raw data (loadavg): 1.05 1.05 1.00 1/56 6240
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) T 6174 6174 4059 0 -1 0 741 0 0 0 18296 656 0 0 25 0 1 0 20025953 5406720 712 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6181/statm): 1320 712 413 48 0 1272 0
[pid=6181] vsize: 5280
Current children cumulated CPU time (s) 1120.81
Current children cumulated vsize (Kb) 7408
[startup+1210.7 s]
Raw data (loadavg): 1.05 1.04 1.00 2/56 6240
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) R 6174 6174 4059 0 -1 0 741 0 0 0 19216 681 0 0 25 0 1 0 20025953 5406720 712 4294967295 134512640 134702520 3221223712 3221222992 134552864 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6181/statm): 1320 712 413 48 0 1272 0
[pid=6181] vsize: 5280
Current children cumulated CPU time (s) 1130.26
Current children cumulated vsize (Kb) 7408
[startup+1220.7 s]
Raw data (loadavg): 1.04 1.04 1.00 1/56 6240
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) T 6174 6174 4059 0 -1 0 751 0 0 0 20126 711 0 0 25 0 1 0 20025953 5406720 722 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6181/statm): 1320 722 413 48 0 1272 0
[pid=6181] vsize: 5280
Current children cumulated CPU time (s) 1139.66
Current children cumulated vsize (Kb) 7408
[startup+1230.7 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 6240
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) R 6174 6174 4059 0 -1 0 778 0 0 0 21033 743 0 0 25 0 1 0 20025953 5406720 749 4294967295 134512640 134702520 3221223712 3221222608 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6181/statm): 1320 749 413 48 0 1272 0
[pid=6181] vsize: 5280
Current children cumulated CPU time (s) 1149.05
Current children cumulated vsize (Kb) 7408
[startup+1240.7 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 6240
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) T 6174 6174 4059 0 -1 0 783 0 0 0 21942 775 0 0 25 0 1 0 20025953 5406720 754 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6181/statm): 1320 754 413 48 0 1272 0
[pid=6181] vsize: 5280
Current children cumulated CPU time (s) 1158.46
Current children cumulated vsize (Kb) 7408
[startup+1250.7 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 6240
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) R 6174 6174 4059 0 -1 0 787 0 0 0 22864 802 0 0 25 0 1 0 20025953 5406720 758 4294967295 134512640 134702520 3221223712 3221222992 134552284 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6181/statm): 1320 758 413 48 0 1272 0
[pid=6181] vsize: 5280
Current children cumulated CPU time (s) 1167.95
Current children cumulated vsize (Kb) 7408
[startup+1260.7 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 6240
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) T 6174 6174 4059 0 -1 0 789 0 0 0 23763 836 0 0 25 0 1 0 20025953 5545984 760 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6181/statm): 1354 760 413 48 0 1306 0
[pid=6181] vsize: 5416
Current children cumulated CPU time (s) 1177.28
Current children cumulated vsize (Kb) 7544
[startup+1270.7 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 6240
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) T 6174 6174 4059 0 -1 0 790 0 0 0 24661 870 0 0 25 0 1 0 20025953 5545984 761 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6181/statm): 1354 761 413 48 0 1306 0
[pid=6181] vsize: 5416
Current children cumulated CPU time (s) 1186.6
Current children cumulated vsize (Kb) 7544
[startup+1280.7 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6240
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) R 6174 6174 4059 0 -1 0 790 0 0 0 25589 893 0 0 25 0 1 0 20025953 5496832 761 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6181/statm): 1342 761 413 48 0 1294 0
[pid=6181] vsize: 5368
Current children cumulated CPU time (s) 1196.11
Current children cumulated vsize (Kb) 7496
[startup+1290.7 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6240
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) R 6174 6174 4059 0 -1 0 1013 0 0 0 26517 922 0 0 25 0 1 0 20025953 5496832 984 4294967295 134512640 134702520 3221223712 3221222992 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6181/statm): 1342 984 413 48 0 1294 0
[pid=6181] vsize: 5368
Current children cumulated CPU time (s) 1205.68
Current children cumulated vsize (Kb) 7496
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1290.7 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6240
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) R 6174 6174 4059 0 -1 0 1013 0 0 0 26517 922 0 0 25 0 1 0 20025953 5496832 984 4294967295 134512640 134702520 3221223712 3221222992 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6181/statm): 1342 984 413 48 0 1294 0
[pid=6181] vsize: 5368
Current children cumulated CPU time (s) 1205.68
Current children cumulated vsize (Kb) 7496
Sending SIGTERM to -6174
Sleeping 2 seconds
New process pid=6242
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=6243
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/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/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/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/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/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/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1387/stat
open syscall for file /proc/1387/status
open syscall for file /proc/1387/cmdline
open syscall for file /proc/1387/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1479/stat
open syscall for file /proc/1479/status
open syscall for file /proc/1479/cmdline
open syscall for file /proc/1479/environ
open syscall for file /proc/1503/stat
open syscall for file /proc/1503/status
open syscall for file /proc/1503/cmdline
open syscall for file /proc/1503/environ
open syscall for file /proc/1544/stat
open syscall for file /proc/1544/status
open syscall for file /proc/1544/cmdline
open syscall for file /proc/1544/environ
open syscall for file /proc/1568/stat
open syscall for file /proc/1568/status
open syscall for file /proc/1568/cmdline
open syscall for file /proc/1568/environ
open syscall for file /proc/1591/stat
open syscall for file /proc/1591/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/1591/cmdline
open syscall for file /proc/1591/environ
open syscall for file /proc/1622/stat
open syscall for file /proc/1622/status
open syscall for file /proc/1622/cmdline
open syscall for file /proc/1622/environ
open syscall for file /proc/1680/stat
open syscall for file /proc/1680/status
open syscall for file /proc/1680/cmdline
open syscall for file /proc/1680/environ
open syscall for file /proc/1685/stat
open syscall for file /proc/1685/status
open syscall for file /proc/1685/cmdline
open syscall for file /proc/1685/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/4042/stat
open syscall for file /proc/4042/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/4042/cmdline
open syscall for file /proc/4042/environ
open syscall for file /proc/4067/stat
open syscall for file /proc/4067/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/4067/cmdline
open syscall for file /proc/4067/environ
open syscall for file /proc/6135/stat
open syscall for file /proc/6135/status
open syscall for file /proc/6135/cmdline
open syscall for file /proc/6135/environ
open syscall for file /proc/6173/stat
open syscall for file /proc/6173/status
open syscall for file /proc/6173/cmdline
open syscall for file /proc/6173/environ
open syscall for file /proc/6174/stat
open syscall for file /proc/6174/status
open syscall for file /proc/6174/cmdline
open syscall for file /proc/6174/environ
open syscall for file /proc/6181/stat
open syscall for file /proc/6181/status
open syscall for file /proc/6181/cmdline
open syscall for file /proc/6181/environ
open syscall for file /proc/6242/stat
open syscall for file /proc/6242/status
open syscall for file /proc/6242/cmdline
open syscall for file /proc/6242/environ
open syscall for file /proc/6243/stat
open syscall for file /proc/6243/status
open syscall for file /proc/6243/cmdline
open syscall for file /proc/6243/environ
One traced child (pid=6242) exited with status: 0
One traced child (pid=6243) exited with status: 0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
New process pid=6244
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
One traced child (pid=6181) exited with status: 3
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=6244) exited with status: 0
New process pid=6245
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=6245) exited with status: 0
One traced child (pid=6174) 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): 1291.18
CPU time (s): 1205.93
CPU user time (s): 1161.82
CPU system time (s): 44.1143
CPU usage (%): 93.3972
Max. virtual memory (cumulated for all children) (Kb): 8264