1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 957 (#equs: 0)
#decisions: 9175; #end-nodes: 940;
#proof improvement attempts: 0; #restarts: 10
Current batch, end-nodes: 77 / 82 (82)
#axs: 853, #non-axs: 18
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: 3864260 (44187:>=*);
#decisions: 91; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 853, #non-axs: 18
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: 3864261 (44186:>=*);
#decisions: 99; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 853, #non-axs: 19
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: 3864509 (43938:>=*);
#decisions: 16472; #end-nodes: 2599;
#proof improvement attempts: 0; #restarts: 29
Current batch, end-nodes: 68 / 92 (87)
#axs: 853, #non-axs: 112
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: 3865173 (43274:>=*);
#decisions: 62; #end-nodes: 6;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 853, #non-axs: 112
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: 3865186 (43261:>=*);
#decisions: 66; #end-nodes: 8;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 853, #non-axs: 112
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: 3865198 (43249:>=*);
#decisions: 62; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 853, #non-axs: 112
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: 3865211 (43236:>=*);
#decisions: 72782; #end-nodes: 18528;
#proof improvement attempts: 0; #restarts: 145
Current batch, end-nodes: 85 / 116 (116)
#axs: 853, #non-axs: 333
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: 3865488 (42959:>=*);
#decisions: 8774; #end-nodes: 2302;
#proof improvement attempts: 0; #restarts: 18
Current batch, end-nodes: 80 / 84 (84)
#axs: 853, #non-axs: 413
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: 3866105 (42342:>=*);
#decisions: 77; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 853, #non-axs: 413
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: 3866270 (42177:>=*);
#decisions: 79; #end-nodes: 6;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 853, #non-axs: 413
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: 3866318 (42129:>=*);
#decisions: 82; #end-nodes: 8;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 853, #non-axs: 413
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: 3866401 (42046:>=*);
#decisions: 117658; #end-nodes: 33798;
#proof improvement attempts: 0; #restarts: 227
Current batch, end-nodes: 17 / 147 (136)
#axs: 853, #non-axs: 578
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: 3868197 (40250:>=*);
#decisions: 151944; #end-nodes: 44248;
#proof improvement attempts: 0; #restarts: 288
Current batch, end-nodes: 0 / 153 (151)
#axs: 853, #non-axs: 712
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:) 3868197 (40250:>=*)
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, 51 sec
2:
seed: 0
Nr of vars set: 1079 (#equs: 0)
Nr of vars set: 1079 (#equs: 0)
#decisions: 415720; #end-nodes: 163166;
#proof improvement attempts: 0; #restarts: 618
Current batch, end-nodes: 121 / 274 (274)
#axs: 853, #non-axs: 4173
tight: meta-meta: start: 5, end: 7; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 25, end (keep): 38
result: model found (1)
Model found with constant: 3319685 (39914:>=*);
#decisions: 50; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 120 (120)
#axs: 853, #non-axs: 4173
tight: meta-meta: start: 5, end: 7; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 25, end (keep): 38
Model found with constant: 3319734 (39865:>=*);
#decisions: 58; #end-nodes: 7;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 7 / 120 (120)
#axs: 853, #non-axs: 4173
tight: meta-meta: start: 5, end: 7; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 25, end (keep): 38
Model found with constant: 3320608 (38991:>=*);
#decisions: 48; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 120 (120)
#axs: 853, #non-axs: 4173
tight: meta-meta: start: 5, end: 7; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 25, end (keep): 38
Model found with constant: 3320644 (38955:>=*);
#decisions: 85; #end-nodes: 34;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 34 / 120 (120)
#axs: 853, #non-axs: 4173
tight: meta-meta: start: 5, end: 7; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 25, end (keep): 38
Model found with constant: 3320696 (38903:>=*);
#decisions: 156; #end-nodes: 75;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 75 / 120 (120)
#axs: 853, #non-axs: 4173
tight: meta-meta: start: 5, end: 7; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 25, end (keep): 38
Model found with constant: 3320799 (38800:>=*);
#decisions: 103; #end-nodes: 23;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 23 / 120 (120)
#axs: 853, #non-axs: 4173
tight: meta-meta: start: 5, end: 7; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 25, end (keep): 38
Model found with constant: 3320801 (38798:>=*);
#decisions: 87; #end-nodes: 39;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 39 / 120 (120)
#axs: 853, #non-axs: 4173
tight: meta-meta: start: 5, end: 7; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 25, end (keep): 38
Model found with constant: 3320996 (38603:>=*);
#decisions: 92; #end-nodes: 33;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 33 / 120 (120)
#axs: 853, #non-axs: 4173
tight: meta-meta: start: 5, end: 7; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 25, end (keep): 38
Model found with constant: 3321060 (38539:>=*);
Interupt request received.
#decisions: 535066; #end-nodes: 199896;
#proof improvement attempts: 0; #restarts: 751
Current batch, end-nodes: 235 / 317 (307)
#axs: 853, #non-axs: 4764
tight: meta-meta: start: 3, end: 4; meta: start: 7, end (keep): 12
loose: meta-meta: start: 9, end: 14; meta: start: 20, end (keep): 30
Model found with constant:
(pushed:) 3321060 (38539:>=*)
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: 5259 (#equs: 0)
Time taken: 14 min, 17 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/5756/stat): 5756 (vallstSAT2005PB) R 5755 5756 4059 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20173569 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5756/statm): 174 3 169 147 0 27 0
[pid=5756] 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=5757
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=5757) exited with status: 0
New process pid=5758
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=5758) exited with status: 0
New process pid=5759
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/wulflinc7/normalized-mps-v2-13-7-air05.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0021 s]
Raw data (loadavg): 0.87 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 903 0 0 0 870 42 0 0 24 0 1 0 20173579 5382144 813 4294967295 134512640 134702520 3221223952 3221223088 134552894 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 1314 813 413 48 0 1266 0
[pid=5759] vsize: 5256
Current children cumulated CPU time (s) 9.14
Current children cumulated vsize (Kb) 7384
[startup+20.0037 s]
Raw data (loadavg): 0.89 0.97 0.99 1/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) T 5756 5756 4059 0 -1 0 982 0 0 0 1696 103 0 0 20 0 1 0 20173579 9912320 892 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5759/statm): 2420 892 413 48 0 2372 0
[pid=5759] vsize: 9680
Current children cumulated CPU time (s) 18.01
Current children cumulated vsize (Kb) 11808
[startup+30.0044 s]
Raw data (loadavg): 0.91 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1024 0 0 0 2584 140 0 0 25 0 1 0 20173579 10063872 934 4294967295 134512640 134702520 3221223952 3221223232 134552981 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2457 934 413 48 0 2409 0
[pid=5759] vsize: 9828
Current children cumulated CPU time (s) 27.26
Current children cumulated vsize (Kb) 11956
[startup+40.005 s]
Raw data (loadavg): 0.92 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1035 0 0 0 3503 165 0 0 25 0 1 0 20173579 10072064 945 4294967295 134512640 134702520 3221223952 3221208188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2459 945 413 48 0 2411 0
[pid=5759] vsize: 9836
Current children cumulated CPU time (s) 36.7
Current children cumulated vsize (Kb) 11964
[startup+50.0056 s]
Raw data (loadavg): 0.93 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1126 0 0 0 4429 189 0 0 25 0 1 0 20173579 10072064 1036 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2459 1036 413 48 0 2411 0
[pid=5759] vsize: 9836
Current children cumulated CPU time (s) 46.2
Current children cumulated vsize (Kb) 11964
[startup+60.0053 s]
Raw data (loadavg): 0.94 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1180 0 0 0 5360 210 0 0 25 0 1 0 20173579 10072064 1090 4294967295 134512640 134702520 3221223952 3221222976 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2459 1090 413 48 0 2411 0
[pid=5759] vsize: 9836
Current children cumulated CPU time (s) 55.72
Current children cumulated vsize (Kb) 11964
[startup+70.0069 s]
Raw data (loadavg): 0.95 0.97 0.99 1/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) T 5756 5756 4059 0 -1 0 1182 0 0 0 6280 238 0 0 25 0 1 0 20173579 10227712 1092 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2497 1092 413 48 0 2449 0
[pid=5759] vsize: 9988
Current children cumulated CPU time (s) 65.2
Current children cumulated vsize (Kb) 12116
[startup+80.0075 s]
Raw data (loadavg): 0.96 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1414 0 0 0 7195 267 0 0 25 0 1 0 20173579 10190848 1324 4294967295 134512640 134702520 3221223952 3221222976 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2488 1324 413 48 0 2440 0
[pid=5759] vsize: 9952
Current children cumulated CPU time (s) 74.64
Current children cumulated vsize (Kb) 12080
[startup+90.0082 s]
Raw data (loadavg): 0.96 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1419 0 0 0 8109 299 0 0 25 0 1 0 20173579 10190848 1329 4294967295 134512640 134702520 3221223952 3221223232 134552270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2488 1329 413 48 0 2440 0
[pid=5759] vsize: 9952
Current children cumulated CPU time (s) 84.1
Current children cumulated vsize (Kb) 12080
[startup+100.009 s]
Raw data (loadavg): 0.97 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1424 0 0 0 9043 322 0 0 25 0 1 0 20173579 10190848 1334 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2488 1334 413 48 0 2440 0
[pid=5759] vsize: 9952
Current children cumulated CPU time (s) 93.67
Current children cumulated vsize (Kb) 12080
[startup+110.009 s]
Raw data (loadavg): 0.97 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1432 0 0 0 9970 348 0 0 25 0 1 0 20173579 10190848 1342 4294967295 134512640 134702520 3221223952 3221223280 134617871 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2488 1342 413 48 0 2440 0
[pid=5759] vsize: 9952
Current children cumulated CPU time (s) 103.2
Current children cumulated vsize (Kb) 12080
[startup+120.01 s]
Raw data (loadavg): 0.98 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1437 0 0 0 10904 369 0 0 25 0 1 0 20173579 10317824 1347 4294967295 134512640 134702520 3221223952 3221222976 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2519 1347 413 48 0 2471 0
[pid=5759] vsize: 10076
Current children cumulated CPU time (s) 112.75
Current children cumulated vsize (Kb) 12204
[startup+130.011 s]
Raw data (loadavg): 0.98 0.97 0.99 1/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) T 5756 5756 4059 0 -1 0 1441 0 0 0 11829 394 0 0 25 0 1 0 20173579 10317824 1351 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5759/statm): 2519 1351 413 48 0 2471 0
[pid=5759] vsize: 10076
Current children cumulated CPU time (s) 122.25
Current children cumulated vsize (Kb) 12204
[startup+140.012 s]
Raw data (loadavg): 0.98 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1445 0 0 0 12761 418 0 0 25 0 1 0 20173579 10317824 1355 4294967295 134512640 134702520 3221223952 3221222848 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2519 1355 413 48 0 2471 0
[pid=5759] vsize: 10076
Current children cumulated CPU time (s) 131.81
Current children cumulated vsize (Kb) 12204
[startup+150.013 s]
Raw data (loadavg): 0.98 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1446 0 0 0 13668 448 0 0 25 0 1 0 20173579 10317824 1356 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5759/statm): 2519 1356 413 48 0 2471 0
[pid=5759] vsize: 10076
Current children cumulated CPU time (s) 141.18
Current children cumulated vsize (Kb) 12204
[startup+160.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1447 0 0 0 14594 472 0 0 25 0 1 0 20173579 10317824 1357 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2519 1357 413 48 0 2471 0
[pid=5759] vsize: 10076
Current children cumulated CPU time (s) 150.68
Current children cumulated vsize (Kb) 12204
[startup+170.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1449 0 0 0 15522 496 0 0 25 0 1 0 20173579 10317824 1359 4294967295 134512640 134702520 3221223952 3221223232 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2519 1359 413 48 0 2471 0
[pid=5759] vsize: 10076
Current children cumulated CPU time (s) 160.2
Current children cumulated vsize (Kb) 12204
[startup+180.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1453 0 0 0 16448 519 0 0 25 0 1 0 20173579 10317824 1363 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5759/statm): 2519 1363 413 48 0 2471 0
[pid=5759] vsize: 10076
Current children cumulated CPU time (s) 169.69
Current children cumulated vsize (Kb) 12204
[startup+190.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1461 0 0 0 17390 538 0 0 25 0 1 0 20173579 10461184 1371 4294967295 134512640 134702520 3221223952 3221222848 134553160 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2554 1371 413 48 0 2506 0
[pid=5759] vsize: 10216
Current children cumulated CPU time (s) 179.3
Current children cumulated vsize (Kb) 12344
[startup+200.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1461 0 0 0 18307 569 0 0 25 0 1 0 20173579 10412032 1371 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2542 1371 413 48 0 2494 0
[pid=5759] vsize: 10168
Current children cumulated CPU time (s) 188.78
Current children cumulated vsize (Kb) 12296
[startup+210.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1466 0 0 0 19219 601 0 0 25 0 1 0 20173579 10412032 1376 4294967295 134512640 134702520 3221223952 3221223172 134550224 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2542 1376 413 48 0 2494 0
[pid=5759] vsize: 10168
Current children cumulated CPU time (s) 198.22
Current children cumulated vsize (Kb) 12296
[startup+220.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1468 0 0 0 20151 624 0 0 25 0 1 0 20173579 10412032 1378 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5759/statm): 2542 1378 413 48 0 2494 0
[pid=5759] vsize: 10168
Current children cumulated CPU time (s) 207.77
Current children cumulated vsize (Kb) 12296
[startup+230.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1472 0 0 0 21078 649 0 0 25 0 1 0 20173579 10412032 1382 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2542 1382 413 48 0 2494 0
[pid=5759] vsize: 10168
Current children cumulated CPU time (s) 217.29
Current children cumulated vsize (Kb) 12296
[startup+240.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1473 0 0 0 22015 670 0 0 25 0 1 0 20173579 10412032 1383 4294967295 134512640 134702520 3221223952 3221222976 134552891 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2542 1383 413 48 0 2494 0
[pid=5759] vsize: 10168
Current children cumulated CPU time (s) 226.87
Current children cumulated vsize (Kb) 12296
[startup+250.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1476 0 0 0 22950 694 0 0 25 0 1 0 20173579 10412032 1386 4294967295 134512640 134702520 3221223952 3221222848 134552284 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2542 1386 413 48 0 2494 0
[pid=5759] vsize: 10168
Current children cumulated CPU time (s) 236.46
Current children cumulated vsize (Kb) 12296
[startup+260.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1476 0 0 0 23866 724 0 0 25 0 1 0 20173579 10412032 1386 4294967295 134512640 134702520 3221223952 3221222848 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2542 1386 413 48 0 2494 0
[pid=5759] vsize: 10168
Current children cumulated CPU time (s) 245.92
Current children cumulated vsize (Kb) 12296
[startup+270.022 s]
Raw data (loadavg): 1.07 0.99 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1480 0 0 0 24788 751 0 0 25 0 1 0 20173579 10412032 1390 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2542 1390 413 48 0 2494 0
[pid=5759] vsize: 10168
Current children cumulated CPU time (s) 255.41
Current children cumulated vsize (Kb) 12296
[startup+280.022 s]
Raw data (loadavg): 1.06 0.99 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1482 0 0 0 25711 775 0 0 25 0 1 0 20173579 10412032 1392 4294967295 134512640 134702520 3221223952 3221223232 134552541 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2542 1392 413 48 0 2494 0
[pid=5759] vsize: 10168
Current children cumulated CPU time (s) 264.88
Current children cumulated vsize (Kb) 12296
[startup+290.023 s]
Raw data (loadavg): 1.05 0.99 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) T 5756 5756 4059 0 -1 0 1486 0 0 0 26635 801 0 0 25 0 1 0 20173579 10412032 1396 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5759/statm): 2542 1396 413 48 0 2494 0
[pid=5759] vsize: 10168
Current children cumulated CPU time (s) 274.38
Current children cumulated vsize (Kb) 12296
[startup+300.023 s]
Raw data (loadavg): 1.04 0.99 0.99 1/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) T 5756 5756 4059 0 -1 0 1491 0 0 0 27570 823 0 0 25 0 1 0 20173579 10555392 1401 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5759/statm): 2577 1401 413 48 0 2529 0
[pid=5759] vsize: 10308
Current children cumulated CPU time (s) 283.95
Current children cumulated vsize (Kb) 12436
[startup+310.024 s]
Raw data (loadavg): 1.04 0.99 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1492 0 0 0 28497 847 0 0 25 0 1 0 20173579 10555392 1402 4294967295 134512640 134702520 3221223952 3221222848 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2577 1402 413 48 0 2529 0
[pid=5759] vsize: 10308
Current children cumulated CPU time (s) 293.46
Current children cumulated vsize (Kb) 12436
[startup+320.025 s]
Raw data (loadavg): 1.03 0.99 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1493 0 0 0 29413 877 0 0 25 0 1 0 20173579 10530816 1403 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2571 1403 413 48 0 2523 0
[pid=5759] vsize: 10284
Current children cumulated CPU time (s) 302.92
Current children cumulated vsize (Kb) 12412
[startup+330.025 s]
Raw data (loadavg): 1.03 0.99 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1497 0 0 0 30347 900 0 0 25 0 1 0 20173579 10530816 1407 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2571 1407 413 48 0 2523 0
[pid=5759] vsize: 10284
Current children cumulated CPU time (s) 312.49
Current children cumulated vsize (Kb) 12412
[startup+340.026 s]
Raw data (loadavg): 1.02 0.99 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1499 0 0 0 31268 926 0 0 25 0 1 0 20173579 10530816 1409 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2571 1409 413 48 0 2523 0
[pid=5759] vsize: 10284
Current children cumulated CPU time (s) 321.96
Current children cumulated vsize (Kb) 12412
[startup+350.027 s]
Raw data (loadavg): 1.02 0.99 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1503 0 0 0 32200 948 0 0 25 0 1 0 20173579 10530816 1413 4294967295 134512640 134702520 3221223952 3221223232 134552242 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2571 1413 413 48 0 2523 0
[pid=5759] vsize: 10284
Current children cumulated CPU time (s) 331.5
Current children cumulated vsize (Kb) 12412
[startup+360.027 s]
Raw data (loadavg): 1.01 0.99 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1505 0 0 0 33142 969 0 0 25 0 1 0 20173579 10530816 1415 4294967295 134512640 134702520 3221223952 3221222848 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2571 1415 413 48 0 2523 0
[pid=5759] vsize: 10284
Current children cumulated CPU time (s) 341.13
Current children cumulated vsize (Kb) 12412
[startup+370.028 s]
Raw data (loadavg): 1.01 0.99 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1505 0 0 0 34066 997 0 0 25 0 1 0 20173579 10530816 1415 4294967295 134512640 134702520 3221223952 3221222848 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2571 1415 413 48 0 2523 0
[pid=5759] vsize: 10284
Current children cumulated CPU time (s) 350.65
Current children cumulated vsize (Kb) 12412
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=5759) exited with status: 2
New process pid=5760
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=5760) exited with status: 0
New process pid=5761
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+380.029 s]
Raw data (loadavg): 1.01 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 806 0 0 0 843 18 0 0 25 0 1 0 20210679 5042176 776 4294967295 134512640 134702520 3221223712 3221222848 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 1231 776 413 48 0 1183 0
[pid=5761] vsize: 4924
Current children cumulated CPU time (s) 360.22
Current children cumulated vsize (Kb) 7052
[startup+390.03 s]
Raw data (loadavg): 1.01 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 906 0 0 0 1771 44 0 0 25 0 1 0 20210679 8728576 876 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2131 876 413 48 0 2083 0
[pid=5761] vsize: 8524
Current children cumulated CPU time (s) 369.76
Current children cumulated vsize (Kb) 10652
[startup+400.031 s]
Raw data (loadavg): 1.01 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 1062 0 0 0 2691 73 0 0 25 0 1 0 20210679 8863744 1032 4294967295 134512640 134702520 3221223712 3221222736 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2164 1032 413 48 0 2116 0
[pid=5761] vsize: 8656
Current children cumulated CPU time (s) 379.25
Current children cumulated vsize (Kb) 10784
[startup+410.031 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 1081 0 0 0 3611 101 0 0 25 0 1 0 20210679 8863744 1051 4294967295 134512640 134702520 3221223712 3221176448 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2164 1051 413 48 0 2116 0
[pid=5761] vsize: 8656
Current children cumulated CPU time (s) 388.73
Current children cumulated vsize (Kb) 10784
[startup+420.032 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 1095 0 0 0 4535 125 0 0 25 0 1 0 20210679 8978432 1065 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2192 1065 413 48 0 2144 0
[pid=5761] vsize: 8768
Current children cumulated CPU time (s) 398.21
Current children cumulated vsize (Kb) 10896
[startup+430.033 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 1101 0 0 0 5472 146 0 0 25 0 1 0 20210679 8978432 1071 4294967295 134512640 134702520 3221223712 3221222608 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2192 1071 413 48 0 2144 0
[pid=5761] vsize: 8768
Current children cumulated CPU time (s) 407.79
Current children cumulated vsize (Kb) 10896
[startup+440.033 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 1102 0 0 0 6399 172 0 0 25 0 1 0 20210679 8978432 1072 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2192 1072 413 48 0 2144 0
[pid=5761] vsize: 8768
Current children cumulated CPU time (s) 417.32
Current children cumulated vsize (Kb) 10896
[startup+450.034 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 1112 0 0 0 7325 198 0 0 25 0 1 0 20210679 8978432 1082 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2192 1082 413 48 0 2144 0
[pid=5761] vsize: 8768
Current children cumulated CPU time (s) 426.84
Current children cumulated vsize (Kb) 10896
[startup+460.035 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 1118 0 0 0 8238 227 0 0 25 0 1 0 20210679 8978432 1088 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2192 1088 413 48 0 2144 0
[pid=5761] vsize: 8768
Current children cumulated CPU time (s) 436.26
Current children cumulated vsize (Kb) 10896
[startup+470.035 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 1330 0 0 0 9174 248 0 0 25 0 1 0 20210679 9134080 1300 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2230 1300 413 48 0 2182 0
[pid=5761] vsize: 8920
Current children cumulated CPU time (s) 445.83
Current children cumulated vsize (Kb) 11048
[startup+480.036 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 1343 0 0 0 10105 273 0 0 25 0 1 0 20210679 9134080 1313 4294967295 134512640 134702520 3221223712 3221222608 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2230 1313 413 48 0 2182 0
[pid=5761] vsize: 8920
Current children cumulated CPU time (s) 455.39
Current children cumulated vsize (Kb) 11048
[startup+490.038 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 1343 0 0 0 11039 296 0 0 25 0 1 0 20210679 9134080 1313 4294967295 134512640 134702520 3221223712 3221222608 134552768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2230 1313 413 48 0 2182 0
[pid=5761] vsize: 8920
Current children cumulated CPU time (s) 464.96
Current children cumulated vsize (Kb) 11048
[startup+500.038 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 1344 0 0 0 11953 326 0 0 25 0 1 0 20210679 9134080 1314 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2230 1314 413 48 0 2182 0
[pid=5761] vsize: 8920
Current children cumulated CPU time (s) 474.4
Current children cumulated vsize (Kb) 11048
[startup+510.038 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 1362 0 0 0 12874 355 0 0 25 0 1 0 20210679 9134080 1332 4294967295 134512640 134702520 3221223712 3221222992 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2230 1332 413 48 0 2182 0
[pid=5761] vsize: 8920
Current children cumulated CPU time (s) 483.9
Current children cumulated vsize (Kb) 11048
[startup+520.038 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 1367 0 0 0 13807 379 0 0 25 0 1 0 20210679 9134080 1337 4294967295 134512640 134702520 3221223712 3221222736 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2230 1337 413 48 0 2182 0
[pid=5761] vsize: 8920
Current children cumulated CPU time (s) 493.47
Current children cumulated vsize (Kb) 11048
[startup+530.039 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 1372 0 0 0 14730 407 0 0 25 0 1 0 20210679 9134080 1342 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2230 1342 413 48 0 2182 0
[pid=5761] vsize: 8920
Current children cumulated CPU time (s) 502.98
Current children cumulated vsize (Kb) 11048
[startup+540.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 1377 0 0 0 15669 427 0 0 25 0 1 0 20210679 9281536 1347 4294967295 134512640 134702520 3221223712 3221222608 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2266 1347 413 48 0 2218 0
[pid=5761] vsize: 9064
Current children cumulated CPU time (s) 512.57
Current children cumulated vsize (Kb) 11192
[startup+550.04 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 1377 0 0 0 16595 454 0 0 25 0 1 0 20210679 9232384 1347 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2254 1347 413 48 0 2206 0
[pid=5761] vsize: 9016
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (Kb) 11144
[startup+560.041 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 1381 0 0 0 17514 483 0 0 25 0 1 0 20210679 9232384 1351 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2254 1351 413 48 0 2206 0
[pid=5761] vsize: 9016
Current children cumulated CPU time (s) 531.58
Current children cumulated vsize (Kb) 11144
[startup+570.042 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 1383 0 0 0 18440 508 0 0 25 0 1 0 20210679 9232384 1353 4294967295 134512640 134702520 3221223712 3221222992 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2254 1353 413 48 0 2206 0
[pid=5761] vsize: 9016
Current children cumulated CPU time (s) 541.09
Current children cumulated vsize (Kb) 11144
[startup+580.042 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 1387 0 0 0 19370 537 0 0 25 0 1 0 20210679 9232384 1357 4294967295 134512640 134702520 3221223712 3221155308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2254 1357 413 48 0 2206 0
[pid=5761] vsize: 9016
Current children cumulated CPU time (s) 550.68
Current children cumulated vsize (Kb) 11144
[startup+590.043 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 1887 0 0 0 20305 561 0 0 25 0 1 0 20210679 9367552 1857 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2287 1857 413 48 0 2239 0
[pid=5761] vsize: 9148
Current children cumulated CPU time (s) 560.27
Current children cumulated vsize (Kb) 11276
[startup+600.043 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 1900 0 0 0 21240 585 0 0 25 0 1 0 20210679 9367552 1870 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2287 1870 413 48 0 2239 0
[pid=5761] vsize: 9148
Current children cumulated CPU time (s) 569.86
Current children cumulated vsize (Kb) 11276
[startup+610.044 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 1906 0 0 0 22175 609 0 0 25 0 1 0 20210679 9367552 1876 4294967295 134512640 134702520 3221223712 3221222736 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2287 1876 413 48 0 2239 0
[pid=5761] vsize: 9148
Current children cumulated CPU time (s) 579.45
Current children cumulated vsize (Kb) 11276
[startup+620.045 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 1909 0 0 0 23104 635 0 0 25 0 1 0 20210679 9367552 1879 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2287 1879 413 48 0 2239 0
[pid=5761] vsize: 9148
Current children cumulated CPU time (s) 589
Current children cumulated vsize (Kb) 11276
[startup+630.045 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 1912 0 0 0 24030 661 0 0 25 0 1 0 20210679 9367552 1882 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2287 1882 413 48 0 2239 0
[pid=5761] vsize: 9148
Current children cumulated CPU time (s) 598.52
Current children cumulated vsize (Kb) 11276
[startup+640.046 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 1949 0 0 0 24965 685 0 0 25 0 1 0 20210679 9502720 1919 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2320 1919 413 48 0 2272 0
[pid=5761] vsize: 9280
Current children cumulated CPU time (s) 608.11
Current children cumulated vsize (Kb) 11408
[startup+650.047 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 1983 0 0 0 25899 707 0 0 25 0 1 0 20210679 9502720 1953 4294967295 134512640 134702520 3221223712 3221222992 134553333 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2320 1953 413 48 0 2272 0
[pid=5761] vsize: 9280
Current children cumulated CPU time (s) 617.67
Current children cumulated vsize (Kb) 11408
[startup+660.046 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2021 0 0 0 26837 729 0 0 25 0 1 0 20210679 9502720 1991 4294967295 134512640 134702520 3221223712 3221222992 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2320 1991 413 48 0 2272 0
[pid=5761] vsize: 9280
Current children cumulated CPU time (s) 627.27
Current children cumulated vsize (Kb) 11408
[startup+670.048 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 2051 0 0 0 27769 754 0 0 25 0 1 0 20210679 10133504 2021 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2474 2021 413 48 0 2426 0
[pid=5761] vsize: 9896
Current children cumulated CPU time (s) 636.84
Current children cumulated vsize (Kb) 12024
[startup+680.049 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2061 0 0 0 28704 777 0 0 25 0 1 0 20210679 10133504 2031 4294967295 134512640 134702520 3221223712 3221222608 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2474 2031 413 48 0 2426 0
[pid=5761] vsize: 9896
Current children cumulated CPU time (s) 646.42
Current children cumulated vsize (Kb) 12024
[startup+690.049 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 2061 0 0 0 29631 801 0 0 25 0 1 0 20210679 10133504 2031 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2474 2031 413 48 0 2426 0
[pid=5761] vsize: 9896
Current children cumulated CPU time (s) 655.93
Current children cumulated vsize (Kb) 12024
[startup+700.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2064 0 0 0 30561 825 0 0 25 0 1 0 20210679 10133504 2034 4294967295 134512640 134702520 3221223712 3221223112 134606953 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2474 2034 413 48 0 2426 0
[pid=5761] vsize: 9896
Current children cumulated CPU time (s) 665.47
Current children cumulated vsize (Kb) 12024
[startup+710.049 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2072 0 0 0 31499 847 0 0 25 0 1 0 20210679 10133504 2042 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2474 2042 413 48 0 2426 0
[pid=5761] vsize: 9896
Current children cumulated CPU time (s) 675.07
Current children cumulated vsize (Kb) 12024
[startup+720.05 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 2079 0 0 0 32435 868 0 0 25 0 1 0 20210679 10133504 2049 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2474 2049 413 48 0 2426 0
[pid=5761] vsize: 9896
Current children cumulated CPU time (s) 684.64
Current children cumulated vsize (Kb) 12024
[startup+730.051 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 2094 0 0 0 33376 887 0 0 25 0 1 0 20210679 10268672 2064 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2507 2064 413 48 0 2459 0
[pid=5761] vsize: 10028
Current children cumulated CPU time (s) 694.24
Current children cumulated vsize (Kb) 12156
[startup+740.052 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2098 0 0 0 34316 910 0 0 25 0 1 0 20210679 10268672 2068 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2507 2068 413 48 0 2459 0
[pid=5761] vsize: 10028
Current children cumulated CPU time (s) 703.87
Current children cumulated vsize (Kb) 12156
[startup+750.053 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2101 0 0 0 35253 932 0 0 25 0 1 0 20210679 10268672 2071 4294967295 134512640 134702520 3221223712 3221222608 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2507 2071 413 48 0 2459 0
[pid=5761] vsize: 10028
Current children cumulated CPU time (s) 713.46
Current children cumulated vsize (Kb) 12156
[startup+760.054 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2101 0 0 0 36186 955 0 0 25 0 1 0 20210679 10268672 2071 4294967295 134512640 134702520 3221223712 3221222932 134550184 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2507 2071 413 48 0 2459 0
[pid=5761] vsize: 10028
Current children cumulated CPU time (s) 723.02
Current children cumulated vsize (Kb) 12156
[startup+770.055 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2102 0 0 0 37117 980 0 0 25 0 1 0 20210679 10268672 2072 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2507 2072 413 48 0 2459 0
[pid=5761] vsize: 10028
Current children cumulated CPU time (s) 732.58
Current children cumulated vsize (Kb) 12156
[startup+780.056 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 2107 0 0 0 38059 1002 0 0 25 0 1 0 20210679 10268672 2077 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2507 2077 413 48 0 2459 0
[pid=5761] vsize: 10028
Current children cumulated CPU time (s) 742.22
Current children cumulated vsize (Kb) 12156
[startup+790.058 s]
Raw data (loadavg): 1.07 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2113 0 0 0 38994 1026 0 0 25 0 1 0 20210679 10272768 2083 4294967295 134512640 134702520 3221223712 3221222992 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2508 2083 413 48 0 2460 0
[pid=5761] vsize: 10032
Current children cumulated CPU time (s) 751.81
Current children cumulated vsize (Kb) 12160
[startup+800.058 s]
Raw data (loadavg): 1.06 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 2114 0 0 0 39925 1052 0 0 25 0 1 0 20210679 10272768 2084 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2508 2084 413 48 0 2460 0
[pid=5761] vsize: 10032
Current children cumulated CPU time (s) 761.38
Current children cumulated vsize (Kb) 12160
[startup+810.059 s]
Raw data (loadavg): 1.05 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 2115 0 0 0 40855 1076 0 0 25 0 1 0 20210679 10272768 2085 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2508 2085 413 48 0 2460 0
[pid=5761] vsize: 10032
Current children cumulated CPU time (s) 770.92
Current children cumulated vsize (Kb) 12160
[startup+820.059 s]
Raw data (loadavg): 1.04 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2116 0 0 0 41775 1106 0 0 25 0 1 0 20210679 10272768 2086 4294967295 134512640 134702520 3221223712 3221222992 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2508 2086 413 48 0 2460 0
[pid=5761] vsize: 10032
Current children cumulated CPU time (s) 780.42
Current children cumulated vsize (Kb) 12160
[startup+830.06 s]
Raw data (loadavg): 1.04 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2121 0 0 0 42714 1128 0 0 25 0 1 0 20210679 10412032 2091 4294967295 134512640 134702520 3221223712 3221222608 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2542 2091 413 48 0 2494 0
[pid=5761] vsize: 10168
Current children cumulated CPU time (s) 790.03
Current children cumulated vsize (Kb) 12296
[startup+840.062 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2121 0 0 0 43640 1158 0 0 25 0 1 0 20210679 10362880 2091 4294967295 134512640 134702520 3221223712 3221222992 134553093 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2530 2091 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 799.59
Current children cumulated vsize (Kb) 12248
[startup+850.062 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 2123 0 0 0 44559 1185 0 0 25 0 1 0 20210679 10362880 2093 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2530 2093 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 809.05
Current children cumulated vsize (Kb) 12248
[startup+860.062 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2125 0 0 0 45472 1216 0 0 25 0 1 0 20210679 10362880 2095 4294967295 134512640 134702520 3221223712 3221222992 134553111 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2530 2095 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 818.49
Current children cumulated vsize (Kb) 12248
[startup+870.063 s]
Raw data (loadavg): 1.02 1.00 1.00 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 2126 0 0 0 46394 1240 0 0 21 0 1 0 20210679 10362880 2096 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2530 2096 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 827.95
Current children cumulated vsize (Kb) 12248
[startup+880.063 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2129 0 0 0 47323 1266 0 0 25 0 1 0 20210679 10362880 2099 4294967295 134512640 134702520 3221223712 3221222608 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2530 2099 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 837.5
Current children cumulated vsize (Kb) 12248
[startup+890.064 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2129 0 0 0 48252 1291 0 0 25 0 1 0 20210679 10362880 2099 4294967295 134512640 134702520 3221223712 3221222608 134553458 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2530 2099 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 847.04
Current children cumulated vsize (Kb) 12248
[startup+900.065 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2129 0 0 0 49163 1321 0 0 25 0 1 0 20210679 10362880 2099 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2530 2099 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 856.45
Current children cumulated vsize (Kb) 12248
[startup+910.065 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2129 0 0 0 50079 1351 0 0 25 0 1 0 20210679 10362880 2099 4294967295 134512640 134702520 3221223712 3221223104 134604470 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2530 2099 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 865.91
Current children cumulated vsize (Kb) 12248
[startup+920.066 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 2129 0 0 0 50996 1380 0 0 25 0 1 0 20210679 10362880 2099 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2530 2099 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 875.37
Current children cumulated vsize (Kb) 12248
[startup+930.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2130 0 0 0 51917 1408 0 0 25 0 1 0 20210679 10362880 2100 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2530 2100 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 884.86
Current children cumulated vsize (Kb) 12248
[startup+940.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2130 0 0 0 52849 1431 0 0 25 0 1 0 20210679 10362880 2100 4294967295 134512640 134702520 3221223712 3221222608 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2530 2100 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 894.41
Current children cumulated vsize (Kb) 12248
[startup+950.068 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 2130 0 0 0 53781 1454 0 0 25 0 1 0 20210679 10362880 2100 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2530 2100 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 903.96
Current children cumulated vsize (Kb) 12248
[startup+960.067 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 2130 0 0 0 54689 1485 0 0 25 0 1 0 20210679 10362880 2100 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2530 2100 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 913.35
Current children cumulated vsize (Kb) 12248
[startup+970.068 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 2130 0 0 0 55607 1515 0 0 25 0 1 0 20210679 10362880 2100 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2530 2100 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 922.83
Current children cumulated vsize (Kb) 12248
[startup+980.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2130 0 0 0 56528 1543 0 0 25 0 1 0 20210679 10362880 2100 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2530 2100 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 932.32
Current children cumulated vsize (Kb) 12248
[startup+990.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 2131 0 0 0 57447 1567 0 0 25 0 1 0 20210679 10362880 2101 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2530 2101 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 941.75
Current children cumulated vsize (Kb) 12248
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2136 0 0 0 58383 1590 0 0 25 0 1 0 20210679 10362880 2106 4294967295 134512640 134702520 3221223712 3221222608 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2530 2106 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 951.34
Current children cumulated vsize (Kb) 12248
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2136 0 0 0 59310 1615 0 0 25 0 1 0 20210679 10362880 2106 4294967295 134512640 134702520 3221223712 3221222992 134554270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2530 2106 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 960.86
Current children cumulated vsize (Kb) 12248
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2136 0 0 0 60223 1647 0 0 25 0 1 0 20210679 10362880 2106 4294967295 134512640 134702520 3221223712 3221222992 134553312 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2530 2106 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 970.31
Current children cumulated vsize (Kb) 12248
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2138 0 0 0 61152 1670 0 0 25 0 1 0 20210679 10362880 2108 4294967295 134512640 134702520 3221223712 3221222736 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2530 2108 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 979.83
Current children cumulated vsize (Kb) 12248
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 2138 0 0 0 62082 1694 0 0 25 0 1 0 20210679 10362880 2108 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2530 2108 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 989.37
Current children cumulated vsize (Kb) 12248
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2138 0 0 0 63015 1717 0 0 25 0 1 0 20210679 10362880 2108 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2530 2108 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 998.93
Current children cumulated vsize (Kb) 12248
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2142 0 0 0 63950 1740 0 0 25 0 1 0 20210679 10362880 2112 4294967295 134512640 134702520 3221223712 3221222736 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2530 2112 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 1008.51
Current children cumulated vsize (Kb) 12248
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2145 0 0 0 64885 1763 0 0 25 0 1 0 20210679 10514432 2115 4294967295 134512640 134702520 3221223712 3221222608 134552270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2567 2115 413 48 0 2519 0
[pid=5761] vsize: 10268
Current children cumulated CPU time (s) 1018.09
Current children cumulated vsize (Kb) 12396
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 2145 0 0 0 65812 1787 0 0 25 0 1 0 20210679 10465280 2115 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2555 2115 413 48 0 2507 0
[pid=5761] vsize: 10220
Current children cumulated CPU time (s) 1027.6
Current children cumulated vsize (Kb) 12348
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2145 0 0 0 66747 1807 0 0 25 0 1 0 20210679 10465280 2115 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2555 2115 413 48 0 2507 0
[pid=5761] vsize: 10220
Current children cumulated CPU time (s) 1037.15
Current children cumulated vsize (Kb) 12348
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2147 0 0 0 67679 1829 0 0 25 0 1 0 20210679 10465280 2117 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2555 2117 413 48 0 2507 0
[pid=5761] vsize: 10220
Current children cumulated CPU time (s) 1046.69
Current children cumulated vsize (Kb) 12348
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2150 0 0 0 68611 1854 0 0 25 0 1 0 20210679 10465280 2120 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2555 2120 413 48 0 2507 0
[pid=5761] vsize: 10220
Current children cumulated CPU time (s) 1056.26
Current children cumulated vsize (Kb) 12348
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2152 0 0 0 69546 1876 0 0 25 0 1 0 20210679 10465280 2122 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2555 2122 413 48 0 2507 0
[pid=5761] vsize: 10220
Current children cumulated CPU time (s) 1065.83
Current children cumulated vsize (Kb) 12348
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 2157 0 0 0 70481 1900 0 0 17 0 1 0 20210679 10465280 2127 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2555 2127 413 48 0 2507 0
[pid=5761] vsize: 10220
Current children cumulated CPU time (s) 1075.42
Current children cumulated vsize (Kb) 12348
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2157 0 0 0 71417 1922 0 0 25 0 1 0 20210679 10465280 2127 4294967295 134512640 134702520 3221223712 3221222608 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2555 2127 413 48 0 2507 0
[pid=5761] vsize: 10220
Current children cumulated CPU time (s) 1085
Current children cumulated vsize (Kb) 12348
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 2159 0 0 0 72342 1949 0 0 25 0 1 0 20210679 10465280 2129 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2555 2129 413 48 0 2507 0
[pid=5761] vsize: 10220
Current children cumulated CPU time (s) 1094.52
Current children cumulated vsize (Kb) 12348
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2160 0 0 0 73278 1974 0 0 25 0 1 0 20210679 10465280 2130 4294967295 134512640 134702520 3221223712 3221222736 134557229 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2555 2130 413 48 0 2507 0
[pid=5761] vsize: 10220
Current children cumulated CPU time (s) 1104.13
Current children cumulated vsize (Kb) 12348
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2163 0 0 0 74212 1995 0 0 25 0 1 0 20210679 10465280 2133 4294967295 134512640 134702520 3221223712 3221222736 134551090 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2555 2133 413 48 0 2507 0
[pid=5761] vsize: 10220
Current children cumulated CPU time (s) 1113.68
Current children cumulated vsize (Kb) 12348
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2163 0 0 0 75147 2019 0 0 25 0 1 0 20210679 10465280 2133 4294967295 134512640 134702520 3221223712 3221222992 134551065 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2555 2133 413 48 0 2507 0
[pid=5761] vsize: 10220
Current children cumulated CPU time (s) 1123.27
Current children cumulated vsize (Kb) 12348
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2165 0 0 0 76086 2041 0 0 25 0 1 0 20210679 10465280 2135 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2555 2135 413 48 0 2507 0
[pid=5761] vsize: 10220
Current children cumulated CPU time (s) 1132.88
Current children cumulated vsize (Kb) 12348
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2166 0 0 0 77023 2064 0 0 25 0 1 0 20210679 10465280 2136 4294967295 134512640 134702520 3221223712 3221222736 134552225 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2555 2136 413 48 0 2507 0
[pid=5761] vsize: 10220
Current children cumulated CPU time (s) 1142.48
Current children cumulated vsize (Kb) 12348
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2170 0 0 0 77964 2086 0 0 25 0 1 0 20210679 10616832 2140 4294967295 134512640 134702520 3221223712 3221222608 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2592 2140 413 48 0 2544 0
[pid=5761] vsize: 10368
Current children cumulated CPU time (s) 1152.11
Current children cumulated vsize (Kb) 12496
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2170 0 0 0 78898 2109 0 0 25 0 1 0 20210679 10567680 2140 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2580 2140 413 48 0 2532 0
[pid=5761] vsize: 10320
Current children cumulated CPU time (s) 1161.68
Current children cumulated vsize (Kb) 12448
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 2170 0 0 0 79829 2134 0 0 25 0 1 0 20210679 10567680 2140 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2580 2140 413 48 0 2532 0
[pid=5761] vsize: 10320
Current children cumulated CPU time (s) 1171.24
Current children cumulated vsize (Kb) 12448
[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2174 0 0 0 80763 2157 0 0 25 0 1 0 20210679 10567680 2144 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2580 2144 413 48 0 2532 0
[pid=5761] vsize: 10320
Current children cumulated CPU time (s) 1180.81
Current children cumulated vsize (Kb) 12448
[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2177 0 0 0 81694 2178 0 0 25 0 1 0 20210679 10567680 2147 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2580 2147 413 48 0 2532 0
[pid=5761] vsize: 10320
Current children cumulated CPU time (s) 1190.33
Current children cumulated vsize (Kb) 12448
[startup+1260.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2178 0 0 0 82630 2200 0 0 25 0 1 0 20210679 10567680 2148 4294967295 134512640 134702520 3221223712 3221222992 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2580 2148 413 48 0 2532 0
[pid=5761] vsize: 10320
Current children cumulated CPU time (s) 1199.91
Current children cumulated vsize (Kb) 12448
[startup+1270.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2180 0 0 0 83562 2224 0 0 25 0 1 0 20210679 10567680 2150 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2580 2150 413 48 0 2532 0
[pid=5761] vsize: 10320
Current children cumulated CPU time (s) 1209.47
Current children cumulated vsize (Kb) 12448
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1270.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2180 0 0 0 83562 2224 0 0 25 0 1 0 20210679 10567680 2150 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2580 2150 413 48 0 2532 0
[pid=5761] vsize: 10320
Current children cumulated CPU time (s) 1209.47
Current children cumulated vsize (Kb) 12448
Sending SIGTERM to -5756
Sleeping 2 seconds
New process pid=5763
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5764
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1387/stat
open syscall for file /proc/1387/status
open syscall for file /proc/1387/cmdline
open syscall for file /proc/1387/environ
open syscall for file /proc/1451/stat
open syscall for file /proc/1451/status
open syscall for file /proc/1451/cmdline
open syscall for file /proc/1451/environ
open syscall for file /proc/1479/stat
open syscall for file /proc/1479/status
open syscall for file /proc/1479/cmdline
open syscall for file /proc/1479/environ
open syscall for file /proc/1503/stat
open syscall for file /proc/1503/status
open syscall for file /proc/1503/cmdline
open syscall for file /proc/1503/environ
open syscall for file /proc/1544/stat
open syscall for file /proc/1544/status
open syscall for file /proc/1544/cmdline
open syscall for file /proc/1544/environ
open syscall for file /proc/1568/stat
open syscall for file /proc/1568/status
open syscall for file /proc/1568/cmdline
open syscall for file /proc/1568/environ
open syscall for file /proc/1591/stat
open syscall for file /proc/1591/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1591/cmdline
open syscall for file /proc/1591/environ
open syscall for file /proc/1622/stat
open syscall for file /proc/1622/status
open syscall for file /proc/1622/cmdline
open syscall for file /proc/1622/environ
open syscall for file /proc/1680/stat
open syscall for file /proc/1680/status
open syscall for file /proc/1680/cmdline
open syscall for file /proc/1680/environ
open syscall for file /proc/1685/stat
open syscall for file /proc/1685/status
open syscall for file /proc/1685/cmdline
open syscall for file /proc/1685/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/4042/stat
open syscall for file /proc/4042/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4042/cmdline
open syscall for file /proc/4042/environ
open syscall for file /proc/4067/stat
open syscall for file /proc/4067/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4067/cmdline
open syscall for file /proc/4067/environ
open syscall for file /proc/5717/stat
open syscall for file /proc/5717/status
open syscall for file /proc/5717/cmdline
open syscall for file /proc/5717/environ
open syscall for file /proc/5755/stat
open syscall for file /proc/5755/status
open syscall for file /proc/5755/cmdline
open syscall for file /proc/5755/environ
open syscall for file /proc/5756/stat
open syscall for file /proc/5756/status
open syscall for file /proc/5756/cmdline
open syscall for file /proc/5756/environ
open syscall for file /proc/5761/stat
open syscall for file /proc/5761/status
open syscall for file /proc/5761/cmdline
open syscall for file /proc/5761/environ
open syscall for file /proc/5763/stat
open syscall for file /proc/5763/status
open syscall for file /proc/5763/cmdline
open syscall for file /proc/5763/environ
open syscall for file /proc/5764/stat
open syscall for file /proc/5764/status
open syscall for file /proc/5764/cmdline
open syscall for file /proc/5764/environ
One traced child (pid=5763) exited with status: 0
One traced child (pid=5764) exited with status: 0
New process pid=5765
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=5761) exited with status: 3
One traced child (pid=5765) exited with status: 0
New process pid=5766
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=5766) exited with status: 0
One traced child (pid=5756) 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.58
CPU time (s): 1209.93
CPU user time (s): 1177.53
CPU system time (s): 32.4011
CPU usage (%): 95.2271
Max. virtual memory (cumulated for all children) (Kb): 12496