1:
seed: 0
Nr of vars set: 199 (#equs: 0)
Nr of vars set: 199 (#equs: 0)
#decisions: 722; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 8779, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant: 3438 (878:>=*);
#decisions: 26890; #end-nodes: 2672;
#proof improvement attempts: 0; #restarts: 32
Current batch, end-nodes: 0 / 88 (88)
#axs: 8779, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 3439 (877:>=*);
#decisions: 35261; #end-nodes: 3567;
#proof improvement attempts: 0; #restarts: 42
Current batch, end-nodes: 0 / 90 (90)
#axs: 8779, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 3440 (876:>=*);
#decisions: 303188; #end-nodes: 42713;
#proof improvement attempts: 0; #restarts: 347
Current batch, end-nodes: 0 / 166 (166)
#axs: 8779, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 3441 (875:>=*);
#decisions: 79297; #end-nodes: 8808;
#proof improvement attempts: 0; #restarts: 96
Current batch, end-nodes: 0 / 103 (103)
#axs: 8779, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant:
(pushed:) 3441 (875:>=*)
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: 199 (#equs: 0)
Time taken: 5 min, 15 sec
2:
seed: 0
Nr of vars set: 199 (#equs: 0)
Nr of vars set: 199 (#equs: 0)
Interupt request received.
#decisions: 992130; #end-nodes: 247271;
#proof improvement attempts: 0; #restarts: 1006
Current batch, end-nodes: 304 / 371 (371)
#axs: 7373, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: 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: 947 (#equs: 0)
Time taken: 14 min, 45 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/24095/stat): 24095 (vallstSAT2005PB) R 24094 24095 20728 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1841918140 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24095/statm): 174 3 169 147 0 27 0
[pid=24095] 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=24096
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=24096) exited with status: 0
New process pid=24097
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=24097) exited with status: 0
New process pid=24098
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/wulflinc24/normalized-apex4.a.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0031 s]
Raw data (loadavg): 1.00 1.09 1.08 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 559 0 0 0 175 261 0 0 15 0 1 0 1841918148 3903488 529 4294967295 134512640 134702520 3221223968 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24098/statm): 953 529 413 48 0 905 0
[pid=24098] vsize: 3812
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (Kb) 5940
[startup+20.0049 s]
Raw data (loadavg): 1.00 1.09 1.08 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 867 0 0 0 932 339 0 0 16 0 1 0 1841918148 6955008 837 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1698 837 413 48 0 1650 0
[pid=24098] vsize: 6792
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (Kb) 8920
[startup+30.0055 s]
Raw data (loadavg): 1.00 1.08 1.08 2/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) R 24095 24095 20728 0 -1 0 881 0 0 0 1795 383 0 0 17 0 1 0 1841918148 6955008 851 4294967295 134512640 134702520 3221223968 3221223248 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1698 851 413 48 0 1650 0
[pid=24098] vsize: 6792
Current children cumulated CPU time (s) 21.8
Current children cumulated vsize (Kb) 8920
[startup+40.0052 s]
Raw data (loadavg): 1.00 1.08 1.08 2/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 881 0 0 0 2649 429 0 0 17 0 1 0 1841918148 6955008 851 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24098/statm): 1698 851 413 48 0 1650 0
[pid=24098] vsize: 6792
Current children cumulated CPU time (s) 30.8
Current children cumulated vsize (Kb) 8920
[startup+50.0069 s]
Raw data (loadavg): 1.00 1.08 1.08 2/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) R 24095 24095 20728 0 -1 0 890 0 0 0 3511 479 0 0 17 0 1 0 1841918148 6955008 860 4294967295 134512640 134702520 3221223968 3221223248 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1698 860 413 48 0 1650 0
[pid=24098] vsize: 6792
Current children cumulated CPU time (s) 39.92
Current children cumulated vsize (Kb) 8920
[startup+60.0076 s]
Raw data (loadavg): 1.00 1.08 1.08 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 891 0 0 0 4375 523 0 0 17 0 1 0 1841918148 6955008 861 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24098/statm): 1698 861 413 48 0 1650 0
[pid=24098] vsize: 6792
Current children cumulated CPU time (s) 49
Current children cumulated vsize (Kb) 8920
[startup+70.0093 s]
Raw data (loadavg): 1.00 1.07 1.08 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 897 0 0 0 5198 586 0 0 16 0 1 0 1841918148 6955008 867 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1698 867 413 48 0 1650 0
[pid=24098] vsize: 6792
Current children cumulated CPU time (s) 57.86
Current children cumulated vsize (Kb) 8920
[startup+80.011 s]
Raw data (loadavg): 1.00 1.07 1.08 2/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) R 24095 24095 20728 0 -1 0 915 0 0 0 6060 631 0 0 17 0 1 0 1841918148 6955008 885 4294967295 134512640 134702520 3221223968 3221223088 134572146 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24098/statm): 1698 885 413 48 0 1650 0
[pid=24098] vsize: 6792
Current children cumulated CPU time (s) 66.93
Current children cumulated vsize (Kb) 8920
[startup+90.0117 s]
Raw data (loadavg): 1.00 1.07 1.07 2/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) R 24095 24095 20728 0 -1 0 932 0 0 0 6931 675 0 0 17 0 1 0 1841918148 6955008 902 4294967295 134512640 134702520 3221223968 3221223248 134552868 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1698 902 413 48 0 1650 0
[pid=24098] vsize: 6792
Current children cumulated CPU time (s) 76.08
Current children cumulated vsize (Kb) 8920
[startup+100.012 s]
Raw data (loadavg): 1.00 1.06 1.07 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 943 0 0 0 7687 757 0 0 15 0 1 0 1841918148 6955008 913 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24098/statm): 1698 913 413 48 0 1650 0
[pid=24098] vsize: 6792
Current children cumulated CPU time (s) 84.46
Current children cumulated vsize (Kb) 8920
[startup+110.013 s]
Raw data (loadavg): 1.00 1.06 1.07 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 943 0 0 0 8397 855 0 0 15 0 1 0 1841918148 6955008 913 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1698 913 413 48 0 1650 0
[pid=24098] vsize: 6792
Current children cumulated CPU time (s) 92.54
Current children cumulated vsize (Kb) 8920
[startup+120.014 s]
Raw data (loadavg): 1.00 1.06 1.07 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 958 0 0 0 9236 913 0 0 15 0 1 0 1841918148 6955008 928 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24098/statm): 1698 928 413 48 0 1650 0
[pid=24098] vsize: 6792
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (Kb) 8920
[startup+130.014 s]
Raw data (loadavg): 1.00 1.06 1.07 2/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) R 24095 24095 20728 0 -1 0 1331 0 0 0 10087 964 0 0 16 0 1 0 1841918148 7057408 1301 4294967295 134512640 134702520 3221223968 3221223088 134578886 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1723 1301 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 110.53
Current children cumulated vsize (Kb) 9020
[startup+140.015 s]
Raw data (loadavg): 1.00 1.05 1.07 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 1331 0 0 0 10950 1010 0 0 17 0 1 0 1841918148 7057408 1301 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24098/statm): 1723 1301 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 119.62
Current children cumulated vsize (Kb) 9020
[startup+150.016 s]
Raw data (loadavg): 1.07 1.07 1.07 2/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) R 24095 24095 20728 0 -1 0 1332 0 0 0 11816 1053 0 0 17 0 1 0 1841918148 7057408 1302 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24098/statm): 1723 1302 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 128.71
Current children cumulated vsize (Kb) 9020
[startup+160.017 s]
Raw data (loadavg): 1.06 1.06 1.07 2/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) R 24095 24095 20728 0 -1 0 1332 0 0 0 12688 1096 0 0 17 0 1 0 1841918148 7057408 1302 4294967295 134512640 134702520 3221223968 3221223088 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1723 1302 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 137.86
Current children cumulated vsize (Kb) 9020
[startup+170.018 s]
Raw data (loadavg): 1.05 1.06 1.07 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 1333 0 0 0 13430 1183 0 0 15 0 1 0 1841918148 7057408 1303 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1723 1303 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 146.15
Current children cumulated vsize (Kb) 9020
[startup+180.019 s]
Raw data (loadavg): 1.04 1.06 1.07 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 1333 0 0 0 14145 1280 0 0 15 0 1 0 1841918148 7057408 1303 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24098/statm): 1723 1303 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 154.27
Current children cumulated vsize (Kb) 9020
[startup+190.02 s]
Raw data (loadavg): 1.04 1.06 1.07 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 1333 0 0 0 15046 1314 0 0 17 0 1 0 1841918148 7057408 1303 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1723 1303 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 163.62
Current children cumulated vsize (Kb) 9020
[startup+200.021 s]
Raw data (loadavg): 1.03 1.05 1.07 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 1334 0 0 0 15910 1361 0 0 16 0 1 0 1841918148 7057408 1304 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1723 1304 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 172.73
Current children cumulated vsize (Kb) 9020
[startup+210.022 s]
Raw data (loadavg): 1.02 1.05 1.07 2/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) R 24095 24095 20728 0 -1 0 1335 0 0 0 16768 1409 0 0 16 0 1 0 1841918148 7057408 1305 4294967295 134512640 134702520 3221223968 3221222864 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1723 1305 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 181.79
Current children cumulated vsize (Kb) 9020
[startup+220.023 s]
Raw data (loadavg): 1.02 1.05 1.07 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 1336 0 0 0 17631 1454 0 0 15 0 1 0 1841918148 7057408 1306 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24098/statm): 1723 1306 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 190.87
Current children cumulated vsize (Kb) 9020
[startup+230.023 s]
Raw data (loadavg): 1.10 1.07 1.07 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 1336 0 0 0 18514 1497 0 0 16 0 1 0 1841918148 7057408 1306 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1723 1306 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 200.13
Current children cumulated vsize (Kb) 9020
[startup+240.024 s]
Raw data (loadavg): 1.08 1.06 1.07 2/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) R 24095 24095 20728 0 -1 0 1337 0 0 0 19398 1538 0 0 16 0 1 0 1841918148 7057408 1307 4294967295 134512640 134702520 3221223968 3221222864 134552419 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1723 1307 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 209.38
Current children cumulated vsize (Kb) 9020
[startup+250.025 s]
Raw data (loadavg): 1.07 1.06 1.07 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 1337 0 0 0 20117 1634 0 0 15 0 1 0 1841918148 7057408 1307 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1723 1307 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 217.53
Current children cumulated vsize (Kb) 9020
[startup+260.025 s]
Raw data (loadavg): 1.06 1.06 1.07 2/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) R 24095 24095 20728 0 -1 0 1337 0 0 0 20881 1715 0 0 17 0 1 0 1841918148 7057408 1307 4294967295 134512640 134702520 3221223968 3221223088 134578750 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1723 1307 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 225.98
Current children cumulated vsize (Kb) 9020
[startup+270.027 s]
Raw data (loadavg): 1.05 1.06 1.07 2/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) R 24095 24095 20728 0 -1 0 1337 0 0 0 21768 1753 0 0 17 0 1 0 1841918148 7057408 1307 4294967295 134512640 134702520 3221223968 3221223088 134573085 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1723 1307 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 235.23
Current children cumulated vsize (Kb) 9020
[startup+280.028 s]
Raw data (loadavg): 1.04 1.05 1.07 2/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) R 24095 24095 20728 0 -1 0 1338 0 0 0 22654 1791 0 0 17 0 1 0 1841918148 7057408 1308 4294967295 134512640 134702520 3221223968 3221223088 134586075 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1723 1308 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 244.47
Current children cumulated vsize (Kb) 9020
[startup+290.029 s]
Raw data (loadavg): 1.03 1.05 1.07 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 1339 0 0 0 23548 1826 0 0 15 0 1 0 1841918148 7057408 1309 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1723 1309 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 253.76
Current children cumulated vsize (Kb) 9020
[startup+300.029 s]
Raw data (loadavg): 1.03 1.05 1.06 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 1339 0 0 0 24454 1859 0 0 17 0 1 0 1841918148 7057408 1309 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24098/statm): 1723 1309 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 263.15
Current children cumulated vsize (Kb) 9020
[startup+310.03 s]
Raw data (loadavg): 1.02 1.05 1.06 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 1340 0 0 0 25313 1908 0 0 16 0 1 0 1841918148 7057408 1310 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1723 1310 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 272.23
Current children cumulated vsize (Kb) 9020
[startup+320.032 s]
Raw data (loadavg): 1.02 1.05 1.06 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 1341 0 0 0 26142 1969 0 0 16 0 1 0 1841918148 7057408 1311 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24098/statm): 1723 1311 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 281.13
Current children cumulated vsize (Kb) 9020
[startup+330.032 s]
Raw data (loadavg): 1.10 1.06 1.07 2/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) R 24095 24095 20728 0 -1 0 1341 0 0 0 27016 2011 0 0 17 0 1 0 1841918148 7057408 1311 4294967295 134512640 134702520 3221223968 3221223248 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1723 1311 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 290.29
Current children cumulated vsize (Kb) 9020
[startup+340.032 s]
Raw data (loadavg): 1.08 1.06 1.07 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 1341 0 0 0 27868 2061 0 0 16 0 1 0 1841918148 7057408 1311 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24098/statm): 1723 1311 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 299.31
Current children cumulated vsize (Kb) 9020
[startup+350.034 s]
Raw data (loadavg): 1.07 1.06 1.06 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 1341 0 0 0 28581 2160 0 0 15 0 1 0 1841918148 7057408 1311 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24098/statm): 1723 1311 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 307.43
Current children cumulated vsize (Kb) 9020
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=24098) exited with status: 2
New process pid=24099
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=24099) exited with status: 0
New process pid=24100
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
[startup+360.034 s]
Raw data (loadavg): 1.14 1.07 1.07 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 406 0 0 0 19 2 0 0 20 0 1 0 1841954125 3538944 378 4294967295 134512640 134702520 3221223712 3221223228 1074515616 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 864 378 413 48 0 816 0
[pid=24100] vsize: 3456
Current children cumulated CPU time (s) 315.58
Current children cumulated vsize (Kb) 5584
[startup+370.036 s]
Raw data (loadavg): 1.11 1.07 1.07 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 507 0 0 0 788 81 0 0 22 0 1 0 1841954125 3702784 478 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 904 478 413 48 0 856 0
[pid=24100] vsize: 3616
Current children cumulated CPU time (s) 324.06
Current children cumulated vsize (Kb) 5744
[startup+380.037 s]
Raw data (loadavg): 1.10 1.06 1.07 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 773 0 0 0 1582 145 0 0 25 0 1 0 1841954125 6356992 744 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1552 744 413 48 0 1504 0
[pid=24100] vsize: 6208
Current children cumulated CPU time (s) 332.64
Current children cumulated vsize (Kb) 8336
[startup+390.037 s]
Raw data (loadavg): 1.08 1.06 1.07 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1187 0 0 0 2424 201 0 0 25 0 1 0 1841954125 6356992 1158 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1552 1158 413 48 0 1504 0
[pid=24100] vsize: 6208
Current children cumulated CPU time (s) 341.62
Current children cumulated vsize (Kb) 8336
[startup+400.038 s]
Raw data (loadavg): 1.07 1.06 1.07 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1195 0 0 0 3288 243 0 0 25 0 1 0 1841954125 6356992 1166 4294967295 134512640 134702520 3221223712 3221222992 134554270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1552 1166 413 48 0 1504 0
[pid=24100] vsize: 6208
Current children cumulated CPU time (s) 350.68
Current children cumulated vsize (Kb) 8336
[startup+410.039 s]
Raw data (loadavg): 1.06 1.06 1.06 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1197 0 0 0 4124 297 0 0 20 0 1 0 1841954125 6356992 1168 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1552 1168 413 48 0 1504 0
[pid=24100] vsize: 6208
Current children cumulated CPU time (s) 359.58
Current children cumulated vsize (Kb) 8336
[startup+420.04 s]
Raw data (loadavg): 1.05 1.05 1.06 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1200 0 0 0 4971 349 0 0 18 0 1 0 1841954125 6356992 1171 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1552 1171 413 48 0 1504 0
[pid=24100] vsize: 6208
Current children cumulated CPU time (s) 368.57
Current children cumulated vsize (Kb) 8336
[startup+430.041 s]
Raw data (loadavg): 1.04 1.05 1.06 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1203 0 0 0 5788 412 0 0 19 0 1 0 1841954125 6356992 1174 4294967295 134512640 134702520 3221223712 3221222608 134552232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1552 1174 413 48 0 1504 0
[pid=24100] vsize: 6208
Current children cumulated CPU time (s) 377.37
Current children cumulated vsize (Kb) 8336
[startup+440.042 s]
Raw data (loadavg): 1.03 1.05 1.06 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1203 0 0 0 6481 512 0 0 19 0 1 0 1841954125 6356992 1174 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1552 1174 413 48 0 1504 0
[pid=24100] vsize: 6208
Current children cumulated CPU time (s) 385.3
Current children cumulated vsize (Kb) 8336
[startup+450.043 s]
Raw data (loadavg): 1.03 1.05 1.06 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1203 0 0 0 7270 582 0 0 20 0 1 0 1841954125 6356992 1174 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1552 1174 413 48 0 1504 0
[pid=24100] vsize: 6208
Current children cumulated CPU time (s) 393.89
Current children cumulated vsize (Kb) 8336
[startup+460.043 s]
Raw data (loadavg): 1.02 1.05 1.06 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1204 0 0 0 8147 620 0 0 25 0 1 0 1841954125 6356992 1175 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1552 1175 413 48 0 1504 0
[pid=24100] vsize: 6208
Current children cumulated CPU time (s) 403.04
Current children cumulated vsize (Kb) 8336
[startup+470.045 s]
Raw data (loadavg): 1.02 1.04 1.06 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1207 0 0 0 9017 662 0 0 25 0 1 0 1841954125 6471680 1178 4294967295 134512640 134702520 3221223712 3221222832 134578859 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1178 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 412.16
Current children cumulated vsize (Kb) 8448
[startup+480.045 s]
Raw data (loadavg): 1.02 1.04 1.06 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1207 0 0 0 9889 704 0 0 20 0 1 0 1841954125 6471680 1178 4294967295 134512640 134702520 3221223712 3221222992 134553100 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1178 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 421.3
Current children cumulated vsize (Kb) 8448
[startup+490.046 s]
Raw data (loadavg): 1.01 1.04 1.06 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1207 0 0 0 10760 746 0 0 25 0 1 0 1841954125 6471680 1178 4294967295 134512640 134702520 3221223712 3221223104 134604468 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1178 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 430.43
Current children cumulated vsize (Kb) 8448
[startup+500.048 s]
Raw data (loadavg): 1.01 1.04 1.06 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1209 0 0 0 11607 795 0 0 23 0 1 0 1841954125 6471680 1180 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1180 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 439.39
Current children cumulated vsize (Kb) 8448
[startup+510.048 s]
Raw data (loadavg): 1.01 1.04 1.05 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1210 0 0 0 12325 888 0 0 18 0 1 0 1841954125 6471680 1181 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1181 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 447.5
Current children cumulated vsize (Kb) 8448
[startup+520.049 s]
Raw data (loadavg): 1.01 1.04 1.05 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1210 0 0 0 13031 987 0 0 23 0 1 0 1841954125 6471680 1181 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1181 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 455.55
Current children cumulated vsize (Kb) 8448
[startup+530.05 s]
Raw data (loadavg): 1.00 1.03 1.05 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1212 0 0 0 13906 1028 0 0 23 0 1 0 1841954125 6471680 1183 4294967295 134512640 134702520 3221223712 3221222992 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1183 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 464.71
Current children cumulated vsize (Kb) 8448
[startup+540.05 s]
Raw data (loadavg): 1.00 1.03 1.05 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1215 0 0 0 14777 1074 0 0 21 0 1 0 1841954125 6471680 1186 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1186 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 473.88
Current children cumulated vsize (Kb) 8448
[startup+550.051 s]
Raw data (loadavg): 1.00 1.03 1.05 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1215 0 0 0 15630 1124 0 0 25 0 1 0 1841954125 6471680 1186 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1186 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 482.91
Current children cumulated vsize (Kb) 8448
[startup+560.052 s]
Raw data (loadavg): 1.00 1.03 1.05 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1216 0 0 0 16514 1162 0 0 25 0 1 0 1841954125 6471680 1187 4294967295 134512640 134702520 3221223712 3221222992 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1187 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 492.13
Current children cumulated vsize (Kb) 8448
[startup+570.052 s]
Raw data (loadavg): 1.00 1.03 1.05 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1217 0 0 0 17415 1198 0 0 20 0 1 0 1841954125 6471680 1188 4294967295 134512640 134702520 3221223712 3221222608 134552546 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1188 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 501.5
Current children cumulated vsize (Kb) 8448
[startup+580.053 s]
Raw data (loadavg): 1.00 1.03 1.05 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1218 0 0 0 18258 1253 0 0 20 0 1 0 1841954125 6471680 1189 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1189 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 510.48
Current children cumulated vsize (Kb) 8448
[startup+590.053 s]
Raw data (loadavg): 1.00 1.03 1.05 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1218 0 0 0 18961 1353 0 0 19 0 1 0 1841954125 6471680 1189 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1189 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 518.51
Current children cumulated vsize (Kb) 8448
[startup+600.054 s]
Raw data (loadavg): 1.00 1.02 1.05 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1218 0 0 0 19690 1447 0 0 25 0 1 0 1841954125 6471680 1189 4294967295 134512640 134702520 3221223712 3221222992 134553364 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1189 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 526.74
Current children cumulated vsize (Kb) 8448
[startup+610.055 s]
Raw data (loadavg): 1.00 1.02 1.04 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1218 0 0 0 20573 1483 0 0 24 0 1 0 1841954125 6471680 1189 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1189 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 535.93
Current children cumulated vsize (Kb) 8448
[startup+620.057 s]
Raw data (loadavg): 1.00 1.02 1.04 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1218 0 0 0 21446 1527 0 0 25 0 1 0 1841954125 6471680 1189 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1189 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 545.1
Current children cumulated vsize (Kb) 8448
[startup+630.057 s]
Raw data (loadavg): 1.00 1.02 1.04 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1218 0 0 0 22335 1561 0 0 18 0 1 0 1841954125 6471680 1189 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1189 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 554.33
Current children cumulated vsize (Kb) 8448
[startup+640.057 s]
Raw data (loadavg): 1.00 1.02 1.04 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1218 0 0 0 23256 1588 0 0 23 0 1 0 1841954125 6471680 1189 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1189 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 563.81
Current children cumulated vsize (Kb) 8448
[startup+650.057 s]
Raw data (loadavg): 1.00 1.02 1.04 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1219 0 0 0 24130 1628 0 0 25 0 1 0 1841954125 6471680 1190 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1190 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 572.95
Current children cumulated vsize (Kb) 8448
[startup+660.058 s]
Raw data (loadavg): 1.00 1.02 1.04 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1219 0 0 0 25016 1665 0 0 25 0 1 0 1841954125 6471680 1190 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1190 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (Kb) 8448
[startup+670.059 s]
Raw data (loadavg): 1.00 1.02 1.04 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1219 0 0 0 25769 1749 0 0 19 0 1 0 1841954125 6471680 1190 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1190 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 590.55
Current children cumulated vsize (Kb) 8448
[startup+680.059 s]
Raw data (loadavg): 1.00 1.02 1.04 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1219 0 0 0 26454 1852 0 0 19 0 1 0 1841954125 6471680 1190 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1190 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 598.43
Current children cumulated vsize (Kb) 8448
[startup+690.06 s]
Raw data (loadavg): 1.00 1.02 1.04 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1219 0 0 0 27314 1895 0 0 25 0 1 0 1841954125 6471680 1190 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1190 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 607.46
Current children cumulated vsize (Kb) 8448
[startup+700.061 s]
Raw data (loadavg): 1.00 1.01 1.04 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1219 0 0 0 28192 1939 0 0 25 0 1 0 1841954125 6471680 1190 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1190 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 616.68
Current children cumulated vsize (Kb) 8448
[startup+710.061 s]
Raw data (loadavg): 1.00 1.01 1.04 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1219 0 0 0 29081 1976 0 0 25 0 1 0 1841954125 6471680 1190 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1190 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 625.94
Current children cumulated vsize (Kb) 8448
[startup+720.063 s]
Raw data (loadavg): 1.00 1.01 1.03 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1219 0 0 0 29943 2023 0 0 25 0 1 0 1841954125 6471680 1190 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1190 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 635.03
Current children cumulated vsize (Kb) 8448
[startup+730.064 s]
Raw data (loadavg): 1.00 1.01 1.03 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1219 0 0 0 30835 2062 0 0 18 0 1 0 1841954125 6471680 1190 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1190 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 644.34
Current children cumulated vsize (Kb) 8448
[startup+740.064 s]
Raw data (loadavg): 1.00 1.01 1.03 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1219 0 0 0 31741 2091 0 0 25 0 1 0 1841954125 6471680 1190 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1190 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 653.69
Current children cumulated vsize (Kb) 8448
[startup+750.065 s]
Raw data (loadavg): 1.00 1.01 1.03 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1219 0 0 0 32630 2131 0 0 25 0 1 0 1841954125 6471680 1190 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1190 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 662.98
Current children cumulated vsize (Kb) 8448
[startup+760.066 s]
Raw data (loadavg): 1.00 1.01 1.03 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1220 0 0 0 33414 2203 0 0 19 0 1 0 1841954125 6471680 1191 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1191 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 671.54
Current children cumulated vsize (Kb) 8448
[startup+770.067 s]
Raw data (loadavg): 1.00 1.01 1.03 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1220 0 0 0 34106 2306 0 0 19 0 1 0 1841954125 6471680 1191 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1191 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 679.49
Current children cumulated vsize (Kb) 8448
[startup+780.068 s]
Raw data (loadavg): 1.00 1.01 1.03 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1220 0 0 0 34927 2367 0 0 21 0 1 0 1841954125 6471680 1191 4294967295 134512640 134702520 3221223712 3221222832 134578758 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1191 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 688.31
Current children cumulated vsize (Kb) 8448
[startup+790.069 s]
Raw data (loadavg): 1.00 1.01 1.03 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1220 0 0 0 35817 2403 0 0 25 0 1 0 1841954125 6471680 1191 4294967295 134512640 134702520 3221223712 3221222992 134553093 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1191 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 697.57
Current children cumulated vsize (Kb) 8448
[startup+800.071 s]
Raw data (loadavg): 1.00 1.00 1.03 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1222 0 0 0 36687 2450 0 0 25 0 1 0 1841954125 6471680 1193 4294967295 134512640 134702520 3221223712 3221222992 134552981 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1193 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 706.74
Current children cumulated vsize (Kb) 8448
[startup+810.071 s]
Raw data (loadavg): 1.00 1.00 1.03 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1222 0 0 0 37589 2482 0 0 20 0 1 0 1841954125 6471680 1193 4294967295 134512640 134702520 3221223712 3221222608 134552208 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1193 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 716.08
Current children cumulated vsize (Kb) 8448
[startup+820.072 s]
Raw data (loadavg): 1.00 1.00 1.02 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1222 0 0 0 38511 2508 0 0 25 0 1 0 1841954125 6471680 1193 4294967295 134512640 134702520 3221223712 3221222832 134578986 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1193 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 725.56
Current children cumulated vsize (Kb) 8448
[startup+830.073 s]
Raw data (loadavg): 1.00 1.00 1.02 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1222 0 0 0 39386 2550 0 0 25 0 1 0 1841954125 6471680 1193 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1193 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 734.73
Current children cumulated vsize (Kb) 8448
[startup+840.073 s]
Raw data (loadavg): 1.00 1.00 1.02 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1222 0 0 0 40246 2596 0 0 25 0 1 0 1841954125 6471680 1193 4294967295 134512640 134702520 3221223712 3221222832 134572638 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1193 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 743.79
Current children cumulated vsize (Kb) 8448
[startup+850.074 s]
Raw data (loadavg): 1.00 1.00 1.02 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1222 0 0 0 41114 2641 0 0 19 0 1 0 1841954125 6471680 1193 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1193 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 752.92
Current children cumulated vsize (Kb) 8448
[startup+860.075 s]
Raw data (loadavg): 1.00 1.00 1.02 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1222 0 0 0 41825 2734 0 0 20 0 1 0 1841954125 6471680 1193 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1193 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 760.96
Current children cumulated vsize (Kb) 8448
[startup+870.076 s]
Raw data (loadavg): 1.00 1.00 1.02 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1222 0 0 0 42592 2808 0 0 25 0 1 0 1841954125 6471680 1193 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1193 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 769.37
Current children cumulated vsize (Kb) 8448
[startup+880.077 s]
Raw data (loadavg): 1.00 1.00 1.02 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1225 0 0 0 43483 2844 0 0 20 0 1 0 1841954125 6471680 1196 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1196 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 778.64
Current children cumulated vsize (Kb) 8448
[startup+890.078 s]
Raw data (loadavg): 1.00 1.00 1.02 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1225 0 0 0 44421 2864 0 0 25 0 1 0 1841954125 6471680 1196 4294967295 134512640 134702520 3221223712 3221222832 134578768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1196 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 788.22
Current children cumulated vsize (Kb) 8448
[startup+900.079 s]
Raw data (loadavg): 1.00 1.00 1.02 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1226 0 0 0 45309 2901 0 0 25 0 1 0 1841954125 6471680 1197 4294967295 134512640 134702520 3221223712 3221222832 134578611 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1197 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 797.47
Current children cumulated vsize (Kb) 8448
[startup+910.08 s]
Raw data (loadavg): 1.00 1.00 1.02 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1229 0 0 0 46187 2943 0 0 25 0 1 0 1841954125 6471680 1200 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1200 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 806.67
Current children cumulated vsize (Kb) 8448
[startup+920.082 s]
Raw data (loadavg): 1.08 1.02 1.02 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1229 0 0 0 47080 2977 0 0 20 0 1 0 1841954125 6471680 1200 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1200 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 815.94
Current children cumulated vsize (Kb) 8448
[startup+930.082 s]
Raw data (loadavg): 1.07 1.02 1.02 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1229 0 0 0 48010 3003 0 0 25 0 1 0 1841954125 6471680 1200 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1200 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 825.5
Current children cumulated vsize (Kb) 8448
[startup+940.083 s]
Raw data (loadavg): 1.06 1.01 1.02 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1229 0 0 0 48888 3044 0 0 25 0 1 0 1841954125 6471680 1200 4294967295 134512640 134702520 3221223712 3221222992 134553430 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1200 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 834.69
Current children cumulated vsize (Kb) 8448
[startup+950.085 s]
Raw data (loadavg): 1.05 1.01 1.02 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1229 0 0 0 49706 3104 0 0 18 0 1 0 1841954125 6471680 1200 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1200 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 843.47
Current children cumulated vsize (Kb) 8448
[startup+960.085 s]
Raw data (loadavg): 1.04 1.01 1.02 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1229 0 0 0 50402 3203 0 0 19 0 1 0 1841954125 6471680 1200 4294967295 134512640 134702520 3221223712 3221222912 134617859 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1200 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 851.42
Current children cumulated vsize (Kb) 8448
[startup+970.086 s]
Raw data (loadavg): 1.03 1.01 1.02 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1229 0 0 0 51214 3264 0 0 25 0 1 0 1841954125 6471680 1200 4294967295 134512640 134702520 3221223712 3221222992 134557206 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1200 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 860.15
Current children cumulated vsize (Kb) 8448
[startup+980.088 s]
Raw data (loadavg): 1.03 1.01 1.01 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1230 0 0 0 52106 3301 0 0 25 0 1 0 1841954125 6471680 1201 4294967295 134512640 134702520 3221223712 3221222832 134578964 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1201 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 869.44
Current children cumulated vsize (Kb) 8448
[startup+990.088 s]
Raw data (loadavg): 1.02 1.01 1.01 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1230 0 0 0 53056 3318 0 0 25 0 1 0 1841954125 6471680 1201 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1201 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 879.11
Current children cumulated vsize (Kb) 8448
[startup+1000.09 s]
Raw data (loadavg): 1.02 1.01 1.01 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1230 0 0 0 53929 3360 0 0 25 0 1 0 1841954125 6471680 1201 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1201 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 888.26
Current children cumulated vsize (Kb) 8448
[startup+1010.09 s]
Raw data (loadavg): 1.02 1.01 1.01 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1230 0 0 0 54820 3399 0 0 25 0 1 0 1841954125 6471680 1201 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1201 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 897.56
Current children cumulated vsize (Kb) 8448
[startup+1020.09 s]
Raw data (loadavg): 1.01 1.01 1.01 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1230 0 0 0 55723 3432 0 0 18 0 1 0 1841954125 6471680 1201 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1201 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 906.92
Current children cumulated vsize (Kb) 8448
[startup+1030.09 s]
Raw data (loadavg): 1.01 1.01 1.01 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1230 0 0 0 56655 3453 0 0 25 0 1 0 1841954125 6471680 1201 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1201 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 916.45
Current children cumulated vsize (Kb) 8448
[startup+1040.09 s]
Raw data (loadavg): 1.01 1.00 1.01 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1230 0 0 0 57543 3493 0 0 25 0 1 0 1841954125 6471680 1201 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1201 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 925.73
Current children cumulated vsize (Kb) 8448
[startup+1050.09 s]
Raw data (loadavg): 1.01 1.00 1.01 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1231 0 0 0 58386 3549 0 0 19 0 1 0 1841954125 6471680 1202 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1202 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 934.72
Current children cumulated vsize (Kb) 8448
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 1.01 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1231 0 0 0 59072 3650 0 0 19 0 1 0 1841954125 6471680 1202 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1202 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 942.59
Current children cumulated vsize (Kb) 8448
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1231 0 0 0 59826 3731 0 0 25 0 1 0 1841954125 6471680 1202 4294967295 134512640 134702520 3221223712 3221222832 134588417 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1202 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 950.94
Current children cumulated vsize (Kb) 8448
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1231 0 0 0 60714 3771 0 0 19 0 1 0 1841954125 6471680 1202 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1202 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 960.22
Current children cumulated vsize (Kb) 8448
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1232 0 0 0 61649 3794 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221222992 134553375 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 969.8
Current children cumulated vsize (Kb) 8532
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1232 0 0 0 62528 3836 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221222832 134572157 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 979.01
Current children cumulated vsize (Kb) 8532
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1232 0 0 0 63422 3870 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221222832 134578907 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 988.29
Current children cumulated vsize (Kb) 8532
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1232 0 0 0 64353 3894 0 0 23 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 997.84
Current children cumulated vsize (Kb) 8532
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1232 0 0 0 65257 3928 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1007.22
Current children cumulated vsize (Kb) 8532
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1232 0 0 0 66156 3962 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1016.55
Current children cumulated vsize (Kb) 8532
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1232 0 0 0 67103 3980 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1026.2
Current children cumulated vsize (Kb) 8532
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1232 0 0 0 67881 4056 0 0 20 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1034.74
Current children cumulated vsize (Kb) 8532
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1232 0 0 0 68584 4154 0 0 19 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1042.75
Current children cumulated vsize (Kb) 8532
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1232 0 0 0 69473 4190 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221222832 134578971 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1052
Current children cumulated vsize (Kb) 8532
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1232 0 0 0 70385 4219 0 0 20 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1061.41
Current children cumulated vsize (Kb) 8532
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1232 0 0 0 71306 4246 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1070.89
Current children cumulated vsize (Kb) 8532
[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1232 0 0 0 72202 4282 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1080.21
Current children cumulated vsize (Kb) 8532
[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1232 0 0 0 73096 4319 0 0 20 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1089.52
Current children cumulated vsize (Kb) 8532
[startup+1230.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1232 0 0 0 74050 4333 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1099.2
Current children cumulated vsize (Kb) 8532
[startup+1240.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1232 0 0 0 74948 4366 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1108.51
Current children cumulated vsize (Kb) 8532
[startup+1250.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1232 0 0 0 75892 4383 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1118.12
Current children cumulated vsize (Kb) 8532
[startup+1260.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1232 0 0 0 76797 4415 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1127.49
Current children cumulated vsize (Kb) 8532
[startup+1270.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1232 0 0 0 77744 4434 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1137.15
Current children cumulated vsize (Kb) 8532
[startup+1280.12 s]
Raw data (loadavg): 1.08 1.02 1.01 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1232 0 0 0 78440 4536 0 0 17 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1145.13
Current children cumulated vsize (Kb) 8532
[startup+1290.12 s]
Raw data (loadavg): 1.07 1.02 1.00 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1232 0 0 0 79125 4638 0 0 19 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1153
Current children cumulated vsize (Kb) 8532
[startup+1300.12 s]
Raw data (loadavg): 1.06 1.01 1.00 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1232 0 0 0 80081 4654 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1162.72
Current children cumulated vsize (Kb) 8532
[startup+1310.12 s]
Raw data (loadavg): 1.05 1.01 1.00 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1232 0 0 0 80979 4689 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221222832 134578758 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1172.05
Current children cumulated vsize (Kb) 8532
[startup+1320.12 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1232 0 0 0 81930 4704 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1181.71
Current children cumulated vsize (Kb) 8532
[startup+1330.12 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1232 0 0 0 82825 4744 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221222832 134578853 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1191.06
Current children cumulated vsize (Kb) 8532
[startup+1340.12 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1232 0 0 0 83775 4762 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1200.74
Current children cumulated vsize (Kb) 8532
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1340.12 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1232 0 0 0 83775 4762 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1200.74
Current children cumulated vsize (Kb) 8532
Sending SIGTERM to -24095
Sleeping 2 seconds
New process pid=24102
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=24103
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/21148/stat
open syscall for file /proc/21148/status
open syscall for file /proc/21148/cmdline
open syscall for file /proc/21148/environ
open syscall for file /proc/557/stat
open syscall for file /proc/557/status
open syscall for file /proc/557/cmdline
open syscall for file /proc/557/environ
open syscall for file /proc/584/stat
open syscall for file /proc/584/status
open syscall for file /proc/584/cmdline
open syscall for file /proc/584/environ
open syscall for file /proc/608/stat
open syscall for file /proc/608/status
open syscall for file /proc/608/cmdline
open syscall for file /proc/608/environ
open syscall for file /proc/3751/stat
open syscall for file /proc/3751/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/3751/cmdline
open syscall for file /proc/3751/environ
open syscall for file /proc/3786/stat
open syscall for file /proc/3786/status
open syscall for file /proc/3786/cmdline
open syscall for file /proc/3786/environ
open syscall for file /proc/20728/stat
open syscall for file /proc/20728/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/20728/cmdline
open syscall for file /proc/20728/environ
open syscall for file /proc/20729/stat
open syscall for file /proc/20729/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/20729/cmdline
open syscall for file /proc/20729/environ
open syscall for file /proc/20738/stat
open syscall for file /proc/20738/status
open syscall for file /proc/20738/cmdline
open syscall for file /proc/20738/environ
open syscall for file /proc/24058/stat
open syscall for file /proc/24058/status
open syscall for file /proc/24058/cmdline
open syscall for file /proc/24058/environ
open syscall for file /proc/24094/stat
open syscall for file /proc/24094/status
open syscall for file /proc/24094/cmdline
open syscall for file /proc/24094/environ
open syscall for file /proc/24095/stat
open syscall for file /proc/24095/status
open syscall for file /proc/24095/cmdline
open syscall for file /proc/24095/environ
open syscall for file /proc/24100/stat
open syscall for file /proc/24100/status
open syscall for file /proc/24100/cmdline
open syscall for file /proc/24100/environ
open syscall for file /proc/24102/stat
open syscall for file /proc/24102/status
open syscall for file /proc/24102/cmdline
open syscall for file /proc/24102/environ
open syscall for file /proc/24103/stat
open syscall for file /proc/24103/status
open syscall for file /proc/24103/cmdline
open syscall for file /proc/24103/environ
One traced child (pid=24102) exited with status: 0
One traced child (pid=24103) exited with status: 0
New process pid=24104
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=24100) exited with status: 3
One traced child (pid=24104) exited with status: 0
New process pid=24105
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=24105) exited with status: 0
One traced child (pid=24095) 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): 1340.63
CPU time (s): 1201.03
CPU user time (s): 1130.68
CPU system time (s): 70.3513
CPU usage (%): 89.5875
Max. virtual memory (cumulated for all children) (Kb): 9020