1:
seed: 0
Nr of vars set: 14 (#equs: 0)
Nr of vars set: 14 (#equs: 0)
#decisions: 108; #end-nodes: 5;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 21, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant: 6385656 (954368:>=*);
#decisions: 119; #end-nodes: 17;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 17 / 80 (80)
#axs: 21, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 6449992 (890032:>=*);
#decisions: 133; #end-nodes: 30;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 30 / 80 (80)
#axs: 21, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 6497368 (842656:>=*);
#decisions: 275; #end-nodes: 86;
#proof improvement attempts: 0; #restarts: 1
Current batch, end-nodes: 5 / 80 (80)
#axs: 21, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 7008912 (331112:>=*);
#decisions: 90; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 21, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 7013904 (326120:>=*);
#decisions: 96; #end-nodes: 12;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 21, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 7041250 (298774:>=*);
#decisions: 164; #end-nodes: 73;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 73 / 80 (80)
#axs: 21, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 7049848 (290176:>=*);
#decisions: 1148; #end-nodes: 485;
#proof improvement attempts: 0; #restarts: 6
Current batch, end-nodes: 0 / 81 (81)
#axs: 21, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 7202052 (137972:>=*);
#decisions: 3248; #end-nodes: 1426;
#proof improvement attempts: 0; #restarts: 17
Current batch, end-nodes: 31 / 84 (84)
#axs: 21, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 7218277 (121747:>=*);
#decisions: 76; #end-nodes: 9;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 21, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 7218631 (121393:>=*);
#decisions: 3411; #end-nodes: 1408;
#proof improvement attempts: 0; #restarts: 17
Current batch, end-nodes: 10 / 84 (84)
#axs: 21, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 7252824 (87200:>=*);
#decisions: 90; #end-nodes: 16;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 16 / 80 (80)
#axs: 21, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 7289560 (50464:>=*);
#decisions: 186269; #end-nodes: 100965;
#proof improvement attempts: 0; #restarts: 634
Current batch, end-nodes: 21 / 238 (238)
#axs: 21, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 7289998 (50026:>=*);
#decisions: 152912; #end-nodes: 79705;
#proof improvement attempts: 0; #restarts: 540
Current batch, end-nodes: 93 / 215 (215)
#axs: 21, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 7292086 (47938:>=*);
#decisions: 57820; #end-nodes: 28912;
#proof improvement attempts: 0; #restarts: 257
Current batch, end-nodes: 91 / 144 (144)
#axs: 21, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 7303772 (36252:>=*);
#decisions: 164432; #end-nodes: 87535;
#proof improvement attempts: 0; #restarts: 576
Current batch, end-nodes: 54 / 224 (224)
#axs: 21, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 7306913 (33111:>=*);
#decisions: 111; #end-nodes: 36;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 36 / 80 (80)
#axs: 21, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 7308404 (31620:>=*);
#decisions: 123; #end-nodes: 53;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 53 / 80 (80)
#axs: 21, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 7308758 (31266:>=*);
#decisions: 99945; #end-nodes: 54144;
#proof improvement attempts: 0; #restarts: 411
Current batch, end-nodes: 174 / 182 (182)
#axs: 21, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 7310507 (29517:>=*);
#decisions: 278; #end-nodes: 117;
#proof improvement attempts: 0; #restarts: 1
Current batch, end-nodes: 35 / 80 (80)
#axs: 21, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 7311970 (28054:>=*);
#decisions: 467257; #end-nodes: 284643;
#proof improvement attempts: 0; #restarts: 1222
Current batch, end-nodes: 291 / 385 (385)
#axs: 21, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 7323111 (16913:>=*);
#decisions: 1773314; #end-nodes: 1118132;
#proof improvement attempts: 0; #restarts: 2688
Current batch, end-nodes: 0 / 751 (751)
#axs: 21, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 27, end (keep): 43
Model found with constant:
(pushed:) 7323111 (16913:>=*)
No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 35 (#equs: 0)
Time taken: 15 min, 25 sec
2:
seed: 0
Nr of vars set: 35 (#equs: 0)
Nr of vars set: 35 (#equs: 0)
Interupt request received.
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: 35 (#equs: 0)
Time taken: 4 min, 39 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/5967/stat): 5967 (vallstSAT2005PB) R 5966 5967 4060 0 -1 0 19 0 0 0 0 0 0 0 24 0 1 0 20500867 712704 3 4294967295 134512640 135087896 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5967/statm): 174 3 169 147 0 27 0
[pid=5967] 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=5968
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=5968) exited with status: 0
New process pid=5969
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=5969) exited with status: 0
New process pid=5970
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/wulflinc23/normalized-mps-v2-13-7-markshare2_1.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0023 s]
Raw data (loadavg): 0.98 1.00 1.00 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 251 0 0 0 413 181 0 0 16 0 1 0 20500876 2199552 221 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 537 221 413 48 0 489 0
[pid=5970] vsize: 2148
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (Kb) 4276
[startup+20.003 s]
Raw data (loadavg): 0.98 1.00 1.00 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 259 0 0 0 818 372 0 0 16 0 1 0 20500876 2330624 229 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5970/statm): 569 229 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 11.92
Current children cumulated vsize (Kb) 4404
[startup+30.0036 s]
Raw data (loadavg): 0.98 1.00 1.00 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 306 0 0 0 1342 534 0 0 16 0 1 0 20500876 2330624 276 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5970/statm): 569 276 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 18.78
Current children cumulated vsize (Kb) 4404
[startup+40.0032 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 309 0 0 0 1832 702 0 0 16 0 1 0 20500876 2330624 279 4294967295 134512640 134702520 3221223952 3221223232 134552553 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 569 279 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (Kb) 4404
[startup+50.0049 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 310 0 0 0 2278 878 0 0 16 0 1 0 20500876 2330624 280 4294967295 134512640 134702520 3221223952 3221222720 134552319 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 569 280 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 31.58
Current children cumulated vsize (Kb) 4404
[startup+60.0055 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 313 0 0 0 2799 1036 0 0 16 0 1 0 20500876 2330624 283 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 569 283 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 38.37
Current children cumulated vsize (Kb) 4404
[startup+70.0061 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 315 0 0 0 3368 1181 0 0 16 0 1 0 20500876 2330624 285 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5970/statm): 569 285 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 45.51
Current children cumulated vsize (Kb) 4404
[startup+80.0068 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 317 0 0 0 3840 1353 0 0 16 0 1 0 20500876 2330624 287 4294967295 134512640 134702520 3221223952 3221223232 134552370 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 569 287 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 51.95
Current children cumulated vsize (Kb) 4404
[startup+90.0074 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 321 0 0 0 4460 1478 0 0 16 0 1 0 20500876 2330624 291 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 569 291 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 59.4
Current children cumulated vsize (Kb) 4404
[startup+100.008 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 321 0 0 0 4965 1642 0 0 16 0 1 0 20500876 2330624 291 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 569 291 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 66.09
Current children cumulated vsize (Kb) 4404
[startup+110.009 s]
Raw data (loadavg): 1.06 1.02 1.00 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 322 0 0 0 5519 1788 0 0 15 0 1 0 20500876 2330624 292 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5970/statm): 569 292 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 73.09
Current children cumulated vsize (Kb) 4404
[startup+120.008 s]
Raw data (loadavg): 1.12 1.03 1.01 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 323 0 0 0 5957 1968 0 0 16 0 1 0 20500876 2330624 293 4294967295 134512640 134702520 3221223952 3221223232 134552268 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 569 293 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 79.27
Current children cumulated vsize (Kb) 4404
[startup+130.009 s]
Raw data (loadavg): 1.10 1.03 1.01 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 323 0 0 0 6389 2156 0 0 16 0 1 0 20500876 2330624 293 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 569 293 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 85.47
Current children cumulated vsize (Kb) 4404
[startup+140.01 s]
Raw data (loadavg): 1.16 1.04 1.01 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 323 0 0 0 6875 2325 0 0 16 0 1 0 20500876 2330624 293 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5970/statm): 569 293 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 92.02
Current children cumulated vsize (Kb) 4404
[startup+150.011 s]
Raw data (loadavg): 1.13 1.04 1.01 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 323 0 0 0 7453 2463 0 0 15 0 1 0 20500876 2330624 293 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 569 293 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 99.18
Current children cumulated vsize (Kb) 4404
[startup+160.012 s]
Raw data (loadavg): 1.11 1.04 1.01 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 324 0 0 0 7917 2636 0 0 16 0 1 0 20500876 2330624 294 4294967295 134512640 134702520 3221223952 3221223232 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 569 294 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 105.55
Current children cumulated vsize (Kb) 4404
[startup+170.011 s]
Raw data (loadavg): 1.10 1.04 1.01 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 324 0 0 0 8456 2791 0 0 16 0 1 0 20500876 2330624 294 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5970/statm): 569 294 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 112.49
Current children cumulated vsize (Kb) 4404
[startup+180.012 s]
Raw data (loadavg): 1.08 1.04 1.01 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 325 0 0 0 9035 2932 0 0 16 0 1 0 20500876 2330624 295 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 569 295 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 119.69
Current children cumulated vsize (Kb) 4404
[startup+190.013 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 325 0 0 0 9495 3107 0 0 16 0 1 0 20500876 2330624 295 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 569 295 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 126.04
Current children cumulated vsize (Kb) 4404
[startup+200.013 s]
Raw data (loadavg): 1.13 1.05 1.01 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 326 0 0 0 10041 3256 0 0 16 0 1 0 20500876 2330624 296 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 569 296 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 132.99
Current children cumulated vsize (Kb) 4404
[startup+210.014 s]
Raw data (loadavg): 1.18 1.06 1.01 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 326 0 0 0 10483 3437 0 0 16 0 1 0 20500876 2330624 296 4294967295 134512640 134702520 3221223952 3221223232 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 569 296 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 139.22
Current children cumulated vsize (Kb) 4404
[startup+220.014 s]
Raw data (loadavg): 1.23 1.08 1.02 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 326 0 0 0 11001 3590 0 0 16 0 1 0 20500876 2330624 296 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5970/statm): 569 296 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 145.93
Current children cumulated vsize (Kb) 4404
[startup+230.014 s]
Raw data (loadavg): 1.20 1.07 1.02 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 326 0 0 0 11468 3756 0 0 16 0 1 0 20500876 2330624 296 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 569 296 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 152.26
Current children cumulated vsize (Kb) 4404
[startup+240.014 s]
Raw data (loadavg): 1.17 1.07 1.02 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 326 0 0 0 11912 3937 0 0 17 0 1 0 20500876 2330624 296 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5970/statm): 569 296 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 158.51
Current children cumulated vsize (Kb) 4404
[startup+250.016 s]
Raw data (loadavg): 1.14 1.07 1.02 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 326 0 0 0 12347 4117 0 0 15 0 1 0 20500876 2330624 296 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 569 296 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 164.66
Current children cumulated vsize (Kb) 4404
[startup+260.016 s]
Raw data (loadavg): 1.12 1.06 1.01 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 326 0 0 0 12969 4238 0 0 16 0 1 0 20500876 2330624 296 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5970/statm): 569 296 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 172.09
Current children cumulated vsize (Kb) 4404
[startup+270.016 s]
Raw data (loadavg): 1.17 1.08 1.02 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 326 0 0 0 13436 4418 0 0 16 0 1 0 20500876 2330624 296 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 569 296 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 178.56
Current children cumulated vsize (Kb) 4404
[startup+280.016 s]
Raw data (loadavg): 1.15 1.08 1.02 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 326 0 0 0 13927 4589 0 0 15 0 1 0 20500876 2330624 296 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5970/statm): 569 296 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 185.18
Current children cumulated vsize (Kb) 4404
[startup+290.017 s]
Raw data (loadavg): 1.12 1.07 1.02 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 327 0 0 0 14557 4711 0 0 16 0 1 0 20500876 2330624 297 4294967295 134512640 134702520 3221223952 3221223536 134558756 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 569 297 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 192.7
Current children cumulated vsize (Kb) 4404
[startup+300.018 s]
Raw data (loadavg): 1.10 1.07 1.02 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 328 0 0 0 14999 4894 0 0 16 0 1 0 20500876 2330624 298 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5970/statm): 569 298 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 198.95
Current children cumulated vsize (Kb) 4404
[startup+310.018 s]
Raw data (loadavg): 1.09 1.07 1.01 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 328 0 0 0 15438 5081 0 0 15 0 1 0 20500876 2330624 298 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5970/statm): 569 298 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 205.21
Current children cumulated vsize (Kb) 4404
[startup+320.018 s]
Raw data (loadavg): 1.07 1.06 1.01 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 328 0 0 0 16054 5207 0 0 15 0 1 0 20500876 2330624 298 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 569 298 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 212.63
Current children cumulated vsize (Kb) 4404
[startup+330.019 s]
Raw data (loadavg): 1.06 1.06 1.01 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 328 0 0 0 16541 5372 0 0 16 0 1 0 20500876 2330624 298 4294967295 134512640 134702520 3221223952 3221223232 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 569 298 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 219.15
Current children cumulated vsize (Kb) 4404
[startup+340.019 s]
Raw data (loadavg): 1.05 1.06 1.01 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 328 0 0 0 17005 5549 0 0 15 0 1 0 20500876 2330624 298 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5970/statm): 569 298 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 225.56
Current children cumulated vsize (Kb) 4404
[startup+350.02 s]
Raw data (loadavg): 1.04 1.06 1.01 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 328 0 0 0 17655 5666 0 0 16 0 1 0 20500876 2330624 298 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5970/statm): 569 298 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 233.23
Current children cumulated vsize (Kb) 4404
[startup+360.02 s]
Raw data (loadavg): 1.04 1.05 1.01 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 328 0 0 0 18141 5831 0 0 16 0 1 0 20500876 2330624 298 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5970/statm): 569 298 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 239.74
Current children cumulated vsize (Kb) 4404
[startup+370.021 s]
Raw data (loadavg): 1.03 1.05 1.01 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 328 0 0 0 18581 6015 0 0 16 0 1 0 20500876 2330624 298 4294967295 134512640 134702520 3221223952 3221223208 134549067 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 569 298 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 245.98
Current children cumulated vsize (Kb) 4404
[startup+380.022 s]
Raw data (loadavg): 1.02 1.05 1.01 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 328 0 0 0 19169 6148 0 0 16 0 1 0 20500876 2330624 298 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5970/statm): 569 298 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 253.19
Current children cumulated vsize (Kb) 4404
[startup+390.021 s]
Raw data (loadavg): 1.02 1.05 1.01 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 328 0 0 0 19649 6313 0 0 16 0 1 0 20500876 2330624 298 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5970/statm): 569 298 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 259.64
Current children cumulated vsize (Kb) 4404
[startup+400.023 s]
Raw data (loadavg): 1.17 1.08 1.02 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 328 0 0 0 20111 6489 0 0 16 0 1 0 20500876 2330624 298 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 569 298 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 266.02
Current children cumulated vsize (Kb) 4404
[startup+410.024 s]
Raw data (loadavg): 1.14 1.08 1.02 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 329 0 0 0 20744 6607 0 0 16 0 1 0 20500876 2330624 299 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 569 299 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 273.53
Current children cumulated vsize (Kb) 4404
[startup+420.023 s]
Raw data (loadavg): 1.20 1.09 1.02 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 329 0 0 0 21258 6767 0 0 16 0 1 0 20500876 2330624 299 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5970/statm): 569 299 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 280.27
Current children cumulated vsize (Kb) 4404
[startup+430.025 s]
Raw data (loadavg): 1.16 1.09 1.02 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 330 0 0 0 21742 6935 0 0 16 0 1 0 20500876 2330624 300 4294967295 134512640 134702520 3221223952 3221223024 134612940 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 569 300 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 286.79
Current children cumulated vsize (Kb) 4404
[startup+440.026 s]
Raw data (loadavg): 1.14 1.08 1.02 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 331 0 0 0 22424 7044 0 0 16 0 1 0 20500876 2330624 301 4294967295 134512640 134702520 3221223952 3221223232 134553095 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 569 301 413 48 0 521 0
[pid=5970] vsize: 2276
Current children cumulated CPU time (s) 294.7
Current children cumulated vsize (Kb) 4404
[startup+450.026 s]
Raw data (loadavg): 1.20 1.10 1.02 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 332 0 0 0 22906 7217 0 0 16 0 1 0 20500876 2461696 302 4294967295 134512640 134702520 3221223952 3221223232 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 302 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 301.25
Current children cumulated vsize (Kb) 4532
[startup+460.027 s]
Raw data (loadavg): 1.15 1.09 1.02 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 333 0 0 0 23607 7313 0 0 16 0 1 0 20500876 2461696 303 4294967295 134512640 134702520 3221223952 3221223232 134553830 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 303 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 309.22
Current children cumulated vsize (Kb) 4532
[startup+470.026 s]
Raw data (loadavg): 1.13 1.09 1.02 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 333 0 0 0 24137 7468 0 0 16 0 1 0 20500876 2461696 303 4294967295 134512640 134702520 3221223952 3221223232 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 303 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 316.07
Current children cumulated vsize (Kb) 4532
[startup+480.027 s]
Raw data (loadavg): 1.11 1.08 1.02 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 336 0 0 0 24830 7571 0 0 16 0 1 0 20500876 2461696 306 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5970/statm): 601 306 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 324.03
Current children cumulated vsize (Kb) 4532
[startup+490.028 s]
Raw data (loadavg): 1.09 1.08 1.02 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 337 0 0 0 25354 7731 0 0 17 0 1 0 20500876 2461696 307 4294967295 134512640 134702520 3221223952 3221223232 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 307 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 330.87
Current children cumulated vsize (Kb) 4532
[startup+500.028 s]
Raw data (loadavg): 1.08 1.08 1.02 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 338 0 0 0 26044 7836 0 0 16 0 1 0 20500876 2461696 308 4294967295 134512640 134702520 3221223952 3221223232 134552537 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 308 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 338.82
Current children cumulated vsize (Kb) 4532
[startup+510.029 s]
Raw data (loadavg): 1.06 1.08 1.02 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 339 0 0 0 26572 7995 0 0 16 0 1 0 20500876 2461696 309 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 309 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 345.69
Current children cumulated vsize (Kb) 4532
[startup+520.03 s]
Raw data (loadavg): 1.05 1.07 1.02 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 341 0 0 0 27265 8101 0 0 16 0 1 0 20500876 2461696 311 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5970/statm): 601 311 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 353.68
Current children cumulated vsize (Kb) 4532
[startup+530.03 s]
Raw data (loadavg): 1.05 1.07 1.01 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 342 0 0 0 27792 8258 0 0 16 0 1 0 20500876 2461696 312 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5970/statm): 601 312 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 360.52
Current children cumulated vsize (Kb) 4532
[startup+540.031 s]
Raw data (loadavg): 1.04 1.07 1.01 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 342 0 0 0 28531 8347 0 0 16 0 1 0 20500876 2461696 312 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 312 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 368.8
Current children cumulated vsize (Kb) 4532
[startup+550.032 s]
Raw data (loadavg): 1.11 1.08 1.02 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 343 0 0 0 29064 8497 0 0 16 0 1 0 20500876 2461696 313 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 313 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 375.63
Current children cumulated vsize (Kb) 4532
[startup+560.033 s]
Raw data (loadavg): 1.09 1.08 1.02 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 343 0 0 0 29787 8588 0 0 17 0 1 0 20500876 2461696 313 4294967295 134512640 134702520 3221223952 3221223232 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 313 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 383.77
Current children cumulated vsize (Kb) 4532
[startup+570.033 s]
Raw data (loadavg): 1.16 1.09 1.02 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 344 0 0 0 30340 8730 0 0 16 0 1 0 20500876 2461696 314 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 314 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 390.72
Current children cumulated vsize (Kb) 4532
[startup+580.033 s]
Raw data (loadavg): 1.13 1.09 1.02 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 344 0 0 0 31044 8828 0 0 16 0 1 0 20500876 2461696 314 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 314 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 398.74
Current children cumulated vsize (Kb) 4532
[startup+590.034 s]
Raw data (loadavg): 1.11 1.08 1.02 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 344 0 0 0 31673 8951 0 0 15 0 1 0 20500876 2461696 314 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 314 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 406.26
Current children cumulated vsize (Kb) 4532
[startup+600.035 s]
Raw data (loadavg): 1.17 1.10 1.02 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 345 0 0 0 32108 9141 0 0 16 0 1 0 20500876 2461696 315 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 315 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 412.51
Current children cumulated vsize (Kb) 4532
[startup+610.035 s]
Raw data (loadavg): 1.22 1.11 1.03 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 345 0 0 0 32556 9322 0 0 16 0 1 0 20500876 2461696 315 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 315 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 418.8
Current children cumulated vsize (Kb) 4532
[startup+620.035 s]
Raw data (loadavg): 1.18 1.11 1.03 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 345 0 0 0 33158 9455 0 0 16 0 1 0 20500876 2461696 315 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 315 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 426.15
Current children cumulated vsize (Kb) 4532
[startup+630.035 s]
Raw data (loadavg): 1.16 1.10 1.03 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 345 0 0 0 33593 9640 0 0 15 0 1 0 20500876 2461696 315 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 315 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 432.35
Current children cumulated vsize (Kb) 4532
[startup+640.036 s]
Raw data (loadavg): 1.13 1.10 1.02 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 345 0 0 0 34077 9807 0 0 16 0 1 0 20500876 2461696 315 4294967295 134512640 134702520 3221223952 3221223200 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 315 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 438.86
Current children cumulated vsize (Kb) 4532
[startup+650.037 s]
Raw data (loadavg): 1.11 1.09 1.02 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 345 0 0 0 34720 9927 0 0 16 0 1 0 20500876 2461696 315 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 315 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 446.49
Current children cumulated vsize (Kb) 4532
[startup+660.037 s]
Raw data (loadavg): 1.09 1.09 1.02 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 345 0 0 0 35201 10104 0 0 16 0 1 0 20500876 2461696 315 4294967295 134512640 134702520 3221223952 3221223072 134578849 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 315 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 453.07
Current children cumulated vsize (Kb) 4532
[startup+670.038 s]
Raw data (loadavg): 1.16 1.10 1.03 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 345 0 0 0 35798 10235 0 0 16 0 1 0 20500876 2461696 315 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 315 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 460.35
Current children cumulated vsize (Kb) 4532
[startup+680.039 s]
Raw data (loadavg): 1.21 1.12 1.03 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 345 0 0 0 36364 10385 0 0 16 0 1 0 20500876 2461696 315 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5970/statm): 601 315 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 467.51
Current children cumulated vsize (Kb) 4532
[startup+690.039 s]
Raw data (loadavg): 1.18 1.11 1.03 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 345 0 0 0 36847 10548 0 0 16 0 1 0 20500876 2461696 315 4294967295 134512640 134702520 3221223952 3221223232 134553342 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 315 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 473.97
Current children cumulated vsize (Kb) 4532
[startup+700.041 s]
Raw data (loadavg): 1.15 1.11 1.03 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 345 0 0 0 37525 10661 0 0 16 0 1 0 20500876 2461696 315 4294967295 134512640 134702520 3221223952 3221223232 134552541 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5970/statm): 601 315 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 481.88
Current children cumulated vsize (Kb) 4532
[startup+710.042 s]
Raw data (loadavg): 1.20 1.12 1.03 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 345 0 0 0 38042 10819 0 0 16 0 1 0 20500876 2461696 315 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 315 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 488.63
Current children cumulated vsize (Kb) 4532
[startup+720.041 s]
Raw data (loadavg): 1.17 1.12 1.03 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 348 0 0 0 38728 10922 0 0 16 0 1 0 20500876 2461696 318 4294967295 134512640 134702520 3221223952 3221223232 134552232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 318 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 496.52
Current children cumulated vsize (Kb) 4532
[startup+730.043 s]
Raw data (loadavg): 1.14 1.11 1.03 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 348 0 0 0 39241 11076 0 0 16 0 1 0 20500876 2461696 318 4294967295 134512640 134702520 3221223952 3221223232 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 318 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 503.19
Current children cumulated vsize (Kb) 4532
[startup+740.043 s]
Raw data (loadavg): 1.12 1.11 1.03 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 348 0 0 0 39926 11179 0 0 16 0 1 0 20500876 2461696 318 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 318 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 511.07
Current children cumulated vsize (Kb) 4532
[startup+750.044 s]
Raw data (loadavg): 1.10 1.10 1.03 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 349 0 0 0 40447 11337 0 0 16 0 1 0 20500876 2461696 319 4294967295 134512640 134702520 3221223952 3221223232 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 319 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 517.86
Current children cumulated vsize (Kb) 4532
[startup+760.045 s]
Raw data (loadavg): 1.09 1.10 1.03 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 350 0 0 0 41182 11424 0 0 16 0 1 0 20500876 2461696 320 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 320 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 526.08
Current children cumulated vsize (Kb) 4532
[startup+770.045 s]
Raw data (loadavg): 1.07 1.10 1.03 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 350 0 0 0 41705 11581 0 0 16 0 1 0 20500876 2461696 320 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5970/statm): 601 320 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 532.88
Current children cumulated vsize (Kb) 4532
[startup+780.046 s]
Raw data (loadavg): 1.06 1.09 1.03 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 351 0 0 0 42391 11685 0 0 16 0 1 0 20500876 2461696 321 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 321 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 540.78
Current children cumulated vsize (Kb) 4532
[startup+790.047 s]
Raw data (loadavg): 1.05 1.09 1.03 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 352 0 0 0 43050 11800 0 0 15 0 1 0 20500876 2461696 322 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5970/statm): 601 322 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 548.52
Current children cumulated vsize (Kb) 4532
[startup+800.048 s]
Raw data (loadavg): 1.04 1.08 1.03 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 353 0 0 0 43635 11937 0 0 16 0 1 0 20500876 2461696 323 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 323 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 555.74
Current children cumulated vsize (Kb) 4532
[startup+810.049 s]
Raw data (loadavg): 1.04 1.08 1.02 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 353 0 0 0 44348 12030 0 0 16 0 1 0 20500876 2461696 323 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 323 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 563.8
Current children cumulated vsize (Kb) 4532
[startup+820.048 s]
Raw data (loadavg): 1.03 1.08 1.02 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 353 0 0 0 44874 12181 0 0 16 0 1 0 20500876 2461696 323 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 323 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 570.57
Current children cumulated vsize (Kb) 4532
[startup+830.049 s]
Raw data (loadavg): 1.02 1.08 1.02 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 354 0 0 0 45619 12268 0 0 15 0 1 0 20500876 2461696 324 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 324 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 578.89
Current children cumulated vsize (Kb) 4532
[startup+840.05 s]
Raw data (loadavg): 1.02 1.07 1.02 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 354 0 0 0 46205 12407 0 0 16 0 1 0 20500876 2461696 324 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5970/statm): 601 324 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 586.14
Current children cumulated vsize (Kb) 4532
[startup+850.051 s]
Raw data (loadavg): 1.02 1.07 1.02 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 354 0 0 0 46891 12510 0 0 16 0 1 0 20500876 2461696 324 4294967295 134512640 134702520 3221223952 3221223352 134607256 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 324 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 594.03
Current children cumulated vsize (Kb) 4532
[startup+860.052 s]
Raw data (loadavg): 1.01 1.07 1.02 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 355 0 0 0 47612 12601 0 0 16 0 1 0 20500876 2461696 325 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5970/statm): 601 325 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 602.15
Current children cumulated vsize (Kb) 4532
[startup+870.053 s]
Raw data (loadavg): 1.08 1.08 1.02 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 355 0 0 0 48137 12758 0 0 16 0 1 0 20500876 2461696 325 4294967295 134512640 134702520 3221223952 3221223232 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5970/statm): 601 325 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 608.97
Current children cumulated vsize (Kb) 4532
[startup+880.053 s]
Raw data (loadavg): 1.07 1.08 1.02 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 356 0 0 0 48897 12839 0 0 16 0 1 0 20500876 2461696 326 4294967295 134512640 134702520 3221223952 3221223072 134573718 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 326 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 617.38
Current children cumulated vsize (Kb) 4532
[startup+890.054 s]
Raw data (loadavg): 1.06 1.08 1.02 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 357 0 0 0 49545 12959 0 0 15 0 1 0 20500876 2461696 327 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5970/statm): 601 327 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 625.06
Current children cumulated vsize (Kb) 4532
[startup+900.056 s]
Raw data (loadavg): 1.05 1.07 1.02 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 357 0 0 0 50161 13079 0 0 16 0 1 0 20500876 2461696 327 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 327 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 632.42
Current children cumulated vsize (Kb) 4532
[startup+910.056 s]
Raw data (loadavg): 1.04 1.07 1.02 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 358 0 0 0 50929 13157 0 0 16 0 1 0 20500876 2461696 328 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 328 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 640.88
Current children cumulated vsize (Kb) 4532
[startup+920.056 s]
Raw data (loadavg): 1.04 1.07 1.02 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 360 0 0 0 51442 13316 0 0 16 0 1 0 20500876 2461696 330 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5970/statm): 601 330 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 647.6
Current children cumulated vsize (Kb) 4532
[startup+930.056 s]
Raw data (loadavg): 1.03 1.06 1.02 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 361 0 0 0 52203 13397 0 0 16 0 1 0 20500876 2461696 331 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 331 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 656.02
Current children cumulated vsize (Kb) 4532
[startup+940.057 s]
Raw data (loadavg): 1.02 1.06 1.02 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 362 0 0 0 52918 13491 0 0 15 0 1 0 20500876 2461696 332 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 332 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 664.11
Current children cumulated vsize (Kb) 4532
[startup+950.058 s]
Raw data (loadavg): 1.02 1.06 1.02 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 362 0 0 0 53472 13640 0 0 16 0 1 0 20500876 2461696 332 4294967295 134512640 134702520 3221223952 3221223232 134553333 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 332 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 671.14
Current children cumulated vsize (Kb) 4532
[startup+960.058 s]
Raw data (loadavg): 1.02 1.06 1.02 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 363 0 0 0 54199 13725 0 0 16 0 1 0 20500876 2461696 333 4294967295 134512640 134702520 3221223952 3221223232 134552541 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 601 333 413 48 0 553 0
[pid=5970] vsize: 2404
Current children cumulated CPU time (s) 679.26
Current children cumulated vsize (Kb) 4532
[startup+970.059 s]
Raw data (loadavg): 1.01 1.05 1.01 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 367 0 0 0 54967 13797 0 0 16 0 1 0 20500876 2596864 337 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5970/statm): 634 337 413 48 0 586 0
[pid=5970] vsize: 2536
Current children cumulated CPU time (s) 687.66
Current children cumulated vsize (Kb) 4664
[startup+980.06 s]
Raw data (loadavg): 1.01 1.05 1.01 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 368 0 0 0 55501 13953 0 0 15 0 1 0 20500876 2596864 338 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 634 338 413 48 0 586 0
[pid=5970] vsize: 2536
Current children cumulated CPU time (s) 694.56
Current children cumulated vsize (Kb) 4664
[startup+990.06 s]
Raw data (loadavg): 1.01 1.05 1.01 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 370 0 0 0 56244 14039 0 0 16 0 1 0 20500876 2596864 340 4294967295 134512640 134702520 3221223952 3221223232 134552284 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 634 340 413 48 0 586 0
[pid=5970] vsize: 2536
Current children cumulated CPU time (s) 702.85
Current children cumulated vsize (Kb) 4664
[startup+1000.06 s]
Raw data (loadavg): 1.01 1.05 1.01 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 370 0 0 0 56998 14126 0 0 16 0 1 0 20500876 2596864 340 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 634 340 413 48 0 586 0
[pid=5970] vsize: 2536
Current children cumulated CPU time (s) 711.26
Current children cumulated vsize (Kb) 4664
[startup+1010.06 s]
Raw data (loadavg): 1.08 1.06 1.02 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 370 0 0 0 57509 14283 0 0 16 0 1 0 20500876 2596864 340 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 634 340 413 48 0 586 0
[pid=5970] vsize: 2536
Current children cumulated CPU time (s) 717.94
Current children cumulated vsize (Kb) 4664
[startup+1020.06 s]
Raw data (loadavg): 1.07 1.06 1.01 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 372 0 0 0 58264 14360 0 0 16 0 1 0 20500876 2596864 342 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 634 342 413 48 0 586 0
[pid=5970] vsize: 2536
Current children cumulated CPU time (s) 726.26
Current children cumulated vsize (Kb) 4664
[startup+1030.06 s]
Raw data (loadavg): 1.06 1.06 1.01 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 372 0 0 0 59018 14442 0 0 17 0 1 0 20500876 2596864 342 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5970/statm): 634 342 413 48 0 586 0
[pid=5970] vsize: 2536
Current children cumulated CPU time (s) 734.62
Current children cumulated vsize (Kb) 4664
[startup+1040.06 s]
Raw data (loadavg): 1.13 1.07 1.02 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 372 0 0 0 59532 14601 0 0 16 0 1 0 20500876 2596864 342 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 634 342 413 48 0 586 0
[pid=5970] vsize: 2536
Current children cumulated CPU time (s) 741.35
Current children cumulated vsize (Kb) 4664
[startup+1050.06 s]
Raw data (loadavg): 1.11 1.07 1.02 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 372 0 0 0 60283 14688 0 0 16 0 1 0 20500876 2596864 342 4294967295 134512640 134702520 3221223952 3221223232 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 634 342 413 48 0 586 0
[pid=5970] vsize: 2536
Current children cumulated CPU time (s) 749.73
Current children cumulated vsize (Kb) 4664
[startup+1060.06 s]
Raw data (loadavg): 1.09 1.07 1.02 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 381 0 0 0 61049 14764 0 0 16 0 1 0 20500876 2596864 351 4294967295 134512640 134702520 3221223952 3221223232 134553342 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 634 351 413 48 0 586 0
[pid=5970] vsize: 2536
Current children cumulated CPU time (s) 758.15
Current children cumulated vsize (Kb) 4664
[startup+1070.06 s]
Raw data (loadavg): 1.08 1.06 1.02 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 389 0 0 0 61609 14908 0 0 16 0 1 0 20500876 2596864 359 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 634 359 413 48 0 586 0
[pid=5970] vsize: 2536
Current children cumulated CPU time (s) 765.19
Current children cumulated vsize (Kb) 4664
[startup+1080.07 s]
Raw data (loadavg): 1.06 1.06 1.01 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 390 0 0 0 62336 15006 0 0 16 0 1 0 20500876 2596864 360 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5970/statm): 634 360 413 48 0 586 0
[pid=5970] vsize: 2536
Current children cumulated CPU time (s) 773.44
Current children cumulated vsize (Kb) 4664
[startup+1090.07 s]
Raw data (loadavg): 1.05 1.06 1.01 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 392 0 0 0 63094 15090 0 0 16 0 1 0 20500876 2596864 362 4294967295 134512640 134702520 3221223952 3221223232 134557225 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 634 362 413 48 0 586 0
[pid=5970] vsize: 2536
Current children cumulated CPU time (s) 781.86
Current children cumulated vsize (Kb) 4664
[startup+1100.07 s]
Raw data (loadavg): 1.04 1.06 1.01 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 392 0 0 0 63662 15231 0 0 16 0 1 0 20500876 2596864 362 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 634 362 413 48 0 586 0
[pid=5970] vsize: 2536
Current children cumulated CPU time (s) 788.95
Current children cumulated vsize (Kb) 4664
[startup+1110.07 s]
Raw data (loadavg): 1.04 1.05 1.01 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 393 0 0 0 64419 15315 0 0 16 0 1 0 20500876 2596864 363 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 634 363 413 48 0 586 0
[pid=5970] vsize: 2536
Current children cumulated CPU time (s) 797.36
Current children cumulated vsize (Kb) 4664
[startup+1120.07 s]
Raw data (loadavg): 1.03 1.05 1.01 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 394 0 0 0 65185 15395 0 0 16 0 1 0 20500876 2596864 364 4294967295 134512640 134702520 3221223952 3221223232 134553147 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5970/statm): 634 364 413 48 0 586 0
[pid=5970] vsize: 2536
Current children cumulated CPU time (s) 805.82
Current children cumulated vsize (Kb) 4664
[startup+1130.07 s]
Raw data (loadavg): 1.03 1.05 1.01 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 394 0 0 0 65765 15538 0 0 15 0 1 0 20500876 2596864 364 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 634 364 413 48 0 586 0
[pid=5970] vsize: 2536
Current children cumulated CPU time (s) 813.05
Current children cumulated vsize (Kb) 4664
[startup+1140.07 s]
Raw data (loadavg): 1.02 1.05 1.01 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 396 0 0 0 66519 15620 0 0 16 0 1 0 20500876 2596864 366 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5970/statm): 634 366 413 48 0 586 0
[pid=5970] vsize: 2536
Current children cumulated CPU time (s) 821.41
Current children cumulated vsize (Kb) 4664
[startup+1150.07 s]
Raw data (loadavg): 1.02 1.05 1.01 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 397 0 0 0 67282 15696 0 0 17 0 1 0 20500876 2596864 367 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5970/statm): 634 367 413 48 0 586 0
[pid=5970] vsize: 2536
Current children cumulated CPU time (s) 829.8
Current children cumulated vsize (Kb) 4664
[startup+1160.07 s]
Raw data (loadavg): 1.01 1.04 1.01 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 397 0 0 0 68039 15774 0 0 16 0 1 0 20500876 2596864 367 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5970/statm): 634 367 413 48 0 586 0
[pid=5970] vsize: 2536
Current children cumulated CPU time (s) 838.15
Current children cumulated vsize (Kb) 4664
[startup+1170.07 s]
Raw data (loadavg): 1.01 1.04 1.01 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 397 0 0 0 68567 15927 0 0 16 0 1 0 20500876 2596864 367 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 634 367 413 48 0 586 0
[pid=5970] vsize: 2536
Current children cumulated CPU time (s) 844.96
Current children cumulated vsize (Kb) 4664
[startup+1180.07 s]
Raw data (loadavg): 1.01 1.04 1.00 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 398 0 0 0 69324 16003 0 0 16 0 1 0 20500876 2596864 368 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5970/statm): 634 368 413 48 0 586 0
[pid=5970] vsize: 2536
Current children cumulated CPU time (s) 853.29
Current children cumulated vsize (Kb) 4664
[startup+1190.07 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 398 0 0 0 70079 16087 0 0 16 0 1 0 20500876 2596864 368 4294967295 134512640 134702520 3221223952 3221223416 1074230081 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 634 368 413 48 0 586 0
[pid=5970] vsize: 2536
Current children cumulated CPU time (s) 861.68
Current children cumulated vsize (Kb) 4664
[startup+1200.08 s]
Raw data (loadavg): 1.01 1.04 1.00 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 399 0 0 0 70643 16231 0 0 17 0 1 0 20500876 2596864 369 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5970/statm): 634 369 413 48 0 586 0
[pid=5970] vsize: 2536
Current children cumulated CPU time (s) 868.76
Current children cumulated vsize (Kb) 4664
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 402 0 0 0 71410 16314 0 0 16 0 1 0 20500876 2732032 372 4294967295 134512640 134702520 3221223952 3221223232 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 667 372 413 48 0 619 0
[pid=5970] vsize: 2668
Current children cumulated CPU time (s) 877.26
Current children cumulated vsize (Kb) 4796
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 402 0 0 0 72180 16390 0 0 16 0 1 0 20500876 2732032 372 4294967295 134512640 134702520 3221223952 3221223232 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 667 372 413 48 0 619 0
[pid=5970] vsize: 2668
Current children cumulated CPU time (s) 885.72
Current children cumulated vsize (Kb) 4796
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 403 0 0 0 72974 16459 0 0 15 0 1 0 20500876 2732032 373 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 667 373 413 48 0 619 0
[pid=5970] vsize: 2668
Current children cumulated CPU time (s) 894.35
Current children cumulated vsize (Kb) 4796
[startup+1240.08 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 404 0 0 0 73515 16611 0 0 16 0 1 0 20500876 2732032 374 4294967295 134512640 134702520 3221223952 3221223232 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 667 374 413 48 0 619 0
[pid=5970] vsize: 2668
Current children cumulated CPU time (s) 901.28
Current children cumulated vsize (Kb) 4796
[startup+1250.08 s]
Raw data (loadavg): 1.08 1.04 1.01 2/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) R 5967 5967 4060 0 -1 0 405 0 0 0 74300 16683 0 0 16 0 1 0 20500876 2732032 375 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5970/statm): 667 375 413 48 0 619 0
[pid=5970] vsize: 2668
Current children cumulated CPU time (s) 909.85
Current children cumulated vsize (Kb) 4796
[startup+1260.08 s]
Raw data (loadavg): 1.07 1.04 1.00 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 405 0 0 0 75070 16759 0 0 16 0 1 0 20500876 2732032 375 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5970/statm): 667 375 413 48 0 619 0
[pid=5970] vsize: 2668
Current children cumulated CPU time (s) 918.31
Current children cumulated vsize (Kb) 4796
[startup+1270.08 s]
Raw data (loadavg): 1.06 1.04 1.00 1/56 5970
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20500867 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 242 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5970/stat): 5970 (vallst) T 5967 5967 4060 0 -1 0 405 0 0 0 75639 16899 0 0 16 0 1 0 20500876 2732032 375 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5970/statm): 667 375 413 48 0 619 0
[pid=5970] vsize: 2668
Current children cumulated CPU time (s) 925.4
Current children cumulated vsize (Kb) 4796
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=5970) exited with status: 2
New process pid=5971
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=5971) exited with status: 0
New process pid=5972
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+1280.08 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) T 5967 5967 4060 0 -1 0 253 0 0 0 341 195 0 0 15 0 1 0 20627964 2322432 224 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5972/statm): 567 224 413 48 0 519 0
[pid=5972] vsize: 2268
Current children cumulated CPU time (s) 931.05
Current children cumulated vsize (Kb) 4396
[startup+1290.08 s]
Raw data (loadavg): 1.04 1.04 1.00 2/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) R 5967 5967 4060 0 -1 0 297 0 0 0 720 404 0 0 16 0 1 0 20627964 2322432 268 4294967295 134512640 134702520 3221223712 3221222992 134552242 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5972/statm): 567 268 413 48 0 519 0
[pid=5972] vsize: 2268
Current children cumulated CPU time (s) 936.93
Current children cumulated vsize (Kb) 4396
[startup+1300.08 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) T 5967 5967 4060 0 -1 0 300 0 0 0 1115 610 0 0 15 0 1 0 20627964 2322432 271 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5972/statm): 567 271 413 48 0 519 0
[pid=5972] vsize: 2268
Current children cumulated CPU time (s) 942.94
Current children cumulated vsize (Kb) 4396
[startup+1310.08 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) R 5967 5967 4060 0 -1 0 303 0 0 0 1535 797 0 0 16 0 1 0 20627964 2322432 274 4294967295 134512640 134702520 3221223712 3221222480 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5972/statm): 567 274 413 48 0 519 0
[pid=5972] vsize: 2268
Current children cumulated CPU time (s) 949.01
Current children cumulated vsize (Kb) 4396
[startup+1320.08 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) T 5967 5967 4060 0 -1 0 305 0 0 0 2013 965 0 0 15 0 1 0 20627964 2322432 276 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5972/statm): 567 276 413 48 0 519 0
[pid=5972] vsize: 2268
Current children cumulated CPU time (s) 955.47
Current children cumulated vsize (Kb) 4396
[startup+1330.08 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) R 5967 5967 4060 0 -1 0 306 0 0 0 2425 1155 0 0 16 0 1 0 20627964 2322432 277 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5972/statm): 567 277 413 48 0 519 0
[pid=5972] vsize: 2268
Current children cumulated CPU time (s) 961.49
Current children cumulated vsize (Kb) 4396
[startup+1340.09 s]
Raw data (loadavg): 1.10 1.04 1.01 1/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) T 5967 5967 4060 0 -1 0 309 0 0 0 2828 1356 0 0 15 0 1 0 20627964 2322432 280 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5972/statm): 567 280 413 48 0 519 0
[pid=5972] vsize: 2268
Current children cumulated CPU time (s) 967.53
Current children cumulated vsize (Kb) 4396
[startup+1350.09 s]
Raw data (loadavg): 1.08 1.04 1.00 2/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) R 5967 5967 4060 0 -1 0 313 0 0 0 3303 1530 0 0 16 0 1 0 20627964 2322432 284 4294967295 134512640 134702520 3221223712 3221222784 134617472 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5972/statm): 567 284 413 48 0 519 0
[pid=5972] vsize: 2268
Current children cumulated CPU time (s) 974.02
Current children cumulated vsize (Kb) 4396
[startup+1360.09 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) R 5967 5967 4060 0 -1 0 316 0 0 0 3792 1695 0 0 16 0 1 0 20627964 2322432 287 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5972/statm): 567 287 413 48 0 519 0
[pid=5972] vsize: 2268
Current children cumulated CPU time (s) 980.56
Current children cumulated vsize (Kb) 4396
[startup+1370.09 s]
Raw data (loadavg): 1.13 1.06 1.01 1/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) T 5967 5967 4060 0 -1 0 318 0 0 0 4221 1882 0 0 16 0 1 0 20627964 2322432 289 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5972/statm): 567 289 413 48 0 519 0
[pid=5972] vsize: 2268
Current children cumulated CPU time (s) 986.72
Current children cumulated vsize (Kb) 4396
[startup+1380.09 s]
Raw data (loadavg): 1.11 1.05 1.01 1/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) T 5967 5967 4060 0 -1 0 320 0 0 0 4685 2060 0 0 16 0 1 0 20627964 2322432 291 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5972/statm): 567 291 413 48 0 519 0
[pid=5972] vsize: 2268
Current children cumulated CPU time (s) 993.14
Current children cumulated vsize (Kb) 4396
[startup+1390.09 s]
Raw data (loadavg): 1.09 1.05 1.01 1/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) T 5967 5967 4060 0 -1 0 323 0 0 0 5184 2221 0 0 15 0 1 0 20627964 2322432 294 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5972/statm): 567 294 413 48 0 519 0
[pid=5972] vsize: 2268
Current children cumulated CPU time (s) 999.74
Current children cumulated vsize (Kb) 4396
[startup+1400.09 s]
Raw data (loadavg): 1.08 1.05 1.00 2/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) R 5967 5967 4060 0 -1 0 326 0 0 0 5625 2408 0 0 16 0 1 0 20627964 2457600 297 4294967295 134512640 134702520 3221223712 3221222932 134550203 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5972/statm): 600 297 413 48 0 552 0
[pid=5972] vsize: 2400
Current children cumulated CPU time (s) 1006.02
Current children cumulated vsize (Kb) 4528
[startup+1410.09 s]
Raw data (loadavg): 1.07 1.05 1.00 1/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) T 5967 5967 4060 0 -1 0 328 0 0 0 6148 2565 0 0 15 0 1 0 20627964 2457600 299 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5972/statm): 600 299 413 48 0 552 0
[pid=5972] vsize: 2400
Current children cumulated CPU time (s) 1012.82
Current children cumulated vsize (Kb) 4528
[startup+1420.09 s]
Raw data (loadavg): 1.06 1.05 1.00 2/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) R 5967 5967 4060 0 -1 0 329 0 0 0 6627 2739 0 0 16 0 1 0 20627964 2457600 300 4294967295 134512640 134702520 3221223712 3221222992 134552981 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5972/statm): 600 300 413 48 0 552 0
[pid=5972] vsize: 2400
Current children cumulated CPU time (s) 1019.35
Current children cumulated vsize (Kb) 4528
[startup+1430.09 s]
Raw data (loadavg): 1.13 1.06 1.01 1/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) T 5967 5967 4060 0 -1 0 331 0 0 0 7067 2920 0 0 16 0 1 0 20627964 2457600 302 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5972/statm): 600 302 413 48 0 552 0
[pid=5972] vsize: 2400
Current children cumulated CPU time (s) 1025.56
Current children cumulated vsize (Kb) 4528
[startup+1440.09 s]
Raw data (loadavg): 1.11 1.06 1.01 1/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) T 5967 5967 4060 0 -1 0 333 0 0 0 7647 3060 0 0 16 0 1 0 20627964 2457600 304 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5972/statm): 600 304 413 48 0 552 0
[pid=5972] vsize: 2400
Current children cumulated CPU time (s) 1032.76
Current children cumulated vsize (Kb) 4528
[startup+1450.09 s]
Raw data (loadavg): 1.09 1.06 1.01 2/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) R 5967 5967 4060 0 -1 0 334 0 0 0 8093 3244 0 0 16 0 1 0 20627964 2457600 305 4294967295 134512640 134702520 3221223712 3221222992 134552541 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5972/statm): 600 305 413 48 0 552 0
[pid=5972] vsize: 2400
Current children cumulated CPU time (s) 1039.06
Current children cumulated vsize (Kb) 4528
[startup+1460.1 s]
Raw data (loadavg): 1.08 1.05 1.00 1/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) T 5967 5967 4060 0 -1 0 335 0 0 0 8656 3391 0 0 16 0 1 0 20627964 2457600 306 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5972/statm): 600 306 413 48 0 552 0
[pid=5972] vsize: 2400
Current children cumulated CPU time (s) 1046.16
Current children cumulated vsize (Kb) 4528
[startup+1470.1 s]
Raw data (loadavg): 1.14 1.07 1.01 1/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) T 5967 5967 4060 0 -1 0 335 0 0 0 9122 3572 0 0 16 0 1 0 20627964 2457600 306 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5972/statm): 600 306 413 48 0 552 0
[pid=5972] vsize: 2400
Current children cumulated CPU time (s) 1052.63
Current children cumulated vsize (Kb) 4528
[startup+1480.1 s]
Raw data (loadavg): 1.19 1.08 1.01 1/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) T 5967 5967 4060 0 -1 0 337 0 0 0 9649 3733 0 0 16 0 1 0 20627964 2457600 308 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5972/statm): 600 308 413 48 0 552 0
[pid=5972] vsize: 2400
Current children cumulated CPU time (s) 1059.51
Current children cumulated vsize (Kb) 4528
[startup+1490.1 s]
Raw data (loadavg): 1.16 1.08 1.01 1/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) T 5967 5967 4060 0 -1 0 339 0 0 0 10162 3896 0 0 15 0 1 0 20627964 2457600 310 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5972/statm): 600 310 413 48 0 552 0
[pid=5972] vsize: 2400
Current children cumulated CPU time (s) 1066.27
Current children cumulated vsize (Kb) 4528
[startup+1500.1 s]
Raw data (loadavg): 1.21 1.09 1.02 1/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) T 5967 5967 4060 0 -1 0 340 0 0 0 10669 4064 0 0 16 0 1 0 20627964 2457600 311 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5972/statm): 600 311 413 48 0 552 0
[pid=5972] vsize: 2400
Current children cumulated CPU time (s) 1073.02
Current children cumulated vsize (Kb) 4528
[startup+1510.1 s]
Raw data (loadavg): 1.18 1.09 1.02 1/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) T 5967 5967 4060 0 -1 0 343 0 0 0 11233 4211 0 0 16 0 1 0 20627964 2457600 314 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5972/statm): 600 314 413 48 0 552 0
[pid=5972] vsize: 2400
Current children cumulated CPU time (s) 1080.13
Current children cumulated vsize (Kb) 4528
[startup+1520.1 s]
Raw data (loadavg): 1.15 1.08 1.01 2/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) R 5967 5967 4060 0 -1 0 345 0 0 0 11702 4386 0 0 16 0 1 0 20627964 2457600 316 4294967295 134512640 134702520 3221223712 3221222480 134553354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5972/statm): 600 316 413 48 0 552 0
[pid=5972] vsize: 2400
Current children cumulated CPU time (s) 1086.57
Current children cumulated vsize (Kb) 4528
[startup+1530.1 s]
Raw data (loadavg): 1.12 1.08 1.01 2/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) R 5967 5967 4060 0 -1 0 346 0 0 0 12299 4523 0 0 16 0 1 0 20627964 2457600 317 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5972/statm): 600 317 413 48 0 552 0
[pid=5972] vsize: 2400
Current children cumulated CPU time (s) 1093.91
Current children cumulated vsize (Kb) 4528
[startup+1540.1 s]
Raw data (loadavg): 1.10 1.08 1.01 2/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) R 5967 5967 4060 0 -1 0 346 0 0 0 12764 4698 0 0 16 0 1 0 20627964 2457600 317 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5972/statm): 600 317 413 48 0 552 0
[pid=5972] vsize: 2400
Current children cumulated CPU time (s) 1100.31
Current children cumulated vsize (Kb) 4528
[startup+1550.1 s]
Raw data (loadavg): 1.09 1.08 1.01 1/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) T 5967 5967 4060 0 -1 0 350 0 0 0 13367 4833 0 0 15 0 1 0 20627964 2457600 321 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5972/statm): 600 321 413 48 0 552 0
[pid=5972] vsize: 2400
Current children cumulated CPU time (s) 1107.69
Current children cumulated vsize (Kb) 4528
[startup+1560.1 s]
Raw data (loadavg): 1.07 1.07 1.01 1/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) T 5967 5967 4060 0 -1 0 351 0 0 0 13841 5007 0 0 16 0 1 0 20627964 2457600 322 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5972/statm): 600 322 413 48 0 552 0
[pid=5972] vsize: 2400
Current children cumulated CPU time (s) 1114.17
Current children cumulated vsize (Kb) 4528
[startup+1570.1 s]
Raw data (loadavg): 1.06 1.07 1.01 1/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) T 5967 5967 4060 0 -1 0 354 0 0 0 14449 5142 0 0 15 0 1 0 20627964 2457600 325 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5972/statm): 600 325 413 48 0 552 0
[pid=5972] vsize: 2400
Current children cumulated CPU time (s) 1121.6
Current children cumulated vsize (Kb) 4528
[startup+1580.1 s]
Raw data (loadavg): 1.05 1.07 1.01 1/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) T 5967 5967 4060 0 -1 0 355 0 0 0 14941 5312 0 0 16 0 1 0 20627964 2457600 326 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5972/statm): 600 326 413 48 0 552 0
[pid=5972] vsize: 2400
Current children cumulated CPU time (s) 1128.22
Current children cumulated vsize (Kb) 4528
[startup+1590.11 s]
Raw data (loadavg): 1.04 1.06 1.01 1/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) T 5967 5967 4060 0 -1 0 355 0 0 0 15502 5458 0 0 16 0 1 0 20627964 2457600 326 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5972/statm): 600 326 413 48 0 552 0
[pid=5972] vsize: 2400
Current children cumulated CPU time (s) 1135.29
Current children cumulated vsize (Kb) 4528
[startup+1600.11 s]
Raw data (loadavg): 1.04 1.06 1.01 1/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) T 5967 5967 4060 0 -1 0 357 0 0 0 16069 5603 0 0 16 0 1 0 20627964 2457600 328 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5972/statm): 600 328 413 48 0 552 0
[pid=5972] vsize: 2400
Current children cumulated CPU time (s) 1142.41
Current children cumulated vsize (Kb) 4528
[startup+1610.11 s]
Raw data (loadavg): 1.03 1.06 1.01 1/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) T 5967 5967 4060 0 -1 0 358 0 0 0 16593 5758 0 0 16 0 1 0 20627964 2457600 329 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5972/statm): 600 329 413 48 0 552 0
[pid=5972] vsize: 2400
Current children cumulated CPU time (s) 1149.2
Current children cumulated vsize (Kb) 4528
[startup+1620.11 s]
Raw data (loadavg): 1.03 1.06 1.00 1/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) T 5967 5967 4060 0 -1 0 361 0 0 0 17195 5896 0 0 16 0 1 0 20627964 2592768 332 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5972/statm): 633 332 413 48 0 585 0
[pid=5972] vsize: 2532
Current children cumulated CPU time (s) 1156.6
Current children cumulated vsize (Kb) 4660
[startup+1630.11 s]
Raw data (loadavg): 1.02 1.05 1.00 1/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) T 5967 5967 4060 0 -1 0 363 0 0 0 17671 6067 0 0 15 0 1 0 20627964 2592768 334 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5972/statm): 633 334 413 48 0 585 0
[pid=5972] vsize: 2532
Current children cumulated CPU time (s) 1163.07
Current children cumulated vsize (Kb) 4660
[startup+1640.11 s]
Raw data (loadavg): 1.02 1.05 1.00 2/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) R 5967 5967 4060 0 -1 0 363 0 0 0 18289 6195 0 0 16 0 1 0 20627964 2592768 334 4294967295 134512640 134702520 3221223712 3221222992 134552340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5972/statm): 633 334 413 48 0 585 0
[pid=5972] vsize: 2532
Current children cumulated CPU time (s) 1170.53
Current children cumulated vsize (Kb) 4660
[startup+1650.11 s]
Raw data (loadavg): 1.09 1.07 1.01 1/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) T 5967 5967 4060 0 -1 0 365 0 0 0 18748 6376 0 0 16 0 1 0 20627964 2592768 336 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5972/statm): 633 336 413 48 0 585 0
[pid=5972] vsize: 2532
Current children cumulated CPU time (s) 1176.93
Current children cumulated vsize (Kb) 4660
[startup+1660.11 s]
Raw data (loadavg): 1.07 1.06 1.01 2/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) R 5967 5967 4060 0 -1 0 367 0 0 0 19378 6499 0 0 15 0 1 0 20627964 2592768 338 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5972/statm): 633 338 413 48 0 585 0
[pid=5972] vsize: 2532
Current children cumulated CPU time (s) 1184.46
Current children cumulated vsize (Kb) 4660
[startup+1670.11 s]
Raw data (loadavg): 1.06 1.06 1.01 2/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) R 5967 5967 4060 0 -1 0 367 0 0 0 19851 6676 0 0 16 0 1 0 20627964 2592768 338 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5972/statm): 633 338 413 48 0 585 0
[pid=5972] vsize: 2532
Current children cumulated CPU time (s) 1190.96
Current children cumulated vsize (Kb) 4660
[startup+1680.11 s]
Raw data (loadavg): 1.05 1.06 1.00 1/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) T 5967 5967 4060 0 -1 0 368 0 0 0 20482 6801 0 0 15 0 1 0 20627964 2592768 339 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5972/statm): 633 339 413 48 0 585 0
[pid=5972] vsize: 2532
Current children cumulated CPU time (s) 1198.52
Current children cumulated vsize (Kb) 4660
[startup+1690.11 s]
Raw data (loadavg): 1.12 1.07 1.01 2/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) R 5967 5967 4060 0 -1 0 368 0 0 0 21037 6948 0 0 16 0 1 0 20627964 2592768 339 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5972/statm): 633 339 413 48 0 585 0
[pid=5972] vsize: 2532
Current children cumulated CPU time (s) 1205.54
Current children cumulated vsize (Kb) 4660
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1690.11 s]
Raw data (loadavg): 1.12 1.07 1.01 2/56 5972
Raw data (/proc/5967/stat): 5967 (vallstSAT2005PB) S 5966 5967 4060 0 -1 0 378 780 0 0 2 1 75651 16915 17 0 1 0 20500867 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5967/statm): 532 248 485 147 0 385 0
[pid=5967] vsize: 2128
Raw data (/proc/5972/stat): 5972 (vallst) R 5967 5967 4060 0 -1 0 368 0 0 0 21037 6948 0 0 16 0 1 0 20627964 2592768 339 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5972/statm): 633 339 413 48 0 585 0
[pid=5972] vsize: 2532
Current children cumulated CPU time (s) 1205.54
Current children cumulated vsize (Kb) 4660
Sending SIGTERM to -5967
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5974
New process pid=5975
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
execve syscall for /bin/ps executable
One traced child (pid=5972) exited with status: 3
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/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/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/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/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/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/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/4068/stat
open syscall for file /proc/4068/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/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/5928/stat
open syscall for file /proc/5928/status
open syscall for file /proc/5928/cmdline
open syscall for file /proc/5928/environ
open syscall for file /proc/5966/stat
open syscall for file /proc/5966/status
open syscall for file /proc/5966/cmdline
open syscall for file /proc/5966/environ
open syscall for file /proc/5967/stat
open syscall for file /proc/5967/status
open syscall for file /proc/5967/cmdline
open syscall for file /proc/5967/environ
open syscall for file /proc/5974/stat
open syscall for file /proc/5974/status
open syscall for file /proc/5974/cmdline
open syscall for file /proc/5974/environ
open syscall for file /proc/5975/stat
open syscall for file /proc/5975/status
open syscall for file /proc/5975/cmdline
open syscall for file /proc/5975/environ
One traced child (pid=5974) exited with status: 0
One traced child (pid=5975) exited with status: 0
New process pid=5976
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=5976) exited with status: 0
New process pid=5977
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=5977) exited with status: 0
One traced child (pid=5967) 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): 1690.59
CPU time (s): 1205.66
CPU user time (s): 966.945
CPU system time (s): 238.716
CPU usage (%): 71.316
Max. virtual memory (cumulated for all children) (Kb): 4796