1:
seed: 0
Nr of vars set: 117 (#equs: 0)
Nr of vars set: 117 (#equs: 0)
#decisions: 449; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 4828, #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: 806 (565:>=*);
#decisions: 2285; #end-nodes: 160;
#proof improvement attempts: 0; #restarts: 2
Current batch, end-nodes: 0 / 80 (80)
#axs: 4828, #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: 822 (549:>=*);
#decisions: 147964; #end-nodes: 30971;
#proof improvement attempts: 0; #restarts: 272
Current batch, end-nodes: 0 / 148 (148)
#axs: 4828, #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: 823 (548:>=*);
#decisions: 28745; #end-nodes: 4807;
#proof improvement attempts: 0; #restarts: 55
Current batch, end-nodes: 36 / 93 (93)
#axs: 4828, #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: 824 (547:>=*);
#decisions: 45440; #end-nodes: 7886;
#proof improvement attempts: 0; #restarts: 87
Current batch, end-nodes: 0 / 101 (101)
#axs: 4828, #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: 825 (546:>=*);
#decisions: 446; #end-nodes: 16;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 16 / 80 (80)
#axs: 4828, #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: 826 (545:>=*);
#decisions: 599402; #end-nodes: 191805;
#proof improvement attempts: 0; #restarts: 960
Current batch, end-nodes: 0 / 319 (319)
#axs: 4828, #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:) 826 (545:>=*)
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: 117 (#equs: 0)
Time taken: 5 min, 0 sec
2:
seed: 0
Nr of vars set: 117 (#equs: 0)
Nr of vars set: 117 (#equs: 0)
#decisions: 84549; #end-nodes: 20470;
#proof improvement attempts: 0; #restarts: 148
Current batch, end-nodes: 0 / 157 (157)
#axs: 4828, #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: 830 (424:>=*);
#decisions: 287526; #end-nodes: 85570;
#proof improvement attempts: 0; #restarts: 477
Current batch, end-nodes: 0 / 239 (239)
#axs: 4828, #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: 835 (419:>=*);
Interupt request received.
#decisions: 2131096; #end-nodes: 1087417;
#proof improvement attempts: 0; #restarts: 2509
Current batch, end-nodes: 28 / 747 (747)
#axs: 4828, #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:) 835 (419:>=*)
No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 538 (#equs: 0)
Time taken: 15 min, 3 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/9345/stat): 9345 (vallstSAT2005PB) R 9344 9345 21452 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1853053928 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9345/statm): 174 3 169 147 0 27 0
[pid=9345] 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=9346
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=9346) exited with status: 0
New process pid=9347
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=9347) exited with status: 0
New process pid=9348
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/wulflinc22/normalized-mps-v2-20-10-seymour.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0036 s]
Raw data (loadavg): 1.06 1.01 0.97 1/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) T 9345 9345 21452 0 -1 0 509 0 0 0 238 237 0 0 18 0 1 0 1853053935 4562944 479 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9348/statm): 1114 479 413 48 0 1066 0
[pid=9348] vsize: 4456
Current children cumulated CPU time (s) 4.78
Current children cumulated vsize (Kb) 6584
[startup+20.0043 s]
Raw data (loadavg): 1.05 1.01 0.97 1/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) T 9345 9345 21452 0 -1 0 600 0 0 0 822 373 0 0 18 0 1 0 1853053935 4702208 570 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9348/statm): 1148 570 413 48 0 1100 0
[pid=9348] vsize: 4592
Current children cumulated CPU time (s) 11.98
Current children cumulated vsize (Kb) 6720
[startup+30.006 s]
Raw data (loadavg): 1.04 1.01 0.97 1/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) T 9345 9345 21452 0 -1 0 829 0 0 0 1334 532 0 0 16 0 1 0 1853053935 4702208 799 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9348/statm): 1148 799 413 48 0 1100 0
[pid=9348] vsize: 4592
Current children cumulated CPU time (s) 18.69
Current children cumulated vsize (Kb) 6720
[startup+40.0067 s]
Raw data (loadavg): 1.04 1.01 0.97 2/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) R 9345 9345 21452 0 -1 0 833 0 0 0 1794 703 0 0 20 0 1 0 1853053935 4702208 803 4294967295 134512640 134702520 3221223952 3221223072 134578907 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9348/statm): 1148 803 413 48 0 1100 0
[pid=9348] vsize: 4592
Current children cumulated CPU time (s) 25
Current children cumulated vsize (Kb) 6720
[startup+50.0084 s]
Raw data (loadavg): 1.03 1.01 0.97 2/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) R 9345 9345 21452 0 -1 0 837 0 0 0 2386 838 0 0 18 0 1 0 1853053935 4702208 807 4294967295 134512640 134702520 3221223952 3221223072 134572636 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9348/statm): 1148 807 413 48 0 1100 0
[pid=9348] vsize: 4592
Current children cumulated CPU time (s) 32.27
Current children cumulated vsize (Kb) 6720
[startup+60.0091 s]
Raw data (loadavg): 1.02 1.01 0.97 1/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) T 9345 9345 21452 0 -1 0 839 0 0 0 2855 1007 0 0 16 0 1 0 1853053935 4702208 809 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9348/statm): 1148 809 413 48 0 1100 0
[pid=9348] vsize: 4592
Current children cumulated CPU time (s) 38.65
Current children cumulated vsize (Kb) 6720
[startup+70.0099 s]
Raw data (loadavg): 1.02 1.01 0.97 1/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) T 9345 9345 21452 0 -1 0 843 0 0 0 3363 1163 0 0 17 0 1 0 1853053935 4702208 813 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9348/statm): 1148 813 413 48 0 1100 0
[pid=9348] vsize: 4592
Current children cumulated CPU time (s) 45.29
Current children cumulated vsize (Kb) 6720
[startup+80.0116 s]
Raw data (loadavg): 1.10 1.02 0.97 2/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) R 9345 9345 21452 0 -1 0 847 0 0 0 4004 1284 0 0 20 0 1 0 1853053935 4702208 817 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9348/statm): 1148 817 413 48 0 1100 0
[pid=9348] vsize: 4592
Current children cumulated CPU time (s) 52.91
Current children cumulated vsize (Kb) 6720
[startup+90.0123 s]
Raw data (loadavg): 1.08 1.02 0.97 2/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) R 9345 9345 21452 0 -1 0 851 0 0 0 4590 1412 0 0 18 0 1 0 1853053935 4825088 821 4294967295 134512640 134702520 3221223952 3221223352 134606948 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9348/statm): 1178 821 413 48 0 1130 0
[pid=9348] vsize: 4712
Current children cumulated CPU time (s) 60.05
Current children cumulated vsize (Kb) 6840
[startup+100.013 s]
Raw data (loadavg): 1.07 1.02 0.97 1/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) T 9345 9345 21452 0 -1 0 852 0 0 0 5170 1549 0 0 19 0 1 0 1853053935 4825088 822 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9348/statm): 1178 822 413 48 0 1130 0
[pid=9348] vsize: 4712
Current children cumulated CPU time (s) 67.22
Current children cumulated vsize (Kb) 6840
[startup+110.014 s]
Raw data (loadavg): 1.06 1.02 0.97 2/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) R 9345 9345 21452 0 -1 0 854 0 0 0 5750 1693 0 0 17 0 1 0 1853053935 4825088 824 4294967295 134512640 134702520 3221223952 3221223072 134578875 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9348/statm): 1178 824 413 48 0 1130 0
[pid=9348] vsize: 4712
Current children cumulated CPU time (s) 74.46
Current children cumulated vsize (Kb) 6840
[startup+120.014 s]
Raw data (loadavg): 1.05 1.02 0.97 1/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) T 9345 9345 21452 0 -1 0 855 0 0 0 6297 1838 0 0 17 0 1 0 1853053935 4825088 825 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9348/statm): 1178 825 413 48 0 1130 0
[pid=9348] vsize: 4712
Current children cumulated CPU time (s) 81.38
Current children cumulated vsize (Kb) 6840
[startup+130.015 s]
Raw data (loadavg): 1.11 1.04 0.98 1/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) T 9345 9345 21452 0 -1 0 857 0 0 0 6807 1997 0 0 19 0 1 0 1853053935 4825088 827 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9348/statm): 1178 827 413 48 0 1130 0
[pid=9348] vsize: 4712
Current children cumulated CPU time (s) 88.07
Current children cumulated vsize (Kb) 6840
[startup+140.016 s]
Raw data (loadavg): 1.10 1.03 0.98 1/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) T 9345 9345 21452 0 -1 0 858 0 0 0 7418 2124 0 0 19 0 1 0 1853053935 4825088 828 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9348/statm): 1178 828 413 48 0 1130 0
[pid=9348] vsize: 4712
Current children cumulated CPU time (s) 95.45
Current children cumulated vsize (Kb) 6840
[startup+150.018 s]
Raw data (loadavg): 1.16 1.05 0.98 1/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) T 9345 9345 21452 0 -1 0 858 0 0 0 7958 2276 0 0 17 0 1 0 1853053935 4825088 828 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9348/statm): 1178 828 413 48 0 1130 0
[pid=9348] vsize: 4712
Current children cumulated CPU time (s) 102.37
Current children cumulated vsize (Kb) 6840
[startup+160.018 s]
Raw data (loadavg): 1.14 1.05 0.98 2/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) R 9345 9345 21452 0 -1 0 860 0 0 0 8409 2454 0 0 20 0 1 0 1853053935 4825088 830 4294967295 134512640 134702520 3221223952 3221223072 134573689 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9348/statm): 1178 830 413 48 0 1130 0
[pid=9348] vsize: 4712
Current children cumulated CPU time (s) 108.66
Current children cumulated vsize (Kb) 6840
[startup+170.019 s]
Raw data (loadavg): 1.11 1.04 0.98 2/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) R 9345 9345 21452 0 -1 0 862 0 0 0 9079 2561 0 0 21 0 1 0 1853053935 4825088 832 4294967295 134512640 134702520 3221223952 3221223072 134579011 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9348/statm): 1178 832 413 48 0 1130 0
[pid=9348] vsize: 4712
Current children cumulated CPU time (s) 116.43
Current children cumulated vsize (Kb) 6840
[startup+180.02 s]
Raw data (loadavg): 1.10 1.04 0.98 1/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) T 9345 9345 21452 0 -1 0 862 0 0 0 9607 2714 0 0 17 0 1 0 1853053935 4825088 832 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9348/statm): 1178 832 413 48 0 1130 0
[pid=9348] vsize: 4712
Current children cumulated CPU time (s) 123.24
Current children cumulated vsize (Kb) 6840
[startup+190.02 s]
Raw data (loadavg): 1.08 1.04 0.98 2/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) R 9345 9345 21452 0 -1 0 864 0 0 0 10089 2883 0 0 20 0 1 0 1853053935 4825088 834 4294967295 134512640 134702520 3221223952 3221223072 134578849 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9348/statm): 1178 834 413 48 0 1130 0
[pid=9348] vsize: 4712
Current children cumulated CPU time (s) 129.75
Current children cumulated vsize (Kb) 6840
[startup+200.022 s]
Raw data (loadavg): 1.07 1.04 0.98 1/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) T 9345 9345 21452 0 -1 0 867 0 0 0 10743 2998 0 0 21 0 1 0 1853053935 4825088 837 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9348/statm): 1178 837 413 48 0 1130 0
[pid=9348] vsize: 4712
Current children cumulated CPU time (s) 137.44
Current children cumulated vsize (Kb) 6840
[startup+210.023 s]
Raw data (loadavg): 1.06 1.04 0.98 1/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) T 9345 9345 21452 0 -1 0 868 0 0 0 11279 3148 0 0 17 0 1 0 1853053935 4825088 838 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9348/statm): 1178 838 413 48 0 1130 0
[pid=9348] vsize: 4712
Current children cumulated CPU time (s) 144.3
Current children cumulated vsize (Kb) 6840
[startup+220.024 s]
Raw data (loadavg): 1.05 1.03 0.98 1/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) T 9345 9345 21452 0 -1 0 870 0 0 0 11756 3315 0 0 17 0 1 0 1853053935 4825088 840 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9348/statm): 1178 840 413 48 0 1130 0
[pid=9348] vsize: 4712
Current children cumulated CPU time (s) 150.74
Current children cumulated vsize (Kb) 6840
[startup+230.024 s]
Raw data (loadavg): 1.04 1.03 0.98 1/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) T 9345 9345 21452 0 -1 0 873 0 0 0 12421 3422 0 0 17 0 1 0 1853053935 4825088 843 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9348/statm): 1178 843 413 48 0 1130 0
[pid=9348] vsize: 4712
Current children cumulated CPU time (s) 158.46
Current children cumulated vsize (Kb) 6840
[startup+240.025 s]
Raw data (loadavg): 1.11 1.05 0.99 2/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) R 9345 9345 21452 0 -1 0 875 0 0 0 13039 3546 0 0 17 0 1 0 1853053935 4825088 845 4294967295 134512640 134702520 3221223952 3221222816 134564360 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9348/statm): 1178 845 413 48 0 1130 0
[pid=9348] vsize: 4712
Current children cumulated CPU time (s) 165.88
Current children cumulated vsize (Kb) 6840
[startup+250.026 s]
Raw data (loadavg): 1.10 1.05 0.99 1/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) T 9345 9345 21452 0 -1 0 877 0 0 0 13473 3734 0 0 21 0 1 0 1853053935 4825088 847 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9348/statm): 1178 847 413 48 0 1130 0
[pid=9348] vsize: 4712
Current children cumulated CPU time (s) 172.1
Current children cumulated vsize (Kb) 6840
[startup+260.027 s]
Raw data (loadavg): 1.08 1.04 0.99 2/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) R 9345 9345 21452 0 -1 0 880 0 0 0 14141 3842 0 0 21 0 1 0 1853053935 4825088 850 4294967295 134512640 134702520 3221223952 3221223232 134553400 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9348/statm): 1178 850 413 48 0 1130 0
[pid=9348] vsize: 4712
Current children cumulated CPU time (s) 179.86
Current children cumulated vsize (Kb) 6840
[startup+270.028 s]
Raw data (loadavg): 1.07 1.04 0.99 1/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) T 9345 9345 21452 0 -1 0 883 0 0 0 14781 3960 0 0 17 0 1 0 1853053935 4947968 853 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9348/statm): 1208 853 413 48 0 1160 0
[pid=9348] vsize: 4832
Current children cumulated CPU time (s) 187.44
Current children cumulated vsize (Kb) 6960
[startup+280.029 s]
Raw data (loadavg): 1.14 1.06 0.99 1/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) T 9345 9345 21452 0 -1 0 884 0 0 0 15242 4138 0 0 16 0 1 0 1853053935 4947968 854 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9348/statm): 1208 854 413 48 0 1160 0
[pid=9348] vsize: 4832
Current children cumulated CPU time (s) 193.83
Current children cumulated vsize (Kb) 6960
[startup+290.029 s]
Raw data (loadavg): 1.11 1.05 0.99 2/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) R 9345 9345 21452 0 -1 0 887 0 0 0 15882 4253 0 0 21 0 1 0 1853053935 4947968 857 4294967295 134512640 134702520 3221223952 3221223072 134578847 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9348/statm): 1208 857 413 48 0 1160 0
[pid=9348] vsize: 4832
Current children cumulated CPU time (s) 201.38
Current children cumulated vsize (Kb) 6960
[startup+300.031 s]
Raw data (loadavg): 1.10 1.05 0.99 1/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) T 9345 9345 21452 0 -1 0 891 0 0 0 16561 4366 0 0 16 0 1 0 1853053935 4947968 861 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9348/statm): 1208 861 413 48 0 1160 0
[pid=9348] vsize: 4832
Current children cumulated CPU time (s) 209.3
Current children cumulated vsize (Kb) 6960
[startup+310.032 s]
Raw data (loadavg): 1.08 1.05 0.99 1/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) T 9345 9345 21452 0 -1 0 891 0 0 0 17133 4503 0 0 15 0 1 0 1853053935 4947968 861 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9348/statm): 1208 861 413 48 0 1160 0
[pid=9348] vsize: 4832
Current children cumulated CPU time (s) 216.39
Current children cumulated vsize (Kb) 6960
[startup+320.033 s]
Raw data (loadavg): 1.07 1.05 0.99 1/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) T 9345 9345 21452 0 -1 0 893 0 0 0 17632 4661 0 0 16 0 1 0 1853053935 4947968 863 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9348/statm): 1208 863 413 48 0 1160 0
[pid=9348] vsize: 4832
Current children cumulated CPU time (s) 222.96
Current children cumulated vsize (Kb) 6960
[startup+330.034 s]
Raw data (loadavg): 1.13 1.06 1.00 1/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) T 9345 9345 21452 0 -1 0 895 0 0 0 18364 4750 0 0 16 0 1 0 1853053935 4947968 865 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9348/statm): 1208 865 413 48 0 1160 0
[pid=9348] vsize: 4832
Current children cumulated CPU time (s) 231.17
Current children cumulated vsize (Kb) 6960
[startup+340.035 s]
Raw data (loadavg): 1.11 1.06 1.00 1/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) T 9345 9345 21452 0 -1 0 898 0 0 0 19037 4860 0 0 16 0 1 0 1853053935 4947968 868 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9348/statm): 1208 868 413 48 0 1160 0
[pid=9348] vsize: 4832
Current children cumulated CPU time (s) 239
Current children cumulated vsize (Kb) 6960
[startup+350.036 s]
Raw data (loadavg): 1.09 1.06 1.00 1/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) T 9345 9345 21452 0 -1 0 899 0 0 0 19416 5063 0 0 16 0 1 0 1853053935 4947968 869 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9348/statm): 1208 869 413 48 0 1160 0
[pid=9348] vsize: 4832
Current children cumulated CPU time (s) 244.82
Current children cumulated vsize (Kb) 6960
[startup+360.038 s]
Raw data (loadavg): 1.08 1.06 1.00 1/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) T 9345 9345 21452 0 -1 0 901 0 0 0 20109 5162 0 0 16 0 1 0 1853053935 4947968 871 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9348/statm): 1208 871 413 48 0 1160 0
[pid=9348] vsize: 4832
Current children cumulated CPU time (s) 252.74
Current children cumulated vsize (Kb) 6960
[startup+370.038 s]
Raw data (loadavg): 1.07 1.05 1.00 1/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) T 9345 9345 21452 0 -1 0 905 0 0 0 20837 5256 0 0 15 0 1 0 1853053935 4947968 875 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9348/statm): 1208 875 413 48 0 1160 0
[pid=9348] vsize: 4832
Current children cumulated CPU time (s) 260.96
Current children cumulated vsize (Kb) 6960
[startup+380.039 s]
Raw data (loadavg): 1.14 1.07 1.00 1/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) T 9345 9345 21452 0 -1 0 906 0 0 0 21397 5404 0 0 16 0 1 0 1853053935 4947968 876 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9348/statm): 1208 876 413 48 0 1160 0
[pid=9348] vsize: 4832
Current children cumulated CPU time (s) 268.04
Current children cumulated vsize (Kb) 6960
[startup+390.04 s]
Raw data (loadavg): 1.11 1.06 1.00 1/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) T 9345 9345 21452 0 -1 0 909 0 0 0 21913 5561 0 0 16 0 1 0 1853053935 4947968 879 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9348/statm): 1208 879 413 48 0 1160 0
[pid=9348] vsize: 4832
Current children cumulated CPU time (s) 274.77
Current children cumulated vsize (Kb) 6960
[startup+400.041 s]
Raw data (loadavg): 1.10 1.06 1.00 1/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) T 9345 9345 21452 0 -1 0 913 0 0 0 22603 5663 0 0 16 0 1 0 1853053935 5070848 883 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9348/statm): 1238 883 413 48 0 1190 0
[pid=9348] vsize: 4952
Current children cumulated CPU time (s) 282.69
Current children cumulated vsize (Kb) 7080
[startup+410.042 s]
Raw data (loadavg): 1.08 1.06 1.00 1/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) T 9345 9345 21452 0 -1 0 916 0 0 0 23337 5756 0 0 16 0 1 0 1853053935 5070848 886 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9348/statm): 1238 886 413 48 0 1190 0
[pid=9348] vsize: 4952
Current children cumulated CPU time (s) 290.96
Current children cumulated vsize (Kb) 7080
[startup+420.043 s]
Raw data (loadavg): 1.14 1.07 1.01 1/57 9348
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1853053928 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 242 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9348/stat): 9348 (vallst) T 9345 9345 21452 0 -1 0 916 0 0 0 23842 5922 0 0 15 0 1 0 1853053935 5070848 886 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9348/statm): 1238 886 413 48 0 1190 0
[pid=9348] vsize: 4952
Current children cumulated CPU time (s) 297.67
Current children cumulated vsize (Kb) 7080
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=9348) exited with status: 2
New process pid=9349
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=9349) exited with status: 0
New process pid=9350
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+430.044 s]
Raw data (loadavg): 1.12 1.07 1.00 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 346 0 0 0 333 72 0 0 19 0 1 0 1853096400 2727936 317 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 666 317 413 48 0 618 0
[pid=9350] vsize: 2664
Current children cumulated CPU time (s) 304.47
Current children cumulated vsize (Kb) 4792
[startup+440.045 s]
Raw data (loadavg): 1.10 1.07 1.00 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 348 0 0 0 978 186 0 0 18 0 1 0 1853096400 2727936 319 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 666 319 413 48 0 618 0
[pid=9350] vsize: 2664
Current children cumulated CPU time (s) 312.06
Current children cumulated vsize (Kb) 4792
[startup+450.047 s]
Raw data (loadavg): 1.08 1.06 1.00 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 771 0 0 0 1601 309 0 0 18 0 1 0 1853096400 4497408 742 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1098 742 413 48 0 1050 0
[pid=9350] vsize: 4392
Current children cumulated CPU time (s) 319.52
Current children cumulated vsize (Kb) 6520
[startup+460.048 s]
Raw data (loadavg): 1.14 1.08 1.01 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 782 0 0 0 2205 434 0 0 20 0 1 0 1853096400 4485120 753 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1095 753 413 48 0 1047 0
[pid=9350] vsize: 4380
Current children cumulated CPU time (s) 326.81
Current children cumulated vsize (Kb) 6508
[startup+470.048 s]
Raw data (loadavg): 1.20 1.09 1.01 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 784 0 0 0 2649 610 0 0 16 0 1 0 1853096400 4485120 755 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1095 755 413 48 0 1047 0
[pid=9350] vsize: 4380
Current children cumulated CPU time (s) 333.01
Current children cumulated vsize (Kb) 6508
[startup+480.049 s]
Raw data (loadavg): 1.17 1.09 1.01 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 790 0 0 0 3199 759 0 0 20 0 1 0 1853096400 4485120 761 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1095 761 413 48 0 1047 0
[pid=9350] vsize: 4380
Current children cumulated CPU time (s) 340
Current children cumulated vsize (Kb) 6508
[startup+490.05 s]
Raw data (loadavg): 1.21 1.10 1.02 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 806 0 0 0 3806 881 0 0 17 0 1 0 1853096400 4489216 777 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1096 777 413 48 0 1048 0
[pid=9350] vsize: 4384
Current children cumulated CPU time (s) 347.29
Current children cumulated vsize (Kb) 6512
[startup+500.051 s]
Raw data (loadavg): 1.18 1.10 1.01 2/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) R 9345 9345 21452 0 -1 0 810 0 0 0 4376 1023 0 0 16 0 1 0 1853096400 4489216 781 4294967295 134512640 134702520 3221223712 3221222608 134552550 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1096 781 413 48 0 1048 0
[pid=9350] vsize: 4384
Current children cumulated CPU time (s) 354.41
Current children cumulated vsize (Kb) 6512
[startup+510.052 s]
Raw data (loadavg): 1.15 1.09 1.01 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 812 0 0 0 4751 1223 0 0 20 0 1 0 1853096400 4603904 783 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1124 783 413 48 0 1076 0
[pid=9350] vsize: 4496
Current children cumulated CPU time (s) 360.16
Current children cumulated vsize (Kb) 6624
[startup+520.053 s]
Raw data (loadavg): 1.13 1.09 1.01 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 813 0 0 0 5388 1338 0 0 18 0 1 0 1853096400 4603904 784 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1124 784 413 48 0 1076 0
[pid=9350] vsize: 4496
Current children cumulated CPU time (s) 367.68
Current children cumulated vsize (Kb) 6624
[startup+530.055 s]
Raw data (loadavg): 1.11 1.08 1.01 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 816 0 0 0 5925 1491 0 0 16 0 1 0 1853096400 4603904 787 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1124 787 413 48 0 1076 0
[pid=9350] vsize: 4496
Current children cumulated CPU time (s) 374.58
Current children cumulated vsize (Kb) 6624
[startup+540.055 s]
Raw data (loadavg): 1.16 1.10 1.02 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 818 0 0 0 6381 1667 0 0 20 0 1 0 1853096400 4603904 789 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1124 789 413 48 0 1076 0
[pid=9350] vsize: 4496
Current children cumulated CPU time (s) 380.9
Current children cumulated vsize (Kb) 6624
[startup+550.057 s]
Raw data (loadavg): 1.14 1.09 1.01 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 821 0 0 0 6988 1799 0 0 17 0 1 0 1853096400 4603904 792 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1124 792 413 48 0 1076 0
[pid=9350] vsize: 4496
Current children cumulated CPU time (s) 388.29
Current children cumulated vsize (Kb) 6624
[startup+560.058 s]
Raw data (loadavg): 1.12 1.09 1.01 2/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) R 9345 9345 21452 0 -1 0 823 0 0 0 7524 1950 0 0 17 0 1 0 1853096400 4603904 794 4294967295 134512640 134702520 3221223712 3221222912 134617472 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1124 794 413 48 0 1076 0
[pid=9350] vsize: 4496
Current children cumulated CPU time (s) 395.16
Current children cumulated vsize (Kb) 6624
[startup+570.057 s]
Raw data (loadavg): 1.10 1.09 1.01 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 825 0 0 0 7971 2133 0 0 16 0 1 0 1853096400 4603904 796 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1124 796 413 48 0 1076 0
[pid=9350] vsize: 4496
Current children cumulated CPU time (s) 401.46
Current children cumulated vsize (Kb) 6624
[startup+580.058 s]
Raw data (loadavg): 1.16 1.10 1.02 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 829 0 0 0 8608 2250 0 0 19 0 1 0 1853096400 4603904 800 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1124 800 413 48 0 1076 0
[pid=9350] vsize: 4496
Current children cumulated CPU time (s) 409
Current children cumulated vsize (Kb) 6624
[startup+590.059 s]
Raw data (loadavg): 1.21 1.11 1.02 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 831 0 0 0 9146 2405 0 0 17 0 1 0 1853096400 4603904 802 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1124 802 413 48 0 1076 0
[pid=9350] vsize: 4496
Current children cumulated CPU time (s) 415.93
Current children cumulated vsize (Kb) 6624
[startup+600.061 s]
Raw data (loadavg): 1.25 1.12 1.03 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 834 0 0 0 9594 2582 0 0 18 0 1 0 1853096400 4603904 805 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1124 805 413 48 0 1076 0
[pid=9350] vsize: 4496
Current children cumulated CPU time (s) 422.18
Current children cumulated vsize (Kb) 6624
[startup+610.061 s]
Raw data (loadavg): 1.28 1.14 1.03 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 837 0 0 0 10252 2693 0 0 20 0 1 0 1853096400 4603904 808 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1124 808 413 48 0 1076 0
[pid=9350] vsize: 4496
Current children cumulated CPU time (s) 429.87
Current children cumulated vsize (Kb) 6624
[startup+620.062 s]
Raw data (loadavg): 1.24 1.13 1.03 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 840 0 0 0 10886 2814 0 0 18 0 1 0 1853096400 4726784 811 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1154 811 413 48 0 1106 0
[pid=9350] vsize: 4616
Current children cumulated CPU time (s) 437.42
Current children cumulated vsize (Kb) 6744
[startup+630.063 s]
Raw data (loadavg): 1.20 1.13 1.03 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 841 0 0 0 11450 2958 0 0 16 0 1 0 1853096400 4726784 812 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1154 812 413 48 0 1106 0
[pid=9350] vsize: 4616
Current children cumulated CPU time (s) 444.5
Current children cumulated vsize (Kb) 6744
[startup+640.063 s]
Raw data (loadavg): 1.17 1.12 1.03 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 841 0 0 0 11830 3162 0 0 15 0 1 0 1853096400 4726784 812 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1154 812 413 48 0 1106 0
[pid=9350] vsize: 4616
Current children cumulated CPU time (s) 450.34
Current children cumulated vsize (Kb) 6744
[startup+650.065 s]
Raw data (loadavg): 1.14 1.12 1.03 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 842 0 0 0 12425 3298 0 0 16 0 1 0 1853096400 4726784 813 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1154 813 413 48 0 1106 0
[pid=9350] vsize: 4616
Current children cumulated CPU time (s) 457.65
Current children cumulated vsize (Kb) 6744
[startup+660.066 s]
Raw data (loadavg): 1.19 1.13 1.03 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 842 0 0 0 12972 3450 0 0 15 0 1 0 1853096400 4726784 813 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1154 813 413 48 0 1106 0
[pid=9350] vsize: 4616
Current children cumulated CPU time (s) 464.64
Current children cumulated vsize (Kb) 6744
[startup+670.067 s]
Raw data (loadavg): 1.24 1.14 1.04 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 843 0 0 0 13417 3626 0 0 16 0 1 0 1853096400 4726784 814 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1154 814 413 48 0 1106 0
[pid=9350] vsize: 4616
Current children cumulated CPU time (s) 470.85
Current children cumulated vsize (Kb) 6744
[startup+680.067 s]
Raw data (loadavg): 1.20 1.14 1.03 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 844 0 0 0 14017 3758 0 0 15 0 1 0 1853096400 4726784 815 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1154 815 413 48 0 1106 0
[pid=9350] vsize: 4616
Current children cumulated CPU time (s) 478.17
Current children cumulated vsize (Kb) 6744
[startup+690.068 s]
Raw data (loadavg): 1.17 1.13 1.03 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 845 0 0 0 14572 3905 0 0 15 0 1 0 1853096400 4726784 816 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1154 816 413 48 0 1106 0
[pid=9350] vsize: 4616
Current children cumulated CPU time (s) 485.19
Current children cumulated vsize (Kb) 6744
[startup+700.07 s]
Raw data (loadavg): 1.14 1.13 1.03 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 846 0 0 0 14989 4090 0 0 16 0 1 0 1853096400 4726784 817 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1154 817 413 48 0 1106 0
[pid=9350] vsize: 4616
Current children cumulated CPU time (s) 491.21
Current children cumulated vsize (Kb) 6744
[startup+710.07 s]
Raw data (loadavg): 1.12 1.12 1.03 2/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) R 9345 9345 21452 0 -1 0 847 0 0 0 15628 4210 0 0 16 0 1 0 1853096400 4726784 818 4294967295 134512640 134702520 3221223712 3221222992 134553489 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1154 818 413 48 0 1106 0
[pid=9350] vsize: 4616
Current children cumulated CPU time (s) 498.8
Current children cumulated vsize (Kb) 6744
[startup+720.071 s]
Raw data (loadavg): 1.10 1.12 1.03 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 847 0 0 0 16161 4361 0 0 15 0 1 0 1853096400 4726784 818 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1154 818 413 48 0 1106 0
[pid=9350] vsize: 4616
Current children cumulated CPU time (s) 505.64
Current children cumulated vsize (Kb) 6744
[startup+730.073 s]
Raw data (loadavg): 1.16 1.13 1.03 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 849 0 0 0 16604 4546 0 0 15 0 1 0 1853096400 4726784 820 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1154 820 413 48 0 1106 0
[pid=9350] vsize: 4616
Current children cumulated CPU time (s) 511.92
Current children cumulated vsize (Kb) 6744
[startup+740.073 s]
Raw data (loadavg): 1.13 1.12 1.03 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 850 0 0 0 17258 4664 0 0 16 0 1 0 1853096400 4726784 821 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1154 821 413 48 0 1106 0
[pid=9350] vsize: 4616
Current children cumulated CPU time (s) 519.64
Current children cumulated vsize (Kb) 6744
[startup+750.075 s]
Raw data (loadavg): 1.11 1.12 1.03 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 852 0 0 0 17768 4826 0 0 15 0 1 0 1853096400 4726784 823 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1154 823 413 48 0 1106 0
[pid=9350] vsize: 4616
Current children cumulated CPU time (s) 526.36
Current children cumulated vsize (Kb) 6744
[startup+760.077 s]
Raw data (loadavg): 1.10 1.11 1.03 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 855 0 0 0 18253 4998 0 0 16 0 1 0 1853096400 4726784 826 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1154 826 413 48 0 1106 0
[pid=9350] vsize: 4616
Current children cumulated CPU time (s) 532.93
Current children cumulated vsize (Kb) 6744
[startup+770.077 s]
Raw data (loadavg): 1.15 1.13 1.04 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 856 0 0 0 18917 5112 0 0 15 0 1 0 1853096400 4726784 827 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1154 827 413 48 0 1106 0
[pid=9350] vsize: 4616
Current children cumulated CPU time (s) 540.71
Current children cumulated vsize (Kb) 6744
[startup+780.077 s]
Raw data (loadavg): 1.13 1.12 1.04 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 858 0 0 0 19496 5257 0 0 15 0 1 0 1853096400 4726784 829 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1154 829 413 48 0 1106 0
[pid=9350] vsize: 4616
Current children cumulated CPU time (s) 547.95
Current children cumulated vsize (Kb) 6744
[startup+790.078 s]
Raw data (loadavg): 1.19 1.13 1.04 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 859 0 0 0 19943 5440 0 0 16 0 1 0 1853096400 4726784 830 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1154 830 413 48 0 1106 0
[pid=9350] vsize: 4616
Current children cumulated CPU time (s) 554.25
Current children cumulated vsize (Kb) 6744
[startup+800.08 s]
Raw data (loadavg): 1.16 1.13 1.04 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 863 0 0 0 20604 5552 0 0 16 0 1 0 1853096400 4726784 834 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1154 834 413 48 0 1106 0
[pid=9350] vsize: 4616
Current children cumulated CPU time (s) 561.98
Current children cumulated vsize (Kb) 6744
[startup+810.081 s]
Raw data (loadavg): 1.13 1.12 1.04 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 866 0 0 0 21272 5662 0 0 15 0 1 0 1853096400 4726784 837 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1154 837 413 48 0 1106 0
[pid=9350] vsize: 4616
Current children cumulated CPU time (s) 569.76
Current children cumulated vsize (Kb) 6744
[startup+820.081 s]
Raw data (loadavg): 1.11 1.12 1.04 2/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 867 0 0 0 21643 5863 0 0 16 0 1 0 1853096400 4726784 838 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1154 838 413 48 0 1106 0
[pid=9350] vsize: 4616
Current children cumulated CPU time (s) 575.48
Current children cumulated vsize (Kb) 6744
[startup+830.083 s]
Raw data (loadavg): 1.17 1.13 1.04 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 870 0 0 0 22310 5978 0 0 15 0 1 0 1853096400 4845568 841 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1183 841 413 48 0 1135 0
[pid=9350] vsize: 4732
Current children cumulated CPU time (s) 583.3
Current children cumulated vsize (Kb) 6860
[startup+840.084 s]
Raw data (loadavg): 1.14 1.13 1.04 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 873 0 0 0 22982 6082 0 0 15 0 1 0 1853096400 4845568 844 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1183 844 413 48 0 1135 0
[pid=9350] vsize: 4732
Current children cumulated CPU time (s) 591.06
Current children cumulated vsize (Kb) 6860
[startup+850.085 s]
Raw data (loadavg): 1.12 1.12 1.04 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 874 0 0 0 23517 6237 0 0 15 0 1 0 1853096400 4845568 845 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1183 845 413 48 0 1135 0
[pid=9350] vsize: 4732
Current children cumulated CPU time (s) 597.96
Current children cumulated vsize (Kb) 6860
[startup+860.087 s]
Raw data (loadavg): 1.10 1.12 1.04 2/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 876 0 0 0 24032 6399 0 0 16 0 1 0 1853096400 4845568 847 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1183 847 413 48 0 1135 0
[pid=9350] vsize: 4732
Current children cumulated CPU time (s) 604.73
Current children cumulated vsize (Kb) 6860
[startup+870.088 s]
Raw data (loadavg): 1.08 1.11 1.04 2/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) R 9345 9345 21452 0 -1 0 879 0 0 0 24710 6507 0 0 15 0 1 0 1853096400 4845568 850 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1183 850 413 48 0 1135 0
[pid=9350] vsize: 4732
Current children cumulated CPU time (s) 612.59
Current children cumulated vsize (Kb) 6860
[startup+880.088 s]
Raw data (loadavg): 1.07 1.11 1.04 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 880 0 0 0 25334 6637 0 0 15 0 1 0 1853096400 4845568 851 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1183 851 413 48 0 1135 0
[pid=9350] vsize: 4732
Current children cumulated CPU time (s) 620.13
Current children cumulated vsize (Kb) 6860
[startup+890.089 s]
Raw data (loadavg): 1.14 1.12 1.04 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 882 0 0 0 25735 6830 0 0 16 0 1 0 1853096400 4845568 853 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1183 853 413 48 0 1135 0
[pid=9350] vsize: 4732
Current children cumulated CPU time (s) 626.07
Current children cumulated vsize (Kb) 6860
[startup+900.091 s]
Raw data (loadavg): 1.12 1.12 1.04 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 882 0 0 0 26443 6928 0 0 16 0 1 0 1853096400 4845568 853 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1183 853 413 48 0 1135 0
[pid=9350] vsize: 4732
Current children cumulated CPU time (s) 634.13
Current children cumulated vsize (Kb) 6860
[startup+910.093 s]
Raw data (loadavg): 1.10 1.11 1.04 2/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 886 0 0 0 27119 7037 0 0 16 0 1 0 1853096400 4845568 857 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1183 857 413 48 0 1135 0
[pid=9350] vsize: 4732
Current children cumulated CPU time (s) 641.98
Current children cumulated vsize (Kb) 6860
[startup+920.092 s]
Raw data (loadavg): 1.08 1.11 1.04 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 887 0 0 0 27612 7204 0 0 15 0 1 0 1853096400 4845568 858 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1183 858 413 48 0 1135 0
[pid=9350] vsize: 4732
Current children cumulated CPU time (s) 648.58
Current children cumulated vsize (Kb) 6860
[startup+930.094 s]
Raw data (loadavg): 1.15 1.12 1.04 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 890 0 0 0 28174 7346 0 0 16 0 1 0 1853096400 4845568 861 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1183 861 413 48 0 1135 0
[pid=9350] vsize: 4732
Current children cumulated CPU time (s) 655.62
Current children cumulated vsize (Kb) 6860
[startup+940.095 s]
Raw data (loadavg): 1.13 1.12 1.04 2/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 893 0 0 0 28898 7439 0 0 16 0 1 0 1853096400 4845568 864 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1183 864 413 48 0 1135 0
[pid=9350] vsize: 4732
Current children cumulated CPU time (s) 663.79
Current children cumulated vsize (Kb) 6860
[startup+950.095 s]
Raw data (loadavg): 1.11 1.11 1.04 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 897 0 0 0 29590 7542 0 0 15 0 1 0 1853096400 4845568 868 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1183 868 413 48 0 1135 0
[pid=9350] vsize: 4732
Current children cumulated CPU time (s) 671.74
Current children cumulated vsize (Kb) 6860
[startup+960.097 s]
Raw data (loadavg): 1.09 1.11 1.04 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 898 0 0 0 30006 7733 0 0 15 0 1 0 1853096400 4845568 869 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1183 869 413 48 0 1135 0
[pid=9350] vsize: 4732
Current children cumulated CPU time (s) 677.81
Current children cumulated vsize (Kb) 6860
[startup+970.098 s]
Raw data (loadavg): 1.08 1.10 1.04 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 902 0 0 0 30643 7855 0 0 15 0 1 0 1853096400 4960256 873 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1211 873 413 48 0 1163 0
[pid=9350] vsize: 4844
Current children cumulated CPU time (s) 685.4
Current children cumulated vsize (Kb) 6972
[startup+980.1 s]
Raw data (loadavg): 1.06 1.10 1.04 2/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) R 9345 9345 21452 0 -1 0 904 0 0 0 31358 7951 0 0 16 0 1 0 1853096400 4960256 875 4294967295 134512640 134702520 3221223712 3221222832 134572636 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1211 875 413 48 0 1163 0
[pid=9350] vsize: 4844
Current children cumulated CPU time (s) 693.51
Current children cumulated vsize (Kb) 6972
[startup+990.1 s]
Raw data (loadavg): 1.05 1.10 1.04 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 908 0 0 0 32020 8066 0 0 15 0 1 0 1853096400 4960256 879 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1211 879 413 48 0 1163 0
[pid=9350] vsize: 4844
Current children cumulated CPU time (s) 701.28
Current children cumulated vsize (Kb) 6972
[startup+1000.1 s]
Raw data (loadavg): 1.04 1.09 1.04 3/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 910 0 0 0 32440 8262 0 0 15 0 1 0 1853096400 4960256 881 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1211 881 413 48 0 1163 0
[pid=9350] vsize: 4844
Current children cumulated CPU time (s) 707.44
Current children cumulated vsize (Kb) 6972
[startup+1010.1 s]
Raw data (loadavg): 1.04 1.09 1.03 2/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 914 0 0 0 33152 8357 0 0 16 0 1 0 1853096400 4960256 885 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1211 885 413 48 0 1163 0
[pid=9350] vsize: 4844
Current children cumulated CPU time (s) 715.51
Current children cumulated vsize (Kb) 6972
[startup+1020.1 s]
Raw data (loadavg): 1.11 1.10 1.04 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 918 0 0 0 33876 8450 0 0 16 0 1 0 1853096400 4960256 889 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1211 889 413 48 0 1163 0
[pid=9350] vsize: 4844
Current children cumulated CPU time (s) 723.68
Current children cumulated vsize (Kb) 6972
[startup+1030.11 s]
Raw data (loadavg): 1.09 1.10 1.04 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 922 0 0 0 34492 8570 0 0 16 0 1 0 1853096400 4960256 893 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1211 893 413 48 0 1163 0
[pid=9350] vsize: 4844
Current children cumulated CPU time (s) 731.04
Current children cumulated vsize (Kb) 6972
[startup+1040.11 s]
Raw data (loadavg): 1.15 1.11 1.04 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 924 0 0 0 34919 8758 0 0 16 0 1 0 1853096400 4960256 895 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1211 895 413 48 0 1163 0
[pid=9350] vsize: 4844
Current children cumulated CPU time (s) 737.19
Current children cumulated vsize (Kb) 6972
[startup+1050.11 s]
Raw data (loadavg): 1.13 1.11 1.04 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 925 0 0 0 35650 8846 0 0 16 0 1 0 1853096400 4960256 896 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1211 896 413 48 0 1163 0
[pid=9350] vsize: 4844
Current children cumulated CPU time (s) 745.38
Current children cumulated vsize (Kb) 6972
[startup+1060.11 s]
Raw data (loadavg): 1.11 1.10 1.04 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 927 0 0 0 36381 8931 0 0 16 0 1 0 1853096400 5079040 898 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1240 898 413 48 0 1192 0
[pid=9350] vsize: 4960
Current children cumulated CPU time (s) 753.54
Current children cumulated vsize (Kb) 7088
[startup+1070.11 s]
Raw data (loadavg): 1.09 1.10 1.04 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 929 0 0 0 37009 9056 0 0 15 0 1 0 1853096400 5079040 900 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1240 900 413 48 0 1192 0
[pid=9350] vsize: 4960
Current children cumulated CPU time (s) 761.07
Current children cumulated vsize (Kb) 7088
[startup+1080.11 s]
Raw data (loadavg): 1.23 1.13 1.05 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 931 0 0 0 37443 9240 0 0 16 0 1 0 1853096400 5079040 902 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1240 902 413 48 0 1192 0
[pid=9350] vsize: 4960
Current children cumulated CPU time (s) 767.25
Current children cumulated vsize (Kb) 7088
[startup+1090.11 s]
Raw data (loadavg): 1.27 1.14 1.05 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 933 0 0 0 38177 9330 0 0 16 0 1 0 1853096400 5079040 904 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1240 904 413 48 0 1192 0
[pid=9350] vsize: 4960
Current children cumulated CPU time (s) 775.49
Current children cumulated vsize (Kb) 7088
[startup+1100.11 s]
Raw data (loadavg): 1.30 1.15 1.06 2/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) R 9345 9345 21452 0 -1 0 937 0 0 0 38915 9416 0 0 16 0 1 0 1853096400 5079040 908 4294967295 134512640 134702520 3221223712 3221222832 134584457 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1240 908 413 48 0 1192 0
[pid=9350] vsize: 4960
Current children cumulated CPU time (s) 783.73
Current children cumulated vsize (Kb) 7088
[startup+1110.11 s]
Raw data (loadavg): 1.25 1.14 1.06 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 940 0 0 0 39585 9526 0 0 16 0 1 0 1853096400 5079040 911 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1240 911 413 48 0 1192 0
[pid=9350] vsize: 4960
Current children cumulated CPU time (s) 791.53
Current children cumulated vsize (Kb) 7088
[startup+1120.11 s]
Raw data (loadavg): 1.21 1.14 1.06 2/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) R 9345 9345 21452 0 -1 0 941 0 0 0 39964 9730 0 0 16 0 1 0 1853096400 5079040 912 4294967295 134512640 134702520 3221223712 3221222832 134578849 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1240 912 413 48 0 1192 0
[pid=9350] vsize: 4960
Current children cumulated CPU time (s) 797.36
Current children cumulated vsize (Kb) 7088
[startup+1130.12 s]
Raw data (loadavg): 1.18 1.14 1.05 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 944 0 0 0 40697 9818 0 0 16 0 1 0 1853096400 5079040 915 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1240 915 413 48 0 1192 0
[pid=9350] vsize: 4960
Current children cumulated CPU time (s) 805.57
Current children cumulated vsize (Kb) 7088
[startup+1140.12 s]
Raw data (loadavg): 1.15 1.13 1.05 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 947 0 0 0 41428 9904 0 0 16 0 1 0 1853096400 5079040 918 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1240 918 413 48 0 1192 0
[pid=9350] vsize: 4960
Current children cumulated CPU time (s) 813.74
Current children cumulated vsize (Kb) 7088
[startup+1150.12 s]
Raw data (loadavg): 1.21 1.14 1.06 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 948 0 0 0 42166 9992 0 0 16 0 1 0 1853096400 5079040 919 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1240 919 413 48 0 1192 0
[pid=9350] vsize: 4960
Current children cumulated CPU time (s) 822
Current children cumulated vsize (Kb) 7088
[startup+1160.12 s]
Raw data (loadavg): 1.18 1.14 1.06 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 949 0 0 0 42586 10184 0 0 15 0 1 0 1853096400 5079040 920 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1240 920 413 48 0 1192 0
[pid=9350] vsize: 4960
Current children cumulated CPU time (s) 828.12
Current children cumulated vsize (Kb) 7088
[startup+1170.12 s]
Raw data (loadavg): 1.15 1.13 1.06 2/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) R 9345 9345 21452 0 -1 0 951 0 0 0 43287 10286 0 0 16 0 1 0 1853096400 5079040 922 4294967295 134512640 134702520 3221223712 3221222832 134584493 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1240 922 413 48 0 1192 0
[pid=9350] vsize: 4960
Current children cumulated CPU time (s) 836.15
Current children cumulated vsize (Kb) 7088
[startup+1180.12 s]
Raw data (loadavg): 1.13 1.13 1.06 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 951 0 0 0 44026 10375 0 0 16 0 1 0 1853096400 5079040 922 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1240 922 413 48 0 1192 0
[pid=9350] vsize: 4960
Current children cumulated CPU time (s) 844.43
Current children cumulated vsize (Kb) 7088
[startup+1190.12 s]
Raw data (loadavg): 1.11 1.12 1.05 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 953 0 0 0 44765 10458 0 0 16 0 1 0 1853096400 5079040 924 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1240 924 413 48 0 1192 0
[pid=9350] vsize: 4960
Current children cumulated CPU time (s) 852.65
Current children cumulated vsize (Kb) 7088
[startup+1200.12 s]
Raw data (loadavg): 1.09 1.12 1.05 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 954 0 0 0 45267 10617 0 0 15 0 1 0 1853096400 5079040 925 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1240 925 413 48 0 1192 0
[pid=9350] vsize: 4960
Current children cumulated CPU time (s) 859.26
Current children cumulated vsize (Kb) 7088
[startup+1210.12 s]
Raw data (loadavg): 1.15 1.13 1.06 2/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) R 9345 9345 21452 0 -1 0 955 0 0 0 45832 10754 0 0 16 0 1 0 1853096400 5079040 926 4294967295 134512640 134702520 3221223712 3221222832 134578595 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1240 926 413 48 0 1192 0
[pid=9350] vsize: 4960
Current children cumulated CPU time (s) 866.28
Current children cumulated vsize (Kb) 7088
[startup+1220.12 s]
Raw data (loadavg): 1.13 1.12 1.06 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 956 0 0 0 46600 10829 0 0 15 0 1 0 1853096400 5201920 927 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1270 927 413 48 0 1222 0
[pid=9350] vsize: 5080
Current children cumulated CPU time (s) 874.71
Current children cumulated vsize (Kb) 7208
[startup+1230.13 s]
Raw data (loadavg): 1.11 1.12 1.06 2/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) R 9345 9345 21452 0 -1 0 960 0 0 0 47367 10908 0 0 16 0 1 0 1853096400 5201920 931 4294967295 134512640 134702520 3221223712 3221223104 134605854 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1270 931 413 48 0 1222 0
[pid=9350] vsize: 5080
Current children cumulated CPU time (s) 883.17
Current children cumulated vsize (Kb) 7208
[startup+1240.13 s]
Raw data (loadavg): 1.09 1.12 1.05 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 962 0 0 0 47967 11043 0 0 16 0 1 0 1853096400 5201920 933 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1270 933 413 48 0 1222 0
[pid=9350] vsize: 5080
Current children cumulated CPU time (s) 890.52
Current children cumulated vsize (Kb) 7208
[startup+1250.13 s]
Raw data (loadavg): 1.16 1.13 1.06 2/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) R 9345 9345 21452 0 -1 0 964 0 0 0 48435 11217 0 0 16 0 1 0 1853096400 5201920 935 4294967295 134512640 134702520 3221223712 3221222832 134578853 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1270 935 413 48 0 1222 0
[pid=9350] vsize: 5080
Current children cumulated CPU time (s) 896.94
Current children cumulated vsize (Kb) 7208
[startup+1260.13 s]
Raw data (loadavg): 1.21 1.14 1.06 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 968 0 0 0 49177 11304 0 0 16 0 1 0 1853096400 5201920 939 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1270 939 413 48 0 1222 0
[pid=9350] vsize: 5080
Current children cumulated CPU time (s) 905.23
Current children cumulated vsize (Kb) 7208
[startup+1270.13 s]
Raw data (loadavg): 1.25 1.15 1.07 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 969 0 0 0 49924 11392 0 0 16 0 1 0 1853096400 5201920 940 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1270 940 413 48 0 1222 0
[pid=9350] vsize: 5080
Current children cumulated CPU time (s) 913.58
Current children cumulated vsize (Kb) 7208
[startup+1280.13 s]
Raw data (loadavg): 1.29 1.16 1.07 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 969 0 0 0 50714 11461 0 0 16 0 1 0 1853096400 5201920 940 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1270 940 413 48 0 1222 0
[pid=9350] vsize: 5080
Current children cumulated CPU time (s) 922.17
Current children cumulated vsize (Kb) 7208
[startup+1290.13 s]
Raw data (loadavg): 1.25 1.16 1.07 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 970 0 0 0 51080 11669 0 0 15 0 1 0 1853096400 5201920 941 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1270 941 413 48 0 1222 0
[pid=9350] vsize: 5080
Current children cumulated CPU time (s) 927.91
Current children cumulated vsize (Kb) 7208
[startup+1300.13 s]
Raw data (loadavg): 1.21 1.15 1.07 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 973 0 0 0 51785 11767 0 0 16 0 1 0 1853096400 5201920 944 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1270 944 413 48 0 1222 0
[pid=9350] vsize: 5080
Current children cumulated CPU time (s) 935.94
Current children cumulated vsize (Kb) 7208
[startup+1310.13 s]
Raw data (loadavg): 1.18 1.14 1.07 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 975 0 0 0 52533 11853 0 0 16 0 1 0 1853096400 5201920 946 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1270 946 413 48 0 1222 0
[pid=9350] vsize: 5080
Current children cumulated CPU time (s) 944.28
Current children cumulated vsize (Kb) 7208
[startup+1320.14 s]
Raw data (loadavg): 1.15 1.14 1.07 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 978 0 0 0 53295 11932 0 0 15 0 1 0 1853096400 5201920 949 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1270 949 413 48 0 1222 0
[pid=9350] vsize: 5080
Current children cumulated CPU time (s) 952.69
Current children cumulated vsize (Kb) 7208
[startup+1330.14 s]
Raw data (loadavg): 1.12 1.13 1.07 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 979 0 0 0 53927 12056 0 0 15 0 1 0 1853096400 5201920 950 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1270 950 413 48 0 1222 0
[pid=9350] vsize: 5080
Current children cumulated CPU time (s) 960.25
Current children cumulated vsize (Kb) 7208
[startup+1340.14 s]
Raw data (loadavg): 1.11 1.13 1.07 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 981 0 0 0 54400 12228 0 0 16 0 1 0 1853096400 5201920 952 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1270 952 413 48 0 1222 0
[pid=9350] vsize: 5080
Current children cumulated CPU time (s) 966.7
Current children cumulated vsize (Kb) 7208
[startup+1350.14 s]
Raw data (loadavg): 1.16 1.14 1.07 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 982 0 0 0 55136 12320 0 0 16 0 1 0 1853096400 5201920 953 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1270 953 413 48 0 1222 0
[pid=9350] vsize: 5080
Current children cumulated CPU time (s) 974.98
Current children cumulated vsize (Kb) 7208
[startup+1360.14 s]
Raw data (loadavg): 1.14 1.14 1.07 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 982 0 0 0 55929 12391 0 0 16 0 1 0 1853096400 5201920 953 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1270 953 413 48 0 1222 0
[pid=9350] vsize: 5080
Current children cumulated CPU time (s) 983.62
Current children cumulated vsize (Kb) 7208
[startup+1370.14 s]
Raw data (loadavg): 1.12 1.13 1.07 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 984 0 0 0 56679 12476 0 0 16 0 1 0 1853096400 5201920 955 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1270 955 413 48 0 1222 0
[pid=9350] vsize: 5080
Current children cumulated CPU time (s) 991.97
Current children cumulated vsize (Kb) 7208
[startup+1380.14 s]
Raw data (loadavg): 1.10 1.13 1.07 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 985 0 0 0 57190 12646 0 0 15 0 1 0 1853096400 5201920 956 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1270 956 413 48 0 1222 0
[pid=9350] vsize: 5080
Current children cumulated CPU time (s) 998.78
Current children cumulated vsize (Kb) 7208
[startup+1390.14 s]
Raw data (loadavg): 1.16 1.14 1.07 2/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 988 0 0 0 57749 12792 0 0 16 0 1 0 1853096400 5324800 959 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1300 959 413 48 0 1252 0
[pid=9350] vsize: 5200
Current children cumulated CPU time (s) 1005.83
Current children cumulated vsize (Kb) 7328
[startup+1400.14 s]
Raw data (loadavg): 1.13 1.13 1.07 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 988 0 0 0 58545 12855 0 0 16 0 1 0 1853096400 5324800 959 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1300 959 413 48 0 1252 0
[pid=9350] vsize: 5200
Current children cumulated CPU time (s) 1014.42
Current children cumulated vsize (Kb) 7328
[startup+1410.15 s]
Raw data (loadavg): 1.19 1.15 1.08 2/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) R 9345 9345 21452 0 -1 0 989 0 0 0 59287 12943 0 0 16 0 1 0 1853096400 5324800 960 4294967295 134512640 134702520 3221223712 3221223208 1074752232 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1300 960 413 48 0 1252 0
[pid=9350] vsize: 5200
Current children cumulated CPU time (s) 1022.72
Current children cumulated vsize (Kb) 7328
[startup+1420.15 s]
Raw data (loadavg): 1.16 1.14 1.07 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 991 0 0 0 60050 13023 0 0 15 0 1 0 1853096400 5324800 962 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1300 962 413 48 0 1252 0
[pid=9350] vsize: 5200
Current children cumulated CPU time (s) 1031.15
Current children cumulated vsize (Kb) 7328
[startup+1430.15 s]
Raw data (loadavg): 1.14 1.14 1.07 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 991 0 0 0 60437 13224 0 0 15 0 1 0 1853096400 5324800 962 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1300 962 413 48 0 1252 0
[pid=9350] vsize: 5200
Current children cumulated CPU time (s) 1037.03
Current children cumulated vsize (Kb) 7328
[startup+1440.15 s]
Raw data (loadavg): 1.11 1.13 1.07 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 992 0 0 0 61144 13318 0 0 16 0 1 0 1853096400 5324800 963 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1300 963 413 48 0 1252 0
[pid=9350] vsize: 5200
Current children cumulated CPU time (s) 1045.04
Current children cumulated vsize (Kb) 7328
[startup+1450.15 s]
Raw data (loadavg): 1.10 1.13 1.07 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 994 0 0 0 61891 13404 0 0 15 0 1 0 1853096400 5324800 965 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1300 965 413 48 0 1252 0
[pid=9350] vsize: 5200
Current children cumulated CPU time (s) 1053.37
Current children cumulated vsize (Kb) 7328
[startup+1460.15 s]
Raw data (loadavg): 1.08 1.12 1.07 2/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) R 9345 9345 21452 0 -1 0 995 0 0 0 62693 13469 0 0 16 0 1 0 1853096400 5324800 966 4294967295 134512640 134702520 3221223712 3221222832 134572601 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1300 966 413 48 0 1252 0
[pid=9350] vsize: 5200
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (Kb) 7328
[startup+1470.15 s]
Raw data (loadavg): 1.07 1.12 1.07 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 996 0 0 0 63401 13565 0 0 15 0 1 0 1853096400 5324800 967 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1300 967 413 48 0 1252 0
[pid=9350] vsize: 5200
Current children cumulated CPU time (s) 1070.08
Current children cumulated vsize (Kb) 7328
[startup+1480.15 s]
Raw data (loadavg): 1.14 1.13 1.07 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 996 0 0 0 63825 13756 0 0 15 0 1 0 1853096400 5324800 967 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1300 967 413 48 0 1252 0
[pid=9350] vsize: 5200
Current children cumulated CPU time (s) 1076.23
Current children cumulated vsize (Kb) 7328
[startup+1490.15 s]
Raw data (loadavg): 1.12 1.12 1.07 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 998 0 0 0 64566 13841 0 0 16 0 1 0 1853096400 5324800 969 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1300 969 413 48 0 1252 0
[pid=9350] vsize: 5200
Current children cumulated CPU time (s) 1084.49
Current children cumulated vsize (Kb) 7328
[startup+1500.15 s]
Raw data (loadavg): 1.10 1.12 1.07 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 999 0 0 0 65331 13924 0 0 16 0 1 0 1853096400 5324800 970 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1300 970 413 48 0 1252 0
[pid=9350] vsize: 5200
Current children cumulated CPU time (s) 1092.97
Current children cumulated vsize (Kb) 7328
[startup+1510.16 s]
Raw data (loadavg): 1.08 1.11 1.07 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 1001 0 0 0 66101 14004 0 0 16 0 1 0 1853096400 5324800 972 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1300 972 413 48 0 1252 0
[pid=9350] vsize: 5200
Current children cumulated CPU time (s) 1101.47
Current children cumulated vsize (Kb) 7328
[startup+1520.16 s]
Raw data (loadavg): 1.07 1.11 1.07 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 1006 0 0 0 66846 14088 0 0 16 0 1 0 1853096400 5324800 977 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1300 977 413 48 0 1252 0
[pid=9350] vsize: 5200
Current children cumulated CPU time (s) 1109.76
Current children cumulated vsize (Kb) 7328
[startup+1530.16 s]
Raw data (loadavg): 1.06 1.11 1.07 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 1007 0 0 0 67254 14287 0 0 15 0 1 0 1853096400 5324800 978 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1300 978 413 48 0 1252 0
[pid=9350] vsize: 5200
Current children cumulated CPU time (s) 1115.83
Current children cumulated vsize (Kb) 7328
[startup+1540.16 s]
Raw data (loadavg): 1.05 1.10 1.07 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 1010 0 0 0 67976 14381 0 0 16 0 1 0 1853096400 5324800 981 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1300 981 413 48 0 1252 0
[pid=9350] vsize: 5200
Current children cumulated CPU time (s) 1123.99
Current children cumulated vsize (Kb) 7328
[startup+1550.16 s]
Raw data (loadavg): 1.04 1.10 1.07 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 1010 0 0 0 68782 14444 0 0 16 0 1 0 1853096400 5324800 981 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1300 981 413 48 0 1252 0
[pid=9350] vsize: 5200
Current children cumulated CPU time (s) 1132.68
Current children cumulated vsize (Kb) 7328
[startup+1560.16 s]
Raw data (loadavg): 1.03 1.10 1.07 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 1014 0 0 0 69537 14523 0 0 16 0 1 0 1853096400 5324800 985 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1300 985 413 48 0 1252 0
[pid=9350] vsize: 5200
Current children cumulated CPU time (s) 1141.02
Current children cumulated vsize (Kb) 7328
[startup+1570.16 s]
Raw data (loadavg): 1.03 1.09 1.07 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 1014 0 0 0 70347 14589 0 0 17 0 1 0 1853096400 5324800 985 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1300 985 413 48 0 1252 0
[pid=9350] vsize: 5200
Current children cumulated CPU time (s) 1149.78
Current children cumulated vsize (Kb) 7328
[startup+1580.16 s]
Raw data (loadavg): 1.02 1.09 1.06 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 1015 0 0 0 70767 14784 0 0 15 0 1 0 1853096400 5324800 986 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1300 986 413 48 0 1252 0
[pid=9350] vsize: 5200
Current children cumulated CPU time (s) 1155.93
Current children cumulated vsize (Kb) 7328
[startup+1590.16 s]
Raw data (loadavg): 1.02 1.08 1.06 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 1016 0 0 0 71415 14900 0 0 16 0 1 0 1853096400 5439488 987 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1328 987 413 48 0 1280 0
[pid=9350] vsize: 5312
Current children cumulated CPU time (s) 1163.57
Current children cumulated vsize (Kb) 7440
[startup+1600.17 s]
Raw data (loadavg): 1.02 1.08 1.06 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 1016 0 0 0 72217 14971 0 0 16 0 1 0 1853096400 5439488 987 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1328 987 413 48 0 1280 0
[pid=9350] vsize: 5312
Current children cumulated CPU time (s) 1172.3
Current children cumulated vsize (Kb) 7440
[startup+1610.17 s]
Raw data (loadavg): 1.01 1.08 1.06 2/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 1022 0 0 0 72969 15059 0 0 16 0 1 0 1853096400 5439488 993 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1328 993 413 48 0 1280 0
[pid=9350] vsize: 5312
Current children cumulated CPU time (s) 1180.7
Current children cumulated vsize (Kb) 7440
[startup+1620.17 s]
Raw data (loadavg): 1.09 1.09 1.07 2/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) R 9345 9345 21452 0 -1 0 1023 0 0 0 73775 15124 0 0 17 0 1 0 1853096400 5439488 994 4294967295 134512640 134702520 3221223712 3221222992 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9350/statm): 1328 994 413 48 0 1280 0
[pid=9350] vsize: 5312
Current children cumulated CPU time (s) 1189.41
Current children cumulated vsize (Kb) 7440
[startup+1630.17 s]
Raw data (loadavg): 1.08 1.09 1.06 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 1023 0 0 0 74320 15269 0 0 15 0 1 0 1853096400 5439488 994 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1328 994 413 48 0 1280 0
[pid=9350] vsize: 5312
Current children cumulated CPU time (s) 1196.31
Current children cumulated vsize (Kb) 7440
[startup+1640.17 s]
Raw data (loadavg): 1.14 1.10 1.07 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 1025 0 0 0 74918 15396 0 0 16 0 1 0 1853096400 5439488 996 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1328 996 413 48 0 1280 0
[pid=9350] vsize: 5312
Current children cumulated CPU time (s) 1203.56
Current children cumulated vsize (Kb) 7440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1640.17 s]
Raw data (loadavg): 1.14 1.10 1.07 1/57 9350
Raw data (/proc/9345/stat): 9345 (vallstSAT2005PB) S 9344 9345 21452 0 -1 0 378 1293 0 0 2 1 24020 6019 17 0 1 0 1853053928 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9345/statm): 532 248 485 147 0 385 0
[pid=9345] vsize: 2128
Raw data (/proc/9350/stat): 9350 (vallst) T 9345 9345 21452 0 -1 0 1025 0 0 0 74918 15396 0 0 16 0 1 0 1853096400 5439488 996 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9350/statm): 1328 996 413 48 0 1280 0
[pid=9350] vsize: 5312
Current children cumulated CPU time (s) 1203.56
Current children cumulated vsize (Kb) 7440
Sending SIGTERM to -9345
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=9352
New process pid=9353
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /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/18281/stat
open syscall for file /proc/18281/status
open syscall for file /proc/18281/cmdline
open syscall for file /proc/18281/environ
open syscall for file /proc/19827/stat
open syscall for file /proc/19827/status
open syscall for file /proc/19827/cmdline
open syscall for file /proc/19827/environ
open syscall for file /proc/19854/stat
open syscall for file /proc/19854/status
open syscall for file /proc/19854/cmdline
open syscall for file /proc/19854/environ
open syscall for file /proc/19878/stat
open syscall for file /proc/19878/status
open syscall for file /proc/19878/cmdline
open syscall for file /proc/19878/environ
open syscall for file /proc/28563/stat
open syscall for file /proc/28563/status
open syscall for file /proc/28563/cmdline
open syscall for file /proc/28563/environ
open syscall for file /proc/28582/stat
open syscall for file /proc/28582/status
open syscall for file /proc/28582/cmdline
open syscall for file /proc/28582/environ
open syscall for file /proc/5390/stat
open syscall for file /proc/5390/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/5390/cmdline
open syscall for file /proc/5390/environ
open syscall for file /proc/5425/stat
open syscall for file /proc/5425/status
open syscall for file /proc/5425/cmdline
open syscall for file /proc/5425/environ
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /proc/21452/stat
open syscall for file /proc/21452/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/21452/cmdline
open syscall for file /proc/21452/environ
open syscall for file /proc/21453/stat
open syscall for file /proc/21453/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
One traced child (pid=9350) exited with status: 3
open syscall for file /proc/21453/cmdline
open syscall for file /proc/21453/environ
open syscall for file /proc/21462/stat
open syscall for file /proc/21462/status
open syscall for file /proc/21462/cmdline
open syscall for file /proc/21462/environ
open syscall for file /proc/9308/stat
open syscall for file /proc/9308/status
open syscall for file /proc/9308/cmdline
open syscall for file /proc/9308/environ
open syscall for file /proc/9344/stat
open syscall for file /proc/9344/status
open syscall for file /proc/9344/cmdline
open syscall for file /proc/9344/environ
open syscall for file /proc/9345/stat
open syscall for file /proc/9345/status
open syscall for file /proc/9345/cmdline
open syscall for file /proc/9345/environ
open syscall for file /proc/9352/stat
open syscall for file /proc/9352/status
open syscall for file /proc/9352/cmdline
open syscall for file /proc/9352/environ
open syscall for file /proc/9353/stat
open syscall for file /proc/9353/status
open syscall for file /proc/9353/cmdline
open syscall for file /proc/9353/environ
One traced child (pid=9352) exited with status: 0
One traced child (pid=9353) exited with status: 0
New process pid=9354
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=9354) exited with status: 0
New process pid=9355
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=9355) exited with status: 0
One traced child (pid=9345) 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): 1640.67
CPU time (s): 1203.78
CPU user time (s): 989.521
CPU system time (s): 214.255
CPU usage (%): 73.3711
Max. virtual memory (cumulated for all children) (Kb): 7440