1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 26 (#equs: 0)
#decisions: 448; #end-nodes: 147;
#proof improvement attempts: 0; #restarts: 1
Current batch, end-nodes: 59 / 158 (80)
#axs: 248, #non-axs: 92
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: 1068412926 (1079070720:>=*);
#decisions: 85; #end-nodes: 21;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 21 / 80 (80)
#axs: 248, #non-axs: 93
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: 1068489726 (1078993920:>=*);
#decisions: 35; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 248, #non-axs: 93
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: 1069083646 (1078400000:>=*);
#decisions: 45; #end-nodes: 17;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 17 / 80 (80)
#axs: 248, #non-axs: 94
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: 1069160446 (1078323200:>=*);
#decisions: 115; #end-nodes: 64;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 64 / 80 (80)
#axs: 248, #non-axs: 103
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: 1069191166 (1078292480:>=*);
#decisions: 20; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 248, #non-axs: 104
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: 1069232126 (1078251520:>=*);
#decisions: 338; #end-nodes: 137;
#proof improvement attempts: 0; #restarts: 1
Current batch, end-nodes: 57 / 97 (80)
#axs: 248, #non-axs: 154
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: 1069416446 (1078067200:>=*);
#decisions: 108; #end-nodes: 31;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 31 / 80 (80)
#axs: 248, #non-axs: 171
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: 1069426686 (1078056960:>=*);
#decisions: 24; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 248, #non-axs: 171
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: 1069493246 (1077990400:>=*);
#decisions: 892; #end-nodes: 415;
#proof improvement attempts: 0; #restarts: 3
Current batch, end-nodes: 116 / 202 (80)
#axs: 248, #non-axs: 380
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: 1069621246 (1077862400:>=*);
#decisions: 52; #end-nodes: 13;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 13 / 80 (80)
#axs: 248, #non-axs: 380
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: 1069698046 (1077785600:>=*);
#decisions: 85; #end-nodes: 27;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 27 / 80 (80)
#axs: 248, #non-axs: 380
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: 1069774846 (1077708800:>=*);
#decisions: 500; #end-nodes: 262;
#proof improvement attempts: 0; #restarts: 2
Current batch, end-nodes: 36 / 94 (80)
#axs: 248, #non-axs: 520
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: 1069836286 (1077647360:>=*);
#decisions: 81; #end-nodes: 10;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 10 / 89 (80)
#axs: 248, #non-axs: 525
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: 1069913086 (1077570560:>=*);
#decisions: 54; #end-nodes: 11;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 248, #non-axs: 526
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: 1069989886 (1077493760:>=*);
#decisions: 49; #end-nodes: 7;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 248, #non-axs: 526
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: 1070066686 (1077416960:>=*);
#decisions: 46; #end-nodes: 12;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 248, #non-axs: 526
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: 1070373886 (1077109760:>=*);
#decisions: 38; #end-nodes: 10;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 248, #non-axs: 528
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: 1070394366 (1077089280:>=*);
#decisions: 3087; #end-nodes: 1628;
#proof improvement attempts: 0; #restarts: 8
Current batch, end-nodes: 62 / 86 (82)
#axs: 248, #non-axs: 1218
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: 1070696446 (1076787200:>=*);
#decisions: 15356; #end-nodes: 8110;
#proof improvement attempts: 0; #restarts: 45
Current batch, end-nodes: 129 / 135 (91)
#axs: 248, #non-axs: 3936
tight: meta-meta: start: 6, end: 9; meta: start: 10, end (keep): 19
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1070752766 (1076730880:>=*);
#decisions: 31866; #end-nodes: 17952;
#proof improvement attempts: 0; #restarts: 76
Current batch, end-nodes: 285 / 385 (99)
#axs: 248, #non-axs: 6786
tight: meta-meta: start: 6, end: 9; meta: start: 6, end (keep): 11
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1070865406 (1076618240:>=*);
#decisions: 1546041; #end-nodes: 1121557;
#proof improvement attempts: 0; #restarts: 768
Current batch, end-nodes: 0 / 326 (271)
#axs: 248, #non-axs: 3320
tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 3
loose: meta-meta: start: 8, end: 12; meta: start: 26, end (keep): 42
Model found with constant:
(pushed:) 1070865406 (1076618240:>=*)
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: 31 (#equs: 0)
Time taken: 16 min, 5 sec
2:
seed: 0
Nr of vars set: 31 (#equs: 0)
Nr of vars set: 31 (#equs: 0)
Interupt request received.
#decisions: 754811; #end-nodes: 545409;
#proof improvement attempts: 0; #restarts: 430
Current batch, end-nodes: 1654 / 2957 (227)
#axs: 248, #non-axs: 3695
tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 3
loose: meta-meta: start: 8, end: 12; meta: start: 26, end (keep): 42
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: 225 (#equs: 0)
Time taken: 3 min, 57 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/26216/stat): 26216 (vallstSAT2005PB) R 26215 26216 5929 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1852993029 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26216/statm): 174 3 169 147 0 27 0
[pid=26216] 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=26217
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=26217) exited with status: 0
New process pid=26218
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=26218) exited with status: 0
New process pid=26219
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/wulflinc19/normalized-mps-v2-20-10-misc07.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0049 s]
Raw data (loadavg): 0.97 0.98 0.96 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 222 0 0 0 946 16 0 0 20 0 1 0 1852993036 2019328 192 4294967295 134512640 134702520 3221223952 3221223088 134552511 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26219/statm): 493 192 413 48 0 445 0
[pid=26219] vsize: 1972
Current children cumulated CPU time (s) 9.64
Current children cumulated vsize (Kb) 4100
[startup+20.0057 s]
Raw data (loadavg): 0.98 0.98 0.96 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 335 0 0 0 1870 40 0 0 25 0 1 0 1852993036 2740224 305 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26219/statm): 669 305 413 48 0 621 0
[pid=26219] vsize: 2676
Current children cumulated CPU time (s) 19.12
Current children cumulated vsize (Kb) 4804
[startup+30.0065 s]
Raw data (loadavg): 0.98 0.98 0.96 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 375 0 0 0 2774 73 0 0 25 0 1 0 1852993036 2879488 345 4294967295 134512640 134702520 3221223952 3221222976 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 703 345 413 48 0 655 0
[pid=26219] vsize: 2812
Current children cumulated CPU time (s) 28.49
Current children cumulated vsize (Kb) 4940
[startup+40.0074 s]
Raw data (loadavg): 0.98 0.98 0.96 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 490 0 0 0 3673 109 0 0 20 0 1 0 1852993036 3063808 460 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 748 460 413 48 0 700 0
[pid=26219] vsize: 2992
Current children cumulated CPU time (s) 37.84
Current children cumulated vsize (Kb) 5120
[startup+50.0082 s]
Raw data (loadavg): 0.98 0.98 0.96 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 496 0 0 0 4581 142 0 0 25 0 1 0 1852993036 3063808 466 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 748 466 413 48 0 700 0
[pid=26219] vsize: 2992
Current children cumulated CPU time (s) 47.25
Current children cumulated vsize (Kb) 5120
[startup+60.009 s]
Raw data (loadavg): 0.99 0.98 0.96 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 499 0 0 0 5489 171 0 0 25 0 1 0 1852993036 3063808 469 4294967295 134512640 134702520 3221223952 3221222848 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 748 469 413 48 0 700 0
[pid=26219] vsize: 2992
Current children cumulated CPU time (s) 56.62
Current children cumulated vsize (Kb) 5120
[startup+70.0098 s]
Raw data (loadavg): 0.99 0.98 0.96 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 502 0 0 0 6399 200 0 0 25 0 1 0 1852993036 3063808 472 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 748 472 413 48 0 700 0
[pid=26219] vsize: 2992
Current children cumulated CPU time (s) 66.01
Current children cumulated vsize (Kb) 5120
[startup+80.0106 s]
Raw data (loadavg): 0.99 0.98 0.96 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 502 0 0 0 7347 218 0 0 25 0 1 0 1852993036 3063808 472 4294967295 134512640 134702520 3221223952 3221222848 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 748 472 413 48 0 700 0
[pid=26219] vsize: 2992
Current children cumulated CPU time (s) 75.67
Current children cumulated vsize (Kb) 5120
[startup+90.0114 s]
Raw data (loadavg): 0.99 0.98 0.96 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 504 0 0 0 8292 237 0 0 25 0 1 0 1852993036 3063808 474 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 748 474 413 48 0 700 0
[pid=26219] vsize: 2992
Current children cumulated CPU time (s) 85.31
Current children cumulated vsize (Kb) 5120
[startup+100.012 s]
Raw data (loadavg): 0.99 0.98 0.96 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 511 0 0 0 9192 274 0 0 25 0 1 0 1852993036 3063808 481 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26219/statm): 748 481 413 48 0 700 0
[pid=26219] vsize: 2992
Current children cumulated CPU time (s) 94.68
Current children cumulated vsize (Kb) 5120
[startup+110.014 s]
Raw data (loadavg): 0.99 0.98 0.96 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 511 0 0 0 10102 306 0 0 25 0 1 0 1852993036 3063808 481 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26219/statm): 748 481 413 48 0 700 0
[pid=26219] vsize: 2992
Current children cumulated CPU time (s) 104.1
Current children cumulated vsize (Kb) 5120
[startup+120.016 s]
Raw data (loadavg): 0.99 0.98 0.96 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 511 0 0 0 11012 334 0 0 25 0 1 0 1852993036 3063808 481 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 748 481 413 48 0 700 0
[pid=26219] vsize: 2992
Current children cumulated CPU time (s) 113.48
Current children cumulated vsize (Kb) 5120
[startup+130.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 514 0 0 0 11916 367 0 0 25 0 1 0 1852993036 3198976 484 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 781 484 413 48 0 733 0
[pid=26219] vsize: 3124
Current children cumulated CPU time (s) 122.85
Current children cumulated vsize (Kb) 5252
[startup+140.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 519 0 0 0 12836 395 0 0 25 0 1 0 1852993036 3198976 489 4294967295 134512640 134702520 3221223952 3221222848 134553287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26219/statm): 781 489 413 48 0 733 0
[pid=26219] vsize: 3124
Current children cumulated CPU time (s) 132.33
Current children cumulated vsize (Kb) 5252
[startup+150.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 519 0 0 0 13797 411 0 0 25 0 1 0 1852993036 3198976 489 4294967295 134512640 134702520 3221223952 3221222848 134552509 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26219/statm): 781 489 413 48 0 733 0
[pid=26219] vsize: 3124
Current children cumulated CPU time (s) 142.1
Current children cumulated vsize (Kb) 5252
[startup+160.019 s]
Raw data (loadavg): 0.99 0.98 0.96 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 525 0 0 0 14715 437 0 0 25 0 1 0 1852993036 3198976 495 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26219/statm): 781 495 413 48 0 733 0
[pid=26219] vsize: 3124
Current children cumulated CPU time (s) 151.54
Current children cumulated vsize (Kb) 5252
[startup+170.02 s]
Raw data (loadavg): 0.99 0.98 0.96 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 532 0 0 0 15622 471 0 0 25 0 1 0 1852993036 3198976 502 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26219/statm): 781 502 413 48 0 733 0
[pid=26219] vsize: 3124
Current children cumulated CPU time (s) 160.95
Current children cumulated vsize (Kb) 5252
[startup+180.021 s]
Raw data (loadavg): 0.99 0.98 0.96 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 537 0 0 0 16524 503 0 0 25 0 1 0 1852993036 3198976 507 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 781 507 413 48 0 733 0
[pid=26219] vsize: 3124
Current children cumulated CPU time (s) 170.29
Current children cumulated vsize (Kb) 5252
[startup+190.023 s]
Raw data (loadavg): 0.99 0.98 0.96 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 542 0 0 0 17434 533 0 0 25 0 1 0 1852993036 3198976 512 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 781 512 413 48 0 733 0
[pid=26219] vsize: 3124
Current children cumulated CPU time (s) 179.69
Current children cumulated vsize (Kb) 5252
[startup+200.022 s]
Raw data (loadavg): 0.99 0.98 0.96 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 546 0 0 0 18336 566 0 0 25 0 1 0 1852993036 3334144 516 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26219/statm): 814 516 413 48 0 766 0
[pid=26219] vsize: 3256
Current children cumulated CPU time (s) 189.04
Current children cumulated vsize (Kb) 5384
[startup+210.024 s]
Raw data (loadavg): 0.99 0.98 0.96 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 551 0 0 0 19247 596 0 0 25 0 1 0 1852993036 3334144 521 4294967295 134512640 134702520 3221223952 3221223232 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 814 521 413 48 0 766 0
[pid=26219] vsize: 3256
Current children cumulated CPU time (s) 198.45
Current children cumulated vsize (Kb) 5384
[startup+220.025 s]
Raw data (loadavg): 0.99 0.98 0.96 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 558 0 0 0 20155 627 0 0 22 0 1 0 1852993036 3334144 528 4294967295 134512640 134702520 3221223952 3221223232 134552449 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 814 528 413 48 0 766 0
[pid=26219] vsize: 3256
Current children cumulated CPU time (s) 207.84
Current children cumulated vsize (Kb) 5384
[startup+230.025 s]
Raw data (loadavg): 0.99 0.98 0.96 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 558 0 0 0 21115 639 0 0 25 0 1 0 1852993036 3334144 528 4294967295 134512640 134702520 3221223952 3221222848 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 814 528 413 48 0 766 0
[pid=26219] vsize: 3256
Current children cumulated CPU time (s) 217.56
Current children cumulated vsize (Kb) 5384
[startup+240.026 s]
Raw data (loadavg): 0.99 0.98 0.96 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 561 0 0 0 22055 660 0 0 25 0 1 0 1852993036 3334144 531 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 814 531 413 48 0 766 0
[pid=26219] vsize: 3256
Current children cumulated CPU time (s) 227.17
Current children cumulated vsize (Kb) 5384
[startup+250.026 s]
Raw data (loadavg): 0.99 0.98 0.96 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 566 0 0 0 22955 695 0 0 25 0 1 0 1852993036 3334144 536 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 814 536 413 48 0 766 0
[pid=26219] vsize: 3256
Current children cumulated CPU time (s) 236.52
Current children cumulated vsize (Kb) 5384
[startup+260.027 s]
Raw data (loadavg): 0.99 0.98 0.96 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 569 0 0 0 23864 726 0 0 18 0 1 0 1852993036 3334144 539 4294967295 134512640 134702520 3221223952 3221223232 134552263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 814 539 413 48 0 766 0
[pid=26219] vsize: 3256
Current children cumulated CPU time (s) 245.92
Current children cumulated vsize (Kb) 5384
[startup+270.028 s]
Raw data (loadavg): 0.99 0.98 0.96 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 572 0 0 0 24773 755 0 0 25 0 1 0 1852993036 3334144 542 4294967295 134512640 134702520 3221223952 3221223232 134553342 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 814 542 413 48 0 766 0
[pid=26219] vsize: 3256
Current children cumulated CPU time (s) 255.3
Current children cumulated vsize (Kb) 5384
[startup+280.029 s]
Raw data (loadavg): 0.99 0.98 0.96 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 573 0 0 0 25677 789 0 0 20 0 1 0 1852993036 3334144 543 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 814 543 413 48 0 766 0
[pid=26219] vsize: 3256
Current children cumulated CPU time (s) 264.68
Current children cumulated vsize (Kb) 5384
[startup+290.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 575 0 0 0 26576 823 0 0 25 0 1 0 1852993036 3334144 545 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 814 545 413 48 0 766 0
[pid=26219] vsize: 3256
Current children cumulated CPU time (s) 274.01
Current children cumulated vsize (Kb) 5384
[startup+300.03 s]
Raw data (loadavg): 0.99 0.98 0.96 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 580 0 0 0 27480 856 0 0 25 0 1 0 1852993036 3469312 550 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 847 550 413 48 0 799 0
[pid=26219] vsize: 3388
Current children cumulated CPU time (s) 283.38
Current children cumulated vsize (Kb) 5516
[startup+310.032 s]
Raw data (loadavg): 0.99 0.98 0.96 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 581 0 0 0 28387 889 0 0 25 0 1 0 1852993036 3469312 551 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 847 551 413 48 0 799 0
[pid=26219] vsize: 3388
Current children cumulated CPU time (s) 292.78
Current children cumulated vsize (Kb) 5516
[startup+320.033 s]
Raw data (loadavg): 0.99 0.98 0.96 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 582 0 0 0 29331 907 0 0 20 0 1 0 1852993036 3469312 552 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 847 552 413 48 0 799 0
[pid=26219] vsize: 3388
Current children cumulated CPU time (s) 302.4
Current children cumulated vsize (Kb) 5516
[startup+330.034 s]
Raw data (loadavg): 0.99 0.98 0.96 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 582 0 0 0 30291 921 0 0 25 0 1 0 1852993036 3469312 552 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 847 552 413 48 0 799 0
[pid=26219] vsize: 3388
Current children cumulated CPU time (s) 312.14
Current children cumulated vsize (Kb) 5516
[startup+340.035 s]
Raw data (loadavg): 1.07 1.00 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 585 0 0 0 31190 955 0 0 25 0 1 0 1852993036 3469312 555 4294967295 134512640 134702520 3221223952 3221222848 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26219/statm): 847 555 413 48 0 799 0
[pid=26219] vsize: 3388
Current children cumulated CPU time (s) 321.47
Current children cumulated vsize (Kb) 5516
[startup+350.036 s]
Raw data (loadavg): 1.06 1.00 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 587 0 0 0 32094 988 0 0 25 0 1 0 1852993036 3469312 557 4294967295 134512640 134702520 3221223952 3221223072 134579031 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 847 557 413 48 0 799 0
[pid=26219] vsize: 3388
Current children cumulated CPU time (s) 330.84
Current children cumulated vsize (Kb) 5516
[startup+360.037 s]
Raw data (loadavg): 1.05 1.00 0.97 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 592 0 0 0 33011 1018 0 0 25 0 1 0 1852993036 3469312 562 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 847 562 413 48 0 799 0
[pid=26219] vsize: 3388
Current children cumulated CPU time (s) 340.31
Current children cumulated vsize (Kb) 5516
[startup+370.038 s]
Raw data (loadavg): 1.04 1.00 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 594 0 0 0 33918 1047 0 0 25 0 1 0 1852993036 3469312 564 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 847 564 413 48 0 799 0
[pid=26219] vsize: 3388
Current children cumulated CPU time (s) 349.67
Current children cumulated vsize (Kb) 5516
[startup+380.039 s]
Raw data (loadavg): 1.11 1.02 0.97 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 597 0 0 0 34827 1079 0 0 25 0 1 0 1852993036 3469312 567 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 847 567 413 48 0 799 0
[pid=26219] vsize: 3388
Current children cumulated CPU time (s) 359.08
Current children cumulated vsize (Kb) 5516
[startup+390.041 s]
Raw data (loadavg): 1.09 1.02 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 600 0 0 0 35728 1114 0 0 25 0 1 0 1852993036 3469312 570 4294967295 134512640 134702520 3221223952 3221222848 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 847 570 413 48 0 799 0
[pid=26219] vsize: 3388
Current children cumulated CPU time (s) 368.44
Current children cumulated vsize (Kb) 5516
[startup+400.042 s]
Raw data (loadavg): 1.08 1.01 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 601 0 0 0 36631 1147 0 0 25 0 1 0 1852993036 3469312 571 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 847 571 413 48 0 799 0
[pid=26219] vsize: 3388
Current children cumulated CPU time (s) 377.8
Current children cumulated vsize (Kb) 5516
[startup+410.043 s]
Raw data (loadavg): 1.06 1.01 0.97 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 602 0 0 0 37540 1175 0 0 25 0 1 0 1852993036 3469312 572 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 847 572 413 48 0 799 0
[pid=26219] vsize: 3388
Current children cumulated CPU time (s) 387.17
Current children cumulated vsize (Kb) 5516
[startup+420.044 s]
Raw data (loadavg): 1.05 1.01 0.97 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 607 0 0 0 38445 1207 0 0 25 0 1 0 1852993036 3469312 577 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 847 577 413 48 0 799 0
[pid=26219] vsize: 3388
Current children cumulated CPU time (s) 396.54
Current children cumulated vsize (Kb) 5516
[startup+430.045 s]
Raw data (loadavg): 1.04 1.01 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 611 0 0 0 39384 1228 0 0 25 0 1 0 1852993036 3469312 581 4294967295 134512640 134702520 3221223952 3221222848 134552310 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26219/statm): 847 581 413 48 0 799 0
[pid=26219] vsize: 3388
Current children cumulated CPU time (s) 406.14
Current children cumulated vsize (Kb) 5516
[startup+440.046 s]
Raw data (loadavg): 1.04 1.01 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 611 0 0 0 40349 1241 0 0 25 0 1 0 1852993036 3469312 581 4294967295 134512640 134702520 3221223952 3221222848 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 847 581 413 48 0 799 0
[pid=26219] vsize: 3388
Current children cumulated CPU time (s) 415.92
Current children cumulated vsize (Kb) 5516
[startup+450.047 s]
Raw data (loadavg): 1.03 1.01 0.97 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 612 0 0 0 41255 1271 0 0 24 0 1 0 1852993036 3604480 582 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 880 582 413 48 0 832 0
[pid=26219] vsize: 3520
Current children cumulated CPU time (s) 425.28
Current children cumulated vsize (Kb) 5648
[startup+460.047 s]
Raw data (loadavg): 1.03 1.01 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 630 0 0 0 42164 1303 0 0 20 0 1 0 1852993036 3604480 600 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 880 600 413 48 0 832 0
[pid=26219] vsize: 3520
Current children cumulated CPU time (s) 434.69
Current children cumulated vsize (Kb) 5648
[startup+470.048 s]
Raw data (loadavg): 1.02 1.01 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 883 0 0 0 43070 1336 0 0 25 0 1 0 1852993036 4640768 853 4294967295 134512640 134702520 3221223952 3221223232 134552981 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 1133 853 413 48 0 1085 0
[pid=26219] vsize: 4532
Current children cumulated CPU time (s) 444.08
Current children cumulated vsize (Kb) 6660
[startup+480.049 s]
Raw data (loadavg): 1.02 1.01 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 1081 0 0 0 43988 1365 0 0 25 0 1 0 1852993036 5525504 1051 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 1349 1051 413 48 0 1301 0
[pid=26219] vsize: 5396
Current children cumulated CPU time (s) 453.55
Current children cumulated vsize (Kb) 7524
[startup+490.05 s]
Raw data (loadavg): 1.01 1.01 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 1126 0 0 0 44914 1392 0 0 25 0 1 0 1852993036 5656576 1096 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 1381 1096 413 48 0 1333 0
[pid=26219] vsize: 5524
Current children cumulated CPU time (s) 463.08
Current children cumulated vsize (Kb) 7652
[startup+500.051 s]
Raw data (loadavg): 1.01 1.00 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 1337 0 0 0 45836 1419 0 0 25 0 1 0 1852993036 6520832 1307 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26219/statm): 1592 1307 413 48 0 1544 0
[pid=26219] vsize: 6368
Current children cumulated CPU time (s) 472.57
Current children cumulated vsize (Kb) 8496
[startup+510.052 s]
Raw data (loadavg): 1.01 1.00 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 1455 0 0 0 46766 1445 0 0 25 0 1 0 1852993036 7016448 1425 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 1713 1425 413 48 0 1665 0
[pid=26219] vsize: 6852
Current children cumulated CPU time (s) 482.13
Current children cumulated vsize (Kb) 8980
[startup+520.052 s]
Raw data (loadavg): 1.01 1.00 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 1536 0 0 0 47687 1472 0 0 25 0 1 0 1852993036 7356416 1506 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 1796 1506 413 48 0 1748 0
[pid=26219] vsize: 7184
Current children cumulated CPU time (s) 491.61
Current children cumulated vsize (Kb) 9312
[startup+530.053 s]
Raw data (loadavg): 1.01 1.00 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 1694 0 0 0 48611 1499 0 0 25 0 1 0 1852993036 8036352 1664 4294967295 134512640 134702520 3221223952 3221223232 134552115 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 1962 1664 413 48 0 1914 0
[pid=26219] vsize: 7848
Current children cumulated CPU time (s) 501.12
Current children cumulated vsize (Kb) 9976
[startup+540.054 s]
Raw data (loadavg): 1.00 1.00 0.97 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 1876 0 0 0 49538 1525 0 0 25 0 1 0 1852993036 8830976 1846 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 2156 1846 413 48 0 2108 0
[pid=26219] vsize: 8624
Current children cumulated CPU time (s) 510.65
Current children cumulated vsize (Kb) 10752
[startup+550.055 s]
Raw data (loadavg): 1.00 1.00 0.97 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 1919 0 0 0 50477 1547 0 0 25 0 1 0 1852993036 8896512 1889 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 2172 1889 413 48 0 2124 0
[pid=26219] vsize: 8688
Current children cumulated CPU time (s) 520.26
Current children cumulated vsize (Kb) 10816
[startup+560.056 s]
Raw data (loadavg): 1.00 1.00 0.97 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 1951 0 0 0 51408 1570 0 0 25 0 1 0 1852993036 9064448 1921 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 2213 1921 413 48 0 2165 0
[pid=26219] vsize: 8852
Current children cumulated CPU time (s) 529.8
Current children cumulated vsize (Kb) 10980
[startup+570.057 s]
Raw data (loadavg): 1.00 1.00 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2087 0 0 0 52337 1591 0 0 25 0 1 0 1852993036 9564160 2057 4294967295 134512640 134702520 3221223952 3221223232 134554260 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 2335 2057 413 48 0 2287 0
[pid=26219] vsize: 9340
Current children cumulated CPU time (s) 539.3
Current children cumulated vsize (Kb) 11468
[startup+580.056 s]
Raw data (loadavg): 1.00 1.00 0.97 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2234 0 0 0 53270 1614 0 0 25 0 1 0 1852993036 10166272 2204 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26219/statm): 2482 2204 413 48 0 2434 0
[pid=26219] vsize: 9928
Current children cumulated CPU time (s) 548.86
Current children cumulated vsize (Kb) 12056
[startup+590.057 s]
Raw data (loadavg): 1.00 1.00 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2379 0 0 0 54209 1634 0 0 25 0 1 0 1852993036 10850304 2349 4294967295 134512640 134702520 3221223952 3221223232 134553492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 2649 2349 413 48 0 2601 0
[pid=26219] vsize: 10596
Current children cumulated CPU time (s) 558.45
Current children cumulated vsize (Kb) 12724
[startup+600.058 s]
Raw data (loadavg): 1.00 1.00 0.97 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2387 0 0 0 55154 1652 0 0 25 0 1 0 1852993036 10850304 2357 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 2649 2357 413 48 0 2601 0
[pid=26219] vsize: 10596
Current children cumulated CPU time (s) 568.08
Current children cumulated vsize (Kb) 12724
[startup+610.059 s]
Raw data (loadavg): 1.00 1.00 0.97 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2387 0 0 0 56096 1673 0 0 25 0 1 0 1852993036 10850304 2357 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 2649 2357 413 48 0 2601 0
[pid=26219] vsize: 10596
Current children cumulated CPU time (s) 577.71
Current children cumulated vsize (Kb) 12724
[startup+620.06 s]
Raw data (loadavg): 1.00 1.00 0.97 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2470 0 0 0 57041 1693 0 0 25 0 1 0 1852993036 11161600 2440 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 2725 2440 413 48 0 2677 0
[pid=26219] vsize: 10900
Current children cumulated CPU time (s) 587.36
Current children cumulated vsize (Kb) 13028
[startup+630.06 s]
Raw data (loadavg): 1.00 1.00 0.97 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2577 0 0 0 57984 1714 0 0 25 0 1 0 1852993036 11677696 2547 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 2851 2547 413 48 0 2803 0
[pid=26219] vsize: 11404
Current children cumulated CPU time (s) 597
Current children cumulated vsize (Kb) 13532
[startup+640.061 s]
Raw data (loadavg): 1.00 1.00 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2693 0 0 0 58925 1734 0 0 25 0 1 0 1852993036 12177408 2663 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26219/statm): 2973 2663 413 48 0 2925 0
[pid=26219] vsize: 11892
Current children cumulated CPU time (s) 606.61
Current children cumulated vsize (Kb) 14020
[startup+650.062 s]
Raw data (loadavg): 1.00 1.00 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2811 0 0 0 59868 1754 0 0 25 0 1 0 1852993036 12603392 2781 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26219/statm): 3077 2781 413 48 0 3029 0
[pid=26219] vsize: 12308
Current children cumulated CPU time (s) 616.24
Current children cumulated vsize (Kb) 14436
[startup+660.063 s]
Raw data (loadavg): 1.00 1.00 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2861 0 0 0 60824 1770 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221222848 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 625.96
Current children cumulated vsize (Kb) 14592
[startup+670.065 s]
Raw data (loadavg): 1.00 1.00 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2861 0 0 0 61790 1784 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221222848 134552513 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 635.76
Current children cumulated vsize (Kb) 14592
[startup+680.066 s]
Raw data (loadavg): 1.00 1.00 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2861 0 0 0 62715 1808 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223232 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 645.25
Current children cumulated vsize (Kb) 14592
[startup+690.066 s]
Raw data (loadavg): 1.00 1.00 0.97 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2861 0 0 0 63637 1834 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 654.73
Current children cumulated vsize (Kb) 14592
[startup+700.067 s]
Raw data (loadavg): 1.08 1.02 0.98 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2861 0 0 0 64567 1856 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223232 134552128 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 664.25
Current children cumulated vsize (Kb) 14592
[startup+710.069 s]
Raw data (loadavg): 1.07 1.02 0.98 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2861 0 0 0 65495 1880 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223232 134557183 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 673.77
Current children cumulated vsize (Kb) 14592
[startup+720.07 s]
Raw data (loadavg): 1.06 1.01 0.98 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2861 0 0 0 66425 1905 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 683.32
Current children cumulated vsize (Kb) 14592
[startup+730.071 s]
Raw data (loadavg): 1.05 1.01 0.98 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2861 0 0 0 67355 1928 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 692.85
Current children cumulated vsize (Kb) 14592
[startup+740.072 s]
Raw data (loadavg): 1.04 1.01 0.98 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2861 0 0 0 68282 1952 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223232 134552266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (Kb) 14592
[startup+750.072 s]
Raw data (loadavg): 1.03 1.01 0.98 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2861 0 0 0 69176 1989 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223232 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 711.67
Current children cumulated vsize (Kb) 14592
[startup+760.073 s]
Raw data (loadavg): 1.03 1.01 0.98 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2861 0 0 0 70087 2021 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223232 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 721.1
Current children cumulated vsize (Kb) 14592
[startup+770.074 s]
Raw data (loadavg): 1.02 1.01 0.98 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2861 0 0 0 71006 2045 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 730.53
Current children cumulated vsize (Kb) 14592
[startup+780.075 s]
Raw data (loadavg): 1.02 1.01 0.98 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2861 0 0 0 71904 2079 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221222848 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 739.85
Current children cumulated vsize (Kb) 14592
[startup+790.076 s]
Raw data (loadavg): 1.02 1.01 0.98 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2861 0 0 0 72809 2112 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223232 134553830 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 749.23
Current children cumulated vsize (Kb) 14592
[startup+800.077 s]
Raw data (loadavg): 1.01 1.01 0.98 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2861 0 0 0 73722 2140 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 758.64
Current children cumulated vsize (Kb) 14592
[startup+810.078 s]
Raw data (loadavg): 1.01 1.01 0.98 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2861 0 0 0 74627 2173 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 768.02
Current children cumulated vsize (Kb) 14592
[startup+820.079 s]
Raw data (loadavg): 1.01 1.00 0.98 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2861 0 0 0 75536 2204 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 777.42
Current children cumulated vsize (Kb) 14592
[startup+830.08 s]
Raw data (loadavg): 1.01 1.00 0.98 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2861 0 0 0 76446 2234 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 786.82
Current children cumulated vsize (Kb) 14592
[startup+840.081 s]
Raw data (loadavg): 1.00 1.00 0.98 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2861 0 0 0 77391 2251 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 796.44
Current children cumulated vsize (Kb) 14592
[startup+850.082 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2861 0 0 0 78356 2263 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221222848 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 806.21
Current children cumulated vsize (Kb) 14592
[startup+860.082 s]
Raw data (loadavg): 1.00 1.00 0.98 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2861 0 0 0 79262 2296 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 815.6
Current children cumulated vsize (Kb) 14592
[startup+870.083 s]
Raw data (loadavg): 1.00 1.00 0.98 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2861 0 0 0 80166 2330 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 824.98
Current children cumulated vsize (Kb) 14592
[startup+880.084 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2861 0 0 0 81071 2363 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221222952 134564367 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 834.36
Current children cumulated vsize (Kb) 14592
[startup+890.085 s]
Raw data (loadavg): 1.00 1.00 0.98 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2861 0 0 0 81985 2392 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 843.79
Current children cumulated vsize (Kb) 14592
[startup+900.086 s]
Raw data (loadavg): 1.00 1.00 0.98 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2861 0 0 0 82898 2424 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 853.24
Current children cumulated vsize (Kb) 14592
[startup+910.088 s]
Raw data (loadavg): 1.00 1.00 0.98 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2861 0 0 0 83813 2453 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 862.68
Current children cumulated vsize (Kb) 14592
[startup+920.088 s]
Raw data (loadavg): 1.07 1.02 0.99 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2861 0 0 0 84725 2481 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 872.08
Current children cumulated vsize (Kb) 14592
[startup+930.089 s]
Raw data (loadavg): 1.06 1.02 0.99 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2861 0 0 0 85632 2511 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 881.45
Current children cumulated vsize (Kb) 14592
[startup+940.09 s]
Raw data (loadavg): 1.05 1.01 0.99 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2861 0 0 0 86544 2541 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221222848 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 890.87
Current children cumulated vsize (Kb) 14592
[startup+950.091 s]
Raw data (loadavg): 1.04 1.01 0.99 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2861 0 0 0 87446 2573 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 900.21
Current children cumulated vsize (Kb) 14592
[startup+960.093 s]
Raw data (loadavg): 1.04 1.01 0.99 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2861 0 0 0 88347 2606 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223232 134552903 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 909.55
Current children cumulated vsize (Kb) 14592
[startup+970.093 s]
Raw data (loadavg): 1.03 1.01 0.99 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2861 0 0 0 89260 2636 0 0 20 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 918.98
Current children cumulated vsize (Kb) 14592
[startup+980.093 s]
Raw data (loadavg): 1.02 1.01 0.99 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2861 0 0 0 90175 2665 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221222848 134552460 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 928.42
Current children cumulated vsize (Kb) 14592
[startup+990.094 s]
Raw data (loadavg): 1.02 1.01 0.99 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2861 0 0 0 91083 2695 0 0 21 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 937.8
Current children cumulated vsize (Kb) 14592
[startup+1000.09 s]
Raw data (loadavg): 1.02 1.01 0.99 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2861 0 0 0 91989 2725 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 947.16
Current children cumulated vsize (Kb) 14592
[startup+1010.1 s]
Raw data (loadavg): 1.01 1.01 0.99 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2861 0 0 0 92944 2741 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221222848 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 956.87
Current children cumulated vsize (Kb) 14592
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=26219) exited with status: 2
New process pid=26220
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=26220) exited with status: 0
New process pid=26221
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+1020.1 s]
Raw data (loadavg): 1.01 1.01 0.99 2/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) T 26216 26216 5929 0 -1 0 265 0 0 0 104 14 0 0 20 0 1 0 1853094908 2293760 235 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/26221/statm): 560 235 413 48 0 512 0
[pid=26221] vsize: 2240
Current children cumulated CPU time (s) 966.42
Current children cumulated vsize (Kb) 4368
[startup+1030.1 s]
Raw data (loadavg): 1.01 1.01 0.99 2/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) R 26216 26216 5929 0 -1 0 267 0 0 0 805 114 0 0 18 0 1 0 1853094908 2293760 237 4294967295 134512640 134702520 3221223712 3221222700 134564336 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26221/statm): 560 237 413 48 0 512 0
[pid=26221] vsize: 2240
Current children cumulated CPU time (s) 974.43
Current children cumulated vsize (Kb) 4368
[startup+1040.1 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) R 26216 26216 5929 0 -1 0 491 0 0 0 1532 206 0 0 20 0 1 0 1853094908 3166208 461 4294967295 134512640 134702520 3221223712 3221222608 134553914 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26221/statm): 773 461 413 48 0 725 0
[pid=26221] vsize: 3092
Current children cumulated CPU time (s) 982.62
Current children cumulated vsize (Kb) 5220
[startup+1050.1 s]
Raw data (loadavg): 1.01 1.00 0.99 1/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) T 26216 26216 5929 0 -1 0 499 0 0 0 2271 293 0 0 20 0 1 0 1853094908 3166208 469 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26221/statm): 773 469 413 48 0 725 0
[pid=26221] vsize: 3092
Current children cumulated CPU time (s) 990.88
Current children cumulated vsize (Kb) 5220
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) R 26216 26216 5929 0 -1 0 512 0 0 0 3028 379 0 0 20 0 1 0 1853094908 3166208 482 4294967295 134512640 134702520 3221223712 3221222608 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26221/statm): 773 482 413 48 0 725 0
[pid=26221] vsize: 3092
Current children cumulated CPU time (s) 999.31
Current children cumulated vsize (Kb) 5220
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) T 26216 26216 5929 0 -1 0 512 0 0 0 3740 477 0 0 19 0 1 0 1853094908 3166208 482 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26221/statm): 773 482 413 48 0 725 0
[pid=26221] vsize: 3092
Current children cumulated CPU time (s) 1007.41
Current children cumulated vsize (Kb) 5220
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) R 26216 26216 5929 0 -1 0 522 0 0 0 4487 563 0 0 22 0 1 0 1853094908 3301376 492 4294967295 134512640 134702520 3221223712 3221222832 134572157 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26221/statm): 806 492 413 48 0 758 0
[pid=26221] vsize: 3224
Current children cumulated CPU time (s) 1015.74
Current children cumulated vsize (Kb) 5352
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) R 26216 26216 5929 0 -1 0 531 0 0 0 5254 642 0 0 18 0 1 0 1853094908 3301376 501 4294967295 134512640 134702520 3221223712 3221222912 134617943 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26221/statm): 806 501 413 48 0 758 0
[pid=26221] vsize: 3224
Current children cumulated CPU time (s) 1024.2
Current children cumulated vsize (Kb) 5352
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) T 26216 26216 5929 0 -1 0 546 0 0 0 6042 715 0 0 23 0 1 0 1853094908 3301376 516 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26221/statm): 806 516 413 48 0 758 0
[pid=26221] vsize: 3224
Current children cumulated CPU time (s) 1032.81
Current children cumulated vsize (Kb) 5352
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) T 26216 26216 5929 0 -1 0 556 0 0 0 6820 793 0 0 22 0 1 0 1853094908 3436544 526 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26221/statm): 839 526 413 48 0 791 0
[pid=26221] vsize: 3356
Current children cumulated CPU time (s) 1041.37
Current children cumulated vsize (Kb) 5484
[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) T 26216 26216 5929 0 -1 0 561 0 0 0 7598 869 0 0 20 0 1 0 1853094908 3436544 531 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26221/statm): 839 531 413 48 0 791 0
[pid=26221] vsize: 3356
Current children cumulated CPU time (s) 1049.91
Current children cumulated vsize (Kb) 5484
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) T 26216 26216 5929 0 -1 0 562 0 0 0 8333 965 0 0 20 0 1 0 1853094908 3436544 532 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26221/statm): 839 532 413 48 0 791 0
[pid=26221] vsize: 3356
Current children cumulated CPU time (s) 1058.22
Current children cumulated vsize (Kb) 5484
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) T 26216 26216 5929 0 -1 0 562 0 0 0 9050 1060 0 0 20 0 1 0 1853094908 3436544 532 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26221/statm): 839 532 413 48 0 791 0
[pid=26221] vsize: 3356
Current children cumulated CPU time (s) 1066.34
Current children cumulated vsize (Kb) 5484
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) T 26216 26216 5929 0 -1 0 566 0 0 0 9814 1143 0 0 20 0 1 0 1853094908 3436544 536 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26221/statm): 839 536 413 48 0 791 0
[pid=26221] vsize: 3356
Current children cumulated CPU time (s) 1074.81
Current children cumulated vsize (Kb) 5484
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) R 26216 26216 5929 0 -1 0 572 0 0 0 10584 1222 0 0 20 0 1 0 1853094908 3436544 542 4294967295 134512640 134702520 3221223712 3221222608 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26221/statm): 839 542 413 48 0 791 0
[pid=26221] vsize: 3356
Current children cumulated CPU time (s) 1083.3
Current children cumulated vsize (Kb) 5484
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) T 26216 26216 5929 0 -1 0 576 0 0 0 11375 1292 0 0 21 0 1 0 1853094908 3436544 546 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26221/statm): 839 546 413 48 0 791 0
[pid=26221] vsize: 3356
Current children cumulated CPU time (s) 1091.91
Current children cumulated vsize (Kb) 5484
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) T 26216 26216 5929 0 -1 0 582 0 0 0 12172 1361 0 0 23 0 1 0 1853094908 3436544 552 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26221/statm): 839 552 413 48 0 791 0
[pid=26221] vsize: 3356
Current children cumulated CPU time (s) 1100.57
Current children cumulated vsize (Kb) 5484
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) R 26216 26216 5929 0 -1 0 583 0 0 0 12915 1447 0 0 20 0 1 0 1853094908 3436544 553 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26221/statm): 839 553 413 48 0 791 0
[pid=26221] vsize: 3356
Current children cumulated CPU time (s) 1108.86
Current children cumulated vsize (Kb) 5484
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) T 26216 26216 5929 0 -1 0 586 0 0 0 13648 1538 0 0 22 0 1 0 1853094908 3436544 556 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26221/statm): 839 556 413 48 0 791 0
[pid=26221] vsize: 3356
Current children cumulated CPU time (s) 1117.1
Current children cumulated vsize (Kb) 5484
[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) T 26216 26216 5929 0 -1 0 588 0 0 0 14431 1616 0 0 19 0 1 0 1853094908 3571712 558 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26221/statm): 872 558 413 48 0 824 0
[pid=26221] vsize: 3488
Current children cumulated CPU time (s) 1125.71
Current children cumulated vsize (Kb) 5616
[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) T 26216 26216 5929 0 -1 0 592 0 0 0 15213 1692 0 0 22 0 1 0 1853094908 3571712 562 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26221/statm): 872 562 413 48 0 824 0
[pid=26221] vsize: 3488
Current children cumulated CPU time (s) 1134.29
Current children cumulated vsize (Kb) 5616
[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) T 26216 26216 5929 0 -1 0 596 0 0 0 15992 1771 0 0 23 0 1 0 1853094908 3571712 566 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26221/statm): 872 566 413 48 0 824 0
[pid=26221] vsize: 3488
Current children cumulated CPU time (s) 1142.87
Current children cumulated vsize (Kb) 5616
[startup+1240.12 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) R 26216 26216 5929 0 -1 0 600 0 0 0 16761 1846 0 0 19 0 1 0 1853094908 3571712 570 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26221/statm): 872 570 413 48 0 824 0
[pid=26221] vsize: 3488
Current children cumulated CPU time (s) 1151.31
Current children cumulated vsize (Kb) 5616
[startup+1250.12 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) R 26216 26216 5929 0 -1 0 607 0 0 0 17556 1917 0 0 23 0 1 0 1853094908 3571712 577 4294967295 134512640 134702520 3221223712 3221222992 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26221/statm): 872 577 413 48 0 824 0
[pid=26221] vsize: 3488
Current children cumulated CPU time (s) 1159.97
Current children cumulated vsize (Kb) 5616
[startup+1260.12 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) T 26216 26216 5929 0 -1 0 607 0 0 0 18285 2014 0 0 19 0 1 0 1853094908 3571712 577 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26221/statm): 872 577 413 48 0 824 0
[pid=26221] vsize: 3488
Current children cumulated CPU time (s) 1168.23
Current children cumulated vsize (Kb) 5616
[startup+1270.12 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) T 26216 26216 5929 0 -1 0 609 0 0 0 19026 2102 0 0 20 0 1 0 1853094908 3571712 579 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26221/statm): 872 579 413 48 0 824 0
[pid=26221] vsize: 3488
Current children cumulated CPU time (s) 1176.52
Current children cumulated vsize (Kb) 5616
[startup+1280.12 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) R 26216 26216 5929 0 -1 0 613 0 0 0 19796 2179 0 0 20 0 1 0 1853094908 3571712 583 4294967295 134512640 134702520 3221223712 3221222992 134552268 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26221/statm): 872 583 413 48 0 824 0
[pid=26221] vsize: 3488
Current children cumulated CPU time (s) 1184.99
Current children cumulated vsize (Kb) 5616
[startup+1290.12 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) T 26216 26216 5929 0 -1 0 616 0 0 0 20598 2245 0 0 21 0 1 0 1853094908 3571712 586 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26221/statm): 872 586 413 48 0 824 0
[pid=26221] vsize: 3488
Current children cumulated CPU time (s) 1193.67
Current children cumulated vsize (Kb) 5616
[startup+1300.13 s]
Raw data (loadavg): 1.08 1.02 0.99 2/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) R 26216 26216 5929 0 -1 0 620 0 0 0 21384 2317 0 0 21 0 1 0 1853094908 3571712 590 4294967295 134512640 134702520 3221223712 3221222832 134578758 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26221/statm): 872 590 413 48 0 824 0
[pid=26221] vsize: 3488
Current children cumulated CPU time (s) 1202.25
Current children cumulated vsize (Kb) 5616
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1300.13 s]
Raw data (loadavg): 1.08 1.02 0.99 2/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) R 26216 26216 5929 0 -1 0 620 0 0 0 21384 2317 0 0 21 0 1 0 1853094908 3571712 590 4294967295 134512640 134702520 3221223712 3221222832 134578758 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26221/statm): 872 590 413 48 0 824 0
[pid=26221] vsize: 3488
Current children cumulated CPU time (s) 1202.25
Current children cumulated vsize (Kb) 5616
Sending SIGTERM to -26216
Sleeping 2 seconds
New process pid=26223
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=26224
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/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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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)
One traced child (pid=26221) exited with status: 3
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/3766/stat
open syscall for file /proc/3766/status
open syscall for file /proc/3766/cmdline
open syscall for file /proc/3766/environ
open syscall for file /proc/6014/stat
open syscall for file /proc/6014/status
open syscall for file /proc/6014/cmdline
open syscall for file /proc/6014/environ
open syscall for file /proc/6040/stat
open syscall for file /proc/6040/status
open syscall for file /proc/6040/cmdline
open syscall for file /proc/6040/environ
open syscall for file /proc/6065/stat
open syscall for file /proc/6065/status
open syscall for file /proc/6065/cmdline
open syscall for file /proc/6065/environ
open syscall for file /proc/15342/stat
open syscall for file /proc/15342/status
open syscall for file /proc/15342/cmdline
open syscall for file /proc/15342/environ
open syscall for file /proc/15343/stat
open syscall for file /proc/15343/status
open syscall for file /proc/15343/cmdline
open syscall for file /proc/15343/environ
open syscall for file /proc/20705/stat
open syscall for file /proc/20705/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/20705/cmdline
open syscall for file /proc/20705/environ
open syscall for file /proc/20741/stat
open syscall for file /proc/20741/status
open syscall for file /proc/20741/cmdline
open syscall for file /proc/20741/environ
open syscall for file /proc/5929/stat
open syscall for file /proc/5929/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/5929/cmdline
open syscall for file /proc/5929/environ
open syscall for file /proc/5930/stat
open syscall for file /proc/5930/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/5930/cmdline
open syscall for file /proc/5930/environ
open syscall for file /proc/5939/stat
open syscall for file /proc/5939/status
open syscall for file /proc/5939/cmdline
open syscall for file /proc/5939/environ
open syscall for file /proc/26179/stat
open syscall for file /proc/26179/status
open syscall for file /proc/26179/cmdline
open syscall for file /proc/26179/environ
open syscall for file /proc/26215/stat
open syscall for file /proc/26215/status
open syscall for file /proc/26215/cmdline
open syscall for file /proc/26215/environ
open syscall for file /proc/26216/stat
open syscall for file /proc/26216/status
open syscall for file /proc/26216/cmdline
open syscall for file /proc/26216/environ
open syscall for file /proc/26223/stat
open syscall for file /proc/26223/status
open syscall for file /proc/26223/cmdline
open syscall for file /proc/26223/environ
open syscall for file /proc/26224/stat
open syscall for file /proc/26224/status
open syscall for file /proc/26224/cmdline
open syscall for file /proc/26224/environ
One traced child (pid=26223) exited with status: 0
One traced child (pid=26224) exited with status: 0
New process pid=26225
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=26225) exited with status: 0
New process pid=26226
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=26226) exited with status: 0
One traced child (pid=26216) 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): 1300.62
CPU time (s): 1202.43
CPU user time (s): 1151.64
CPU system time (s): 50.7923
CPU usage (%): 92.4505
Max. virtual memory (cumulated for all children) (Kb): 14592