1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 957 (#equs: 0)
#decisions: 13579; #end-nodes: 2298;
#proof improvement attempts: 0; #restarts: 18
Current batch, end-nodes: 57 / 87 (84)
#axs: 853, #non-axs: 65
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: 3859924 (48523:>=*);
#decisions: 71; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 853, #non-axs: 65
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: 3861112 (47335:>=*);
#decisions: 12698; #end-nodes: 2470;
#proof improvement attempts: 0; #restarts: 25
Current batch, end-nodes: 290 / 668 (86)
#axs: 853, #non-axs: 165
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: 3861895 (46552:>=*);
#decisions: 86; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 853, #non-axs: 165
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: 3862237 (46210:>=*);
#decisions: 12407; #end-nodes: 3197;
#proof improvement attempts: 0; #restarts: 31
Current batch, end-nodes: 249 / 253 (87)
#axs: 853, #non-axs: 320
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: 3862613 (45834:>=*);
#decisions: 10861; #end-nodes: 3051;
#proof improvement attempts: 0; #restarts: 23
Current batch, end-nodes: 469 / 588 (85)
#axs: 853, #non-axs: 408
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: 3863459 (44988:>=*);
#decisions: 270; #end-nodes: 13;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 13 / 80 (80)
#axs: 853, #non-axs: 408
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: 3863841 (44606:>=*);
#decisions: 204; #end-nodes: 17;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 17 / 80 (80)
#axs: 853, #non-axs: 408
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: 3864110 (44337:>=*);
#decisions: 334; #end-nodes: 24;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 24 / 80 (80)
#axs: 853, #non-axs: 408
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: 3864209 (44238:>=*);
#decisions: 9662; #end-nodes: 2560;
#proof improvement attempts: 0; #restarts: 22
Current batch, end-nodes: 509 / 700 (85)
#axs: 853, #non-axs: 540
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: 3865411 (43036:>=*);
#decisions: 53; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 853, #non-axs: 540
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: 3865904 (42543:>=*);
#decisions: 52; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 853, #non-axs: 540
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: 3866020 (42427:>=*);
#decisions: 57; #end-nodes: 9;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 853, #non-axs: 540
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: 3866039 (42408:>=*);
#decisions: 68; #end-nodes: 15;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 15 / 80 (80)
#axs: 853, #non-axs: 540
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: 3866133 (42314:>=*);
#decisions: 97; #end-nodes: 42;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 42 / 80 (80)
#axs: 853, #non-axs: 540
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: 3866245 (42202:>=*);
#decisions: 113; #end-nodes: 51;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 51 / 80 (80)
#axs: 853, #non-axs: 540
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: 3866342 (42105:>=*);
#decisions: 65; #end-nodes: 14;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 14 / 80 (80)
#axs: 853, #non-axs: 540
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: 3866352 (42095:>=*);
#decisions: 132280; #end-nodes: 35348;
#proof improvement attempts: 0; #restarts: 263
Current batch, end-nodes: 900 / 1606 (145)
#axs: 853, #non-axs: 564
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: 3866417 (42030:>=*);
#decisions: 57555; #end-nodes: 15190;
#proof improvement attempts: 0; #restarts: 127
Current batch, end-nodes: 104 / 111 (111)
#axs: 853, #non-axs: 584
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: 3866893 (41554:>=*);
#decisions: 91963; #end-nodes: 25698;
#proof improvement attempts: 0; #restarts: 192
Current batch, end-nodes: 0 / 159 (127)
#axs: 853, #non-axs: 675
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:
(pushed:) 3866893 (41554:>=*)
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: 1079 (#equs: 0)
Time taken: 5 min, 11 sec
2:
seed: 0
Nr of vars set: 1079 (#equs: 0)
Nr of vars set: 1079 (#equs: 0)
#decisions: 57670; #end-nodes: 17847;
#proof improvement attempts: 0; #restarts: 111
Current batch, end-nodes: 130 / 147 (147)
#axs: 853, #non-axs: 878
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: 3318772 (40921:>=*);
#decisions: 42; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 120 (120)
#axs: 853, #non-axs: 878
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: 3319560 (40133:>=*);
#decisions: 477886; #end-nodes: 187482;
#proof improvement attempts: 0; #restarts: 709
Current batch, end-nodes: 208 / 307 (297)
#axs: 853, #non-axs: 3700
tight: meta-meta: start: 5, end: 7; meta: start: 12, end (keep): 23
loose: meta-meta: start: 7, end: 10; meta: start: 19, end (keep): 29
Model found with constant: 3319619 (40074:>=*);
#decisions: 53; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 120 (120)
#axs: 853, #non-axs: 3700
tight: meta-meta: start: 5, end: 7; meta: start: 12, end (keep): 23
loose: meta-meta: start: 7, end: 10; meta: start: 19, end (keep): 29
Model found with constant: 3319625 (40068:>=*);
#decisions: 71; #end-nodes: 11;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 11 / 120 (120)
#axs: 853, #non-axs: 3700
tight: meta-meta: start: 5, end: 7; meta: start: 12, end (keep): 23
loose: meta-meta: start: 7, end: 10; meta: start: 19, end (keep): 29
Model found with constant: 3319687 (40006:>=*);
#decisions: 147; #end-nodes: 86;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 86 / 120 (120)
#axs: 853, #non-axs: 3700
tight: meta-meta: start: 5, end: 7; meta: start: 12, end (keep): 23
loose: meta-meta: start: 7, end: 10; meta: start: 19, end (keep): 29
Model found with constant: 3319823 (39870:>=*);
Interupt request received.
#decisions: 451099; #end-nodes: 161479;
#proof improvement attempts: 0; #restarts: 638
Current batch, end-nodes: 149 / 284 (279)
#axs: 853, #non-axs: 3158
tight: meta-meta: start: 3, end: 4; meta: start: 7, end (keep): 12
loose: meta-meta: start: 7, end: 10; meta: start: 19, end (keep): 29
Model found with constant:
(pushed:) 3319823 (39870:>=*)
No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 6476 (#equs: 0)
Time taken: 14 min, 55 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/20222/stat): 20222 (vallstSAT2005PB) R 20221 20222 2660 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1846467618 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20222/statm): 174 3 169 147 0 27 0
[pid=20222] 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=20223
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=20223) exited with status: 0
New process pid=20224
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=20224) exited with status: 0
New process pid=20225
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/wulflinc20/normalized-mps-v2-20-10-air05.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0043 s]
Raw data (loadavg): 0.92 0.93 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 903 0 0 0 876 42 0 0 21 0 1 0 1846467625 5382144 813 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 1314 813 413 48 0 1266 0
[pid=20225] vsize: 5256
Current children cumulated CPU time (s) 9.19
Current children cumulated vsize (Kb) 7384
[startup+20.0051 s]
Raw data (loadavg): 0.94 0.93 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1008 0 0 0 1710 100 0 0 21 0 1 0 1846467625 9912320 918 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2420 918 413 48 0 2372 0
[pid=20225] vsize: 9680
Current children cumulated CPU time (s) 18.11
Current children cumulated vsize (Kb) 11808
[startup+30.0058 s]
Raw data (loadavg): 0.94 0.93 0.95 2/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1088 0 0 0 2597 140 0 0 25 0 1 0 1846467625 10076160 998 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2460 998 413 48 0 2412 0
[pid=20225] vsize: 9840
Current children cumulated CPU time (s) 27.38
Current children cumulated vsize (Kb) 11968
[startup+40.0065 s]
Raw data (loadavg): 0.95 0.93 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1088 0 0 0 3519 168 0 0 25 0 1 0 1846467625 10076160 998 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2460 998 413 48 0 2412 0
[pid=20225] vsize: 9840
Current children cumulated CPU time (s) 36.88
Current children cumulated vsize (Kb) 11968
[startup+50.0072 s]
Raw data (loadavg): 0.96 0.93 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1097 0 0 0 4444 195 0 0 25 0 1 0 1846467625 10076160 1007 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20225/statm): 2460 1007 413 48 0 2412 0
[pid=20225] vsize: 9840
Current children cumulated CPU time (s) 46.4
Current children cumulated vsize (Kb) 11968
[startup+60.009 s]
Raw data (loadavg): 0.97 0.94 0.95 2/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) R 20222 20222 2660 0 -1 0 1103 0 0 0 5366 221 0 0 22 0 1 0 1846467625 10076160 1013 4294967295 134512640 134702520 3221223952 3221207088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2460 1013 413 48 0 2412 0
[pid=20225] vsize: 9840
Current children cumulated CPU time (s) 55.88
Current children cumulated vsize (Kb) 11968
[startup+70.0097 s]
Raw data (loadavg): 0.97 0.94 0.95 2/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1108 0 0 0 6296 246 0 0 25 0 1 0 1846467625 10207232 1018 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2492 1018 413 48 0 2444 0
[pid=20225] vsize: 9968
Current children cumulated CPU time (s) 65.43
Current children cumulated vsize (Kb) 12096
[startup+80.0104 s]
Raw data (loadavg): 0.97 0.94 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1114 0 0 0 7230 270 0 0 25 0 1 0 1846467625 10207232 1024 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2492 1024 413 48 0 2444 0
[pid=20225] vsize: 9968
Current children cumulated CPU time (s) 75.01
Current children cumulated vsize (Kb) 12096
[startup+90.0112 s]
Raw data (loadavg): 0.98 0.94 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1117 0 0 0 8164 293 0 0 25 0 1 0 1846467625 10207232 1027 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2492 1027 413 48 0 2444 0
[pid=20225] vsize: 9968
Current children cumulated CPU time (s) 84.58
Current children cumulated vsize (Kb) 12096
[startup+100.012 s]
Raw data (loadavg): 0.98 0.94 0.95 2/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1117 0 0 0 9070 327 0 0 25 0 1 0 1846467625 10207232 1027 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2492 1027 413 48 0 2444 0
[pid=20225] vsize: 9968
Current children cumulated CPU time (s) 93.98
Current children cumulated vsize (Kb) 12096
[startup+110.013 s]
Raw data (loadavg): 0.98 0.94 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1123 0 0 0 9984 357 0 0 25 0 1 0 1846467625 10215424 1033 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2494 1033 413 48 0 2446 0
[pid=20225] vsize: 9976
Current children cumulated CPU time (s) 103.42
Current children cumulated vsize (Kb) 12104
[startup+120.013 s]
Raw data (loadavg): 0.99 0.94 0.95 2/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1126 0 0 0 10914 378 0 0 25 0 1 0 1846467625 10215424 1036 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2494 1036 413 48 0 2446 0
[pid=20225] vsize: 9976
Current children cumulated CPU time (s) 112.93
Current children cumulated vsize (Kb) 12104
[startup+130.014 s]
Raw data (loadavg): 0.99 0.95 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1292 0 0 0 11850 400 0 0 25 0 1 0 1846467625 10215424 1202 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2494 1202 413 48 0 2446 0
[pid=20225] vsize: 9976
Current children cumulated CPU time (s) 122.51
Current children cumulated vsize (Kb) 12104
[startup+140.015 s]
Raw data (loadavg): 0.99 0.95 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1296 0 0 0 12788 421 0 0 25 0 1 0 1846467625 10371072 1206 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2532 1206 413 48 0 2484 0
[pid=20225] vsize: 10128
Current children cumulated CPU time (s) 132.1
Current children cumulated vsize (Kb) 12256
[startup+150.016 s]
Raw data (loadavg): 0.99 0.95 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1297 0 0 0 13690 456 0 0 25 0 1 0 1846467625 10321920 1207 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2520 1207 413 48 0 2472 0
[pid=20225] vsize: 10080
Current children cumulated CPU time (s) 141.47
Current children cumulated vsize (Kb) 12208
[startup+160.017 s]
Raw data (loadavg): 0.99 0.95 0.95 2/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1299 0 0 0 14615 480 0 0 25 0 1 0 1846467625 10321920 1209 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2520 1209 413 48 0 2472 0
[pid=20225] vsize: 10080
Current children cumulated CPU time (s) 150.96
Current children cumulated vsize (Kb) 12208
[startup+170.018 s]
Raw data (loadavg): 0.99 0.95 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1304 0 0 0 15538 507 0 0 23 0 1 0 1846467625 10321920 1214 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20225/statm): 2520 1214 413 48 0 2472 0
[pid=20225] vsize: 10080
Current children cumulated CPU time (s) 160.46
Current children cumulated vsize (Kb) 12208
[startup+180.019 s]
Raw data (loadavg): 0.99 0.95 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1306 0 0 0 16463 531 0 0 25 0 1 0 1846467625 10321920 1216 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20225/statm): 2520 1216 413 48 0 2472 0
[pid=20225] vsize: 10080
Current children cumulated CPU time (s) 169.95
Current children cumulated vsize (Kb) 12208
[startup+190.02 s]
Raw data (loadavg): 0.99 0.95 0.95 2/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1310 0 0 0 17383 558 0 0 25 0 1 0 1846467625 10321920 1220 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2520 1220 413 48 0 2472 0
[pid=20225] vsize: 10080
Current children cumulated CPU time (s) 179.42
Current children cumulated vsize (Kb) 12208
[startup+200.021 s]
Raw data (loadavg): 0.99 0.95 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1311 0 0 0 18311 582 0 0 25 0 1 0 1846467625 10321920 1221 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2520 1221 413 48 0 2472 0
[pid=20225] vsize: 10080
Current children cumulated CPU time (s) 188.94
Current children cumulated vsize (Kb) 12208
[startup+210.022 s]
Raw data (loadavg): 0.99 0.95 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1313 0 0 0 19249 603 0 0 25 0 1 0 1846467625 10321920 1223 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2520 1223 413 48 0 2472 0
[pid=20225] vsize: 10080
Current children cumulated CPU time (s) 198.53
Current children cumulated vsize (Kb) 12208
[startup+220.023 s]
Raw data (loadavg): 0.99 0.95 0.95 2/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) R 20222 20222 2660 0 -1 0 1315 0 0 0 20171 631 0 0 25 0 1 0 1846467625 10321920 1225 4294967295 134512640 134702520 3221223952 3221222848 134550691 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/20225/statm): 2520 1225 413 48 0 2472 0
[pid=20225] vsize: 10080
Current children cumulated CPU time (s) 208.03
Current children cumulated vsize (Kb) 12208
[startup+230.023 s]
Raw data (loadavg): 1.07 0.97 0.95 2/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) R 20222 20222 2660 0 -1 0 1317 0 0 0 21086 664 0 0 25 0 1 0 1846467625 10321920 1227 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/20225/statm): 2520 1227 413 48 0 2472 0
[pid=20225] vsize: 10080
Current children cumulated CPU time (s) 217.51
Current children cumulated vsize (Kb) 12208
[startup+240.025 s]
Raw data (loadavg): 1.06 0.97 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1320 0 0 0 22005 690 0 0 25 0 1 0 1846467625 10321920 1230 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2520 1230 413 48 0 2472 0
[pid=20225] vsize: 10080
Current children cumulated CPU time (s) 226.96
Current children cumulated vsize (Kb) 12208
[startup+250.026 s]
Raw data (loadavg): 1.05 0.97 0.95 2/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) R 20222 20222 2660 0 -1 0 1321 0 0 0 22937 715 0 0 25 0 1 0 1846467625 10321920 1231 4294967295 134512640 134702520 3221223952 3221102908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2520 1231 413 48 0 2472 0
[pid=20225] vsize: 10080
Current children cumulated CPU time (s) 236.53
Current children cumulated vsize (Kb) 12208
[startup+260.028 s]
Raw data (loadavg): 1.04 0.97 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1322 0 0 0 23858 744 0 0 25 0 1 0 1846467625 10321920 1232 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2520 1232 413 48 0 2472 0
[pid=20225] vsize: 10080
Current children cumulated CPU time (s) 246.03
Current children cumulated vsize (Kb) 12208
[startup+270.028 s]
Raw data (loadavg): 1.03 0.97 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1324 0 0 0 24792 770 0 0 25 0 1 0 1846467625 10477568 1234 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2558 1234 413 48 0 2510 0
[pid=20225] vsize: 10232
Current children cumulated CPU time (s) 255.63
Current children cumulated vsize (Kb) 12360
[startup+280.029 s]
Raw data (loadavg): 1.03 0.97 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1325 0 0 0 25711 798 0 0 25 0 1 0 1846467625 10428416 1235 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2546 1235 413 48 0 2498 0
[pid=20225] vsize: 10184
Current children cumulated CPU time (s) 265.1
Current children cumulated vsize (Kb) 12312
[startup+290.03 s]
Raw data (loadavg): 1.02 0.97 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1326 0 0 0 26634 824 0 0 25 0 1 0 1846467625 10428416 1236 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2546 1236 413 48 0 2498 0
[pid=20225] vsize: 10184
Current children cumulated CPU time (s) 274.59
Current children cumulated vsize (Kb) 12312
[startup+300.03 s]
Raw data (loadavg): 1.02 0.97 0.95 2/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) R 20222 20222 2660 0 -1 0 1329 0 0 0 27552 851 0 0 25 0 1 0 1846467625 10428416 1239 4294967295 134512640 134702520 3221223952 3221197168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/20225/statm): 2546 1239 413 48 0 2498 0
[pid=20225] vsize: 10184
Current children cumulated CPU time (s) 284.04
Current children cumulated vsize (Kb) 12312
[startup+310.032 s]
Raw data (loadavg): 1.02 0.97 0.95 2/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) R 20222 20222 2660 0 -1 0 1331 0 0 0 28478 874 0 0 23 0 1 0 1846467625 10428416 1241 4294967295 134512640 134702520 3221223952 3221223232 134554260 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/20225/statm): 2546 1241 413 48 0 2498 0
[pid=20225] vsize: 10184
Current children cumulated CPU time (s) 293.53
Current children cumulated vsize (Kb) 12312
[startup+320.033 s]
Raw data (loadavg): 1.01 0.97 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1334 0 0 0 29423 893 0 0 25 0 1 0 1846467625 10428416 1244 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2546 1244 413 48 0 2498 0
[pid=20225] vsize: 10184
Current children cumulated CPU time (s) 303.17
Current children cumulated vsize (Kb) 12312
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=20225) exited with status: 2
New process pid=20226
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=20226) exited with status: 0
New process pid=20227
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+330.034 s]
Raw data (loadavg): 1.01 0.97 0.95 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 523 0 0 0 45 2 0 0 24 0 1 0 1846500575 4468736 494 4294967295 134512640 134702520 3221223712 3221222924 1073964203 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/20227/statm): 1091 494 413 48 0 1043 0
[pid=20227] vsize: 4364
Current children cumulated CPU time (s) 312.62
Current children cumulated vsize (Kb) 6492
[startup+340.034 s]
Raw data (loadavg): 1.01 0.97 0.95 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 805 0 0 0 983 25 0 0 25 0 1 0 1846500575 5042176 775 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 1231 775 413 48 0 1183 0
[pid=20227] vsize: 4924
Current children cumulated CPU time (s) 322.23
Current children cumulated vsize (Kb) 7052
[startup+350.035 s]
Raw data (loadavg): 1.01 0.97 0.95 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 888 0 0 0 1898 55 0 0 19 0 1 0 1846500575 8728576 858 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2131 858 413 48 0 2083 0
[pid=20227] vsize: 8524
Current children cumulated CPU time (s) 331.68
Current children cumulated vsize (Kb) 10652
[startup+360.036 s]
Raw data (loadavg): 1.00 0.97 0.95 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 956 0 0 0 2821 84 0 0 25 0 1 0 1846500575 8880128 926 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2168 926 413 48 0 2120 0
[pid=20227] vsize: 8672
Current children cumulated CPU time (s) 341.2
Current children cumulated vsize (Kb) 10800
[startup+370.038 s]
Raw data (loadavg): 1.00 0.97 0.95 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1001 0 0 0 3749 108 0 0 25 0 1 0 1846500575 8880128 971 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2168 971 413 48 0 2120 0
[pid=20227] vsize: 8672
Current children cumulated CPU time (s) 350.72
Current children cumulated vsize (Kb) 10800
[startup+380.038 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1049 0 0 0 4669 135 0 0 25 0 1 0 1846500575 8880128 1019 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2168 1019 413 48 0 2120 0
[pid=20227] vsize: 8672
Current children cumulated CPU time (s) 360.19
Current children cumulated vsize (Kb) 10800
[startup+390.039 s]
Raw data (loadavg): 1.00 0.97 0.95 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1053 0 0 0 5605 159 0 0 25 0 1 0 1846500575 9035776 1023 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2206 1023 413 48 0 2158 0
[pid=20227] vsize: 8824
Current children cumulated CPU time (s) 369.79
Current children cumulated vsize (Kb) 10952
[startup+400.04 s]
Raw data (loadavg): 1.00 0.97 0.95 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1054 0 0 0 6523 188 0 0 25 0 1 0 1846500575 8986624 1024 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2194 1024 413 48 0 2146 0
[pid=20227] vsize: 8776
Current children cumulated CPU time (s) 379.26
Current children cumulated vsize (Kb) 10904
[startup+410.042 s]
Raw data (loadavg): 1.00 0.97 0.95 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1064 0 0 0 7444 214 0 0 19 0 1 0 1846500575 8990720 1034 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2195 1034 413 48 0 2147 0
[pid=20227] vsize: 8780
Current children cumulated CPU time (s) 388.73
Current children cumulated vsize (Kb) 10908
[startup+420.042 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 1068 0 0 0 8367 238 0 0 25 0 1 0 1846500575 8990720 1038 4294967295 134512640 134702520 3221223712 3221204272 134611991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2195 1038 413 48 0 2147 0
[pid=20227] vsize: 8780
Current children cumulated CPU time (s) 398.2
Current children cumulated vsize (Kb) 10908
[startup+430.043 s]
Raw data (loadavg): 1.00 0.97 0.95 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1096 0 0 0 9291 263 0 0 25 0 1 0 1846500575 8990720 1066 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2195 1066 413 48 0 2147 0
[pid=20227] vsize: 8780
Current children cumulated CPU time (s) 407.69
Current children cumulated vsize (Kb) 10908
[startup+440.044 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1130 0 0 0 10224 287 0 0 25 0 1 0 1846500575 9138176 1100 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2231 1100 413 48 0 2183 0
[pid=20227] vsize: 8924
Current children cumulated CPU time (s) 417.26
Current children cumulated vsize (Kb) 11052
[startup+450.044 s]
Raw data (loadavg): 1.08 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1130 0 0 0 11155 310 0 0 25 0 1 0 1846500575 9138176 1100 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2231 1100 413 48 0 2183 0
[pid=20227] vsize: 8924
Current children cumulated CPU time (s) 426.8
Current children cumulated vsize (Kb) 11052
[startup+460.046 s]
Raw data (loadavg): 1.07 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1133 0 0 0 12071 340 0 0 25 0 1 0 1846500575 9089024 1103 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2219 1103 413 48 0 2171 0
[pid=20227] vsize: 8876
Current children cumulated CPU time (s) 436.26
Current children cumulated vsize (Kb) 11004
[startup+470.047 s]
Raw data (loadavg): 1.06 0.99 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 1138 0 0 0 12999 366 0 0 20 0 1 0 1846500575 9089024 1108 4294967295 134512640 134702520 3221223712 3221222992 134552544 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/20227/statm): 2219 1108 413 48 0 2171 0
[pid=20227] vsize: 8876
Current children cumulated CPU time (s) 445.8
Current children cumulated vsize (Kb) 11004
[startup+480.048 s]
Raw data (loadavg): 1.05 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1140 0 0 0 13922 394 0 0 25 0 1 0 1846500575 9089024 1110 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2219 1110 413 48 0 2171 0
[pid=20227] vsize: 8876
Current children cumulated CPU time (s) 455.31
Current children cumulated vsize (Kb) 11004
[startup+490.049 s]
Raw data (loadavg): 1.04 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1258 0 0 0 14855 417 0 0 25 0 1 0 1846500575 9089024 1228 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2219 1228 413 48 0 2171 0
[pid=20227] vsize: 8876
Current children cumulated CPU time (s) 464.87
Current children cumulated vsize (Kb) 11004
[startup+500.05 s]
Raw data (loadavg): 1.03 0.99 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1261 0 0 0 15781 443 0 0 25 0 1 0 1846500575 9089024 1231 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2219 1231 413 48 0 2171 0
[pid=20227] vsize: 8876
Current children cumulated CPU time (s) 474.39
Current children cumulated vsize (Kb) 11004
[startup+510.051 s]
Raw data (loadavg): 1.03 0.99 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1265 0 0 0 16698 474 0 0 19 0 1 0 1846500575 9089024 1235 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2219 1235 413 48 0 2171 0
[pid=20227] vsize: 8876
Current children cumulated CPU time (s) 483.87
Current children cumulated vsize (Kb) 11004
[startup+520.052 s]
Raw data (loadavg): 1.02 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1319 0 0 0 17622 500 0 0 25 0 1 0 1846500575 9203712 1289 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2247 1289 413 48 0 2199 0
[pid=20227] vsize: 8988
Current children cumulated CPU time (s) 493.37
Current children cumulated vsize (Kb) 11116
[startup+530.052 s]
Raw data (loadavg): 1.02 0.99 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 1322 0 0 0 18538 526 0 0 25 0 1 0 1846500575 9203712 1292 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2247 1292 413 48 0 2199 0
[pid=20227] vsize: 8988
Current children cumulated CPU time (s) 502.79
Current children cumulated vsize (Kb) 11116
[startup+540.053 s]
Raw data (loadavg): 1.02 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1325 0 0 0 19464 554 0 0 25 0 1 0 1846500575 9203712 1295 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2247 1295 413 48 0 2199 0
[pid=20227] vsize: 8988
Current children cumulated CPU time (s) 512.33
Current children cumulated vsize (Kb) 11116
[startup+550.054 s]
Raw data (loadavg): 1.01 0.99 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1334 0 0 0 20397 577 0 0 25 0 1 0 1846500575 9203712 1304 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2247 1304 413 48 0 2199 0
[pid=20227] vsize: 8988
Current children cumulated CPU time (s) 521.89
Current children cumulated vsize (Kb) 11116
[startup+560.054 s]
Raw data (loadavg): 1.01 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1334 0 0 0 21325 605 0 0 25 0 1 0 1846500575 9203712 1304 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2247 1304 413 48 0 2199 0
[pid=20227] vsize: 8988
Current children cumulated CPU time (s) 531.45
Current children cumulated vsize (Kb) 11116
[startup+570.056 s]
Raw data (loadavg): 1.01 0.99 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 1336 0 0 0 22239 636 0 0 25 0 1 0 1846500575 9203712 1306 4294967295 134512640 134702520 3221223712 3221222992 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2247 1306 413 48 0 2199 0
[pid=20227] vsize: 8988
Current children cumulated CPU time (s) 540.9
Current children cumulated vsize (Kb) 11116
[startup+580.057 s]
Raw data (loadavg): 1.01 0.99 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1339 0 0 0 23164 660 0 0 25 0 1 0 1846500575 9203712 1309 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2247 1309 413 48 0 2199 0
[pid=20227] vsize: 8988
Current children cumulated CPU time (s) 550.39
Current children cumulated vsize (Kb) 11116
[startup+590.058 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1342 0 0 0 24090 685 0 0 25 0 1 0 1846500575 9203712 1312 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2247 1312 413 48 0 2199 0
[pid=20227] vsize: 8988
Current children cumulated CPU time (s) 559.9
Current children cumulated vsize (Kb) 11116
[startup+600.058 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1346 0 0 0 25012 713 0 0 25 0 1 0 1846500575 9203712 1316 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2247 1316 413 48 0 2199 0
[pid=20227] vsize: 8988
Current children cumulated CPU time (s) 569.4
Current children cumulated vsize (Kb) 11116
[startup+610.06 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1349 0 0 0 25946 733 0 0 25 0 1 0 1846500575 9359360 1319 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2285 1319 413 48 0 2237 0
[pid=20227] vsize: 9140
Current children cumulated CPU time (s) 578.94
Current children cumulated vsize (Kb) 11268
[startup+620.061 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1350 0 0 0 26873 761 0 0 25 0 1 0 1846500575 9310208 1320 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2273 1320 413 48 0 2225 0
[pid=20227] vsize: 9092
Current children cumulated CPU time (s) 588.49
Current children cumulated vsize (Kb) 11220
[startup+630.062 s]
Raw data (loadavg): 1.00 0.99 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1355 0 0 0 27790 789 0 0 25 0 1 0 1846500575 9310208 1325 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2273 1325 413 48 0 2225 0
[pid=20227] vsize: 9092
Current children cumulated CPU time (s) 597.94
Current children cumulated vsize (Kb) 11220
[startup+640.063 s]
Raw data (loadavg): 1.00 0.99 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1396 0 0 0 28716 816 0 0 25 0 1 0 1846500575 9310208 1366 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2273 1366 413 48 0 2225 0
[pid=20227] vsize: 9092
Current children cumulated CPU time (s) 607.47
Current children cumulated vsize (Kb) 11220
[startup+650.064 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1680 0 0 0 29647 839 0 0 25 0 1 0 1846500575 9445376 1650 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2306 1650 413 48 0 2258 0
[pid=20227] vsize: 9224
Current children cumulated CPU time (s) 617.01
Current children cumulated vsize (Kb) 11352
[startup+660.066 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2041 0 0 0 30583 863 0 0 25 0 1 0 1846500575 10063872 2011 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2457 2011 413 48 0 2409 0
[pid=20227] vsize: 9828
Current children cumulated CPU time (s) 626.61
Current children cumulated vsize (Kb) 11956
[startup+670.067 s]
Raw data (loadavg): 1.00 0.99 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2081 0 0 0 31526 882 0 0 25 0 1 0 1846500575 10199040 2051 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2490 2051 413 48 0 2442 0
[pid=20227] vsize: 9960
Current children cumulated CPU time (s) 636.23
Current children cumulated vsize (Kb) 12088
[startup+680.067 s]
Raw data (loadavg): 1.00 0.99 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 2097 0 0 0 32461 904 0 0 25 0 1 0 1846500575 10199040 2067 4294967295 134512640 134702520 3221223712 3221222992 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2490 2067 413 48 0 2442 0
[pid=20227] vsize: 9960
Current children cumulated CPU time (s) 645.8
Current children cumulated vsize (Kb) 12088
[startup+690.068 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2109 0 0 0 33397 926 0 0 25 0 1 0 1846500575 10199040 2079 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2490 2079 413 48 0 2442 0
[pid=20227] vsize: 9960
Current children cumulated CPU time (s) 655.38
Current children cumulated vsize (Kb) 12088
[startup+700.069 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2110 0 0 0 34325 951 0 0 25 0 1 0 1846500575 10199040 2080 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2490 2080 413 48 0 2442 0
[pid=20227] vsize: 9960
Current children cumulated CPU time (s) 664.91
Current children cumulated vsize (Kb) 12088
[startup+710.068 s]
Raw data (loadavg): 1.00 0.99 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 2112 0 0 0 35255 976 0 0 20 0 1 0 1846500575 10199040 2082 4294967295 134512640 134702520 3221223712 3221222736 134550645 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/20227/statm): 2490 2082 413 48 0 2442 0
[pid=20227] vsize: 9960
Current children cumulated CPU time (s) 674.46
Current children cumulated vsize (Kb) 12088
[startup+720.069 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2117 0 0 0 36187 1000 0 0 25 0 1 0 1846500575 10199040 2087 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2490 2087 413 48 0 2442 0
[pid=20227] vsize: 9960
Current children cumulated CPU time (s) 684.02
Current children cumulated vsize (Kb) 12088
[startup+730.07 s]
Raw data (loadavg): 1.00 0.99 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2121 0 0 0 37123 1022 0 0 25 0 1 0 1846500575 10199040 2091 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2490 2091 413 48 0 2442 0
[pid=20227] vsize: 9960
Current children cumulated CPU time (s) 693.6
Current children cumulated vsize (Kb) 12088
[startup+740.071 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2126 0 0 0 38060 1044 0 0 25 0 1 0 1846500575 10199040 2096 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2490 2096 413 48 0 2442 0
[pid=20227] vsize: 9960
Current children cumulated CPU time (s) 703.19
Current children cumulated vsize (Kb) 12088
[startup+750.071 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2131 0 0 0 38995 1069 0 0 25 0 1 0 1846500575 10313728 2101 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20227/statm): 2518 2101 413 48 0 2470 0
[pid=20227] vsize: 10072
Current children cumulated CPU time (s) 712.79
Current children cumulated vsize (Kb) 12200
[startup+760.072 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2134 0 0 0 39936 1091 0 0 25 0 1 0 1846500575 10313728 2104 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2518 2104 413 48 0 2470 0
[pid=20227] vsize: 10072
Current children cumulated CPU time (s) 722.42
Current children cumulated vsize (Kb) 12200
[startup+770.073 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2136 0 0 0 40864 1116 0 0 25 0 1 0 1846500575 10313728 2106 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2518 2106 413 48 0 2470 0
[pid=20227] vsize: 10072
Current children cumulated CPU time (s) 731.95
Current children cumulated vsize (Kb) 12200
[startup+780.073 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2138 0 0 0 41787 1143 0 0 25 0 1 0 1846500575 10313728 2108 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2518 2108 413 48 0 2470 0
[pid=20227] vsize: 10072
Current children cumulated CPU time (s) 741.45
Current children cumulated vsize (Kb) 12200
[startup+790.075 s]
Raw data (loadavg): 1.00 0.99 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2141 0 0 0 42724 1165 0 0 25 0 1 0 1846500575 10313728 2111 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2518 2111 413 48 0 2470 0
[pid=20227] vsize: 10072
Current children cumulated CPU time (s) 751.04
Current children cumulated vsize (Kb) 12200
[startup+800.076 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2144 0 0 0 43656 1188 0 0 25 0 1 0 1846500575 10313728 2114 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2518 2114 413 48 0 2470 0
[pid=20227] vsize: 10072
Current children cumulated CPU time (s) 760.59
Current children cumulated vsize (Kb) 12200
[startup+810.077 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2146 0 0 0 44589 1213 0 0 25 0 1 0 1846500575 10313728 2116 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2518 2116 413 48 0 2470 0
[pid=20227] vsize: 10072
Current children cumulated CPU time (s) 770.17
Current children cumulated vsize (Kb) 12200
[startup+820.077 s]
Raw data (loadavg): 1.00 0.99 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 2150 0 0 0 45528 1233 0 0 25 0 1 0 1846500575 10313728 2120 4294967295 134512640 134702520 3221223712 3221222736 134557457 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/20227/statm): 2518 2120 413 48 0 2470 0
[pid=20227] vsize: 10072
Current children cumulated CPU time (s) 779.76
Current children cumulated vsize (Kb) 12200
[startup+830.078 s]
Raw data (loadavg): 1.00 0.99 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 2152 0 0 0 46463 1257 0 0 25 0 1 0 1846500575 10313728 2122 4294967295 134512640 134702520 3221223712 3221222736 134553168 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/20227/statm): 2518 2122 413 48 0 2470 0
[pid=20227] vsize: 10072
Current children cumulated CPU time (s) 789.35
Current children cumulated vsize (Kb) 12200
[startup+840.08 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2155 0 0 0 47397 1282 0 0 25 0 1 0 1846500575 10448896 2125 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2551 2125 413 48 0 2503 0
[pid=20227] vsize: 10204
Current children cumulated CPU time (s) 798.94
Current children cumulated vsize (Kb) 12332
[startup+850.081 s]
Raw data (loadavg): 1.07 1.00 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 2155 0 0 0 48325 1308 0 0 25 0 1 0 1846500575 10399744 2125 4294967295 134512640 134702520 3221223712 3221223296 134558601 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/20227/statm): 2539 2125 413 48 0 2491 0
[pid=20227] vsize: 10156
Current children cumulated CPU time (s) 808.48
Current children cumulated vsize (Kb) 12284
[startup+860.08 s]
Raw data (loadavg): 1.06 1.00 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2155 0 0 0 49254 1333 0 0 25 0 1 0 1846500575 10399744 2125 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2539 2125 413 48 0 2491 0
[pid=20227] vsize: 10156
Current children cumulated CPU time (s) 818.02
Current children cumulated vsize (Kb) 12284
[startup+870.082 s]
Raw data (loadavg): 1.05 1.00 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2158 0 0 0 50182 1360 0 0 25 0 1 0 1846500575 10399744 2128 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20227/statm): 2539 2128 413 48 0 2491 0
[pid=20227] vsize: 10156
Current children cumulated CPU time (s) 827.57
Current children cumulated vsize (Kb) 12284
[startup+880.083 s]
Raw data (loadavg): 1.04 1.00 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2160 0 0 0 51111 1386 0 0 25 0 1 0 1846500575 10399744 2130 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2539 2130 413 48 0 2491 0
[pid=20227] vsize: 10156
Current children cumulated CPU time (s) 837.12
Current children cumulated vsize (Kb) 12284
[startup+890.084 s]
Raw data (loadavg): 1.04 1.00 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 2161 0 0 0 52040 1411 0 0 25 0 1 0 1846500575 10399744 2131 4294967295 134512640 134702520 3221223712 3221222964 134548990 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/20227/statm): 2539 2131 413 48 0 2491 0
[pid=20227] vsize: 10156
Current children cumulated CPU time (s) 846.66
Current children cumulated vsize (Kb) 12284
[startup+900.084 s]
Raw data (loadavg): 1.03 1.00 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2161 0 0 0 52966 1437 0 0 25 0 1 0 1846500575 10399744 2131 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2539 2131 413 48 0 2491 0
[pid=20227] vsize: 10156
Current children cumulated CPU time (s) 856.18
Current children cumulated vsize (Kb) 12284
[startup+910.085 s]
Raw data (loadavg): 1.02 1.00 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 2164 0 0 0 53897 1461 0 0 25 0 1 0 1846500575 10399744 2134 4294967295 134512640 134702520 3221223712 3221222608 134552340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/20227/statm): 2539 2134 413 48 0 2491 0
[pid=20227] vsize: 10156
Current children cumulated CPU time (s) 865.73
Current children cumulated vsize (Kb) 12284
[startup+920.086 s]
Raw data (loadavg): 1.02 1.00 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2164 0 0 0 54829 1485 0 0 20 0 1 0 1846500575 10399744 2134 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2539 2134 413 48 0 2491 0
[pid=20227] vsize: 10156
Current children cumulated CPU time (s) 875.29
Current children cumulated vsize (Kb) 12284
[startup+930.085 s]
Raw data (loadavg): 1.02 1.00 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 2164 0 0 0 55736 1520 0 0 25 0 1 0 1846500575 10399744 2134 4294967295 134512640 134702520 3221223712 3221222992 134552232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2539 2134 413 48 0 2491 0
[pid=20227] vsize: 10156
Current children cumulated CPU time (s) 884.71
Current children cumulated vsize (Kb) 12284
[startup+940.087 s]
Raw data (loadavg): 1.01 1.00 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2164 0 0 0 56658 1546 0 0 25 0 1 0 1846500575 10399744 2134 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2539 2134 413 48 0 2491 0
[pid=20227] vsize: 10156
Current children cumulated CPU time (s) 894.19
Current children cumulated vsize (Kb) 12284
[startup+950.088 s]
Raw data (loadavg): 1.01 1.00 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 2166 0 0 0 57574 1575 0 0 19 0 1 0 1846500575 10399744 2136 4294967295 134512640 134702520 3221223712 3221208448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/20227/statm): 2539 2136 413 48 0 2491 0
[pid=20227] vsize: 10156
Current children cumulated CPU time (s) 903.64
Current children cumulated vsize (Kb) 12284
[startup+960.088 s]
Raw data (loadavg): 1.01 1.00 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2167 0 0 0 58498 1602 0 0 25 0 1 0 1846500575 10399744 2137 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20227/statm): 2539 2137 413 48 0 2491 0
[pid=20227] vsize: 10156
Current children cumulated CPU time (s) 913.15
Current children cumulated vsize (Kb) 12284
[startup+970.089 s]
Raw data (loadavg): 1.01 1.00 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2169 0 0 0 59426 1627 0 0 25 0 1 0 1846500575 10399744 2139 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2539 2139 413 48 0 2491 0
[pid=20227] vsize: 10156
Current children cumulated CPU time (s) 922.68
Current children cumulated vsize (Kb) 12284
[startup+980.09 s]
Raw data (loadavg): 1.01 1.00 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 2172 0 0 0 60352 1653 0 0 25 0 1 0 1846500575 10399744 2142 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2539 2142 413 48 0 2491 0
[pid=20227] vsize: 10156
Current children cumulated CPU time (s) 932.2
Current children cumulated vsize (Kb) 12284
[startup+990.091 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 2175 0 0 0 61274 1680 0 0 25 0 1 0 1846500575 10399744 2145 4294967295 134512640 134702520 3221223712 3221151468 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2539 2145 413 48 0 2491 0
[pid=20227] vsize: 10156
Current children cumulated CPU time (s) 941.69
Current children cumulated vsize (Kb) 12284
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2176 0 0 0 62190 1706 0 0 25 0 1 0 1846500575 10399744 2146 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2539 2146 413 48 0 2491 0
[pid=20227] vsize: 10156
Current children cumulated CPU time (s) 951.11
Current children cumulated vsize (Kb) 12284
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 2176 0 0 0 63112 1732 0 0 25 0 1 0 1846500575 10399744 2146 4294967295 134512640 134702520 3221223712 3221223008 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2539 2146 413 48 0 2491 0
[pid=20227] vsize: 10156
Current children cumulated CPU time (s) 960.59
Current children cumulated vsize (Kb) 12284
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2178 0 0 0 64038 1757 0 0 25 0 1 0 1846500575 10399744 2148 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2539 2148 413 48 0 2491 0
[pid=20227] vsize: 10156
Current children cumulated CPU time (s) 970.1
Current children cumulated vsize (Kb) 12284
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2181 0 0 0 64966 1783 0 0 25 0 1 0 1846500575 10543104 2151 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2574 2151 413 48 0 2526 0
[pid=20227] vsize: 10296
Current children cumulated CPU time (s) 979.64
Current children cumulated vsize (Kb) 12424
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2181 0 0 0 65886 1809 0 0 20 0 1 0 1846500575 10493952 2151 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2562 2151 413 48 0 2514 0
[pid=20227] vsize: 10248
Current children cumulated CPU time (s) 989.1
Current children cumulated vsize (Kb) 12376
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2182 0 0 0 66799 1841 0 0 25 0 1 0 1846500575 10493952 2152 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2562 2152 413 48 0 2514 0
[pid=20227] vsize: 10248
Current children cumulated CPU time (s) 998.55
Current children cumulated vsize (Kb) 12376
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 2183 0 0 0 67706 1876 0 0 25 0 1 0 1846500575 10493952 2153 4294967295 134512640 134702520 3221223712 3221222992 134553426 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/20227/statm): 2562 2153 413 48 0 2514 0
[pid=20227] vsize: 10248
Current children cumulated CPU time (s) 1007.97
Current children cumulated vsize (Kb) 12376
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2185 0 0 0 68620 1906 0 0 25 0 1 0 1846500575 10493952 2155 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2562 2155 413 48 0 2514 0
[pid=20227] vsize: 10248
Current children cumulated CPU time (s) 1017.41
Current children cumulated vsize (Kb) 12376
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2185 0 0 0 69532 1936 0 0 25 0 1 0 1846500575 10493952 2155 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20227/statm): 2562 2155 413 48 0 2514 0
[pid=20227] vsize: 10248
Current children cumulated CPU time (s) 1026.83
Current children cumulated vsize (Kb) 12376
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2186 0 0 0 70463 1960 0 0 25 0 1 0 1846500575 10493952 2156 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2562 2156 413 48 0 2514 0
[pid=20227] vsize: 10248
Current children cumulated CPU time (s) 1036.38
Current children cumulated vsize (Kb) 12376
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2186 0 0 0 71378 1988 0 0 25 0 1 0 1846500575 10493952 2156 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2562 2156 413 48 0 2514 0
[pid=20227] vsize: 10248
Current children cumulated CPU time (s) 1045.81
Current children cumulated vsize (Kb) 12376
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2187 0 0 0 72303 2013 0 0 25 0 1 0 1846500575 10493952 2157 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20227/statm): 2562 2157 413 48 0 2514 0
[pid=20227] vsize: 10248
Current children cumulated CPU time (s) 1055.31
Current children cumulated vsize (Kb) 12376
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2187 0 0 0 73226 2040 0 0 25 0 1 0 1846500575 10493952 2157 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2562 2157 413 48 0 2514 0
[pid=20227] vsize: 10248
Current children cumulated CPU time (s) 1064.81
Current children cumulated vsize (Kb) 12376
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 2189 0 0 0 74161 2061 0 0 25 0 1 0 1846500575 10493952 2159 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2562 2159 413 48 0 2514 0
[pid=20227] vsize: 10248
Current children cumulated CPU time (s) 1074.37
Current children cumulated vsize (Kb) 12376
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2193 0 0 0 75099 2084 0 0 25 0 1 0 1846500575 10493952 2163 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2562 2163 413 48 0 2514 0
[pid=20227] vsize: 10248
Current children cumulated CPU time (s) 1083.98
Current children cumulated vsize (Kb) 12376
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2195 0 0 0 76032 2107 0 0 25 0 1 0 1846500575 10493952 2165 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2562 2165 413 48 0 2514 0
[pid=20227] vsize: 10248
Current children cumulated CPU time (s) 1093.54
Current children cumulated vsize (Kb) 12376
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2197 0 0 0 76959 2133 0 0 25 0 1 0 1846500575 10629120 2167 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2595 2167 413 48 0 2547 0
[pid=20227] vsize: 10380
Current children cumulated CPU time (s) 1103.07
Current children cumulated vsize (Kb) 12508
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 2198 0 0 0 77885 2158 0 0 25 0 1 0 1846500575 10579968 2168 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/20227/statm): 2583 2168 413 48 0 2535 0
[pid=20227] vsize: 10332
Current children cumulated CPU time (s) 1112.58
Current children cumulated vsize (Kb) 12460
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2198 0 0 0 78812 2184 0 0 25 0 1 0 1846500575 10579968 2168 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20227/statm): 2583 2168 413 48 0 2535 0
[pid=20227] vsize: 10332
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (Kb) 12460
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2199 0 0 0 79745 2208 0 0 25 0 1 0 1846500575 10579968 2169 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2583 2169 413 48 0 2535 0
[pid=20227] vsize: 10332
Current children cumulated CPU time (s) 1131.68
Current children cumulated vsize (Kb) 12460
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 2199 0 0 0 80671 2236 0 0 25 0 1 0 1846500575 10579968 2169 4294967295 134512640 134702520 3221223712 3221222992 134553315 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/20227/statm): 2583 2169 413 48 0 2535 0
[pid=20227] vsize: 10332
Current children cumulated CPU time (s) 1141.22
Current children cumulated vsize (Kb) 12460
[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2199 0 0 0 81605 2258 0 0 25 0 1 0 1846500575 10579968 2169 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2583 2169 413 48 0 2535 0
[pid=20227] vsize: 10332
Current children cumulated CPU time (s) 1150.78
Current children cumulated vsize (Kb) 12460
[startup+1220.11 s]
Raw data (loadavg): 1.07 1.02 0.97 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2205 0 0 0 82540 2282 0 0 25 0 1 0 1846500575 10579968 2175 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2583 2175 413 48 0 2535 0
[pid=20227] vsize: 10332
Current children cumulated CPU time (s) 1160.37
Current children cumulated vsize (Kb) 12460
[startup+1230.11 s]
Raw data (loadavg): 1.06 1.02 0.97 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2205 0 0 0 83467 2307 0 0 25 0 1 0 1846500575 10579968 2175 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2583 2175 413 48 0 2535 0
[pid=20227] vsize: 10332
Current children cumulated CPU time (s) 1169.89
Current children cumulated vsize (Kb) 12460
[startup+1240.11 s]
Raw data (loadavg): 1.05 1.01 0.97 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2205 0 0 0 84386 2336 0 0 25 0 1 0 1846500575 10579968 2175 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20227/statm): 2583 2175 413 48 0 2535 0
[pid=20227] vsize: 10332
Current children cumulated CPU time (s) 1179.37
Current children cumulated vsize (Kb) 12460
[startup+1250.11 s]
Raw data (loadavg): 1.04 1.01 0.97 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 2206 0 0 0 85322 2358 0 0 20 0 1 0 1846500575 10579968 2176 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2583 2176 413 48 0 2535 0
[pid=20227] vsize: 10332
Current children cumulated CPU time (s) 1188.95
Current children cumulated vsize (Kb) 12460
[startup+1260.11 s]
Raw data (loadavg): 1.04 1.01 0.97 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2210 0 0 0 86254 2383 0 0 25 0 1 0 1846500575 10579968 2180 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2583 2180 413 48 0 2535 0
[pid=20227] vsize: 10332
Current children cumulated CPU time (s) 1198.52
Current children cumulated vsize (Kb) 12460
[startup+1270.11 s]
Raw data (loadavg): 1.03 1.01 0.97 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2211 0 0 0 87187 2407 0 0 25 0 1 0 1846500575 10579968 2181 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2583 2181 413 48 0 2535 0
[pid=20227] vsize: 10332
Current children cumulated CPU time (s) 1208.09
Current children cumulated vsize (Kb) 12460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1270.11 s]
Raw data (loadavg): 1.03 1.01 0.97 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2211 0 0 0 87187 2407 0 0 25 0 1 0 1846500575 10579968 2181 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2583 2181 413 48 0 2535 0
[pid=20227] vsize: 10332
Current children cumulated CPU time (s) 1208.09
Current children cumulated vsize (Kb) 12460
Sending SIGTERM to -20222
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=20229
New process pid=20230
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/21233/stat
open syscall for file /proc/21233/status
open syscall for file /proc/21233/cmdline
open syscall for file /proc/21233/environ
open syscall for file /proc/20037/stat
open syscall for file /proc/20037/status
open syscall for file /proc/20037/cmdline
open syscall for file /proc/20037/environ
open syscall for file /proc/20064/stat
open syscall for file /proc/20064/status
open syscall for file /proc/20064/cmdline
open syscall for file /proc/20064/environ
open syscall for file /proc/20088/stat
open syscall for file /proc/20088/status
open syscall for file /proc/20088/cmdline
open syscall for file /proc/20088/environ
open syscall for file /proc/4269/stat
open syscall for file /proc/4269/status
open syscall for file /proc/4269/cmdline
open syscall for file /proc/4269/environ
open syscall for file /proc/17737/stat
open syscall for file /proc/17737/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/17737/cmdline
open syscall for file /proc/17737/environ
open syscall for file /proc/17772/stat
open syscall for file /proc/17772/status
open syscall for file /proc/17772/cmdline
open syscall for file /proc/17772/environ
open syscall for file /proc/2660/stat
open syscall for file /proc/2660/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/2660/cmdline
open syscall for file /proc/2660/environ
open syscall for file /proc/2661/stat
open syscall for file /proc/2661/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/2661/cmdline
open syscall for file /proc/2661/environ
open syscall for file /proc/2670/stat
open syscall for file /proc/2670/status
open syscall for file /proc/2670/cmdline
open syscall for file /proc/2670/environ
open syscall for file /proc/20185/stat
open syscall for file /proc/20185/status
open syscall for file /proc/20185/cmdline
open syscall for file /proc/20185/environ
open syscall for file /proc/20221/stat
open syscall for file /proc/20221/status
open syscall for file /proc/20221/cmdline
open syscall for file /proc/20221/environ
open syscall for file /proc/20222/stat
open syscall for file /proc/20222/status
open syscall for file /proc/20222/cmdline
open syscall for file /proc/20222/environ
open syscall for file /proc/20227/stat
open syscall for file /proc/20227/status
open syscall for file /proc/20227/cmdline
open syscall for file /proc/20227/environ
open syscall for file /proc/20229/stat
open syscall for file /proc/20229/status
open syscall for file /proc/20229/cmdline
open syscall for file /proc/20229/environ
open syscall for file /proc/20230/stat
open syscall for file /proc/20230/status
open syscall for file /proc/20230/cmdline
open syscall for file /proc/20230/environ
One traced child (pid=20229) exited with status: 0
One traced child (pid=20230) exited with status: 0
New process pid=20231
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=20227) exited with status: 3
One traced child (pid=20231) exited with status: 0
New process pid=20232
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=20232) exited with status: 0
One traced child (pid=20222) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1270.62
CPU time (s): 1208.55
CPU user time (s): 1175.11
CPU system time (s): 33.4449
CPU usage (%): 95.1157
Max. virtual memory (cumulated for all children) (Kb): 12508