1:
seed: 0
Nr of vars set: 117 (#equs: 0)
Nr of vars set: 383 (#equs: 0)
#decisions: 2744; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 5749, #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: 218818 (73764:>=*);
#decisions: 3520; #end-nodes: 8;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 5749, #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: 218824 (73758:>=*);
#decisions: 1667; #end-nodes: 48;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 48 / 80 (80)
#axs: 5749, #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: 218825 (73757:>=*);
#decisions: 13102; #end-nodes: 322;
#proof improvement attempts: 0; #restarts: 4
Current batch, end-nodes: 0 / 81 (81)
#axs: 5749, #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: 219336 (73246:>=*);
#decisions: 2206; #end-nodes: 32;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 32 / 80 (80)
#axs: 5749, #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: 219338 (73244:>=*);
#decisions: 68102; #end-nodes: 3027;
#proof improvement attempts: 0; #restarts: 36
Current batch, end-nodes: 0 / 89 (89)
#axs: 5749, #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: 219936 (72646:>=*);
#decisions: 4681; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 5749, #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: 219961 (72621:>=*);
#decisions: 5263; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 5749, #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: 220009 (72573:>=*);
#decisions: 3447; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 5749, #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: 220015 (72567:>=*);
#decisions: 2212; #end-nodes: 6;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 5749, #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: 220017 (72565:>=*);
#decisions: 2226; #end-nodes: 21;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 21 / 80 (80)
#axs: 5749, #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: 220019 (72563:>=*);
#decisions: 1596; #end-nodes: 22;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 22 / 80 (80)
#axs: 5749, #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: 220020 (72562:>=*);
#decisions: 1623; #end-nodes: 39;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 39 / 80 (80)
#axs: 5749, #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: 220021 (72561:>=*);
#decisions: 185302; #end-nodes: 9754;
#proof improvement attempts: 0; #restarts: 105
Current batch, end-nodes: 0 / 106 (106)
#axs: 5749, #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: 220293 (72289:>=*);
#decisions: 4697; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 5749, #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: 220321 (72261:>=*);
#decisions: 36800; #end-nodes: 1476;
#proof improvement attempts: 0; #restarts: 18
Current batch, end-nodes: 0 / 84 (84)
#axs: 5749, #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: 221150 (71432:>=*);
#decisions: 4665; #end-nodes: 56;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 56 / 80 (80)
#axs: 5749, #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: 221182 (71400:>=*);
#decisions: 3403; #end-nodes: 8;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 5749, #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: 221188 (71394:>=*);
#decisions: 492006; #end-nodes: 33326;
#proof improvement attempts: 0; #restarts: 288
Current batch, end-nodes: 0 / 151 (151)
#axs: 5749, #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:) 221188 (71394:>=*)
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: 383 (#equs: 0)
Time taken: 5 min, 27 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: 383 (#equs: 0)
Nr of vars set: 383 (#equs: 0)
Interupt request received.
#decisions: 1935711; #end-nodes: 255661;
#proof improvement attempts: 0; #restarts: 1029
Current batch, end-nodes: 85 / 377 (377)
#axs: 5711, #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: 3077 (#equs: 0)
Time taken: 14 min, 36 sec
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) R 6027 6028 4060 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20588740 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6028/statm): 174 3 169 147 0 27 0
[pid=6028] 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=6029
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=6029) exited with status: 0
New process pid=6030
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=6030) exited with status: 0
New process pid=6031
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-seymour1.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0032 s]
Raw data (loadavg): 0.97 1.01 1.00 1/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) T 6028 6028 4060 0 -1 0 1150 0 0 0 440 182 0 0 16 0 1 0 20588746 6766592 1073 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6031/statm): 1652 1073 413 48 0 1604 0
[pid=6031] vsize: 6608
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (Kb) 8736
[startup+20.005 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 1746 0 0 0 951 346 0 0 23 0 1 0 20588746 15118336 1669 4294967295 134512640 134702520 3221223952 3221223352 134607284 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3691 1669 413 48 0 3643 0
[pid=6031] vsize: 14764
Current children cumulated CPU time (s) 12.98
Current children cumulated vsize (Kb) 16892
[startup+30.0058 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 1860 0 0 0 1807 396 0 0 25 0 1 0 20588746 15257600 1755 4294967295 134512640 134702520 3221223952 3221222976 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3725 1755 413 48 0 3677 0
[pid=6031] vsize: 14900
Current children cumulated CPU time (s) 22.04
Current children cumulated vsize (Kb) 17028
[startup+40.0066 s]
Raw data (loadavg): 1.10 1.04 1.01 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 1894 0 0 0 2624 455 0 0 23 0 1 0 20588746 15257600 1789 4294967295 134512640 134702520 3221223952 3221222976 134552541 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3725 1789 413 48 0 3677 0
[pid=6031] vsize: 14900
Current children cumulated CPU time (s) 30.8
Current children cumulated vsize (Kb) 17028
[startup+50.0084 s]
Raw data (loadavg): 1.09 1.04 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 1894 0 0 0 3495 502 0 0 24 0 1 0 20588746 15257600 1789 4294967295 134512640 134702520 3221223952 3221223536 134558690 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3725 1789 413 48 0 3677 0
[pid=6031] vsize: 14900
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 17028
[startup+60.0092 s]
Raw data (loadavg): 1.15 1.05 1.01 1/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) T 6028 6028 4060 0 -1 0 1894 0 0 0 4341 552 0 0 25 0 1 0 20588746 15257600 1789 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3725 1789 413 48 0 3677 0
[pid=6031] vsize: 14900
Current children cumulated CPU time (s) 48.94
Current children cumulated vsize (Kb) 17028
[startup+70.011 s]
Raw data (loadavg): 1.13 1.05 1.01 1/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) T 6028 6028 4060 0 -1 0 1894 0 0 0 5175 609 0 0 22 0 1 0 20588746 15257600 1789 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6031/statm): 3725 1789 413 48 0 3677 0
[pid=6031] vsize: 14900
Current children cumulated CPU time (s) 57.85
Current children cumulated vsize (Kb) 17028
[startup+80.0118 s]
Raw data (loadavg): 1.11 1.05 1.01 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 1916 0 0 0 6006 663 0 0 23 0 1 0 20588746 15351808 1811 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3748 1811 413 48 0 3700 0
[pid=6031] vsize: 14992
Current children cumulated CPU time (s) 66.7
Current children cumulated vsize (Kb) 17120
[startup+90.0126 s]
Raw data (loadavg): 1.09 1.05 1.01 1/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) T 6028 6028 4060 0 -1 0 1932 0 0 0 6838 721 0 0 23 0 1 0 20588746 15351808 1827 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3748 1827 413 48 0 3700 0
[pid=6031] vsize: 14992
Current children cumulated CPU time (s) 75.6
Current children cumulated vsize (Kb) 17120
[startup+100.013 s]
Raw data (loadavg): 1.08 1.04 1.01 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 1972 0 0 0 7674 776 0 0 23 0 1 0 20588746 15351808 1867 4294967295 134512640 134702520 3221223952 3221223232 134553458 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3748 1867 413 48 0 3700 0
[pid=6031] vsize: 14992
Current children cumulated CPU time (s) 84.51
Current children cumulated vsize (Kb) 17120
[startup+110.014 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 1996 0 0 0 8507 833 0 0 24 0 1 0 20588746 15351808 1891 4294967295 134512640 134702520 3221223952 3221222848 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3748 1891 413 48 0 3700 0
[pid=6031] vsize: 14992
Current children cumulated CPU time (s) 93.41
Current children cumulated vsize (Kb) 17120
[startup+120.015 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) T 6028 6028 4060 0 -1 0 1996 0 0 0 9338 891 0 0 23 0 1 0 20588746 15351808 1891 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6031/statm): 3748 1891 413 48 0 3700 0
[pid=6031] vsize: 14992
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (Kb) 17120
[startup+130.017 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) T 6028 6028 4060 0 -1 0 2016 0 0 0 10157 952 0 0 24 0 1 0 20588746 15351808 1911 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6031/statm): 3748 1911 413 48 0 3700 0
[pid=6031] vsize: 14992
Current children cumulated CPU time (s) 111.1
Current children cumulated vsize (Kb) 17120
[startup+140.018 s]
Raw data (loadavg): 1.04 1.04 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 2020 0 0 0 11028 996 0 0 25 0 1 0 20588746 15351808 1915 4294967295 134512640 134702520 3221223952 3221223232 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3748 1915 413 48 0 3700 0
[pid=6031] vsize: 14992
Current children cumulated CPU time (s) 120.25
Current children cumulated vsize (Kb) 17120
[startup+150.019 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 2028 0 0 0 11895 1042 0 0 25 0 1 0 20588746 15429632 1923 4294967295 134512640 134702520 3221223952 3221223352 134607266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3767 1923 413 48 0 3719 0
[pid=6031] vsize: 15068
Current children cumulated CPU time (s) 129.38
Current children cumulated vsize (Kb) 17196
[startup+160.02 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 2032 0 0 0 12731 1098 0 0 24 0 1 0 20588746 15429632 1927 4294967295 134512640 134702520 3221223952 3221223232 134553142 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3767 1927 413 48 0 3719 0
[pid=6031] vsize: 15068
Current children cumulated CPU time (s) 138.3
Current children cumulated vsize (Kb) 17196
[startup+170.021 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) T 6028 6028 4060 0 -1 0 2036 0 0 0 13562 1156 0 0 24 0 1 0 20588746 15429632 1931 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6031/statm): 3767 1931 413 48 0 3719 0
[pid=6031] vsize: 15068
Current children cumulated CPU time (s) 147.19
Current children cumulated vsize (Kb) 17196
[startup+180.022 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) T 6028 6028 4060 0 -1 0 2039 0 0 0 14404 1209 0 0 25 0 1 0 20588746 15429632 1934 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6031/statm): 3767 1934 413 48 0 3719 0
[pid=6031] vsize: 15068
Current children cumulated CPU time (s) 156.14
Current children cumulated vsize (Kb) 17196
[startup+190.023 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 2043 0 0 0 15244 1264 0 0 25 0 1 0 20588746 15429632 1938 4294967295 134512640 134702520 3221223952 3221223232 134552263 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6031/statm): 3767 1938 413 48 0 3719 0
[pid=6031] vsize: 15068
Current children cumulated CPU time (s) 165.09
Current children cumulated vsize (Kb) 17196
[startup+200.023 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) T 6028 6028 4060 0 -1 0 2044 0 0 0 16077 1320 0 0 25 0 1 0 20588746 15511552 1939 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6031/statm): 3787 1939 413 48 0 3739 0
[pid=6031] vsize: 15148
Current children cumulated CPU time (s) 173.98
Current children cumulated vsize (Kb) 17276
[startup+210.024 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 2044 0 0 0 16897 1382 0 0 23 0 1 0 20588746 15511552 1939 4294967295 134512640 134702520 3221223952 3221222848 134554260 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3787 1939 413 48 0 3739 0
[pid=6031] vsize: 15148
Current children cumulated CPU time (s) 182.8
Current children cumulated vsize (Kb) 17276
[startup+220.026 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 2044 0 0 0 17678 1451 0 0 22 0 1 0 20588746 15511552 1939 4294967295 134512640 134702520 3221223952 3221222848 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3787 1939 413 48 0 3739 0
[pid=6031] vsize: 15148
Current children cumulated CPU time (s) 191.3
Current children cumulated vsize (Kb) 17276
[startup+230.027 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 2045 0 0 0 18504 1508 0 0 23 0 1 0 20588746 15511552 1940 4294967295 134512640 134702520 3221223952 3221222976 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3787 1940 413 48 0 3739 0
[pid=6031] vsize: 15148
Current children cumulated CPU time (s) 200.13
Current children cumulated vsize (Kb) 17276
[startup+240.028 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) T 6028 6028 4060 0 -1 0 2055 0 0 0 19336 1563 0 0 23 0 1 0 20588746 15511552 1950 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6031/statm): 3787 1950 413 48 0 3739 0
[pid=6031] vsize: 15148
Current children cumulated CPU time (s) 209
Current children cumulated vsize (Kb) 17276
[startup+250.029 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) T 6028 6028 4060 0 -1 0 2089 0 0 0 20181 1611 0 0 23 0 1 0 20588746 15511552 1984 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6031/statm): 3787 1984 413 48 0 3739 0
[pid=6031] vsize: 15148
Current children cumulated CPU time (s) 217.93
Current children cumulated vsize (Kb) 17276
[startup+260.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 2121 0 0 0 21017 1667 0 0 23 0 1 0 20588746 15511552 2016 4294967295 134512640 134702520 3221223952 3221223352 134606956 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3787 2016 413 48 0 3739 0
[pid=6031] vsize: 15148
Current children cumulated CPU time (s) 226.85
Current children cumulated vsize (Kb) 17276
[startup+270.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 2142 0 0 0 21856 1722 0 0 19 0 1 0 20588746 15511552 2037 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6031/statm): 3787 2037 413 48 0 3739 0
[pid=6031] vsize: 15148
Current children cumulated CPU time (s) 235.79
Current children cumulated vsize (Kb) 17276
[startup+280.032 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) T 6028 6028 4060 0 -1 0 2167 0 0 0 22695 1776 0 0 23 0 1 0 20588746 15511552 2062 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3787 2062 413 48 0 3739 0
[pid=6031] vsize: 15148
Current children cumulated CPU time (s) 244.72
Current children cumulated vsize (Kb) 17276
[startup+290.033 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 2167 0 0 0 23502 1837 0 0 19 0 1 0 20588746 15511552 2062 4294967295 134512640 134702520 3221223952 3221222848 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3787 2062 413 48 0 3739 0
[pid=6031] vsize: 15148
Current children cumulated CPU time (s) 253.4
Current children cumulated vsize (Kb) 17276
[startup+300.033 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 2203 0 0 0 24311 1901 0 0 25 0 1 0 20588746 15511552 2098 4294967295 134512640 134702520 3221223952 3221223232 134553168 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3787 2098 413 48 0 3739 0
[pid=6031] vsize: 15148
Current children cumulated CPU time (s) 262.13
Current children cumulated vsize (Kb) 17276
[startup+310.035 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 2205 0 0 0 25154 1950 0 0 25 0 1 0 20588746 15511552 2100 4294967295 134512640 134702520 3221223952 3221223232 134553312 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3787 2100 413 48 0 3739 0
[pid=6031] vsize: 15148
Current children cumulated CPU time (s) 271.05
Current children cumulated vsize (Kb) 17276
[startup+320.037 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 2250 0 0 0 25994 2001 0 0 25 0 1 0 20588746 15511552 2145 4294967295 134512640 134702520 3221223952 3221223232 134552270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3787 2145 413 48 0 3739 0
[pid=6031] vsize: 15148
Current children cumulated CPU time (s) 279.96
Current children cumulated vsize (Kb) 17276
[startup+330.038 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) T 6028 6028 4060 0 -1 0 2278 0 0 0 26845 2052 0 0 25 0 1 0 20588746 15511552 2173 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3787 2173 413 48 0 3739 0
[pid=6031] vsize: 15148
Current children cumulated CPU time (s) 288.98
Current children cumulated vsize (Kb) 17276
[startup+340.038 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) T 6028 6028 4060 0 -1 0 2296 0 0 0 27692 2101 0 0 25 0 1 0 20588746 15511552 2191 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6031/statm): 3787 2191 413 48 0 3739 0
[pid=6031] vsize: 15148
Current children cumulated CPU time (s) 297.94
Current children cumulated vsize (Kb) 17276
[startup+350.038 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 2314 0 0 0 28534 2154 0 0 25 0 1 0 20588746 15511552 2209 4294967295 134512640 134702520 3221223952 3221223232 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3787 2209 413 48 0 3739 0
[pid=6031] vsize: 15148
Current children cumulated CPU time (s) 306.89
Current children cumulated vsize (Kb) 17276
[startup+360.039 s]
Raw data (loadavg): 1.09 1.04 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 2376 0 0 0 29368 2210 0 0 23 0 1 0 20588746 15511552 2271 4294967295 134512640 134702520 3221223952 3221222848 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3787 2271 413 48 0 3739 0
[pid=6031] vsize: 15148
Current children cumulated CPU time (s) 315.79
Current children cumulated vsize (Kb) 17276
[startup+370.041 s]
Raw data (loadavg): 1.08 1.04 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 2376 0 0 0 30167 2278 0 0 21 0 1 0 20588746 15511552 2271 4294967295 134512640 134702520 3221223952 3221222848 134552345 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3787 2271 413 48 0 3739 0
[pid=6031] vsize: 15148
Current children cumulated CPU time (s) 324.46
Current children cumulated vsize (Kb) 17276
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=6031) exited with status: 2
New process pid=6032
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=6032) exited with status: 0
New process pid=6033
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+380.042 s]
Raw data (loadavg): 1.14 1.05 1.01 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 1018 0 0 0 418 45 0 0 20 0 1 0 20626193 6574080 989 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 1605 989 413 48 0 1557 0
[pid=6033] vsize: 6420
Current children cumulated CPU time (s) 333.05
Current children cumulated vsize (Kb) 8548
[startup+390.043 s]
Raw data (loadavg): 1.12 1.05 1.01 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 1018 0 0 0 1173 126 0 0 21 0 1 0 20626193 6574080 989 4294967295 134512640 134702520 3221223712 3221222848 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 1605 989 413 48 0 1557 0
[pid=6033] vsize: 6420
Current children cumulated CPU time (s) 341.41
Current children cumulated vsize (Kb) 8548
[startup+400.043 s]
Raw data (loadavg): 1.10 1.05 1.01 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 1805 0 0 0 1977 192 0 0 24 0 1 0 20626193 14692352 1776 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3587 1776 413 48 0 3539 0
[pid=6033] vsize: 14348
Current children cumulated CPU time (s) 350.11
Current children cumulated vsize (Kb) 16476
[startup+410.044 s]
Raw data (loadavg): 1.09 1.05 1.01 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 1854 0 0 0 2813 244 0 0 25 0 1 0 20626193 14856192 1825 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3627 1825 413 48 0 3579 0
[pid=6033] vsize: 14508
Current children cumulated CPU time (s) 358.99
Current children cumulated vsize (Kb) 16636
[startup+420.045 s]
Raw data (loadavg): 1.15 1.06 1.01 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 1901 0 0 0 3648 301 0 0 24 0 1 0 20626193 14856192 1872 4294967295 134512640 134702520 3221223712 3221222932 134550198 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3627 1872 413 48 0 3579 0
[pid=6033] vsize: 14508
Current children cumulated CPU time (s) 367.91
Current children cumulated vsize (Kb) 16636
[startup+430.047 s]
Raw data (loadavg): 1.28 1.09 1.02 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 1906 0 0 0 4480 358 0 0 24 0 1 0 20626193 14856192 1877 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3627 1877 413 48 0 3579 0
[pid=6033] vsize: 14508
Current children cumulated CPU time (s) 376.8
Current children cumulated vsize (Kb) 16636
[startup+440.047 s]
Raw data (loadavg): 1.24 1.09 1.02 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 1950 0 0 0 5319 411 0 0 25 0 1 0 20626193 14856192 1921 4294967295 134512640 134702520 3221223712 3221223112 134607338 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3627 1921 413 48 0 3579 0
[pid=6033] vsize: 14508
Current children cumulated CPU time (s) 385.72
Current children cumulated vsize (Kb) 16636
[startup+450.047 s]
Raw data (loadavg): 1.20 1.08 1.02 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 1963 0 0 0 6160 466 0 0 19 0 1 0 20626193 14856192 1934 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3627 1934 413 48 0 3579 0
[pid=6033] vsize: 14508
Current children cumulated CPU time (s) 394.68
Current children cumulated vsize (Kb) 16636
[startup+460.048 s]
Raw data (loadavg): 1.17 1.08 1.02 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 1991 0 0 0 6981 523 0 0 23 0 1 0 20626193 14856192 1962 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3627 1962 413 48 0 3579 0
[pid=6033] vsize: 14508
Current children cumulated CPU time (s) 403.46
Current children cumulated vsize (Kb) 16636
[startup+470.049 s]
Raw data (loadavg): 1.14 1.08 1.02 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 1991 0 0 0 7771 595 0 0 23 0 1 0 20626193 14856192 1962 4294967295 134512640 134702520 3221223712 3221222608 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3627 1962 413 48 0 3579 0
[pid=6033] vsize: 14508
Current children cumulated CPU time (s) 412.08
Current children cumulated vsize (Kb) 16636
[startup+480.05 s]
Raw data (loadavg): 1.12 1.08 1.01 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 2018 0 0 0 8617 643 0 0 23 0 1 0 20626193 14856192 1989 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3627 1989 413 48 0 3579 0
[pid=6033] vsize: 14508
Current children cumulated CPU time (s) 421.02
Current children cumulated vsize (Kb) 16636
[startup+490.051 s]
Raw data (loadavg): 1.10 1.07 1.01 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 2044 0 0 0 9459 695 0 0 23 0 1 0 20626193 14856192 2015 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3627 2015 413 48 0 3579 0
[pid=6033] vsize: 14508
Current children cumulated CPU time (s) 429.96
Current children cumulated vsize (Kb) 16636
[startup+500.052 s]
Raw data (loadavg): 1.09 1.07 1.01 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 2070 0 0 0 10304 748 0 0 23 0 1 0 20626193 14954496 2041 4294967295 134512640 134702520 3221223712 3221222736 134552345 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3651 2041 413 48 0 3603 0
[pid=6033] vsize: 14604
Current children cumulated CPU time (s) 438.94
Current children cumulated vsize (Kb) 16732
[startup+510.053 s]
Raw data (loadavg): 1.07 1.07 1.01 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 2113 0 0 0 11152 797 0 0 24 0 1 0 20626193 14954496 2084 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3651 2084 413 48 0 3603 0
[pid=6033] vsize: 14604
Current children cumulated CPU time (s) 447.91
Current children cumulated vsize (Kb) 16732
[startup+520.054 s]
Raw data (loadavg): 1.06 1.06 1.01 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 2118 0 0 0 12000 846 0 0 25 0 1 0 20626193 14954496 2089 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3651 2089 413 48 0 3603 0
[pid=6033] vsize: 14604
Current children cumulated CPU time (s) 456.88
Current children cumulated vsize (Kb) 16732
[startup+530.055 s]
Raw data (loadavg): 1.05 1.06 1.01 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3124 0 0 0 12838 903 0 0 25 0 1 0 20626193 14954496 3095 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3651 3095 413 48 0 3603 0
[pid=6033] vsize: 14604
Current children cumulated CPU time (s) 465.83
Current children cumulated vsize (Kb) 16732
[startup+540.056 s]
Raw data (loadavg): 1.04 1.06 1.01 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3126 0 0 0 13656 963 0 0 23 0 1 0 20626193 14954496 3097 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3651 3097 413 48 0 3603 0
[pid=6033] vsize: 14604
Current children cumulated CPU time (s) 474.61
Current children cumulated vsize (Kb) 16732
[startup+550.057 s]
Raw data (loadavg): 1.04 1.06 1.01 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3126 0 0 0 14457 1028 0 0 24 0 1 0 20626193 14954496 3097 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3651 3097 413 48 0 3603 0
[pid=6033] vsize: 14604
Current children cumulated CPU time (s) 483.27
Current children cumulated vsize (Kb) 16732
[startup+560.058 s]
Raw data (loadavg): 1.03 1.05 1.01 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3129 0 0 0 15312 1073 0 0 24 0 1 0 20626193 14954496 3100 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3651 3100 413 48 0 3603 0
[pid=6033] vsize: 14604
Current children cumulated CPU time (s) 492.27
Current children cumulated vsize (Kb) 16732
[startup+570.06 s]
Raw data (loadavg): 1.02 1.05 1.01 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3131 0 0 0 16156 1124 0 0 23 0 1 0 20626193 14954496 3102 4294967295 134512640 134702520 3221223712 3221222608 134552232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3651 3102 413 48 0 3603 0
[pid=6033] vsize: 14604
Current children cumulated CPU time (s) 501.22
Current children cumulated vsize (Kb) 16732
[startup+580.061 s]
Raw data (loadavg): 1.02 1.05 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3132 0 0 0 17005 1175 0 0 23 0 1 0 20626193 14954496 3103 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3651 3103 413 48 0 3603 0
[pid=6033] vsize: 14604
Current children cumulated CPU time (s) 510.22
Current children cumulated vsize (Kb) 16732
[startup+590.062 s]
Raw data (loadavg): 1.02 1.05 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3136 0 0 0 17859 1220 0 0 24 0 1 0 20626193 14954496 3107 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3651 3107 413 48 0 3603 0
[pid=6033] vsize: 14604
Current children cumulated CPU time (s) 519.21
Current children cumulated vsize (Kb) 16732
[startup+600.063 s]
Raw data (loadavg): 1.09 1.06 1.01 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3140 0 0 0 18703 1274 0 0 25 0 1 0 20626193 15036416 3111 4294967295 134512640 134702520 3221223712 3221222832 134578859 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3671 3111 413 48 0 3623 0
[pid=6033] vsize: 14684
Current children cumulated CPU time (s) 528.19
Current children cumulated vsize (Kb) 16812
[startup+610.064 s]
Raw data (loadavg): 1.07 1.06 1.01 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3142 0 0 0 19550 1324 0 0 25 0 1 0 20626193 15036416 3113 4294967295 134512640 134702520 3221223712 3221222992 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3671 3113 413 48 0 3623 0
[pid=6033] vsize: 14684
Current children cumulated CPU time (s) 537.16
Current children cumulated vsize (Kb) 16812
[startup+620.065 s]
Raw data (loadavg): 1.06 1.06 1.01 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3145 0 0 0 20357 1389 0 0 22 0 1 0 20626193 15036416 3116 4294967295 134512640 134702520 3221223712 3221222608 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3671 3116 413 48 0 3623 0
[pid=6033] vsize: 14684
Current children cumulated CPU time (s) 545.88
Current children cumulated vsize (Kb) 16812
[startup+630.066 s]
Raw data (loadavg): 1.05 1.06 1.01 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3145 0 0 0 21137 1463 0 0 21 0 1 0 20626193 15036416 3116 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3671 3116 413 48 0 3623 0
[pid=6033] vsize: 14684
Current children cumulated CPU time (s) 554.42
Current children cumulated vsize (Kb) 16812
[startup+640.067 s]
Raw data (loadavg): 1.04 1.05 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3147 0 0 0 21993 1512 0 0 24 0 1 0 20626193 15036416 3118 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3671 3118 413 48 0 3623 0
[pid=6033] vsize: 14684
Current children cumulated CPU time (s) 563.47
Current children cumulated vsize (Kb) 16812
[startup+650.067 s]
Raw data (loadavg): 1.04 1.05 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3149 0 0 0 22848 1560 0 0 25 0 1 0 20626193 15036416 3120 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3671 3120 413 48 0 3623 0
[pid=6033] vsize: 14684
Current children cumulated CPU time (s) 572.5
Current children cumulated vsize (Kb) 16812
[startup+660.068 s]
Raw data (loadavg): 1.10 1.07 1.01 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3150 0 0 0 23703 1606 0 0 25 0 1 0 20626193 15036416 3121 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3671 3121 413 48 0 3623 0
[pid=6033] vsize: 14684
Current children cumulated CPU time (s) 581.51
Current children cumulated vsize (Kb) 16812
[startup+670.07 s]
Raw data (loadavg): 1.09 1.06 1.01 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3153 0 0 0 24555 1655 0 0 25 0 1 0 20626193 15036416 3124 4294967295 134512640 134702520 3221223712 3221222832 134578849 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3671 3124 413 48 0 3623 0
[pid=6033] vsize: 14684
Current children cumulated CPU time (s) 590.52
Current children cumulated vsize (Kb) 16812
[startup+680.071 s]
Raw data (loadavg): 1.07 1.06 1.01 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3155 0 0 0 25414 1700 0 0 25 0 1 0 20626193 15036416 3126 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3671 3126 413 48 0 3623 0
[pid=6033] vsize: 14684
Current children cumulated CPU time (s) 599.56
Current children cumulated vsize (Kb) 16812
[startup+690.072 s]
Raw data (loadavg): 1.06 1.06 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3159 0 0 0 26267 1751 0 0 25 0 1 0 20626193 15036416 3130 4294967295 134512640 134702520 3221223712 3221222832 134578851 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3671 3130 413 48 0 3623 0
[pid=6033] vsize: 14684
Current children cumulated CPU time (s) 608.6
Current children cumulated vsize (Kb) 16812
[startup+700.072 s]
Raw data (loadavg): 1.05 1.06 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3161 0 0 0 27110 1804 0 0 24 0 1 0 20626193 15175680 3132 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3705 3132 413 48 0 3657 0
[pid=6033] vsize: 14820
Current children cumulated CPU time (s) 617.56
Current children cumulated vsize (Kb) 16948
[startup+710.073 s]
Raw data (loadavg): 1.04 1.05 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3161 0 0 0 27913 1870 0 0 21 0 1 0 20626193 15175680 3132 4294967295 134512640 134702520 3221223712 3221222736 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3705 3132 413 48 0 3657 0
[pid=6033] vsize: 14820
Current children cumulated CPU time (s) 626.25
Current children cumulated vsize (Kb) 16948
[startup+720.074 s]
Raw data (loadavg): 1.04 1.05 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3161 0 0 0 28742 1925 0 0 25 0 1 0 20626193 15118336 3132 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3691 3132 413 48 0 3643 0
[pid=6033] vsize: 14764
Current children cumulated CPU time (s) 635.09
Current children cumulated vsize (Kb) 16892
[startup+730.076 s]
Raw data (loadavg): 1.03 1.05 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3164 0 0 0 29608 1971 0 0 25 0 1 0 20626193 15118336 3135 4294967295 134512640 134702520 3221223712 3221222992 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3691 3135 413 48 0 3643 0
[pid=6033] vsize: 14764
Current children cumulated CPU time (s) 644.21
Current children cumulated vsize (Kb) 16892
[startup+740.077 s]
Raw data (loadavg): 1.02 1.05 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3165 0 0 0 30464 2017 0 0 25 0 1 0 20626193 15118336 3136 4294967295 134512640 134702520 3221223712 3221222992 134553142 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3691 3136 413 48 0 3643 0
[pid=6033] vsize: 14764
Current children cumulated CPU time (s) 653.23
Current children cumulated vsize (Kb) 16892
[startup+750.077 s]
Raw data (loadavg): 1.02 1.05 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3166 0 0 0 31320 2066 0 0 24 0 1 0 20626193 15118336 3137 4294967295 134512640 134702520 3221223712 3221222832 134572615 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3691 3137 413 48 0 3643 0
[pid=6033] vsize: 14764
Current children cumulated CPU time (s) 662.28
Current children cumulated vsize (Kb) 16892
[startup+760.078 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3167 0 0 0 32192 2109 0 0 23 0 1 0 20626193 15118336 3138 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3691 3138 413 48 0 3643 0
[pid=6033] vsize: 14764
Current children cumulated CPU time (s) 671.43
Current children cumulated vsize (Kb) 16892
[startup+770.079 s]
Raw data (loadavg): 1.01 1.04 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3168 0 0 0 33055 2154 0 0 17 0 1 0 20626193 15118336 3139 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3691 3139 413 48 0 3643 0
[pid=6033] vsize: 14764
Current children cumulated CPU time (s) 680.51
Current children cumulated vsize (Kb) 16892
[startup+780.08 s]
Raw data (loadavg): 1.01 1.04 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3172 0 0 0 33918 2198 0 0 25 0 1 0 20626193 15118336 3143 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3691 3143 413 48 0 3643 0
[pid=6033] vsize: 14764
Current children cumulated CPU time (s) 689.58
Current children cumulated vsize (Kb) 16892
[startup+790.081 s]
Raw data (loadavg): 1.01 1.04 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3174 0 0 0 34759 2248 0 0 24 0 1 0 20626193 15118336 3145 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3691 3145 413 48 0 3643 0
[pid=6033] vsize: 14764
Current children cumulated CPU time (s) 698.49
Current children cumulated vsize (Kb) 16892
[startup+800.081 s]
Raw data (loadavg): 1.01 1.04 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3174 0 0 0 35573 2309 0 0 22 0 1 0 20626193 15118336 3145 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3691 3145 413 48 0 3643 0
[pid=6033] vsize: 14764
Current children cumulated CPU time (s) 707.24
Current children cumulated vsize (Kb) 16892
[startup+810.082 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3174 0 0 0 36435 2355 0 0 25 0 1 0 20626193 15118336 3145 4294967295 134512640 134702520 3221223712 3221222832 134579059 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3691 3145 413 48 0 3643 0
[pid=6033] vsize: 14764
Current children cumulated CPU time (s) 716.32
Current children cumulated vsize (Kb) 16892
[startup+820.083 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3176 0 0 0 37293 2399 0 0 25 0 1 0 20626193 15200256 3147 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3711 3147 413 48 0 3663 0
[pid=6033] vsize: 14844
Current children cumulated CPU time (s) 725.34
Current children cumulated vsize (Kb) 16972
[startup+830.084 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3176 0 0 0 38149 2445 0 0 25 0 1 0 20626193 15200256 3147 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3711 3147 413 48 0 3663 0
[pid=6033] vsize: 14844
Current children cumulated CPU time (s) 734.36
Current children cumulated vsize (Kb) 16972
[startup+840.083 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3176 0 0 0 39006 2491 0 0 25 0 1 0 20626193 15200256 3147 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3711 3147 413 48 0 3663 0
[pid=6033] vsize: 14844
Current children cumulated CPU time (s) 743.39
Current children cumulated vsize (Kb) 16972
[startup+850.085 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3178 0 0 0 39865 2538 0 0 22 0 1 0 20626193 15200256 3149 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3711 3149 413 48 0 3663 0
[pid=6033] vsize: 14844
Current children cumulated CPU time (s) 752.45
Current children cumulated vsize (Kb) 16972
[startup+860.086 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3180 0 0 0 40737 2581 0 0 25 0 1 0 20626193 15200256 3151 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3711 3151 413 48 0 3663 0
[pid=6033] vsize: 14844
Current children cumulated CPU time (s) 761.6
Current children cumulated vsize (Kb) 16972
[startup+870.087 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3183 0 0 0 41600 2631 0 0 19 0 1 0 20626193 15200256 3154 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3711 3154 413 48 0 3663 0
[pid=6033] vsize: 14844
Current children cumulated CPU time (s) 770.73
Current children cumulated vsize (Kb) 16972
[startup+880.088 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3184 0 0 0 42429 2683 0 0 22 0 1 0 20626193 15200256 3155 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3711 3155 413 48 0 3663 0
[pid=6033] vsize: 14844
Current children cumulated CPU time (s) 779.54
Current children cumulated vsize (Kb) 16972
[startup+890.088 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3184 0 0 0 43211 2750 0 0 22 0 1 0 20626193 15200256 3155 4294967295 134512640 134702520 3221223712 3221222608 134552546 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3711 3155 413 48 0 3663 0
[pid=6033] vsize: 14844
Current children cumulated CPU time (s) 788.03
Current children cumulated vsize (Kb) 16972
[startup+900.089 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3185 0 0 0 44069 2797 0 0 25 0 1 0 20626193 15200256 3156 4294967295 134512640 134702520 3221223712 3221222992 134552889 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3711 3156 413 48 0 3663 0
[pid=6033] vsize: 14844
Current children cumulated CPU time (s) 797.08
Current children cumulated vsize (Kb) 16972
[startup+910.091 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3188 0 0 0 44930 2844 0 0 25 0 1 0 20626193 15200256 3159 4294967295 134512640 134702520 3221223712 3221222992 134553820 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3711 3159 413 48 0 3663 0
[pid=6033] vsize: 14844
Current children cumulated CPU time (s) 806.16
Current children cumulated vsize (Kb) 16972
[startup+920.093 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3191 0 0 0 45782 2892 0 0 25 0 1 0 20626193 15200256 3162 4294967295 134512640 134702520 3221223712 3221222832 134578896 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3711 3162 413 48 0 3663 0
[pid=6033] vsize: 14844
Current children cumulated CPU time (s) 815.16
Current children cumulated vsize (Kb) 16972
[startup+930.094 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3193 0 0 0 46657 2932 0 0 23 0 1 0 20626193 15200256 3164 4294967295 134512640 134702520 3221223712 3221222608 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3711 3164 413 48 0 3663 0
[pid=6033] vsize: 14844
Current children cumulated CPU time (s) 824.31
Current children cumulated vsize (Kb) 16972
[startup+940.095 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3195 0 0 0 47535 2972 0 0 25 0 1 0 20626193 15200256 3166 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3711 3166 413 48 0 3663 0
[pid=6033] vsize: 14844
Current children cumulated CPU time (s) 833.49
Current children cumulated vsize (Kb) 16972
[startup+950.096 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3197 0 0 0 48404 3016 0 0 25 0 1 0 20626193 15278080 3168 4294967295 134512640 134702520 3221223712 3221222992 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3730 3168 413 48 0 3682 0
[pid=6033] vsize: 14920
Current children cumulated CPU time (s) 842.62
Current children cumulated vsize (Kb) 17048
[startup+960.097 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3199 0 0 0 49264 3062 0 0 25 0 1 0 20626193 15278080 3170 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3730 3170 413 48 0 3682 0
[pid=6033] vsize: 14920
Current children cumulated CPU time (s) 851.68
Current children cumulated vsize (Kb) 17048
[startup+970.099 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3203 0 0 0 50129 3105 0 0 23 0 1 0 20626193 15278080 3174 4294967295 134512640 134702520 3221223712 3221222736 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3730 3174 413 48 0 3682 0
[pid=6033] vsize: 14920
Current children cumulated CPU time (s) 860.76
Current children cumulated vsize (Kb) 17048
[startup+980.1 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3203 0 0 0 50941 3170 0 0 22 0 1 0 20626193 15278080 3174 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3730 3174 413 48 0 3682 0
[pid=6033] vsize: 14920
Current children cumulated CPU time (s) 869.53
Current children cumulated vsize (Kb) 17048
[startup+990.101 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3204 0 0 0 51767 3230 0 0 25 0 1 0 20626193 15278080 3175 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3730 3175 413 48 0 3682 0
[pid=6033] vsize: 14920
Current children cumulated CPU time (s) 878.39
Current children cumulated vsize (Kb) 17048
[startup+1000.1 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3206 0 0 0 52633 3274 0 0 25 0 1 0 20626193 15278080 3177 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3730 3177 413 48 0 3682 0
[pid=6033] vsize: 14920
Current children cumulated CPU time (s) 887.49
Current children cumulated vsize (Kb) 17048
[startup+1010.1 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3208 0 0 0 53508 3317 0 0 25 0 1 0 20626193 15278080 3179 4294967295 134512640 134702520 3221223712 3221222992 134553287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3730 3179 413 48 0 3682 0
[pid=6033] vsize: 14920
Current children cumulated CPU time (s) 896.67
Current children cumulated vsize (Kb) 17048
[startup+1020.1 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3210 0 0 0 54372 3359 0 0 25 0 1 0 20626193 15278080 3181 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3730 3181 413 48 0 3682 0
[pid=6033] vsize: 14920
Current children cumulated CPU time (s) 905.73
Current children cumulated vsize (Kb) 17048
[startup+1030.11 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3214 0 0 0 55247 3397 0 0 25 0 1 0 20626193 15278080 3185 4294967295 134512640 134702520 3221223712 3221223104 134605875 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3730 3185 413 48 0 3682 0
[pid=6033] vsize: 14920
Current children cumulated CPU time (s) 914.86
Current children cumulated vsize (Kb) 17048
[startup+1040.11 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3218 0 0 0 56110 3443 0 0 25 0 1 0 20626193 15364096 3189 4294967295 134512640 134702520 3221223712 3221222992 134553426 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3751 3189 413 48 0 3703 0
[pid=6033] vsize: 15004
Current children cumulated CPU time (s) 923.95
Current children cumulated vsize (Kb) 17132
[startup+1050.11 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3219 0 0 0 56989 3482 0 0 25 0 1 0 20626193 15364096 3190 4294967295 134512640 134702520 3221223712 3221222992 134553287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3751 3190 413 48 0 3703 0
[pid=6033] vsize: 15004
Current children cumulated CPU time (s) 933.13
Current children cumulated vsize (Kb) 17132
[startup+1060.11 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3222 0 0 0 57858 3523 0 0 25 0 1 0 20626193 15364096 3193 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3751 3193 413 48 0 3703 0
[pid=6033] vsize: 15004
Current children cumulated CPU time (s) 942.23
Current children cumulated vsize (Kb) 17132
[startup+1070.11 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3224 0 0 0 58696 3576 0 0 23 0 1 0 20626193 15364096 3195 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3751 3195 413 48 0 3703 0
[pid=6033] vsize: 15004
Current children cumulated CPU time (s) 951.14
Current children cumulated vsize (Kb) 17132
[startup+1080.11 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3224 0 0 0 59471 3650 0 0 21 0 1 0 20626193 15364096 3195 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3751 3195 413 48 0 3703 0
[pid=6033] vsize: 15004
Current children cumulated CPU time (s) 959.63
Current children cumulated vsize (Kb) 17132
[startup+1090.11 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3225 0 0 0 60319 3701 0 0 25 0 1 0 20626193 15364096 3196 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3751 3196 413 48 0 3703 0
[pid=6033] vsize: 15004
Current children cumulated CPU time (s) 968.62
Current children cumulated vsize (Kb) 17132
[startup+1100.11 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3226 0 0 0 61183 3749 0 0 25 0 1 0 20626193 15364096 3197 4294967295 134512640 134702520 3221223712 3221222832 134578964 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3751 3197 413 48 0 3703 0
[pid=6033] vsize: 15004
Current children cumulated CPU time (s) 977.74
Current children cumulated vsize (Kb) 17132
[startup+1110.11 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3228 0 0 0 62052 3792 0 0 23 0 1 0 20626193 15364096 3199 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3751 3199 413 48 0 3703 0
[pid=6033] vsize: 15004
Current children cumulated CPU time (s) 986.86
Current children cumulated vsize (Kb) 17132
[startup+1120.11 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3228 0 0 0 62934 3831 0 0 25 0 1 0 20626193 15364096 3199 4294967295 134512640 134702520 3221223712 3221222992 134553160 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3751 3199 413 48 0 3703 0
[pid=6033] vsize: 15004
Current children cumulated CPU time (s) 996.07
Current children cumulated vsize (Kb) 17132
[startup+1130.11 s]
Raw data (loadavg): 1.09 1.03 1.01 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3230 0 0 0 63803 3876 0 0 25 0 1 0 20626193 15364096 3201 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3751 3201 413 48 0 3703 0
[pid=6033] vsize: 15004
Current children cumulated CPU time (s) 1005.21
Current children cumulated vsize (Kb) 17132
[startup+1140.11 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3234 0 0 0 64671 3919 0 0 25 0 1 0 20626193 15364096 3205 4294967295 134512640 134702520 3221223712 3221222832 134578849 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3751 3205 413 48 0 3703 0
[pid=6033] vsize: 15004
Current children cumulated CPU time (s) 1014.32
Current children cumulated vsize (Kb) 17132
[startup+1150.12 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3235 0 0 0 65562 3955 0 0 25 0 1 0 20626193 15364096 3206 4294967295 134512640 134702520 3221223712 3221209088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3751 3206 413 48 0 3703 0
[pid=6033] vsize: 15004
Current children cumulated CPU time (s) 1023.59
Current children cumulated vsize (Kb) 17132
[startup+1160.12 s]
Raw data (loadavg): 1.13 1.04 1.01 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3238 0 0 0 66430 3996 0 0 25 0 1 0 20626193 15364096 3209 4294967295 134512640 134702520 3221223712 3221223260 1074652272 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3751 3209 413 48 0 3703 0
[pid=6033] vsize: 15004
Current children cumulated CPU time (s) 1032.68
Current children cumulated vsize (Kb) 17132
[startup+1170.12 s]
Raw data (loadavg): 1.11 1.04 1.01 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3240 0 0 0 67281 4045 0 0 24 0 1 0 20626193 15515648 3211 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3788 3211 413 48 0 3740 0
[pid=6033] vsize: 15152
Current children cumulated CPU time (s) 1041.68
Current children cumulated vsize (Kb) 17280
[startup+1180.12 s]
Raw data (loadavg): 1.09 1.04 1.01 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3240 0 0 0 68077 4113 0 0 22 0 1 0 20626193 15515648 3211 4294967295 134512640 134702520 3221223712 3221222608 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3788 3211 413 48 0 3740 0
[pid=6033] vsize: 15152
Current children cumulated CPU time (s) 1050.32
Current children cumulated vsize (Kb) 17280
[startup+1190.12 s]
Raw data (loadavg): 1.08 1.04 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3241 0 0 0 68939 4161 0 0 25 0 1 0 20626193 15454208 3212 4294967295 134512640 134702520 3221223712 3221222992 134553333 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3773 3212 413 48 0 3725 0
[pid=6033] vsize: 15092
Current children cumulated CPU time (s) 1059.42
Current children cumulated vsize (Kb) 17220
[startup+1200.12 s]
Raw data (loadavg): 1.07 1.04 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3244 0 0 0 69800 4210 0 0 25 0 1 0 20626193 15454208 3215 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3773 3215 413 48 0 3725 0
[pid=6033] vsize: 15092
Current children cumulated CPU time (s) 1068.52
Current children cumulated vsize (Kb) 17220
[startup+1210.12 s]
Raw data (loadavg): 1.13 1.05 1.01 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3245 0 0 0 70683 4250 0 0 23 0 1 0 20626193 15454208 3216 4294967295 134512640 134702520 3221223712 3221222736 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3773 3216 413 48 0 3725 0
[pid=6033] vsize: 15092
Current children cumulated CPU time (s) 1077.75
Current children cumulated vsize (Kb) 17220
[startup+1220.12 s]
Raw data (loadavg): 1.11 1.05 1.01 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3247 0 0 0 71559 4293 0 0 25 0 1 0 20626193 15454208 3218 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3773 3218 413 48 0 3725 0
[pid=6033] vsize: 15092
Current children cumulated CPU time (s) 1086.94
Current children cumulated vsize (Kb) 17220
[startup+1230.12 s]
Raw data (loadavg): 1.09 1.05 1.01 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3249 0 0 0 72436 4334 0 0 25 0 1 0 20626193 15454208 3220 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3773 3220 413 48 0 3725 0
[pid=6033] vsize: 15092
Current children cumulated CPU time (s) 1096.12
Current children cumulated vsize (Kb) 17220
[startup+1240.12 s]
Raw data (loadavg): 1.08 1.05 1.01 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3251 0 0 0 73305 4378 0 0 22 0 1 0 20626193 15454208 3222 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3773 3222 413 48 0 3725 0
[pid=6033] vsize: 15092
Current children cumulated CPU time (s) 1105.25
Current children cumulated vsize (Kb) 17220
[startup+1250.12 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3253 0 0 0 74198 4413 0 0 25 0 1 0 20626193 15454208 3224 4294967295 134512640 134702520 3221223712 3221222832 134578851 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3773 3224 413 48 0 3725 0
[pid=6033] vsize: 15092
Current children cumulated CPU time (s) 1114.53
Current children cumulated vsize (Kb) 17220
[startup+1260.12 s]
Raw data (loadavg): 1.05 1.04 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3255 0 0 0 75070 4453 0 0 25 0 1 0 20626193 15454208 3226 4294967295 134512640 134702520 3221223712 3221223104 134605875 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3773 3226 413 48 0 3725 0
[pid=6033] vsize: 15092
Current children cumulated CPU time (s) 1123.65
Current children cumulated vsize (Kb) 17220
[startup+1270.12 s]
Raw data (loadavg): 1.05 1.04 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3258 0 0 0 75926 4500 0 0 23 0 1 0 20626193 15454208 3229 4294967295 134512640 134702520 3221223712 3221222608 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3773 3229 413 48 0 3725 0
[pid=6033] vsize: 15092
Current children cumulated CPU time (s) 1132.68
Current children cumulated vsize (Kb) 17220
[startup+1280.12 s]
Raw data (loadavg): 1.04 1.04 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3258 0 0 0 76714 4570 0 0 21 0 1 0 20626193 15454208 3229 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3773 3229 413 48 0 3725 0
[pid=6033] vsize: 15092
Current children cumulated CPU time (s) 1141.26
Current children cumulated vsize (Kb) 17220
[startup+1290.13 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3258 0 0 0 77534 4631 0 0 24 0 1 0 20626193 15454208 3229 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3773 3229 413 48 0 3725 0
[pid=6033] vsize: 15092
Current children cumulated CPU time (s) 1150.07
Current children cumulated vsize (Kb) 17220
[startup+1300.13 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3261 0 0 0 78407 4676 0 0 22 0 1 0 20626193 15593472 3232 4294967295 134512640 134702520 3221223712 3221222880 134658404 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3807 3232 413 48 0 3759 0
[pid=6033] vsize: 15228
Current children cumulated CPU time (s) 1159.25
Current children cumulated vsize (Kb) 17356
[startup+1310.13 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3262 0 0 0 79298 4710 0 0 25 0 1 0 20626193 15536128 3233 4294967295 134512640 134702520 3221223712 3221222832 134572641 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3793 3233 413 48 0 3745 0
[pid=6033] vsize: 15172
Current children cumulated CPU time (s) 1168.5
Current children cumulated vsize (Kb) 17300
[startup+1320.13 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3263 0 0 0 80175 4750 0 0 24 0 1 0 20626193 15536128 3234 4294967295 134512640 134702520 3221223712 3221222992 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3793 3234 413 48 0 3745 0
[pid=6033] vsize: 15172
Current children cumulated CPU time (s) 1177.67
Current children cumulated vsize (Kb) 17300
[startup+1330.13 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3266 0 0 0 81050 4793 0 0 23 0 1 0 20626193 15536128 3237 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3793 3237 413 48 0 3745 0
[pid=6033] vsize: 15172
Current children cumulated CPU time (s) 1186.85
Current children cumulated vsize (Kb) 17300
[startup+1340.13 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3268 0 0 0 81939 4830 0 0 25 0 1 0 20626193 15536128 3239 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3793 3239 413 48 0 3745 0
[pid=6033] vsize: 15172
Current children cumulated CPU time (s) 1196.11
Current children cumulated vsize (Kb) 17300
[startup+1350.13 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3270 0 0 0 82812 4873 0 0 25 0 1 0 20626193 15536128 3241 4294967295 134512640 134702520 3221223712 3221222832 134572641 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3793 3241 413 48 0 3745 0
[pid=6033] vsize: 15172
Current children cumulated CPU time (s) 1205.27
Current children cumulated vsize (Kb) 17300
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1350.13 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3270 0 0 0 82812 4873 0 0 25 0 1 0 20626193 15536128 3241 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3793 3241 413 48 0 3745 0
[pid=6033] vsize: 15172
Current children cumulated CPU time (s) 1205.27
Current children cumulated vsize (Kb) 17300
Sending SIGTERM to -6028
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=6035
New process pid=6036
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/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/1694/stat
open syscall for file /proc/1694/status
open syscall for file /proc/1694/cmdline
open syscall for file /proc/1694/environ
open syscall for file /proc/4043/stat
open syscall for file /proc/4043/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/4043/cmdline
open syscall for file /proc/4043/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/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/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/5989/stat
open syscall for file /proc/5989/status
open syscall for file /proc/5989/cmdline
open syscall for file /proc/5989/environ
open syscall for file /proc/6027/stat
open syscall for file /proc/6027/status
open syscall for file /proc/6027/cmdline
open syscall for file /proc/6027/environ
open syscall for file /proc/6028/stat
open syscall for file /proc/6028/status
open syscall for file /proc/6028/cmdline
open syscall for file /proc/6028/environ
open syscall for file /proc/6033/stat
open syscall for file /proc/6033/status
open syscall for file /proc/6033/cmdline
open syscall for file /proc/6033/environ
open syscall for file /proc/6035/stat
open syscall for file /proc/6035/status
open syscall for file /proc/6035/cmdline
open syscall for file /proc/6035/environ
open syscall for file /proc/6036/stat
open syscall for file /proc/6036/status
open syscall for file /proc/6036/cmdline
open syscall for file /proc/6036/environ
One traced child (pid=6035) exited with status: 0
One traced child (pid=6036) exited with status: 0
New process pid=6037
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=6037) exited with status: 0
New process pid=6038
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=6038) exited with status: 0
One traced child (pid=6028) 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=6033) exited with status: 3
All traced children have exited ! Game is over.
Child status: 3
Real time (s): 1350.87
CPU time (s): 877.562
CPU user time (s): 828.771
CPU system time (s): 48.7906
CPU usage (%): 64.9628
Max. virtual memory (cumulated for all children) (Kb): 17356