1:
seed: 0
Nr of vars set: 4 (#equs: 0)
Nr of vars set: 71 (#equs: 0)
#decisions: 204872; #end-nodes: 1285;
#proof improvement attempts: 0; #restarts: 15
Current batch, end-nodes: 55 / 83 (83)
#axs: 5587, #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: 64910686 (2676239212:>=*);
#decisions: 13936; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 5587, #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: 65069886 (2676080012:>=*);
#decisions: 14279; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 5587, #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: 65709886 (2675440012:>=*);
#decisions: 13936; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 5587, #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: 66170686 (2674979212:>=*);
#decisions: 14107; #end-nodes: 5;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 5587, #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: 66995386 (2674154512:>=*);
#decisions: 13101; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 5587, #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: 67154586 (2673995312:>=*);
#decisions: 13119; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 5587, #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: 67635386 (2673514512:>=*);
#decisions: 13104; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 5587, #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: 67794586 (2673355312:>=*);
#decisions: 13079; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 5587, #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: 67804586 (2673345312:>=*);
#decisions: 13086; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 5587, #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: 67824586 (2673325312:>=*);
#decisions: 13584; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 5587, #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: 67874336 (2673275562:>=*);
#decisions: 13084; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 5587, #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: 67884286 (2673265612:>=*);
#decisions: 395967; #end-nodes: 2532;
#proof improvement attempts: 0; #restarts: 30
Current batch, end-nodes: 20 / 87 (87)
#axs: 5587, #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: 69600244 (2671549654:>=*);
#decisions: 13290; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 5587, #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: 69918324 (2671231574:>=*);
#decisions: 13270; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 5587, #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: 69966324 (2671183574:>=*);
#decisions: 13156; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 5587, #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: 70523324 (2670626574:>=*);
#decisions: 13139; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 5587, #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: 71198324 (2669951574:>=*);
#decisions: 13115; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 5587, #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: 71246324 (2669903574:>=*);
#decisions: 13275; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 5587, #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: 71317524 (2669832374:>=*);
#decisions: 13266; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 5587, #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: 71365524 (2669784374:>=*);
#decisions: 13118; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 5587, #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: 71477524 (2669672374:>=*);
#decisions: 13114; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 5587, #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: 71525524 (2669624374:>=*);
#decisions: 1226629; #end-nodes: 8835;
#proof improvement attempts: 0; #restarts: 96
Current batch, end-nodes: 0 / 103 (103)
#axs: 5587, #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:) 71525524 (2669624374:>=*)
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: 71 (#equs: 0)
Time taken: 18 min, 48 sec
2:
Error: changing-setting file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options couldn't be opened.
No such file or directory
seed: 0
Nr of vars set: 71 (#equs: 0)
Nr of vars set: 71 (#equs: 0)
Interupt request received.
#decisions: 446491; #end-nodes: 4226;
#proof improvement attempts: 0; #restarts: 34
Current batch, end-nodes: 0 / 128 (128)
#axs: 5516, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 20158 (#equs: 0)
Time taken in seconds: 71
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/7835/stat): 7835 (vallstSAT2005PB) R 7834 7835 4070 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20532556 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7835/statm): 174 3 169 147 0 27 0
[pid=7835] 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=7836
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=7836) exited with status: 0
New process pid=7837
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=7837) exited with status: 0
New process pid=7838
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/wulflinc2/normalized-mps-v2-13-7-mkc1.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0022 s]
Raw data (loadavg): 0.95 1.00 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1659 0 0 0 927 27 0 0 21 0 1 0 20532563 8237056 1563 4294967295 134512640 134702520 3221223952 3221223448 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 2011 1563 413 48 0 1963 0
[pid=7838] vsize: 8044
Current children cumulated CPU time (s) 9.55
Current children cumulated vsize (Kb) 10172
[startup+20.0029 s]
Raw data (loadavg): 1.11 1.03 1.01 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1659 0 0 0 1590 136 0 0 19 0 1 0 20532563 8237056 1563 4294967295 134512640 134702520 3221223952 3221223088 134550645 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 2011 1563 413 48 0 1963 0
[pid=7838] vsize: 8044
Current children cumulated CPU time (s) 17.27
Current children cumulated vsize (Kb) 10172
[startup+30.0036 s]
Raw data (loadavg): 1.09 1.03 1.01 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1692 0 0 0 2147 281 0 0 17 0 1 0 20532563 14274560 1596 4294967295 134512640 134702520 3221223952 3221223172 134550206 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3485 1596 413 48 0 3437 0
[pid=7838] vsize: 13940
Current children cumulated CPU time (s) 24.29
Current children cumulated vsize (Kb) 16068
[startup+40.0043 s]
Raw data (loadavg): 1.08 1.03 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1719 0 0 0 3083 302 0 0 23 0 1 0 20532563 14274560 1623 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3485 1623 413 48 0 3437 0
[pid=7838] vsize: 13940
Current children cumulated CPU time (s) 33.86
Current children cumulated vsize (Kb) 16068
[startup+50.005 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1739 0 0 0 3986 336 0 0 25 0 1 0 20532563 14274560 1643 4294967295 134512640 134702520 3221223952 3221223172 134550224 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3485 1643 413 48 0 3437 0
[pid=7838] vsize: 13940
Current children cumulated CPU time (s) 43.23
Current children cumulated vsize (Kb) 16068
[startup+60.0057 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1768 0 0 0 4886 369 0 0 25 0 1 0 20532563 14274560 1672 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3485 1672 413 48 0 3437 0
[pid=7838] vsize: 13940
Current children cumulated CPU time (s) 52.56
Current children cumulated vsize (Kb) 16068
[startup+70.0074 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1768 0 0 0 5784 402 0 0 25 0 1 0 20532563 14274560 1672 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3485 1672 413 48 0 3437 0
[pid=7838] vsize: 13940
Current children cumulated CPU time (s) 61.87
Current children cumulated vsize (Kb) 16068
[startup+80.0081 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1768 0 0 0 6681 434 0 0 25 0 1 0 20532563 14274560 1672 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3485 1672 413 48 0 3437 0
[pid=7838] vsize: 13940
Current children cumulated CPU time (s) 71.16
Current children cumulated vsize (Kb) 16068
[startup+90.0088 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1768 0 0 0 7574 467 0 0 25 0 1 0 20532563 14274560 1672 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3485 1672 413 48 0 3437 0
[pid=7838] vsize: 13940
Current children cumulated CPU time (s) 80.42
Current children cumulated vsize (Kb) 16068
[startup+100.01 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1768 0 0 0 8468 500 0 0 19 0 1 0 20532563 14274560 1672 4294967295 134512640 134702520 3221223952 3221223232 134553147 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3485 1672 413 48 0 3437 0
[pid=7838] vsize: 13940
Current children cumulated CPU time (s) 89.69
Current children cumulated vsize (Kb) 16068
[startup+110.01 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1768 0 0 0 9383 529 0 0 20 0 1 0 20532563 14274560 1672 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3485 1672 413 48 0 3437 0
[pid=7838] vsize: 13940
Current children cumulated CPU time (s) 99.13
Current children cumulated vsize (Kb) 16068
[startup+120.012 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1769 0 0 0 10321 551 0 0 25 0 1 0 20532563 14278656 1673 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3486 1673 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 108.73
Current children cumulated vsize (Kb) 16072
[startup+130.013 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1769 0 0 0 11303 557 0 0 25 0 1 0 20532563 14278656 1673 4294967295 134512640 134702520 3221223952 3221223536 134558690 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1673 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 118.61
Current children cumulated vsize (Kb) 16072
[startup+140.014 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1769 0 0 0 12239 580 0 0 25 0 1 0 20532563 14278656 1673 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1673 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 128.2
Current children cumulated vsize (Kb) 16072
[startup+150.015 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1769 0 0 0 13213 589 0 0 24 0 1 0 20532563 14278656 1673 4294967295 134512640 134702520 3221223952 3221223352 134607237 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3486 1673 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 138.03
Current children cumulated vsize (Kb) 16072
[startup+160.015 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1769 0 0 0 14161 606 0 0 25 0 1 0 20532563 14278656 1673 4294967295 134512640 134702520 3221223952 3221223232 134553133 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1673 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 147.68
Current children cumulated vsize (Kb) 16072
[startup+170.015 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1769 0 0 0 15115 621 0 0 25 0 1 0 20532563 14278656 1673 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1673 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 157.37
Current children cumulated vsize (Kb) 16072
[startup+180.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1769 0 0 0 16094 628 0 0 25 0 1 0 20532563 14278656 1673 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3486 1673 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 167.23
Current children cumulated vsize (Kb) 16072
[startup+190.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1769 0 0 0 17036 648 0 0 25 0 1 0 20532563 14278656 1673 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1673 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 176.85
Current children cumulated vsize (Kb) 16072
[startup+200.019 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1769 0 0 0 17999 659 0 0 25 0 1 0 20532563 14278656 1673 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1673 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 186.59
Current children cumulated vsize (Kb) 16072
[startup+210.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1769 0 0 0 18961 671 0 0 25 0 1 0 20532563 14278656 1673 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1673 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 196.33
Current children cumulated vsize (Kb) 16072
[startup+220.02 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1769 0 0 0 19911 691 0 0 25 0 1 0 20532563 14278656 1673 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1673 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 206.03
Current children cumulated vsize (Kb) 16072
[startup+230.021 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1769 0 0 0 20879 703 0 0 25 0 1 0 20532563 14278656 1673 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3486 1673 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 215.83
Current children cumulated vsize (Kb) 16072
[startup+240.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1769 0 0 0 21841 717 0 0 25 0 1 0 20532563 14278656 1673 4294967295 134512640 134702520 3221223952 3221223232 134553095 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1673 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 225.59
Current children cumulated vsize (Kb) 16072
[startup+250.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1769 0 0 0 22789 736 0 0 25 0 1 0 20532563 14278656 1673 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1673 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 235.26
Current children cumulated vsize (Kb) 16072
[startup+260.023 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1769 0 0 0 23756 747 0 0 25 0 1 0 20532563 14278656 1673 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1673 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 245.04
Current children cumulated vsize (Kb) 16072
[startup+270.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1769 0 0 0 24713 762 0 0 25 0 1 0 20532563 14278656 1673 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1673 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 254.76
Current children cumulated vsize (Kb) 16072
[startup+280.024 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1769 0 0 0 25666 776 0 0 25 0 1 0 20532563 14278656 1673 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1673 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 264.43
Current children cumulated vsize (Kb) 16072
[startup+290.025 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1769 0 0 0 26648 783 0 0 25 0 1 0 20532563 14278656 1673 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1673 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 274.32
Current children cumulated vsize (Kb) 16072
[startup+300.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1769 0 0 0 27585 803 0 0 25 0 1 0 20532563 14278656 1673 4294967295 134512640 134702520 3221223952 3221223232 134553142 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1673 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 283.89
Current children cumulated vsize (Kb) 16072
[startup+310.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1822 0 0 0 28532 820 0 0 25 0 1 0 20532563 14278656 1726 4294967295 134512640 134702520 3221223952 3221223232 134552884 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1726 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 293.53
Current children cumulated vsize (Kb) 16072
[startup+320.027 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1839 0 0 0 29434 855 0 0 25 0 1 0 20532563 14278656 1743 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3486 1743 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 302.9
Current children cumulated vsize (Kb) 16072
[startup+330.028 s]
Raw data (loadavg): 1.06 1.02 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1858 0 0 0 30334 890 0 0 20 0 1 0 20532563 14278656 1762 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1762 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 312.25
Current children cumulated vsize (Kb) 16072
[startup+340.028 s]
Raw data (loadavg): 1.05 1.02 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1858 0 0 0 31263 913 0 0 21 0 1 0 20532563 14278656 1762 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1762 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 321.77
Current children cumulated vsize (Kb) 16072
[startup+350.029 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1858 0 0 0 32182 940 0 0 25 0 1 0 20532563 14278656 1762 4294967295 134512640 134702520 3221223952 3221223232 134553095 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1762 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 331.23
Current children cumulated vsize (Kb) 16072
[startup+360.03 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1858 0 0 0 33079 973 0 0 25 0 1 0 20532563 14278656 1762 4294967295 134512640 134702520 3221223952 3221223172 134550176 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1762 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 340.53
Current children cumulated vsize (Kb) 16072
[startup+370.03 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1858 0 0 0 33984 1007 0 0 25 0 1 0 20532563 14278656 1762 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1762 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 349.92
Current children cumulated vsize (Kb) 16072
[startup+380.031 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1861 0 0 0 34884 1040 0 0 25 0 1 0 20532563 14278656 1765 4294967295 134512640 134702520 3221223952 3221223232 134552871 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1765 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 359.25
Current children cumulated vsize (Kb) 16072
[startup+390.032 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1876 0 0 0 35884 1040 0 0 25 0 1 0 20532563 14278656 1780 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1780 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 369.25
Current children cumulated vsize (Kb) 16072
[startup+400.033 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1894 0 0 0 36836 1056 0 0 25 0 1 0 20532563 14278656 1798 4294967295 134512640 134702520 3221223952 3221223232 134553133 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1798 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 378.93
Current children cumulated vsize (Kb) 16072
[startup+410.032 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1927 0 0 0 37722 1094 0 0 19 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 388.17
Current children cumulated vsize (Kb) 16112
[startup+420.034 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1927 0 0 0 38660 1115 0 0 24 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 397.76
Current children cumulated vsize (Kb) 16112
[startup+430.035 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1927 0 0 0 39564 1146 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 407.11
Current children cumulated vsize (Kb) 16112
[startup+440.035 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1927 0 0 0 40460 1180 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223232 134553095 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 416.41
Current children cumulated vsize (Kb) 16112
[startup+450.036 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1927 0 0 0 41359 1215 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223232 134553147 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 425.75
Current children cumulated vsize (Kb) 16112
[startup+460.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1927 0 0 0 42255 1249 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223232 134552864 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 435.05
Current children cumulated vsize (Kb) 16112
[startup+470.036 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1927 0 0 0 43154 1282 0 0 19 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 444.37
Current children cumulated vsize (Kb) 16112
[startup+480.037 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1927 0 0 0 44092 1304 0 0 17 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 453.97
Current children cumulated vsize (Kb) 16112
[startup+490.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1927 0 0 0 44999 1333 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 463.33
Current children cumulated vsize (Kb) 16112
[startup+500.04 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1927 0 0 0 45932 1355 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 472.88
Current children cumulated vsize (Kb) 16112
[startup+510.04 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1927 0 0 0 46890 1371 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 482.62
Current children cumulated vsize (Kb) 16112
[startup+520.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1927 0 0 0 47864 1381 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223232 134553111 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 492.46
Current children cumulated vsize (Kb) 16112
[startup+530.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1927 0 0 0 48807 1399 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 502.07
Current children cumulated vsize (Kb) 16112
[startup+540.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1927 0 0 0 49757 1417 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 511.75
Current children cumulated vsize (Kb) 16112
[startup+550.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1927 0 0 0 50731 1426 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 521.58
Current children cumulated vsize (Kb) 16112
[startup+560.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1927 0 0 0 51664 1449 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 531.14
Current children cumulated vsize (Kb) 16112
[startup+570.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1927 0 0 0 52620 1466 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 540.87
Current children cumulated vsize (Kb) 16112
[startup+580.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1927 0 0 0 53596 1473 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223172 134550184 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 550.7
Current children cumulated vsize (Kb) 16112
[startup+590.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1927 0 0 0 54539 1492 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223536 134558692 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 560.32
Current children cumulated vsize (Kb) 16112
[startup+600.049 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1927 0 0 0 55497 1508 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 570.06
Current children cumulated vsize (Kb) 16112
[startup+610.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1927 0 0 0 56477 1515 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 579.93
Current children cumulated vsize (Kb) 16112
[startup+620.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1927 0 0 0 57417 1533 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 589.51
Current children cumulated vsize (Kb) 16112
[startup+630.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1927 0 0 0 58373 1549 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 599.23
Current children cumulated vsize (Kb) 16112
[startup+640.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1927 0 0 0 59352 1556 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223232 134553093 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 609.09
Current children cumulated vsize (Kb) 16112
[startup+650.052 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1927 0 0 0 60251 1590 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 618.42
Current children cumulated vsize (Kb) 16112
[startup+660.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1927 0 0 0 61149 1621 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 627.71
Current children cumulated vsize (Kb) 16112
[startup+670.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2036 0 0 0 62047 1654 0 0 21 0 1 0 20532563 14319616 1940 4294967295 134512640 134702520 3221223952 3221223352 134607352 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1940 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 637.02
Current children cumulated vsize (Kb) 16112
[startup+680.055 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 2079 0 0 0 62973 1678 0 0 21 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 646.52
Current children cumulated vsize (Kb) 16112
[startup+690.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 63897 1702 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 656
Current children cumulated vsize (Kb) 16112
[startup+700.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 64794 1735 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 665.3
Current children cumulated vsize (Kb) 16112
[startup+710.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 65689 1769 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134553095 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 674.59
Current children cumulated vsize (Kb) 16112
[startup+720.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 66587 1804 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552871 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 683.92
Current children cumulated vsize (Kb) 16112
[startup+730.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 67472 1842 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552981 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 693.15
Current children cumulated vsize (Kb) 16112
[startup+740.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 68368 1878 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134553097 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 702.47
Current children cumulated vsize (Kb) 16112
[startup+750.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 69264 1914 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 711.79
Current children cumulated vsize (Kb) 16112
[startup+760.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 70165 1945 0 0 19 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134553160 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 721.11
Current children cumulated vsize (Kb) 16112
[startup+770.062 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 2079 0 0 0 71102 1964 0 0 22 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 730.67
Current children cumulated vsize (Kb) 16112
[startup+780.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 72014 1996 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223172 134550224 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 740.11
Current children cumulated vsize (Kb) 16112
[startup+790.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 72908 2033 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 749.42
Current children cumulated vsize (Kb) 16112
[startup+800.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 73809 2064 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134553100 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 758.74
Current children cumulated vsize (Kb) 16112
[startup+810.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 74706 2100 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134553154 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 768.07
Current children cumulated vsize (Kb) 16112
[startup+820.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 75591 2139 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134553095 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 777.31
Current children cumulated vsize (Kb) 16112
[startup+830.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 76491 2169 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 786.61
Current children cumulated vsize (Kb) 16112
[startup+840.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 77389 2201 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 795.91
Current children cumulated vsize (Kb) 16112
[startup+850.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 78287 2233 0 0 22 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134553100 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 805.21
Current children cumulated vsize (Kb) 16112
[startup+860.07 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 2079 0 0 0 79211 2258 0 0 21 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 814.7
Current children cumulated vsize (Kb) 16112
[startup+870.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 80132 2284 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223172 134550224 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 824.17
Current children cumulated vsize (Kb) 16112
[startup+880.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 81028 2317 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134553093 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 833.46
Current children cumulated vsize (Kb) 16112
[startup+890.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 81930 2351 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134553147 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 842.82
Current children cumulated vsize (Kb) 16112
[startup+900.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 82831 2387 0 0 21 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 852.19
Current children cumulated vsize (Kb) 16112
[startup+910.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 83718 2428 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134553168 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 861.47
Current children cumulated vsize (Kb) 16112
[startup+920.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 84615 2463 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 870.79
Current children cumulated vsize (Kb) 16112
[startup+930.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 85513 2495 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 880.09
Current children cumulated vsize (Kb) 16112
[startup+940.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 86411 2530 0 0 21 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552864 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 889.42
Current children cumulated vsize (Kb) 16112
[startup+950.076 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 2079 0 0 0 87340 2553 0 0 21 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 898.94
Current children cumulated vsize (Kb) 16112
[startup+960.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 88258 2581 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134553147 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 908.4
Current children cumulated vsize (Kb) 16112
[startup+970.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 89154 2617 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134553093 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 917.72
Current children cumulated vsize (Kb) 16112
[startup+980.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 90051 2649 0 0 23 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552868 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 927.01
Current children cumulated vsize (Kb) 16112
[startup+990.079 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 2079 0 0 0 90955 2680 0 0 18 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 936.36
Current children cumulated vsize (Kb) 16112
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 91832 2720 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 945.53
Current children cumulated vsize (Kb) 16112
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 92730 2755 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552884 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 954.86
Current children cumulated vsize (Kb) 16112
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 93625 2788 0 0 22 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 964.14
Current children cumulated vsize (Kb) 16112
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 2079 0 0 0 94530 2819 0 0 18 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 973.5
Current children cumulated vsize (Kb) 16112
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 95471 2837 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134553095 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 983.09
Current children cumulated vsize (Kb) 16112
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 96373 2870 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134553175 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 992.44
Current children cumulated vsize (Kb) 16112
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 97272 2903 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 1001.76
Current children cumulated vsize (Kb) 16112
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 98169 2938 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552891 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 1011.08
Current children cumulated vsize (Kb) 16112
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 99069 2970 0 0 17 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223172 134550206 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 1020.4
Current children cumulated vsize (Kb) 16112
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 99955 3010 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 1029.66
Current children cumulated vsize (Kb) 16112
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 100853 3047 0 0 22 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 1039.01
Current children cumulated vsize (Kb) 16112
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 2079 0 0 0 101764 3076 0 0 19 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 1048.41
Current children cumulated vsize (Kb) 16112
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 102697 3099 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134554260 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 1057.97
Current children cumulated vsize (Kb) 16112
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 103596 3132 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 1067.29
Current children cumulated vsize (Kb) 16112
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 104489 3168 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552868 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 1076.58
Current children cumulated vsize (Kb) 16112
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 105385 3202 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134553123 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 1085.88
Current children cumulated vsize (Kb) 16112
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 106282 3236 0 0 18 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223172 134550198 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 1095.19
Current children cumulated vsize (Kb) 16112
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 107228 3255 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 1104.84
Current children cumulated vsize (Kb) 16112
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 2079 0 0 0 108137 3285 0 0 20 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 1114.23
Current children cumulated vsize (Kb) 16112
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 2080 0 0 0 108843 3384 0 0 18 0 1 0 20532563 14499840 1984 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3540 1984 413 48 0 3492 0
[pid=7838] vsize: 14160
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (Kb) 16288
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=7838) exited with status: 2
New process pid=7839
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=7839) exited with status: 0
New process pid=7840
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+1200.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7840
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 378 2455 0 0 1 0 109409 3533 17 0 1 0 20532556 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 248 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7840/stat): 7840 (vallst) R 7835 7835 4070 0 -1 0 147 0 0 0 13 1 0 0 19 0 1 0 20652567 1859584 118 4294967295 134512640 134702520 3221223712 3221223320 1074475105 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7840/statm): 454 118 413 48 0 406 0
[pid=7840] vsize: 1816
Current children cumulated CPU time (s) 1129.57
Current children cumulated vsize (Kb) 3944
[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7840
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 378 2455 0 0 1 0 109409 3533 17 0 1 0 20532556 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 248 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7840/stat): 7840 (vallst) R 7835 7835 4070 0 -1 0 1354 0 0 0 673 122 0 0 17 0 1 0 20652567 7602176 1324 4294967295 134512640 134702520 3221223712 3221222848 134553271 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7840/statm): 1856 1324 413 48 0 1808 0
[pid=7840] vsize: 7424
Current children cumulated CPU time (s) 1137.38
Current children cumulated vsize (Kb) 9552
[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7840
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 378 2455 0 0 1 0 109409 3533 17 0 1 0 20532556 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 248 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7840/stat): 7840 (vallst) R 7835 7835 4070 0 -1 0 1358 0 0 0 1208 270 0 0 20 0 1 0 20652567 7602176 1328 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7840/statm): 1856 1328 413 48 0 1808 0
[pid=7840] vsize: 7424
Current children cumulated CPU time (s) 1144.21
Current children cumulated vsize (Kb) 9552
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7840
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 378 2455 0 0 1 0 109409 3533 17 0 1 0 20532556 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 248 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7840/stat): 7840 (vallst) T 7835 7835 4070 0 -1 0 1772 0 0 0 1931 360 0 0 20 0 1 0 20652567 13766656 1741 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7840/statm): 3361 1741 413 48 0 3313 0
[pid=7840] vsize: 13444
Current children cumulated CPU time (s) 1152.34
Current children cumulated vsize (Kb) 15572
[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7840
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 378 2455 0 0 1 0 109409 3533 17 0 1 0 20532556 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 248 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7840/stat): 7840 (vallst) R 7835 7835 4070 0 -1 0 1841 0 0 0 2642 455 0 0 17 0 1 0 20652567 13766656 1810 4294967295 134512640 134702520 3221223712 3221222932 134550192 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7840/statm): 3361 1810 413 48 0 3313 0
[pid=7840] vsize: 13444
Current children cumulated CPU time (s) 1160.4
Current children cumulated vsize (Kb) 15572
[startup+1250.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7840
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 378 2455 0 0 1 0 109409 3533 17 0 1 0 20532556 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 248 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7840/stat): 7840 (vallst) T 7835 7835 4070 0 -1 0 2090 0 0 0 3368 545 0 0 19 0 1 0 20652567 13770752 2059 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7840/statm): 3362 2059 413 48 0 3314 0
[pid=7840] vsize: 13448
Current children cumulated CPU time (s) 1168.56
Current children cumulated vsize (Kb) 15576
[startup+1260.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7840
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 378 2455 0 0 1 0 109409 3533 17 0 1 0 20532556 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 248 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7840/stat): 7840 (vallst) T 7835 7835 4070 0 -1 0 2102 0 0 0 4064 642 0 0 22 0 1 0 20652567 13807616 2071 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7840/statm): 3371 2071 413 48 0 3323 0
[pid=7840] vsize: 13484
Current children cumulated CPU time (s) 1176.49
Current children cumulated vsize (Kb) 15612
[startup+1270.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7840
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 378 2455 0 0 1 0 109409 3533 17 0 1 0 20532556 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 248 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7840/stat): 7840 (vallst) T 7835 7835 4070 0 -1 0 2103 0 0 0 4774 733 0 0 17 0 1 0 20652567 13807616 2072 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7840/statm): 3371 2072 413 48 0 3323 0
[pid=7840] vsize: 13484
Current children cumulated CPU time (s) 1184.5
Current children cumulated vsize (Kb) 15612
[startup+1280.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7840
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 378 2455 0 0 1 0 109409 3533 17 0 1 0 20532556 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 248 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7840/stat): 7840 (vallst) R 7835 7835 4070 0 -1 0 2106 0 0 0 5504 818 0 0 17 0 1 0 20652567 13807616 2075 4294967295 134512640 134702520 3221223712 3221223112 134607362 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7840/statm): 3371 2075 413 48 0 3323 0
[pid=7840] vsize: 13484
Current children cumulated CPU time (s) 1192.65
Current children cumulated vsize (Kb) 15612
[startup+1290.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7840
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 378 2455 0 0 1 0 109409 3533 17 0 1 0 20532556 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 248 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7840/stat): 7840 (vallst) R 7835 7835 4070 0 -1 0 2106 0 0 0 6237 905 0 0 21 0 1 0 20652567 13807616 2075 4294967295 134512640 134702520 3221223712 3221222932 134550179 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7840/statm): 3371 2075 413 48 0 3323 0
[pid=7840] vsize: 13484
Current children cumulated CPU time (s) 1200.85
Current children cumulated vsize (Kb) 15612
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1290.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7840
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 378 2455 0 0 1 0 109409 3533 17 0 1 0 20532556 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 248 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7840/stat): 7840 (vallst) R 7835 7835 4070 0 -1 0 2106 0 0 0 6237 905 0 0 21 0 1 0 20652567 13807616 2075 4294967295 134512640 134702520 3221223712 3221222932 134550179 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7840/statm): 3371 2075 413 48 0 3323 0
[pid=7840] vsize: 13484
Current children cumulated CPU time (s) 1200.85
Current children cumulated vsize (Kb) 15612
Sending SIGTERM to -7835
Sleeping 2 seconds
New process pid=7842
New process pid=7843
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/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/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/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/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/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/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/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/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/4052/stat
open syscall for file /proc/4052/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/4052/cmdline
open syscall for file /proc/4052/environ
open syscall for file /proc/4078/stat
open syscall for file /proc/4078/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/4078/cmdline
open syscall for file /proc/4078/environ
open syscall for file /proc/7796/stat
open syscall for file /proc/7796/status
open syscall for file /proc/7796/cmdline
open syscall for file /proc/7796/environ
open syscall for file /proc/7834/stat
open syscall for file /proc/7834/status
open syscall for file /proc/7834/cmdline
open syscall for file /proc/7834/environ
open syscall for file /proc/7835/stat
open syscall for file /proc/7835/status
open syscall for file /proc/7835/cmdline
open syscall for file /proc/7835/environ
open syscall for file /proc/7840/stat
open syscall for file /proc/7840/status
open syscall for file /proc/7840/cmdline
open syscall for file /proc/7840/environ
open syscall for file /proc/7842/stat
open syscall for file /proc/7842/status
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /proc/7842/cmdline
open syscall for file /proc/7842/environ
open syscall for file /proc/7843/stat
open syscall for file /proc/7843/status
open syscall for file /proc/7843/cmdline
open syscall for file /proc/7843/environ
One traced child (pid=7842) exited with status: 0
One traced child (pid=7843) exited with status: 0
New process pid=7844
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=7844) exited with status: 0
New process pid=7845
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=7845) exited with status: 0
One traced child (pid=7835) ended because it received signal 15 (SIGTERM)
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=7840) exited with status: 3
All traced children have exited ! Game is over.
Child status: 3
Real time (s): 1290.66
CPU time (s): 71.9711
CPU user time (s): 62.8664
CPU system time (s): 9.10462
CPU usage (%): 5.57628
Max. virtual memory (cumulated for all children) (Kb): 16288