1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 957 (#equs: 0)
#decisions: 40855; #end-nodes: 7138;
#proof improvement attempts: 0; #restarts: 70
Current batch, end-nodes: 342 / 373 (97)
#axs: 853, #non-axs: 203
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: 3862580 (45867:>=*);
#decisions: 56; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 853, #non-axs: 203
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: 3862593 (45854:>=*);
#decisions: 6091; #end-nodes: 1178;
#proof improvement attempts: 0; #restarts: 13
Current batch, end-nodes: 61 / 83 (83)
#axs: 853, #non-axs: 267
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: 3864632 (43815:>=*);
#decisions: 123; #end-nodes: 15;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 15 / 80 (80)
#axs: 853, #non-axs: 267
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: 3864673 (43774:>=*);
#decisions: 145; #end-nodes: 27;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 27 / 80 (80)
#axs: 853, #non-axs: 267
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: 3864676 (43771:>=*);
#decisions: 132; #end-nodes: 32;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 32 / 80 (80)
#axs: 853, #non-axs: 267
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: 3864791 (43656:>=*);
#decisions: 160; #end-nodes: 54;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 54 / 80 (80)
#axs: 853, #non-axs: 267
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: 3864881 (43566:>=*);
#decisions: 132; #end-nodes: 31;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 31 / 80 (80)
#axs: 853, #non-axs: 267
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: 3865174 (43273:>=*);
#decisions: 110; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 853, #non-axs: 267
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: 3865363 (43084:>=*);
#decisions: 12062; #end-nodes: 3010;
#proof improvement attempts: 0; #restarts: 21
Current batch, end-nodes: 619 / 934 (85)
#axs: 853, #non-axs: 343
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: 3865979 (42468:>=*);
#decisions: 58; #end-nodes: 12;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 853, #non-axs: 343
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: 3866019 (42428:>=*);
#decisions: 123874; #end-nodes: 34323;
#proof improvement attempts: 0; #restarts: 245
Current batch, end-nodes: 589 / 649 (141)
#axs: 854, #non-axs: 699
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: 3866305 (42142:>=*);
#decisions: 386; #end-nodes: 55;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 55 / 80 (80)
#axs: 854, #non-axs: 699
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: 3866583 (41864:>=*);
#decisions: 317; #end-nodes: 29;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 29 / 80 (80)
#axs: 854, #non-axs: 699
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: 3866690 (41757:>=*);
#decisions: 422; #end-nodes: 34;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 34 / 80 (80)
#axs: 854, #non-axs: 700
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: 3866776 (41671:>=*);
#decisions: 40257; #end-nodes: 10737;
#proof improvement attempts: 0; #restarts: 89
Current batch, end-nodes: 73 / 102 (102)
#axs: 854, #non-axs: 1114
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: 3866971 (41476:>=*);
#decisions: 170; #end-nodes: 7;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 854, #non-axs: 1114
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: 3867353 (41094:>=*);
#decisions: 179; #end-nodes: 21;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 21 / 80 (80)
#axs: 854, #non-axs: 1114
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: 3867354 (41093:>=*);
#decisions: 2558; #end-nodes: 639;
#proof improvement attempts: 0; #restarts: 6
Current batch, end-nodes: 77 / 90 (81)
#axs: 854, #non-axs: 1139
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: 3869310 (39137:>=*);
#decisions: 92; #end-nodes: 9;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 854, #non-axs: 1139
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: 3869311 (39136:>=*);
#decisions: 85; #end-nodes: 6;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 854, #non-axs: 1139
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: 3869316 (39131:>=*);
#decisions: 108; #end-nodes: 15;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 15 / 80 (80)
#axs: 854, #non-axs: 1139
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: 3869321 (39126:>=*);
#decisions: 113; #end-nodes: 19;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 19 / 80 (80)
#axs: 854, #non-axs: 1139
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: 3870085 (38362:>=*);
#decisions: 120; #end-nodes: 34;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 34 / 80 (80)
#axs: 854, #non-axs: 1139
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: 3870253 (38194:>=*);
#decisions: 110; #end-nodes: 24;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 24 / 80 (80)
#axs: 854, #non-axs: 1139
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: 3870254 (38193:>=*);
#decisions: 146886; #end-nodes: 43668;
#proof improvement attempts: 0; #restarts: 288
Current batch, end-nodes: 0 / 155 (151)
#axs: 854, #non-axs: 759
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:) 3870254 (38193:>=*)
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: 1082 (#equs: 1)
Time taken: 5 min, 33 sec
2:
seed: 0
Nr of vars set: 1082 (#equs: 0)
Nr of vars set: 1082 (#equs: 0)
Interupt request received.
#decisions: 1002606; #end-nodes: 397147;
#proof improvement attempts: 0; #restarts: 1157
Current batch, end-nodes: 2518 / 4018 (409)
#axs: 853, #non-axs: 1779
tight: meta-meta: start: 3, end: 4; meta: start: 6, end (keep): 9
loose: meta-meta: start: 6, end: 8; meta: start: 12, end (keep): 17
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 7124 (#equs: 0)
Time taken: 14 min, 35 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/23978/stat): 23978 (vallstSAT2005PB) R 23977 23978 2660 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1852923907 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23978/statm): 174 3 169 147 0 27 0
[pid=23978] 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=23979
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=23979) exited with status: 0
New process pid=23980
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=23980) exited with status: 0
New process pid=23981
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-air05.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0043 s]
Raw data (loadavg): 0.94 0.98 0.99 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 903 0 0 0 877 44 0 0 25 0 1 0 1852923914 5382144 813 4294967295 134512640 134702520 3221223952 3221223392 134617883 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 1314 813 413 48 0 1266 0
[pid=23981] vsize: 5256
Current children cumulated CPU time (s) 9.24
Current children cumulated vsize (Kb) 7384
[startup+20.005 s]
Raw data (loadavg): 0.95 0.98 0.99 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 974 0 0 0 1699 108 0 0 21 0 1 0 1852923914 9912320 884 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2420 884 413 48 0 2372 0
[pid=23981] vsize: 9680
Current children cumulated CPU time (s) 18.1
Current children cumulated vsize (Kb) 11808
[startup+30.0067 s]
Raw data (loadavg): 0.95 0.98 0.99 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1028 0 0 0 2567 154 0 0 24 0 1 0 1852923914 10072064 938 4294967295 134512640 134702520 3221223952 3221223232 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2459 938 413 48 0 2411 0
[pid=23981] vsize: 9836
Current children cumulated CPU time (s) 27.24
Current children cumulated vsize (Kb) 11964
[startup+40.0075 s]
Raw data (loadavg): 0.96 0.98 0.99 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1045 0 0 0 3449 197 0 0 25 0 1 0 1852923914 10076160 955 4294967295 134512640 134702520 3221223952 3221223232 134552270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2460 955 413 48 0 2412 0
[pid=23981] vsize: 9840
Current children cumulated CPU time (s) 36.49
Current children cumulated vsize (Kb) 11968
[startup+50.0092 s]
Raw data (loadavg): 0.97 0.98 0.99 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1098 0 0 0 4380 222 0 0 25 0 1 0 1852923914 10076160 1008 4294967295 134512640 134702520 3221223952 3221223232 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2460 1008 413 48 0 2412 0
[pid=23981] vsize: 9840
Current children cumulated CPU time (s) 46.05
Current children cumulated vsize (Kb) 11968
[startup+60.0099 s]
Raw data (loadavg): 0.97 0.98 0.99 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1116 0 0 0 5303 248 0 0 25 0 1 0 1852923914 10190848 1026 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2488 1026 413 48 0 2440 0
[pid=23981] vsize: 9952
Current children cumulated CPU time (s) 55.54
Current children cumulated vsize (Kb) 12080
[startup+70.0106 s]
Raw data (loadavg): 0.97 0.98 0.99 1/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) T 23978 23978 2660 0 -1 0 1123 0 0 0 6231 272 0 0 25 0 1 0 1852923914 10190848 1033 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2488 1033 413 48 0 2440 0
[pid=23981] vsize: 9952
Current children cumulated CPU time (s) 65.06
Current children cumulated vsize (Kb) 12080
[startup+80.0114 s]
Raw data (loadavg): 0.98 0.98 0.99 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1125 0 0 0 7169 295 0 0 25 0 1 0 1852923914 10190848 1035 4294967295 134512640 134702520 3221223952 3221222848 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2488 1035 413 48 0 2440 0
[pid=23981] vsize: 9952
Current children cumulated CPU time (s) 74.67
Current children cumulated vsize (Kb) 12080
[startup+90.0121 s]
Raw data (loadavg): 0.98 0.98 0.99 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1125 0 0 0 8080 327 0 0 25 0 1 0 1852923914 10190848 1035 4294967295 134512640 134702520 3221223952 3221223232 134552541 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2488 1035 413 48 0 2440 0
[pid=23981] vsize: 9952
Current children cumulated CPU time (s) 84.1
Current children cumulated vsize (Kb) 12080
[startup+100.014 s]
Raw data (loadavg): 0.98 0.98 0.99 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1131 0 0 0 8994 358 0 0 25 0 1 0 1852923914 10199040 1041 4294967295 134512640 134702520 3221223952 3221222976 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2490 1041 413 48 0 2442 0
[pid=23981] vsize: 9960
Current children cumulated CPU time (s) 93.55
Current children cumulated vsize (Kb) 12088
[startup+110.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1269 0 0 0 9919 385 0 0 25 0 1 0 1852923914 10199040 1179 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2490 1179 413 48 0 2442 0
[pid=23981] vsize: 9960
Current children cumulated CPU time (s) 103.07
Current children cumulated vsize (Kb) 12088
[startup+120.015 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) T 23978 23978 2660 0 -1 0 1273 0 0 0 10849 411 0 0 25 0 1 0 1852923914 10199040 1183 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2490 1183 413 48 0 2442 0
[pid=23981] vsize: 9960
Current children cumulated CPU time (s) 112.63
Current children cumulated vsize (Kb) 12088
[startup+130.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) T 23978 23978 2660 0 -1 0 1279 0 0 0 11784 433 0 0 25 0 1 0 1852923914 10354688 1189 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23981/statm): 2528 1189 413 48 0 2480 0
[pid=23981] vsize: 10112
Current children cumulated CPU time (s) 122.2
Current children cumulated vsize (Kb) 12240
[startup+140.017 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) T 23978 23978 2660 0 -1 0 1279 0 0 0 12699 462 0 0 25 0 1 0 1852923914 10305536 1189 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2516 1189 413 48 0 2468 0
[pid=23981] vsize: 10064
Current children cumulated CPU time (s) 131.64
Current children cumulated vsize (Kb) 12192
[startup+150.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1281 0 0 0 13610 492 0 0 25 0 1 0 1852923914 10305536 1191 4294967295 134512640 134702520 3221223952 3221223232 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2516 1191 413 48 0 2468 0
[pid=23981] vsize: 10064
Current children cumulated CPU time (s) 141.05
Current children cumulated vsize (Kb) 12192
[startup+160.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1321 0 0 0 14545 513 0 0 25 0 1 0 1852923914 10305536 1231 4294967295 134512640 134702520 3221223952 3221222976 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2516 1231 413 48 0 2468 0
[pid=23981] vsize: 10064
Current children cumulated CPU time (s) 150.61
Current children cumulated vsize (Kb) 12192
[startup+170.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1325 0 0 0 15462 543 0 0 25 0 1 0 1852923914 10305536 1235 4294967295 134512640 134702520 3221223952 3221223232 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2516 1235 413 48 0 2468 0
[pid=23981] vsize: 10064
Current children cumulated CPU time (s) 160.08
Current children cumulated vsize (Kb) 12192
[startup+180.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1328 0 0 0 16392 569 0 0 25 0 1 0 1852923914 10305536 1238 4294967295 134512640 134702520 3221223952 3221223352 134607338 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2516 1238 413 48 0 2468 0
[pid=23981] vsize: 10064
Current children cumulated CPU time (s) 169.64
Current children cumulated vsize (Kb) 12192
[startup+190.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1332 0 0 0 17325 590 0 0 25 0 1 0 1852923914 10305536 1242 4294967295 134512640 134702520 3221223952 3221222976 134553168 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2516 1242 413 48 0 2468 0
[pid=23981] vsize: 10064
Current children cumulated CPU time (s) 179.18
Current children cumulated vsize (Kb) 12192
[startup+200.022 s]
Raw data (loadavg): 1.07 1.00 1.00 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1336 0 0 0 18255 614 0 0 25 0 1 0 1852923914 10305536 1246 4294967295 134512640 134702520 3221223952 3221223232 134552242 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2516 1246 413 48 0 2468 0
[pid=23981] vsize: 10064
Current children cumulated CPU time (s) 188.72
Current children cumulated vsize (Kb) 12192
[startup+210.024 s]
Raw data (loadavg): 1.06 1.00 1.00 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1341 0 0 0 19182 641 0 0 25 0 1 0 1852923914 10428416 1251 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2546 1251 413 48 0 2498 0
[pid=23981] vsize: 10184
Current children cumulated CPU time (s) 198.26
Current children cumulated vsize (Kb) 12312
[startup+220.024 s]
Raw data (loadavg): 1.05 1.00 1.00 1/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) T 23978 23978 2660 0 -1 0 1347 0 0 0 20112 662 0 0 25 0 1 0 1852923914 10428416 1257 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23981/statm): 2546 1257 413 48 0 2498 0
[pid=23981] vsize: 10184
Current children cumulated CPU time (s) 207.77
Current children cumulated vsize (Kb) 12312
[startup+230.024 s]
Raw data (loadavg): 1.04 1.00 1.00 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1349 0 0 0 21051 683 0 0 25 0 1 0 1852923914 10428416 1259 4294967295 134512640 134702520 3221223952 3221222976 134551065 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2546 1259 413 48 0 2498 0
[pid=23981] vsize: 10184
Current children cumulated CPU time (s) 217.37
Current children cumulated vsize (Kb) 12312
[startup+240.025 s]
Raw data (loadavg): 1.11 1.02 1.00 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1352 0 0 0 21970 714 0 0 25 0 1 0 1852923914 10428416 1262 4294967295 134512640 134702520 3221223952 3221222848 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2546 1262 413 48 0 2498 0
[pid=23981] vsize: 10184
Current children cumulated CPU time (s) 226.87
Current children cumulated vsize (Kb) 12312
[startup+250.027 s]
Raw data (loadavg): 1.10 1.02 1.00 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1352 0 0 0 22882 740 0 0 25 0 1 0 1852923914 10428416 1262 4294967295 134512640 134702520 3221223952 3221223232 134554270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2546 1262 413 48 0 2498 0
[pid=23981] vsize: 10184
Current children cumulated CPU time (s) 236.25
Current children cumulated vsize (Kb) 12312
[startup+260.027 s]
Raw data (loadavg): 1.08 1.01 1.00 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1356 0 0 0 23822 761 0 0 25 0 1 0 1852923914 10428416 1266 4294967295 134512640 134702520 3221223952 3221120668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2546 1266 413 48 0 2498 0
[pid=23981] vsize: 10184
Current children cumulated CPU time (s) 245.86
Current children cumulated vsize (Kb) 12312
[startup+270.028 s]
Raw data (loadavg): 1.07 1.01 1.00 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1357 0 0 0 24748 788 0 0 25 0 1 0 1852923914 10428416 1267 4294967295 134512640 134702520 3221223952 3221223232 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2546 1267 413 48 0 2498 0
[pid=23981] vsize: 10184
Current children cumulated CPU time (s) 255.39
Current children cumulated vsize (Kb) 12312
[startup+280.029 s]
Raw data (loadavg): 1.06 1.01 1.00 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1362 0 0 0 25690 809 0 0 25 0 1 0 1852923914 10428416 1272 4294967295 134512640 134702520 3221223952 3221222976 134552889 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2546 1272 413 48 0 2498 0
[pid=23981] vsize: 10184
Current children cumulated CPU time (s) 265.02
Current children cumulated vsize (Kb) 12312
[startup+290.03 s]
Raw data (loadavg): 1.05 1.01 1.00 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1363 0 0 0 26612 838 0 0 25 0 1 0 1852923914 10428416 1273 4294967295 134512640 134702520 3221223952 3221223152 134617883 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2546 1273 413 48 0 2498 0
[pid=23981] vsize: 10184
Current children cumulated CPU time (s) 274.53
Current children cumulated vsize (Kb) 12312
[startup+300.031 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) T 23978 23978 2660 0 -1 0 1364 0 0 0 27530 863 0 0 25 0 1 0 1852923914 10428416 1274 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23981/statm): 2546 1274 413 48 0 2498 0
[pid=23981] vsize: 10184
Current children cumulated CPU time (s) 283.96
Current children cumulated vsize (Kb) 12312
[startup+310.032 s]
Raw data (loadavg): 1.03 1.01 1.00 1/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) T 23978 23978 2660 0 -1 0 1364 0 0 0 28452 887 0 0 25 0 1 0 1852923914 10428416 1274 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23981/statm): 2546 1274 413 48 0 2498 0
[pid=23981] vsize: 10184
Current children cumulated CPU time (s) 293.42
Current children cumulated vsize (Kb) 12312
[startup+320.032 s]
Raw data (loadavg): 1.03 1.01 1.00 1/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) T 23978 23978 2660 0 -1 0 1517 0 0 0 29375 913 0 0 25 0 1 0 1852923914 10428416 1427 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2546 1427 413 48 0 2498 0
[pid=23981] vsize: 10184
Current children cumulated CPU time (s) 302.91
Current children cumulated vsize (Kb) 12312
[startup+330.034 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1521 0 0 0 30310 935 0 0 25 0 1 0 1852923914 10555392 1431 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2577 1431 413 48 0 2529 0
[pid=23981] vsize: 10308
Current children cumulated CPU time (s) 312.48
Current children cumulated vsize (Kb) 12436
[startup+340.034 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1522 0 0 0 31247 958 0 0 25 0 1 0 1852923914 10555392 1432 4294967295 134512640 134702520 3221223952 3221222976 134553168 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2577 1432 413 48 0 2529 0
[pid=23981] vsize: 10308
Current children cumulated CPU time (s) 322.08
Current children cumulated vsize (Kb) 12436
[startup+350.035 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) T 23978 23978 2660 0 -1 0 1525 0 0 0 32168 985 0 0 25 0 1 0 1852923914 10555392 1435 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2577 1435 413 48 0 2529 0
[pid=23981] vsize: 10308
Current children cumulated CPU time (s) 331.56
Current children cumulated vsize (Kb) 12436
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=23981) exited with status: 2
New process pid=23982
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=23982) exited with status: 0
New process pid=23983
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+360.037 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 805 0 0 0 720 20 0 0 25 0 1 0 1852959143 5042176 775 4294967295 134512640 134702520 3221223712 3221222848 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 1231 775 413 48 0 1183 0
[pid=23983] vsize: 4924
Current children cumulated CPU time (s) 341.1
Current children cumulated vsize (Kb) 7052
[startup+370.037 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) T 23978 23978 2660 0 -1 0 838 0 0 0 1651 46 0 0 24 0 1 0 1852959143 8728576 808 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23983/statm): 2131 808 413 48 0 2083 0
[pid=23983] vsize: 8524
Current children cumulated CPU time (s) 350.67
Current children cumulated vsize (Kb) 10652
[startup+380.038 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) T 23978 23978 2660 0 -1 0 954 0 0 0 2565 76 0 0 25 0 1 0 1852959143 8876032 924 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23983/statm): 2167 924 413 48 0 2119 0
[pid=23983] vsize: 8668
Current children cumulated CPU time (s) 360.11
Current children cumulated vsize (Kb) 10796
[startup+390.039 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 1013 0 0 0 3483 104 0 0 25 0 1 0 1852959143 8876032 983 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2167 983 413 48 0 2119 0
[pid=23983] vsize: 8668
Current children cumulated CPU time (s) 369.57
Current children cumulated vsize (Kb) 10796
[startup+400.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 1027 0 0 0 4407 129 0 0 25 0 1 0 1852959143 8876032 997 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2167 997 413 48 0 2119 0
[pid=23983] vsize: 8668
Current children cumulated CPU time (s) 379.06
Current children cumulated vsize (Kb) 10796
[startup+410.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 1034 0 0 0 5343 152 0 0 25 0 1 0 1852959143 9019392 1004 4294967295 134512640 134702520 3221223712 3221222608 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2202 1004 413 48 0 2154 0
[pid=23983] vsize: 8808
Current children cumulated CPU time (s) 388.65
Current children cumulated vsize (Kb) 10936
[startup+420.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 1034 0 0 0 6277 173 0 0 25 0 1 0 1852959143 8970240 1004 4294967295 134512640 134702520 3221223712 3221222992 134550645 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2190 1004 413 48 0 2142 0
[pid=23983] vsize: 8760
Current children cumulated CPU time (s) 398.2
Current children cumulated vsize (Kb) 10888
[startup+430.044 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) T 23978 23978 2660 0 -1 0 1040 0 0 0 7203 197 0 0 25 0 1 0 1852959143 8970240 1010 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23983/statm): 2190 1010 413 48 0 2142 0
[pid=23983] vsize: 8760
Current children cumulated CPU time (s) 407.7
Current children cumulated vsize (Kb) 10888
[startup+440.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) T 23978 23978 2660 0 -1 0 1046 0 0 0 8128 222 0 0 25 0 1 0 1852959143 8970240 1016 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2190 1016 413 48 0 2142 0
[pid=23983] vsize: 8760
Current children cumulated CPU time (s) 417.2
Current children cumulated vsize (Kb) 10888
[startup+450.045 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) T 23978 23978 2660 0 -1 0 1145 0 0 0 9058 246 0 0 25 0 1 0 1852959143 8970240 1115 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23983/statm): 2190 1115 413 48 0 2142 0
[pid=23983] vsize: 8760
Current children cumulated CPU time (s) 426.74
Current children cumulated vsize (Kb) 10888
[startup+460.047 s]
Raw data (loadavg): 1.08 1.02 1.01 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 1150 0 0 0 9985 270 0 0 25 0 1 0 1852959143 9113600 1120 4294967295 134512640 134702520 3221223712 3221222736 134553287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2225 1120 413 48 0 2177 0
[pid=23983] vsize: 8900
Current children cumulated CPU time (s) 436.25
Current children cumulated vsize (Kb) 11028
[startup+470.048 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 1152 0 0 0 10920 293 0 0 25 0 1 0 1852959143 9113600 1122 4294967295 134512640 134702520 3221223712 3221222608 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2225 1122 413 48 0 2177 0
[pid=23983] vsize: 8900
Current children cumulated CPU time (s) 445.83
Current children cumulated vsize (Kb) 11028
[startup+480.048 s]
Raw data (loadavg): 1.06 1.01 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 1154 0 0 0 11845 320 0 0 25 0 1 0 1852959143 9089024 1124 4294967295 134512640 134702520 3221223712 3221222736 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2219 1124 413 48 0 2171 0
[pid=23983] vsize: 8876
Current children cumulated CPU time (s) 455.35
Current children cumulated vsize (Kb) 11004
[startup+490.049 s]
Raw data (loadavg): 1.05 1.01 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 1160 0 0 0 12766 345 0 0 25 0 1 0 1852959143 9089024 1130 4294967295 134512640 134702520 3221223712 3221223112 134606953 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2219 1130 413 48 0 2171 0
[pid=23983] vsize: 8876
Current children cumulated CPU time (s) 464.81
Current children cumulated vsize (Kb) 11004
[startup+500.05 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) T 23978 23978 2660 0 -1 0 1333 0 0 0 13694 369 0 0 25 0 1 0 1852959143 9224192 1303 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2252 1303 413 48 0 2204 0
[pid=23983] vsize: 9008
Current children cumulated CPU time (s) 474.33
Current children cumulated vsize (Kb) 11136
[startup+510.052 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 1740 0 0 0 14624 393 0 0 25 0 1 0 1852959143 9224192 1710 4294967295 134512640 134702520 3221223712 3221222992 134550661 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2252 1710 413 48 0 2204 0
[pid=23983] vsize: 9008
Current children cumulated CPU time (s) 483.87
Current children cumulated vsize (Kb) 11136
[startup+520.052 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 1754 0 0 0 15550 420 0 0 25 0 1 0 1852959143 9224192 1724 4294967295 134512640 134702520 3221223712 3221211168 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2252 1724 413 48 0 2204 0
[pid=23983] vsize: 9008
Current children cumulated CPU time (s) 493.4
Current children cumulated vsize (Kb) 11136
[startup+530.053 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 1757 0 0 0 16492 440 0 0 25 0 1 0 1852959143 9367552 1727 4294967295 134512640 134702520 3221223712 3221222608 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2287 1727 413 48 0 2239 0
[pid=23983] vsize: 9148
Current children cumulated CPU time (s) 503.02
Current children cumulated vsize (Kb) 11276
[startup+540.054 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 1758 0 0 0 17418 466 0 0 25 0 1 0 1852959143 9318400 1728 4294967295 134512640 134702520 3221223712 3221222992 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2275 1728 413 48 0 2227 0
[pid=23983] vsize: 9100
Current children cumulated CPU time (s) 512.54
Current children cumulated vsize (Kb) 11228
[startup+550.056 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) T 23978 23978 2660 0 -1 0 1762 0 0 0 18349 489 0 0 25 0 1 0 1852959143 9318400 1732 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2275 1732 413 48 0 2227 0
[pid=23983] vsize: 9100
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (Kb) 11228
[startup+560.056 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 1764 0 0 0 19265 519 0 0 25 0 1 0 1852959143 9318400 1734 4294967295 134512640 134702520 3221223712 3221222992 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2275 1734 413 48 0 2227 0
[pid=23983] vsize: 9100
Current children cumulated CPU time (s) 531.54
Current children cumulated vsize (Kb) 11228
[startup+570.057 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 1766 0 0 0 20190 547 0 0 25 0 1 0 1852959143 9318400 1736 4294967295 134512640 134702520 3221223712 3221222992 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2275 1736 413 48 0 2227 0
[pid=23983] vsize: 9100
Current children cumulated CPU time (s) 541.07
Current children cumulated vsize (Kb) 11228
[startup+580.058 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 1902 0 0 0 21121 572 0 0 25 0 1 0 1852959143 9318400 1872 4294967295 134512640 134702520 3221223712 3221222992 134553160 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2275 1872 413 48 0 2227 0
[pid=23983] vsize: 9100
Current children cumulated CPU time (s) 550.63
Current children cumulated vsize (Kb) 11228
[startup+590.059 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 1906 0 0 0 22058 595 0 0 25 0 1 0 1852959143 9457664 1876 4294967295 134512640 134702520 3221223712 3221222608 134552981 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2309 1876 413 48 0 2261 0
[pid=23983] vsize: 9236
Current children cumulated CPU time (s) 560.23
Current children cumulated vsize (Kb) 11364
[startup+600.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 1906 0 0 0 22989 617 0 0 25 0 1 0 1852959143 9408512 1876 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2297 1876 413 48 0 2249 0
[pid=23983] vsize: 9188
Current children cumulated CPU time (s) 569.76
Current children cumulated vsize (Kb) 11316
[startup+610.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 1911 0 0 0 23916 643 0 0 25 0 1 0 1852959143 9408512 1881 4294967295 134512640 134702520 3221223712 3221222992 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2297 1881 413 48 0 2249 0
[pid=23983] vsize: 9188
Current children cumulated CPU time (s) 579.29
Current children cumulated vsize (Kb) 11316
[startup+620.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 1955 0 0 0 24846 668 0 0 25 0 1 0 1852959143 9408512 1925 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2297 1925 413 48 0 2249 0
[pid=23983] vsize: 9188
Current children cumulated CPU time (s) 588.84
Current children cumulated vsize (Kb) 11316
[startup+630.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2007 0 0 0 25783 691 0 0 25 0 1 0 1852959143 9543680 1977 4294967295 134512640 134702520 3221223712 3221222992 134554263 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23983/statm): 2330 1977 413 48 0 2282 0
[pid=23983] vsize: 9320
Current children cumulated CPU time (s) 598.44
Current children cumulated vsize (Kb) 11448
[startup+640.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2040 0 0 0 26719 713 0 0 25 0 1 0 1852959143 10027008 2010 4294967295 134512640 134702520 3221223712 3221222992 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2448 2010 413 48 0 2400 0
[pid=23983] vsize: 9792
Current children cumulated CPU time (s) 608.02
Current children cumulated vsize (Kb) 11920
[startup+650.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2067 0 0 0 27656 735 0 0 25 0 1 0 1852959143 10027008 2037 4294967295 134512640 134702520 3221223712 3221222736 134552884 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2448 2037 413 48 0 2400 0
[pid=23983] vsize: 9792
Current children cumulated CPU time (s) 617.61
Current children cumulated vsize (Kb) 11920
[startup+660.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2069 0 0 0 28593 756 0 0 25 0 1 0 1852959143 10182656 2039 4294967295 134512640 134702520 3221223712 3221222608 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2486 2039 413 48 0 2438 0
[pid=23983] vsize: 9944
Current children cumulated CPU time (s) 627.19
Current children cumulated vsize (Kb) 12072
[startup+670.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2071 0 0 0 29517 782 0 0 25 0 1 0 1852959143 10133504 2041 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2474 2041 413 48 0 2426 0
[pid=23983] vsize: 9896
Current children cumulated CPU time (s) 636.69
Current children cumulated vsize (Kb) 12024
[startup+680.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2072 0 0 0 30449 804 0 0 25 0 1 0 1852959143 10133504 2042 4294967295 134512640 134702520 3221223712 3221071328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2474 2042 413 48 0 2426 0
[pid=23983] vsize: 9896
Current children cumulated CPU time (s) 646.23
Current children cumulated vsize (Kb) 12024
[startup+690.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2077 0 0 0 31384 829 0 0 25 0 1 0 1852959143 10133504 2047 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2474 2047 413 48 0 2426 0
[pid=23983] vsize: 9896
Current children cumulated CPU time (s) 655.83
Current children cumulated vsize (Kb) 12024
[startup+700.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2090 0 0 0 32324 850 0 0 25 0 1 0 1852959143 10133504 2060 4294967295 134512640 134702520 3221223712 3221222992 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2474 2060 413 48 0 2426 0
[pid=23983] vsize: 9896
Current children cumulated CPU time (s) 665.44
Current children cumulated vsize (Kb) 12024
[startup+710.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) T 23978 23978 2660 0 -1 0 2096 0 0 0 33255 874 0 0 18 0 1 0 1852959143 10133504 2066 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23983/statm): 2474 2066 413 48 0 2426 0
[pid=23983] vsize: 9896
Current children cumulated CPU time (s) 674.99
Current children cumulated vsize (Kb) 12024
[startup+720.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2101 0 0 0 34193 897 0 0 25 0 1 0 1852959143 10260480 2071 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2505 2071 413 48 0 2457 0
[pid=23983] vsize: 10020
Current children cumulated CPU time (s) 684.6
Current children cumulated vsize (Kb) 12148
[startup+730.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2105 0 0 0 35134 919 0 0 25 0 1 0 1852959143 10260480 2075 4294967295 134512640 134702520 3221223712 3221222608 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2505 2075 413 48 0 2457 0
[pid=23983] vsize: 10020
Current children cumulated CPU time (s) 694.23
Current children cumulated vsize (Kb) 12148
[startup+740.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2106 0 0 0 36071 942 0 0 25 0 1 0 1852959143 10260480 2076 4294967295 134512640 134702520 3221223712 3221222992 134550647 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2505 2076 413 48 0 2457 0
[pid=23983] vsize: 10020
Current children cumulated CPU time (s) 703.83
Current children cumulated vsize (Kb) 12148
[startup+750.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2111 0 0 0 36998 965 0 0 25 0 1 0 1852959143 10260480 2081 4294967295 134512640 134702520 3221223712 3221222992 134553147 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2505 2081 413 48 0 2457 0
[pid=23983] vsize: 10020
Current children cumulated CPU time (s) 713.33
Current children cumulated vsize (Kb) 12148
[startup+760.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2112 0 0 0 37928 989 0 0 25 0 1 0 1852959143 10260480 2082 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2505 2082 413 48 0 2457 0
[pid=23983] vsize: 10020
Current children cumulated CPU time (s) 722.87
Current children cumulated vsize (Kb) 12148
[startup+770.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2115 0 0 0 38861 1013 0 0 25 0 1 0 1852959143 10260480 2085 4294967295 134512640 134702520 3221223712 3221222992 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2505 2085 413 48 0 2457 0
[pid=23983] vsize: 10020
Current children cumulated CPU time (s) 732.44
Current children cumulated vsize (Kb) 12148
[startup+780.075 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) T 23978 23978 2660 0 -1 0 2121 0 0 0 39798 1036 0 0 25 0 1 0 1852959143 10260480 2091 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2505 2091 413 48 0 2457 0
[pid=23983] vsize: 10020
Current children cumulated CPU time (s) 742.04
Current children cumulated vsize (Kb) 12148
[startup+790.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2125 0 0 0 40731 1061 0 0 25 0 1 0 1852959143 10260480 2095 4294967295 134512640 134702520 3221223712 3221222736 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2505 2095 413 48 0 2457 0
[pid=23983] vsize: 10020
Current children cumulated CPU time (s) 751.62
Current children cumulated vsize (Kb) 12148
[startup+800.077 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) T 23978 23978 2660 0 -1 0 2128 0 0 0 41668 1083 0 0 21 0 1 0 1852959143 10403840 2098 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23983/statm): 2540 2098 413 48 0 2492 0
[pid=23983] vsize: 10160
Current children cumulated CPU time (s) 761.21
Current children cumulated vsize (Kb) 12288
[startup+810.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2130 0 0 0 42613 1101 0 0 25 0 1 0 1852959143 10403840 2100 4294967295 134512640 134702520 3221223712 3221222608 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2540 2100 413 48 0 2492 0
[pid=23983] vsize: 10160
Current children cumulated CPU time (s) 770.84
Current children cumulated vsize (Kb) 12288
[startup+820.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2131 0 0 0 43549 1123 0 0 25 0 1 0 1852959143 10379264 2101 4294967295 134512640 134702520 3221223712 3221222992 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2534 2101 413 48 0 2486 0
[pid=23983] vsize: 10136
Current children cumulated CPU time (s) 780.42
Current children cumulated vsize (Kb) 12264
[startup+830.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2132 0 0 0 44476 1148 0 0 25 0 1 0 1852959143 10379264 2102 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2534 2102 413 48 0 2486 0
[pid=23983] vsize: 10136
Current children cumulated CPU time (s) 789.94
Current children cumulated vsize (Kb) 12264
[startup+840.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2136 0 0 0 45407 1174 0 0 25 0 1 0 1852959143 10379264 2106 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2534 2106 413 48 0 2486 0
[pid=23983] vsize: 10136
Current children cumulated CPU time (s) 799.51
Current children cumulated vsize (Kb) 12264
[startup+850.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2138 0 0 0 46341 1198 0 0 25 0 1 0 1852959143 10379264 2108 4294967295 134512640 134702520 3221223712 3221222992 134552864 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2534 2108 413 48 0 2486 0
[pid=23983] vsize: 10136
Current children cumulated CPU time (s) 809.09
Current children cumulated vsize (Kb) 12264
[startup+860.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2139 0 0 0 47275 1224 0 0 25 0 1 0 1852959143 10379264 2109 4294967295 134512640 134702520 3221223712 3221222992 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2534 2109 413 48 0 2486 0
[pid=23983] vsize: 10136
Current children cumulated CPU time (s) 818.69
Current children cumulated vsize (Kb) 12264
[startup+870.083 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) T 23978 23978 2660 0 -1 0 2144 0 0 0 48203 1248 0 0 25 0 1 0 1852959143 10379264 2114 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23983/statm): 2534 2114 413 48 0 2486 0
[pid=23983] vsize: 10136
Current children cumulated CPU time (s) 828.21
Current children cumulated vsize (Kb) 12264
[startup+880.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2147 0 0 0 49134 1271 0 0 25 0 1 0 1852959143 10379264 2117 4294967295 134512640 134702520 3221223712 3221222736 134557196 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2534 2117 413 48 0 2486 0
[pid=23983] vsize: 10136
Current children cumulated CPU time (s) 837.75
Current children cumulated vsize (Kb) 12264
[startup+890.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2149 0 0 0 50071 1294 0 0 25 0 1 0 1852959143 10379264 2119 4294967295 134512640 134702520 3221223712 3221222608 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2534 2119 413 48 0 2486 0
[pid=23983] vsize: 10136
Current children cumulated CPU time (s) 847.35
Current children cumulated vsize (Kb) 12264
[startup+900.086 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) T 23978 23978 2660 0 -1 0 2150 0 0 0 51000 1316 0 0 25 0 1 0 1852959143 10379264 2120 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2534 2120 413 48 0 2486 0
[pid=23983] vsize: 10136
Current children cumulated CPU time (s) 856.86
Current children cumulated vsize (Kb) 12264
[startup+910.087 s]
Raw data (loadavg): 1.08 1.02 1.01 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2160 0 0 0 51937 1337 0 0 25 0 1 0 1852959143 10379264 2130 4294967295 134512640 134702520 3221223712 3221222992 134553364 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2534 2130 413 48 0 2486 0
[pid=23983] vsize: 10136
Current children cumulated CPU time (s) 866.44
Current children cumulated vsize (Kb) 12264
[startup+920.088 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2161 0 0 0 52867 1361 0 0 25 0 1 0 1852959143 10502144 2131 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2564 2131 413 48 0 2516 0
[pid=23983] vsize: 10256
Current children cumulated CPU time (s) 875.98
Current children cumulated vsize (Kb) 12384
[startup+930.089 s]
Raw data (loadavg): 1.06 1.01 1.00 1/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) T 23978 23978 2660 0 -1 0 2163 0 0 0 53797 1384 0 0 25 0 1 0 1852959143 10502144 2133 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23983/statm): 2564 2133 413 48 0 2516 0
[pid=23983] vsize: 10256
Current children cumulated CPU time (s) 885.51
Current children cumulated vsize (Kb) 12384
[startup+940.09 s]
Raw data (loadavg): 1.05 1.01 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2165 0 0 0 54722 1409 0 0 25 0 1 0 1852959143 10502144 2135 4294967295 134512640 134702520 3221223712 3221222992 134552284 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2564 2135 413 48 0 2516 0
[pid=23983] vsize: 10256
Current children cumulated CPU time (s) 895.01
Current children cumulated vsize (Kb) 12384
[startup+950.091 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2167 0 0 0 55651 1433 0 0 25 0 1 0 1852959143 10502144 2137 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2564 2137 413 48 0 2516 0
[pid=23983] vsize: 10256
Current children cumulated CPU time (s) 904.54
Current children cumulated vsize (Kb) 12384
[startup+960.092 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2169 0 0 0 56579 1457 0 0 25 0 1 0 1852959143 10502144 2139 4294967295 134512640 134702520 3221223712 3221222992 134552242 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2564 2139 413 48 0 2516 0
[pid=23983] vsize: 10256
Current children cumulated CPU time (s) 914.06
Current children cumulated vsize (Kb) 12384
[startup+970.093 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) T 23978 23978 2660 0 -1 0 2170 0 0 0 57511 1481 0 0 25 0 1 0 1852959143 10502144 2140 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23983/statm): 2564 2140 413 48 0 2516 0
[pid=23983] vsize: 10256
Current children cumulated CPU time (s) 923.62
Current children cumulated vsize (Kb) 12384
[startup+980.095 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2174 0 0 0 58448 1503 0 0 25 0 1 0 1852959143 10502144 2144 4294967295 134512640 134702520 3221223712 3221222608 134552569 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2564 2144 413 48 0 2516 0
[pid=23983] vsize: 10256
Current children cumulated CPU time (s) 933.21
Current children cumulated vsize (Kb) 12384
[startup+990.095 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2174 0 0 0 59375 1529 0 0 25 0 1 0 1852959143 10502144 2144 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2564 2144 413 48 0 2516 0
[pid=23983] vsize: 10256
Current children cumulated CPU time (s) 942.74
Current children cumulated vsize (Kb) 12384
[startup+1000.1 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2174 0 0 0 60293 1558 0 0 25 0 1 0 1852959143 10502144 2144 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2564 2144 413 48 0 2516 0
[pid=23983] vsize: 10256
Current children cumulated CPU time (s) 952.21
Current children cumulated vsize (Kb) 12384
[startup+1010.1 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2175 0 0 0 61223 1581 0 0 25 0 1 0 1852959143 10502144 2145 4294967295 134512640 134702520 3221223712 3221222992 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2564 2145 413 48 0 2516 0
[pid=23983] vsize: 10256
Current children cumulated CPU time (s) 961.74
Current children cumulated vsize (Kb) 12384
[startup+1020.1 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2178 0 0 0 62154 1605 0 0 25 0 1 0 1852959143 10502144 2148 4294967295 134512640 134702520 3221223712 3221222992 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2564 2148 413 48 0 2516 0
[pid=23983] vsize: 10256
Current children cumulated CPU time (s) 971.29
Current children cumulated vsize (Kb) 12384
[startup+1030.1 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2178 0 0 0 63077 1632 0 0 25 0 1 0 1852959143 10502144 2148 4294967295 134512640 134702520 3221223712 3221222992 134552232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2564 2148 413 48 0 2516 0
[pid=23983] vsize: 10256
Current children cumulated CPU time (s) 980.79
Current children cumulated vsize (Kb) 12384
[startup+1040.1 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2181 0 0 0 64007 1656 0 0 25 0 1 0 1852959143 10502144 2151 4294967295 134512640 134702520 3221223712 3221222992 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2564 2151 413 48 0 2516 0
[pid=23983] vsize: 10256
Current children cumulated CPU time (s) 990.33
Current children cumulated vsize (Kb) 12384
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2182 0 0 0 64930 1683 0 0 25 0 1 0 1852959143 10502144 2152 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2564 2152 413 48 0 2516 0
[pid=23983] vsize: 10256
Current children cumulated CPU time (s) 999.83
Current children cumulated vsize (Kb) 12384
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2186 0 0 0 65867 1706 0 0 25 0 1 0 1852959143 10645504 2156 4294967295 134512640 134702520 3221223712 3221222608 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2599 2156 413 48 0 2551 0
[pid=23983] vsize: 10396
Current children cumulated CPU time (s) 1009.43
Current children cumulated vsize (Kb) 12524
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) T 23978 23978 2660 0 -1 0 2187 0 0 0 66798 1730 0 0 25 0 1 0 1852959143 10596352 2157 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23983/statm): 2587 2157 413 48 0 2539 0
[pid=23983] vsize: 10348
Current children cumulated CPU time (s) 1018.98
Current children cumulated vsize (Kb) 12476
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2189 0 0 0 67716 1761 0 0 25 0 1 0 1852959143 10596352 2159 4294967295 134512640 134702520 3221223712 3221222736 134550372 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2587 2159 413 48 0 2539 0
[pid=23983] vsize: 10348
Current children cumulated CPU time (s) 1028.47
Current children cumulated vsize (Kb) 12476
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2190 0 0 0 68637 1787 0 0 25 0 1 0 1852959143 10596352 2160 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2587 2160 413 48 0 2539 0
[pid=23983] vsize: 10348
Current children cumulated CPU time (s) 1037.94
Current children cumulated vsize (Kb) 12476
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2192 0 0 0 69565 1816 0 0 25 0 1 0 1852959143 10596352 2162 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2587 2162 413 48 0 2539 0
[pid=23983] vsize: 10348
Current children cumulated CPU time (s) 1047.51
Current children cumulated vsize (Kb) 12476
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2192 0 0 0 70485 1843 0 0 25 0 1 0 1852959143 10596352 2162 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2587 2162 413 48 0 2539 0
[pid=23983] vsize: 10348
Current children cumulated CPU time (s) 1056.98
Current children cumulated vsize (Kb) 12476
[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2192 0 0 0 71407 1867 0 0 25 0 1 0 1852959143 10596352 2162 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2587 2162 413 48 0 2539 0
[pid=23983] vsize: 10348
Current children cumulated CPU time (s) 1066.44
Current children cumulated vsize (Kb) 12476
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2196 0 0 0 72332 1892 0 0 25 0 1 0 1852959143 10596352 2166 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2587 2166 413 48 0 2539 0
[pid=23983] vsize: 10348
Current children cumulated CPU time (s) 1075.94
Current children cumulated vsize (Kb) 12476
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2199 0 0 0 73262 1914 0 0 25 0 1 0 1852959143 10596352 2169 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2587 2169 413 48 0 2539 0
[pid=23983] vsize: 10348
Current children cumulated CPU time (s) 1085.46
Current children cumulated vsize (Kb) 12476
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2201 0 0 0 74193 1937 0 0 25 0 1 0 1852959143 10596352 2171 4294967295 134512640 134702520 3221223712 3221222736 134553162 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2587 2171 413 48 0 2539 0
[pid=23983] vsize: 10348
Current children cumulated CPU time (s) 1095
Current children cumulated vsize (Kb) 12476
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) T 23978 23978 2660 0 -1 0 2204 0 0 0 75134 1956 0 0 25 0 1 0 1852959143 10596352 2174 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23983/statm): 2587 2174 413 48 0 2539 0
[pid=23983] vsize: 10348
Current children cumulated CPU time (s) 1104.6
Current children cumulated vsize (Kb) 12476
[startup+1170.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) T 23978 23978 2660 0 -1 0 2204 0 0 0 76056 1983 0 0 25 0 1 0 1852959143 10596352 2174 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2587 2174 413 48 0 2539 0
[pid=23983] vsize: 10348
Current children cumulated CPU time (s) 1114.09
Current children cumulated vsize (Kb) 12476
[startup+1180.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2205 0 0 0 76976 2012 0 0 25 0 1 0 1852959143 10596352 2175 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2587 2175 413 48 0 2539 0
[pid=23983] vsize: 10348
Current children cumulated CPU time (s) 1123.58
Current children cumulated vsize (Kb) 12476
[startup+1190.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) T 23978 23978 2660 0 -1 0 2207 0 0 0 77904 2036 0 0 25 0 1 0 1852959143 10596352 2177 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2587 2177 413 48 0 2539 0
[pid=23983] vsize: 10348
Current children cumulated CPU time (s) 1133.1
Current children cumulated vsize (Kb) 12476
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2214 0 0 0 78824 2064 0 0 25 0 1 0 1852959143 10596352 2184 4294967295 134512640 134702520 3221223712 3221222932 134550217 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2587 2184 413 48 0 2539 0
[pid=23983] vsize: 10348
Current children cumulated CPU time (s) 1142.58
Current children cumulated vsize (Kb) 12476
[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2215 0 0 0 79745 2092 0 0 25 0 1 0 1852959143 10727424 2185 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2619 2185 413 48 0 2571 0
[pid=23983] vsize: 10476
Current children cumulated CPU time (s) 1152.07
Current children cumulated vsize (Kb) 12604
[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) T 23978 23978 2660 0 -1 0 2222 0 0 0 80678 2112 0 0 25 0 1 0 1852959143 10727424 2192 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2619 2192 413 48 0 2571 0
[pid=23983] vsize: 10476
Current children cumulated CPU time (s) 1161.6
Current children cumulated vsize (Kb) 12604
[startup+1230.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2228 0 0 0 81609 2137 0 0 25 0 1 0 1852959143 10727424 2198 4294967295 134512640 134702520 3221223712 3221222992 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2619 2198 413 48 0 2571 0
[pid=23983] vsize: 10476
Current children cumulated CPU time (s) 1171.16
Current children cumulated vsize (Kb) 12604
[startup+1240.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2232 0 0 0 82536 2163 0 0 25 0 1 0 1852959143 10727424 2202 4294967295 134512640 134702520 3221223712 3221222992 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2619 2202 413 48 0 2571 0
[pid=23983] vsize: 10476
Current children cumulated CPU time (s) 1180.69
Current children cumulated vsize (Kb) 12604
[startup+1250.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2234 0 0 0 83467 2188 0 0 25 0 1 0 1852959143 10727424 2204 4294967295 134512640 134702520 3221223712 3221222736 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2619 2204 413 48 0 2571 0
[pid=23983] vsize: 10476
Current children cumulated CPU time (s) 1190.25
Current children cumulated vsize (Kb) 12604
[startup+1260.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2237 0 0 0 84407 2208 0 0 25 0 1 0 1852959143 10727424 2207 4294967295 134512640 134702520 3221223712 3221222608 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2619 2207 413 48 0 2571 0
[pid=23983] vsize: 10476
Current children cumulated CPU time (s) 1199.85
Current children cumulated vsize (Kb) 12604
[startup+1270.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2237 0 0 0 85334 2233 0 0 25 0 1 0 1852959143 10727424 2207 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2619 2207 413 48 0 2571 0
[pid=23983] vsize: 10476
Current children cumulated CPU time (s) 1209.37
Current children cumulated vsize (Kb) 12604
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1270.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2237 0 0 0 85334 2233 0 0 25 0 1 0 1852959143 10727424 2207 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2619 2207 413 48 0 2571 0
[pid=23983] vsize: 10476
Current children cumulated CPU time (s) 1209.37
Current children cumulated vsize (Kb) 12604
Sending SIGTERM to -23978
Sleeping 2 seconds
New process pid=23985
New process pid=23986
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/21233/stat
open syscall for file /proc/21233/status
open syscall for file /proc/21233/cmdline
open syscall for file /proc/21233/environ
open syscall for file /proc/20037/stat
open syscall for file /proc/20037/status
open syscall for file /proc/20037/cmdline
open syscall for file /proc/20037/environ
open syscall for file /proc/20064/stat
open syscall for file /proc/20064/status
open syscall for file /proc/20064/cmdline
open syscall for file /proc/20064/environ
open syscall for file /proc/20088/stat
open syscall for file /proc/20088/status
open syscall for file /proc/20088/cmdline
open syscall for file /proc/20088/environ
open syscall for file /proc/4269/stat
open syscall for file /proc/4269/status
open syscall for file /proc/4269/cmdline
open syscall for file /proc/4269/environ
open syscall for file /proc/17737/stat
open syscall for file /proc/17737/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/17737/cmdline
open syscall for file /proc/17737/environ
open syscall for file /proc/17772/stat
open syscall for file /proc/17772/status
open syscall for file /proc/17772/cmdline
open syscall for file /proc/17772/environ
open syscall for file /proc/2660/stat
open syscall for file /proc/2660/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/2660/cmdline
open syscall for file /proc/2660/environ
open syscall for file /proc/2661/stat
open syscall for file /proc/2661/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/2661/cmdline
open syscall for file /proc/2661/environ
open syscall for file /proc/2670/stat
open syscall for file /proc/2670/status
open syscall for file /proc/2670/cmdline
open syscall for file /proc/2670/environ
open syscall for file /proc/23941/stat
open syscall for file /proc/23941/status
open syscall for file /proc/23941/cmdline
open syscall for file /proc/23941/environ
open syscall for file /proc/23977/stat
open syscall for file /proc/23977/status
open syscall for file /proc/23977/cmdline
open syscall for file /proc/23977/environ
open syscall for file /proc/23978/stat
open syscall for file /proc/23978/status
open syscall for file /proc/23978/cmdline
open syscall for file /proc/23978/environ
open syscall for file /proc/23983/stat
open syscall for file /proc/23983/status
open syscall for file /proc/23983/cmdline
open syscall for file /proc/23983/environ
open syscall for file /proc/23985/stat
open syscall for file /proc/23985/status
open syscall for file /proc/23985/cmdline
open syscall for file /proc/23985/environ
open syscall for file /proc/23986/stat
open syscall for file /proc/23986/status
open syscall for file /proc/23986/cmdline
open syscall for file /proc/23986/environ
One traced child (pid=23985) exited with status: 0
One traced child (pid=23986) exited with status: 0
New process pid=23987
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=23983) exited with status: 3
One traced child (pid=23987) exited with status: 0
New process pid=23988
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=23988) exited with status: 0
One traced child (pid=23978) 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.63
CPU time (s): 1209.78
CPU user time (s): 1177.36
CPU system time (s): 32.4201
CPU usage (%): 95.2104
Max. virtual memory (cumulated for all children) (Kb): 12604