1:
seed: 0
Nr of vars set: 754 (#equs: 0)
Nr of vars set: 1184 (#equs: 130)
#decisions: 444639; #end-nodes: 193986;
#proof improvement attempts: 0; #restarts: 960
Current batch, end-nodes: 0 / 319 (319)
#axs: 3946, #non-axs: 2685
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 27, end (keep): 43
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 1200 (#equs: 184)
Time taken: 5 min, 7 sec
2:
seed: 0
Nr of vars set: 1200 (#equs: 0)
Nr of vars set: 1200 (#equs: 92)
#decisions: 1143421; #end-nodes: 272241;
#proof improvement attempts: 0; #restarts: 1056
Current batch, end-nodes: 0 / 395 (383)
#axs: 3626, #non-axs: 8895
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 23, end (keep): 36
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 1200 (#equs: 218)
Time taken: 4 min, 33 sec
3:
seed: 0
Nr of vars set: 1200 (#equs: 0)
Nr of vars set: 1200 (#equs: 95)
#decisions: 734327; #end-nodes: 311142;
#proof improvement attempts: 0; #restarts: 1056
Current batch, end-nodes: 0 / 423 (423)
#axs: 3552, #non-axs: 2817
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 23, end (keep): 36
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 1200 (#equs: 146)
Time taken: 4 min, 8 sec
4:
seed: 0
Nr of vars set: 1200 (#equs: 0)
Nr of vars set: 1200 (#equs: 142)
#decisions: 116740; #end-nodes: 68028;
#proof improvement attempts: 68025; #restarts: 288
Current batch, end-nodes: 0 / 271 (271)
#axs: 3543, #non-axs: 317
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 23, end (keep): 36
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 1200 (#equs: 143)
Time taken: 4 min, 47 sec
5:
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: 1200 (#equs: 0)
Nr of vars set: 1200 (#equs: 108)
Interupt request received.
#decisions: 146372; #end-nodes: 101354;
#proof improvement attempts: 0; #restarts: 356
Current batch, end-nodes: 57 / 329 (329)
#axs: 3476, #non-axs: 8
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 23, end (keep): 36
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 1510 (#equs: 108)
Time taken in seconds: 82
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/4861/stat): 4861 (vallstSAT2005PB) R 4860 4861 4060 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19766609 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 174 3 169 147 0 27 0
[pid=4861] 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=4862
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=4862) exited with status: 0
New process pid=4863
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=4863) exited with status: 0
New process pid=4864
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/wulflinc17/normalized-mps-v2-13-7-sierra.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0029 s]
Raw data (loadavg): 0.93 1.05 1.01 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2421 0 0 0 887 38 0 0 16 0 1 0 19766616 11202560 2195 4294967295 134512640 134702520 3221223952 3221223448 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4864/statm): 2735 2195 413 48 0 2687 0
[pid=4864] vsize: 10940
Current children cumulated CPU time (s) 9.28
Current children cumulated vsize (Kb) 13068
[startup+20.0035 s]
Raw data (loadavg): 0.94 1.05 1.01 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2422 0 0 0 1609 129 0 0 20 0 1 0 19766616 11456512 2196 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4864/statm): 2797 2196 413 48 0 2749 0
[pid=4864] vsize: 11188
Current children cumulated CPU time (s) 17.41
Current children cumulated vsize (Kb) 13316
[startup+30.0041 s]
Raw data (loadavg): 0.95 1.05 1.01 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2445 0 0 0 2325 219 0 0 16 0 1 0 19766616 20611072 2218 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4864/statm): 5032 2218 413 48 0 4984 0
[pid=4864] vsize: 20128
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (Kb) 22256
[startup+40.0048 s]
Raw data (loadavg): 0.96 1.05 1.01 2/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) R 4861 4861 4060 0 -1 0 2452 0 0 0 2893 360 0 0 18 0 1 0 19766616 20623360 2225 4294967295 134512640 134702520 3221223952 3221222976 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5035 2225 413 48 0 4987 0
[pid=4864] vsize: 20140
Current children cumulated CPU time (s) 32.56
Current children cumulated vsize (Kb) 22268
[startup+50.0063 s]
Raw data (loadavg): 0.96 1.04 1.01 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2457 0 0 0 3538 476 0 0 20 0 1 0 19766616 20877312 2229 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5097 2229 413 48 0 5049 0
[pid=4864] vsize: 20388
Current children cumulated CPU time (s) 40.17
Current children cumulated vsize (Kb) 22516
[startup+60.0069 s]
Raw data (loadavg): 0.97 1.04 1.01 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2457 0 0 0 4257 569 0 0 20 0 1 0 19766616 20877312 2229 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5097 2229 413 48 0 5049 0
[pid=4864] vsize: 20388
Current children cumulated CPU time (s) 48.29
Current children cumulated vsize (Kb) 22516
[startup+70.0076 s]
Raw data (loadavg): 0.97 1.04 1.00 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2458 0 0 0 4899 681 0 0 16 0 1 0 19766616 20627456 2229 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4864/statm): 5036 2229 413 48 0 4988 0
[pid=4864] vsize: 20144
Current children cumulated CPU time (s) 55.83
Current children cumulated vsize (Kb) 22272
[startup+80.0091 s]
Raw data (loadavg): 1.05 1.06 1.01 2/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) R 4861 4861 4060 0 -1 0 2459 0 0 0 5477 819 0 0 18 0 1 0 19766616 20627456 2230 4294967295 134512640 134702520 3221223952 3221210428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4864/statm): 5036 2230 413 48 0 4988 0
[pid=4864] vsize: 20144
Current children cumulated CPU time (s) 62.99
Current children cumulated vsize (Kb) 22272
[startup+90.0097 s]
Raw data (loadavg): 1.04 1.05 1.01 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2460 0 0 0 6214 905 0 0 20 0 1 0 19766616 20877312 2231 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5097 2231 413 48 0 5049 0
[pid=4864] vsize: 20388
Current children cumulated CPU time (s) 71.22
Current children cumulated vsize (Kb) 22516
[startup+100.011 s]
Raw data (loadavg): 1.04 1.05 1.01 2/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) R 4861 4861 4060 0 -1 0 2461 0 0 0 6893 1014 0 0 17 0 1 0 19766616 20627456 2231 4294967295 134512640 134702520 3221223952 3221223228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5036 2231 413 48 0 4988 0
[pid=4864] vsize: 20144
Current children cumulated CPU time (s) 79.1
Current children cumulated vsize (Kb) 22272
[startup+110.012 s]
Raw data (loadavg): 1.03 1.05 1.01 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2465 0 0 0 7497 1141 0 0 19 0 1 0 19766616 20627456 2234 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4864/statm): 5036 2234 413 48 0 4988 0
[pid=4864] vsize: 20144
Current children cumulated CPU time (s) 86.41
Current children cumulated vsize (Kb) 22272
[startup+120.013 s]
Raw data (loadavg): 1.02 1.05 1.01 2/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) R 4861 4861 4060 0 -1 0 2466 0 0 0 8146 1255 0 0 19 0 1 0 19766616 20877312 2235 4294967295 134512640 134702520 3221223952 3221222976 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5097 2235 413 48 0 5049 0
[pid=4864] vsize: 20388
Current children cumulated CPU time (s) 94.04
Current children cumulated vsize (Kb) 22516
[startup+130.013 s]
Raw data (loadavg): 1.02 1.05 1.00 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2466 0 0 0 8878 1343 0 0 19 0 1 0 19766616 20877312 2235 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4864/statm): 5097 2235 413 48 0 5049 0
[pid=4864] vsize: 20388
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (Kb) 22516
[startup+140.014 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2467 0 0 0 9465 1476 0 0 16 0 1 0 19766616 20627456 2235 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4864/statm): 5036 2235 413 48 0 4988 0
[pid=4864] vsize: 20144
Current children cumulated CPU time (s) 109.44
Current children cumulated vsize (Kb) 22272
[startup+150.015 s]
Raw data (loadavg): 1.09 1.06 1.01 2/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) R 4861 4861 4060 0 -1 0 2472 0 0 0 10057 1609 0 0 17 0 1 0 19766616 20627456 2238 4294967295 134512640 134702520 3221223952 3221222976 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4864/statm): 5036 2238 413 48 0 4988 0
[pid=4864] vsize: 20144
Current children cumulated CPU time (s) 116.69
Current children cumulated vsize (Kb) 22272
[startup+160.016 s]
Raw data (loadavg): 1.08 1.06 1.01 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2473 0 0 0 10780 1703 0 0 20 0 1 0 19766616 20877312 2239 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5097 2239 413 48 0 5049 0
[pid=4864] vsize: 20388
Current children cumulated CPU time (s) 124.86
Current children cumulated vsize (Kb) 22516
[startup+170.017 s]
Raw data (loadavg): 1.07 1.05 1.01 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2475 0 0 0 11437 1824 0 0 18 0 1 0 19766616 20627456 2239 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5036 2239 413 48 0 4988 0
[pid=4864] vsize: 20144
Current children cumulated CPU time (s) 132.64
Current children cumulated vsize (Kb) 22272
[startup+180.018 s]
Raw data (loadavg): 1.06 1.05 1.00 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2477 0 0 0 12074 1948 0 0 23 0 1 0 19766616 20627456 2241 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5036 2241 413 48 0 4988 0
[pid=4864] vsize: 20144
Current children cumulated CPU time (s) 140.25
Current children cumulated vsize (Kb) 22272
[startup+190.019 s]
Raw data (loadavg): 1.05 1.05 1.00 2/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) R 4861 4861 4060 0 -1 0 2479 0 0 0 12727 2058 0 0 21 0 1 0 19766616 20877312 2243 4294967295 134512640 134702520 3221223952 3221222848 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5097 2243 413 48 0 5049 0
[pid=4864] vsize: 20388
Current children cumulated CPU time (s) 147.88
Current children cumulated vsize (Kb) 22516
[startup+200.019 s]
Raw data (loadavg): 1.04 1.05 1.00 2/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) R 4861 4861 4060 0 -1 0 2479 0 0 0 13438 2150 0 0 20 0 1 0 19766616 20877312 2243 4294967295 134512640 134702520 3221223952 3221222848 134553111 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5097 2243 413 48 0 5049 0
[pid=4864] vsize: 20388
Current children cumulated CPU time (s) 155.91
Current children cumulated vsize (Kb) 22516
[startup+210.02 s]
Raw data (loadavg): 1.03 1.05 1.00 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2480 0 0 0 14051 2284 0 0 17 0 1 0 19766616 20627456 2243 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5036 2243 413 48 0 4988 0
[pid=4864] vsize: 20144
Current children cumulated CPU time (s) 163.38
Current children cumulated vsize (Kb) 22272
[startup+220.021 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) R 4861 4861 4060 0 -1 0 2484 0 0 0 14607 2427 0 0 18 0 1 0 19766616 20627456 2246 4294967295 134512640 134702520 3221223952 3221221952 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4864/statm): 5036 2246 413 48 0 4988 0
[pid=4864] vsize: 20144
Current children cumulated CPU time (s) 170.37
Current children cumulated vsize (Kb) 22272
[startup+230.021 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2485 0 0 0 15340 2522 0 0 20 0 1 0 19766616 20877312 2247 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4864/statm): 5097 2247 413 48 0 5049 0
[pid=4864] vsize: 20388
Current children cumulated CPU time (s) 178.65
Current children cumulated vsize (Kb) 22516
[startup+240.022 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2485 0 0 0 16017 2630 0 0 17 0 1 0 19766616 20627456 2246 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4864/statm): 5036 2246 413 48 0 4988 0
[pid=4864] vsize: 20144
Current children cumulated CPU time (s) 186.5
Current children cumulated vsize (Kb) 22272
[startup+250.022 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2489 0 0 0 16607 2762 0 0 17 0 1 0 19766616 20627456 2248 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4864/statm): 5036 2248 413 48 0 4988 0
[pid=4864] vsize: 20144
Current children cumulated CPU time (s) 193.72
Current children cumulated vsize (Kb) 22272
[startup+260.024 s]
Raw data (loadavg): 1.09 1.05 1.00 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2490 0 0 0 17245 2886 0 0 20 0 1 0 19766616 20877312 2249 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5097 2249 413 48 0 5049 0
[pid=4864] vsize: 20388
Current children cumulated CPU time (s) 201.34
Current children cumulated vsize (Kb) 22516
[startup+270.024 s]
Raw data (loadavg): 1.07 1.05 1.00 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2490 0 0 0 17999 2966 0 0 20 0 1 0 19766616 20877312 2249 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5097 2249 413 48 0 5049 0
[pid=4864] vsize: 20388
Current children cumulated CPU time (s) 209.68
Current children cumulated vsize (Kb) 22516
[startup+280.024 s]
Raw data (loadavg): 1.06 1.05 1.00 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2494 0 0 0 18608 3093 0 0 17 0 1 0 19766616 20627456 2251 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5036 2251 413 48 0 4988 0
[pid=4864] vsize: 20144
Current children cumulated CPU time (s) 217.04
Current children cumulated vsize (Kb) 22272
[startup+290.025 s]
Raw data (loadavg): 1.05 1.05 1.00 2/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) R 4861 4861 4060 0 -1 0 2495 0 0 0 19205 3225 0 0 21 0 1 0 19766616 20627456 2251 4294967295 134512640 134702520 3221223952 3221149468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5036 2251 413 48 0 4988 0
[pid=4864] vsize: 20144
Current children cumulated CPU time (s) 224.33
Current children cumulated vsize (Kb) 22272
[startup+300.026 s]
Raw data (loadavg): 1.04 1.05 1.00 2/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) R 4861 4861 4060 0 -1 0 2496 0 0 0 19881 3336 0 0 20 0 1 0 19766616 20877312 2252 4294967295 134512640 134702520 3221223952 3221222848 134552242 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4864/statm): 5097 2252 413 48 0 5049 0
[pid=4864] vsize: 20388
Current children cumulated CPU time (s) 232.2
Current children cumulated vsize (Kb) 22516
[startup+310.027 s]
Raw data (loadavg): 1.04 1.04 1.00 2/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) R 4861 4861 4060 0 -1 0 2496 0 0 0 20595 3432 0 0 18 0 1 0 19766616 20627456 2251 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4864/statm): 5036 2251 413 48 0 4988 0
[pid=4864] vsize: 20144
Current children cumulated CPU time (s) 240.3
Current children cumulated vsize (Kb) 22272
[startup+320.028 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2767 0 0 0 21194 3566 0 0 18 0 1 0 19766616 21839872 2521 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5332 2521 413 48 0 5284 0
[pid=4864] vsize: 21328
Current children cumulated CPU time (s) 247.63
Current children cumulated vsize (Kb) 23456
[startup+330.029 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) R 4861 4861 4060 0 -1 0 3023 0 0 0 21877 3673 0 0 22 0 1 0 19766616 21901312 2776 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5347 2776 413 48 0 5299 0
[pid=4864] vsize: 21388
Current children cumulated CPU time (s) 255.53
Current children cumulated vsize (Kb) 23516
[startup+340.03 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) R 4861 4861 4060 0 -1 0 3141 0 0 0 22583 3773 0 0 20 0 1 0 19766616 23371776 2894 4294967295 134512640 134702520 3221223952 3221222848 134553330 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5706 2894 413 48 0 5658 0
[pid=4864] vsize: 22824
Current children cumulated CPU time (s) 263.59
Current children cumulated vsize (Kb) 24952
[startup+350.03 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 3141 0 0 0 23314 3862 0 0 20 0 1 0 19766616 23371776 2894 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5706 2894 413 48 0 5658 0
[pid=4864] vsize: 22824
Current children cumulated CPU time (s) 271.79
Current children cumulated vsize (Kb) 24952
[startup+360.032 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) R 4861 4861 4060 0 -1 0 3146 0 0 0 23944 3983 0 0 20 0 1 0 19766616 23244800 2897 4294967295 134512640 134702520 3221223952 3221223344 134606230 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5675 2897 413 48 0 5627 0
[pid=4864] vsize: 22700
Current children cumulated CPU time (s) 279.3
Current children cumulated vsize (Kb) 24828
[startup+370.032 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 3181 0 0 0 24602 4096 0 0 21 0 1 0 19766616 23396352 2931 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4864/statm): 5712 2931 413 48 0 5664 0
[pid=4864] vsize: 22848
Current children cumulated CPU time (s) 287.01
Current children cumulated vsize (Kb) 24976
[startup+380.032 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 3351 0 0 0 25261 4209 0 0 20 0 1 0 19766616 23601152 3101 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5762 3101 413 48 0 5714 0
[pid=4864] vsize: 23048
Current children cumulated CPU time (s) 294.73
Current children cumulated vsize (Kb) 25176
[startup+390.033 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 3351 0 0 0 25986 4299 0 0 20 0 1 0 19766616 23601152 3101 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5762 3101 413 48 0 5714 0
[pid=4864] vsize: 23048
Current children cumulated CPU time (s) 302.88
Current children cumulated vsize (Kb) 25176
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=4864) exited with status: 2
New process pid=4865
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=4865) exited with status: 0
New process pid=4866
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+400.034 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) R 4861 4861 4060 0 -1 0 1848 0 0 0 240 21 0 0 17 0 1 0 19806324 10424320 1818 4294967295 134512640 134702520 3221223712 3221222976 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4866/statm): 2545 1818 413 48 0 2497 0
[pid=4866] vsize: 10180
Current children cumulated CPU time (s) 311.39
Current children cumulated vsize (Kb) 12308
[startup+410.035 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 1909 0 0 0 618 229 0 0 16 0 1 0 19806324 10838016 1879 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4866/statm): 2646 1879 413 48 0 2598 0
[pid=4866] vsize: 10584
Current children cumulated CPU time (s) 317.25
Current children cumulated vsize (Kb) 12712
[startup+420.036 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 1971 0 0 0 1093 399 0 0 17 0 1 0 19806324 20639744 1941 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4866/statm): 5039 1941 413 48 0 4991 0
[pid=4866] vsize: 20156
Current children cumulated CPU time (s) 323.7
Current children cumulated vsize (Kb) 22284
[startup+430.037 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2033 0 0 0 1582 565 0 0 16 0 1 0 19806324 20639744 2003 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5039 2003 413 48 0 4991 0
[pid=4866] vsize: 20156
Current children cumulated CPU time (s) 330.25
Current children cumulated vsize (Kb) 22284
[startup+440.038 s]
Raw data (loadavg): 1.08 1.04 1.01 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2062 0 0 0 2034 741 0 0 16 0 1 0 19806324 20893696 2031 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4866/statm): 5101 2031 413 48 0 5053 0
[pid=4866] vsize: 20404
Current children cumulated CPU time (s) 336.53
Current children cumulated vsize (Kb) 22532
[startup+450.038 s]
Raw data (loadavg): 1.07 1.04 1.00 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2063 0 0 0 2372 955 0 0 16 0 1 0 19806324 20893696 2032 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5101 2032 413 48 0 5053 0
[pid=4866] vsize: 20404
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (Kb) 22532
[startup+460.04 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) R 4861 4861 4060 0 -1 0 2075 0 0 0 2851 1131 0 0 17 0 1 0 19806324 20643840 2040 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5040 2040 413 48 0 4992 0
[pid=4866] vsize: 20160
Current children cumulated CPU time (s) 348.6
Current children cumulated vsize (Kb) 22288
[startup+470.041 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2084 0 0 0 3349 1296 0 0 17 0 1 0 19806324 20643840 2047 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5040 2047 413 48 0 4992 0
[pid=4866] vsize: 20160
Current children cumulated CPU time (s) 355.23
Current children cumulated vsize (Kb) 22288
[startup+480.042 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2085 0 0 0 3683 1510 0 0 16 0 1 0 19806324 20893696 2048 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4866/statm): 5101 2048 413 48 0 5053 0
[pid=4866] vsize: 20404
Current children cumulated CPU time (s) 360.71
Current children cumulated vsize (Kb) 22532
[startup+490.043 s]
Raw data (loadavg): 1.11 1.05 1.01 2/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) R 4861 4861 4060 0 -1 0 2091 0 0 0 4139 1684 0 0 16 0 1 0 19806324 20893696 2051 4294967295 134512640 134702520 3221223712 3221222736 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4866/statm): 5101 2051 413 48 0 5053 0
[pid=4866] vsize: 20404
Current children cumulated CPU time (s) 367.01
Current children cumulated vsize (Kb) 22532
[startup+500.044 s]
Raw data (loadavg): 1.17 1.06 1.01 2/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) R 4861 4861 4060 0 -1 0 2098 0 0 0 4604 1861 0 0 17 0 1 0 19806324 20766720 2056 4294967295 134512640 134702520 3221223712 3221223184 134657210 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5070 2056 413 48 0 5022 0
[pid=4866] vsize: 20280
Current children cumulated CPU time (s) 373.43
Current children cumulated vsize (Kb) 22408
[startup+510.045 s]
Raw data (loadavg): 1.22 1.08 1.01 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2103 0 0 0 5034 2044 0 0 16 0 1 0 19806324 21020672 2061 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5132 2061 413 48 0 5084 0
[pid=4866] vsize: 20528
Current children cumulated CPU time (s) 379.56
Current children cumulated vsize (Kb) 22656
[startup+520.046 s]
Raw data (loadavg): 1.19 1.07 1.01 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2105 0 0 0 5380 2258 0 0 16 0 1 0 19806324 21270528 2063 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5193 2063 413 48 0 5145 0
[pid=4866] vsize: 20772
Current children cumulated CPU time (s) 385.16
Current children cumulated vsize (Kb) 22900
[startup+530.047 s]
Raw data (loadavg): 1.31 1.10 1.02 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2112 0 0 0 5885 2419 0 0 16 0 1 0 19806324 20766720 2066 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4866/statm): 5070 2066 413 48 0 5022 0
[pid=4866] vsize: 20280
Current children cumulated CPU time (s) 391.82
Current children cumulated vsize (Kb) 22408
[startup+540.048 s]
Raw data (loadavg): 1.42 1.13 1.03 2/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) R 4861 4861 4060 0 -1 0 2121 0 0 0 6401 2574 0 0 21 0 1 0 19806324 20766720 2073 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5070 2073 413 48 0 5022 0
[pid=4866] vsize: 20280
Current children cumulated CPU time (s) 398.53
Current children cumulated vsize (Kb) 22408
[startup+550.048 s]
Raw data (loadavg): 1.35 1.13 1.03 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2122 0 0 0 6734 2787 0 0 17 0 1 0 19806324 21020672 2074 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4866/statm): 5132 2074 413 48 0 5084 0
[pid=4866] vsize: 20528
Current children cumulated CPU time (s) 403.99
Current children cumulated vsize (Kb) 22656
[startup+560.049 s]
Raw data (loadavg): 1.30 1.12 1.03 2/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) R 4861 4861 4060 0 -1 0 2126 0 0 0 7188 2963 0 0 19 0 1 0 19806324 20766720 2075 4294967295 134512640 134702520 3221223712 3221152128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5070 2075 413 48 0 5022 0
[pid=4866] vsize: 20280
Current children cumulated CPU time (s) 410.29
Current children cumulated vsize (Kb) 22408
[startup+570.05 s]
Raw data (loadavg): 1.25 1.12 1.03 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2135 0 0 0 7699 3125 0 0 16 0 1 0 19806324 20766720 2082 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5070 2082 413 48 0 5022 0
[pid=4866] vsize: 20280
Current children cumulated CPU time (s) 417.02
Current children cumulated vsize (Kb) 22408
[startup+580.051 s]
Raw data (loadavg): 1.29 1.13 1.03 2/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) R 4861 4861 4060 0 -1 0 2144 0 0 0 8147 3305 0 0 16 0 1 0 19806324 21020672 2089 4294967295 134512640 134702520 3221223712 3221222608 134557196 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5132 2089 413 48 0 5084 0
[pid=4866] vsize: 20528
Current children cumulated CPU time (s) 423.3
Current children cumulated vsize (Kb) 22656
[startup+590.052 s]
Raw data (loadavg): 1.24 1.12 1.03 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2145 0 0 0 8473 3528 0 0 17 0 1 0 19806324 21020672 2090 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5132 2090 413 48 0 5084 0
[pid=4866] vsize: 20528
Current children cumulated CPU time (s) 428.79
Current children cumulated vsize (Kb) 22656
[startup+600.053 s]
Raw data (loadavg): 1.20 1.12 1.03 2/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2151 0 0 0 8952 3694 0 0 16 0 1 0 19806324 20774912 2093 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4866/statm): 5072 2093 413 48 0 5024 0
[pid=4866] vsize: 20288
Current children cumulated CPU time (s) 435.24
Current children cumulated vsize (Kb) 22416
[startup+610.054 s]
Raw data (loadavg): 1.17 1.12 1.03 2/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) R 4861 4861 4060 0 -1 0 2162 0 0 0 9482 3849 0 0 16 0 1 0 19806324 20926464 2103 4294967295 134512640 134702520 3221223712 3221223028 134617619 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5109 2103 413 48 0 5061 0
[pid=4866] vsize: 20436
Current children cumulated CPU time (s) 442.09
Current children cumulated vsize (Kb) 22564
[startup+620.055 s]
Raw data (loadavg): 1.15 1.11 1.03 2/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) R 4861 4861 4060 0 -1 0 2167 0 0 0 9838 4060 0 0 16 0 1 0 19806324 21176320 2108 4294967295 134512640 134702520 3221223712 3221222812 1074752304 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5170 2108 413 48 0 5122 0
[pid=4866] vsize: 20680
Current children cumulated CPU time (s) 447.76
Current children cumulated vsize (Kb) 22808
[startup+630.055 s]
Raw data (loadavg): 1.12 1.11 1.03 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2169 0 0 0 10260 4253 0 0 20 0 1 0 19806324 20926464 2107 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5109 2107 413 48 0 5061 0
[pid=4866] vsize: 20436
Current children cumulated CPU time (s) 453.91
Current children cumulated vsize (Kb) 22564
[startup+640.057 s]
Raw data (loadavg): 1.10 1.10 1.03 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2172 0 0 0 10743 4416 0 0 17 0 1 0 19806324 20926464 2109 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5109 2109 413 48 0 5061 0
[pid=4866] vsize: 20436
Current children cumulated CPU time (s) 460.37
Current children cumulated vsize (Kb) 22564
[startup+650.057 s]
Raw data (loadavg): 1.09 1.10 1.03 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2181 0 0 0 11276 4570 0 0 16 0 1 0 19806324 20926464 2117 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5109 2117 413 48 0 5061 0
[pid=4866] vsize: 20436
Current children cumulated CPU time (s) 467.24
Current children cumulated vsize (Kb) 22564
[startup+660.058 s]
Raw data (loadavg): 1.15 1.11 1.03 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2182 0 0 0 11611 4789 0 0 16 0 1 0 19806324 21176320 2118 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5170 2118 413 48 0 5122 0
[pid=4866] vsize: 20680
Current children cumulated CPU time (s) 472.78
Current children cumulated vsize (Kb) 22808
[startup+670.059 s]
Raw data (loadavg): 1.20 1.12 1.04 2/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) R 4861 4861 4060 0 -1 0 2188 0 0 0 12048 4970 0 0 17 0 1 0 19806324 20926464 2121 4294967295 134512640 134702520 3221223712 3221223296 134559879 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5109 2121 413 48 0 5061 0
[pid=4866] vsize: 20436
Current children cumulated CPU time (s) 478.96
Current children cumulated vsize (Kb) 22564
[startup+680.059 s]
Raw data (loadavg): 1.24 1.14 1.04 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2196 0 0 0 12554 5133 0 0 17 0 1 0 19806324 21176320 2129 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5170 2129 413 48 0 5122 0
[pid=4866] vsize: 20680
Current children cumulated CPU time (s) 485.65
Current children cumulated vsize (Kb) 22808
[startup+690.06 s]
Raw data (loadavg): 1.20 1.13 1.04 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2206 0 0 0 13006 5311 0 0 16 0 1 0 19806324 21176320 2138 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5170 2138 413 48 0 5122 0
[pid=4866] vsize: 20680
Current children cumulated CPU time (s) 491.95
Current children cumulated vsize (Kb) 22808
[startup+700.061 s]
Raw data (loadavg): 1.17 1.13 1.04 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2207 0 0 0 13326 5537 0 0 16 0 1 0 19806324 21176320 2139 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5170 2139 413 48 0 5122 0
[pid=4866] vsize: 20680
Current children cumulated CPU time (s) 497.41
Current children cumulated vsize (Kb) 22808
[startup+710.062 s]
Raw data (loadavg): 1.14 1.12 1.04 2/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2210 0 0 0 13794 5712 0 0 17 0 1 0 19806324 20926464 2139 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4866/statm): 5109 2139 413 48 0 5061 0
[pid=4866] vsize: 20436
Current children cumulated CPU time (s) 503.84
Current children cumulated vsize (Kb) 22564
[startup+720.063 s]
Raw data (loadavg): 1.20 1.13 1.04 2/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) R 4861 4861 4060 0 -1 0 2218 0 0 0 14272 5882 0 0 17 0 1 0 19806324 20926464 2145 4294967295 134512640 134702520 3221223712 3221222208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5109 2145 413 48 0 5061 0
[pid=4866] vsize: 20436
Current children cumulated CPU time (s) 510.32
Current children cumulated vsize (Kb) 22564
[startup+730.063 s]
Raw data (loadavg): 1.24 1.14 1.05 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2222 0 0 0 14683 6078 0 0 16 0 1 0 19806324 21061632 2149 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5142 2149 413 48 0 5094 0
[pid=4866] vsize: 20568
Current children cumulated CPU time (s) 516.39
Current children cumulated vsize (Kb) 22696
[startup+740.064 s]
Raw data (loadavg): 1.28 1.16 1.05 2/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) R 4861 4861 4060 0 -1 0 2225 0 0 0 15022 6301 0 0 16 0 1 0 19806324 20934656 2149 4294967295 134512640 134702520 3221223712 3221223184 134657210 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4866/statm): 5111 2149 413 48 0 5063 0
[pid=4866] vsize: 20444
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (Kb) 22572
[startup+750.064 s]
Raw data (loadavg): 1.31 1.17 1.06 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2239 0 0 0 15522 6470 0 0 19 0 1 0 19806324 21078016 2161 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4866/statm): 5146 2161 413 48 0 5098 0
[pid=4866] vsize: 20584
Current children cumulated CPU time (s) 528.7
Current children cumulated vsize (Kb) 22712
[startup+760.065 s]
Raw data (loadavg): 1.26 1.16 1.05 2/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) R 4861 4861 4060 0 -1 0 2366 0 0 0 16006 6641 0 0 17 0 1 0 19806324 21106688 2288 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5153 2288 413 48 0 5105 0
[pid=4866] vsize: 20612
Current children cumulated CPU time (s) 535.25
Current children cumulated vsize (Kb) 22740
[startup+770.066 s]
Raw data (loadavg): 1.22 1.16 1.05 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2541 0 0 0 16447 6826 0 0 16 0 1 0 19806324 22605824 2463 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5519 2463 413 48 0 5471 0
[pid=4866] vsize: 22076
Current children cumulated CPU time (s) 541.51
Current children cumulated vsize (Kb) 24204
[startup+780.067 s]
Raw data (loadavg): 1.19 1.15 1.05 2/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) R 4861 4861 4060 0 -1 0 2543 0 0 0 16799 7040 0 0 17 0 1 0 19806324 22355968 2462 4294967295 134512640 134702520 3221223712 3221223116 1074229931 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5458 2462 413 48 0 5410 0
[pid=4866] vsize: 21832
Current children cumulated CPU time (s) 547.17
Current children cumulated vsize (Kb) 23960
[startup+790.068 s]
Raw data (loadavg): 1.23 1.16 1.06 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2571 0 0 0 17318 7200 0 0 17 0 1 0 19806324 22523904 2490 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4866/statm): 5499 2490 413 48 0 5451 0
[pid=4866] vsize: 21996
Current children cumulated CPU time (s) 553.96
Current children cumulated vsize (Kb) 24124
[startup+800.067 s]
Raw data (loadavg): 1.20 1.15 1.06 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2757 0 0 0 17887 7345 0 0 18 0 1 0 19806324 22523904 2675 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4866/statm): 5499 2675 413 48 0 5451 0
[pid=4866] vsize: 21996
Current children cumulated CPU time (s) 561.1
Current children cumulated vsize (Kb) 24124
[startup+810.068 s]
Raw data (loadavg): 1.16 1.15 1.06 2/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) R 4861 4861 4060 0 -1 0 2924 0 0 0 18511 7471 0 0 19 0 1 0 19806324 23830528 2841 4294967295 134512640 134702520 3221223712 3221223096 134609929 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5818 2841 413 48 0 5770 0
[pid=4866] vsize: 23272
Current children cumulated CPU time (s) 568.6
Current children cumulated vsize (Kb) 25400
[startup+820.069 s]
Raw data (loadavg): 1.14 1.14 1.05 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2981 0 0 0 19072 7616 0 0 16 0 1 0 19806324 24096768 2898 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5883 2898 413 48 0 5835 0
[pid=4866] vsize: 23532
Current children cumulated CPU time (s) 575.66
Current children cumulated vsize (Kb) 25660
[startup+830.069 s]
Raw data (loadavg): 1.12 1.14 1.05 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2983 0 0 0 19393 7840 0 0 16 0 1 0 19806324 24350720 2900 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5945 2900 413 48 0 5897 0
[pid=4866] vsize: 23780
Current children cumulated CPU time (s) 581.11
Current children cumulated vsize (Kb) 25908
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=4866) exited with status: 2
New process pid=4867
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=4867) exited with status: 0
New process pid=4868
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+840.07 s]
Raw data (loadavg): 1.10 1.13 1.05 2/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) R 4861 4861 4060 0 -1 0 1900 0 0 0 373 89 0 0 17 0 1 0 19849988 10661888 1871 4294967295 134512640 134702520 3221223712 3221223128 134550241 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4868/statm): 2603 1871 413 48 0 2555 0
[pid=4868] vsize: 10412
Current children cumulated CPU time (s) 588.11
Current children cumulated vsize (Kb) 12540
[startup+850.069 s]
Raw data (loadavg): 1.08 1.13 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 1907 0 0 0 760 287 0 0 17 0 1 0 19849988 10833920 1878 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4868/statm): 2645 1878 413 48 0 2597 0
[pid=4868] vsize: 10580
Current children cumulated CPU time (s) 593.96
Current children cumulated vsize (Kb) 12708
[startup+860.07 s]
Raw data (loadavg): 1.07 1.12 1.05 2/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) R 4861 4861 4060 0 -1 0 2059 0 0 0 1312 435 0 0 22 0 1 0 19849988 20033536 2030 4294967295 134512640 134702520 3221223712 3221222736 134552270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4891 2030 413 48 0 4843 0
[pid=4868] vsize: 19564
Current children cumulated CPU time (s) 600.96
Current children cumulated vsize (Kb) 21692
[startup+870.071 s]
Raw data (loadavg): 1.06 1.12 1.05 2/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) R 4861 4861 4060 0 -1 0 2102 0 0 0 1796 602 0 0 18 0 1 0 19849988 20033536 2071 4294967295 134512640 134702520 3221223712 3221211488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4891 2071 413 48 0 4843 0
[pid=4868] vsize: 19564
Current children cumulated CPU time (s) 607.47
Current children cumulated vsize (Kb) 21692
[startup+880.072 s]
Raw data (loadavg): 1.13 1.13 1.05 2/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2115 0 0 0 2186 802 0 0 16 0 1 0 19849988 20283392 2084 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4868/statm): 4952 2084 413 48 0 4904 0
[pid=4868] vsize: 19808
Current children cumulated CPU time (s) 613.37
Current children cumulated vsize (Kb) 21936
[startup+890.073 s]
Raw data (loadavg): 1.11 1.13 1.05 2/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) R 4861 4861 4060 0 -1 0 2117 0 0 0 2545 1016 0 0 18 0 1 0 19849988 20033536 2083 4294967295 134512640 134702520 3221223712 3221179968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4891 2083 413 48 0 4843 0
[pid=4868] vsize: 19564
Current children cumulated CPU time (s) 619.1
Current children cumulated vsize (Kb) 21692
[startup+900.073 s]
Raw data (loadavg): 1.09 1.12 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2126 0 0 0 3031 1181 0 0 18 0 1 0 19849988 20033536 2090 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4891 2090 413 48 0 4843 0
[pid=4868] vsize: 19564
Current children cumulated CPU time (s) 625.61
Current children cumulated vsize (Kb) 21692
[startup+910.074 s]
Raw data (loadavg): 1.08 1.12 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2131 0 0 0 3508 1354 0 0 16 0 1 0 19849988 20283392 2093 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4868/statm): 4952 2093 413 48 0 4904 0
[pid=4868] vsize: 19808
Current children cumulated CPU time (s) 632.11
Current children cumulated vsize (Kb) 21936
[startup+920.075 s]
Raw data (loadavg): 1.07 1.11 1.05 2/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) R 4861 4861 4060 0 -1 0 2132 0 0 0 3769 1596 0 0 16 0 1 0 19849988 20283392 2094 4294967295 134512640 134702520 3221223712 3221222480 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4952 2094 413 48 0 4904 0
[pid=4868] vsize: 19808
Current children cumulated CPU time (s) 637.14
Current children cumulated vsize (Kb) 21936
[startup+930.075 s]
Raw data (loadavg): 1.06 1.11 1.05 2/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) R 4861 4861 4060 0 -1 0 2141 0 0 0 4240 1775 0 0 18 0 1 0 19849988 20160512 2099 4294967295 134512640 134702520 3221223712 3221222368 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4868/statm): 4922 2099 413 48 0 4874 0
[pid=4868] vsize: 19688
Current children cumulated CPU time (s) 643.64
Current children cumulated vsize (Kb) 21816
[startup+940.076 s]
Raw data (loadavg): 1.05 1.10 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2148 0 0 0 4747 1934 0 0 17 0 1 0 19849988 20160512 2105 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4922 2105 413 48 0 4874 0
[pid=4868] vsize: 19688
Current children cumulated CPU time (s) 650.3
Current children cumulated vsize (Kb) 21816
[startup+950.076 s]
Raw data (loadavg): 1.11 1.12 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2150 0 0 0 5052 2154 0 0 16 0 1 0 19849988 20414464 2107 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4984 2107 413 48 0 4936 0
[pid=4868] vsize: 19936
Current children cumulated CPU time (s) 655.55
Current children cumulated vsize (Kb) 22064
[startup+960.077 s]
Raw data (loadavg): 1.09 1.11 1.05 2/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) R 4861 4861 4060 0 -1 0 2157 0 0 0 5506 2328 0 0 20 0 1 0 19849988 20160512 2111 4294967295 134512640 134702520 3221223712 3221173888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4922 2111 413 48 0 4874 0
[pid=4868] vsize: 19688
Current children cumulated CPU time (s) 661.83
Current children cumulated vsize (Kb) 21816
[startup+970.078 s]
Raw data (loadavg): 1.15 1.12 1.06 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2162 0 0 0 5989 2498 0 0 17 0 1 0 19849988 20160512 2114 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4868/statm): 4922 2114 413 48 0 4874 0
[pid=4868] vsize: 19688
Current children cumulated CPU time (s) 668.36
Current children cumulated vsize (Kb) 21816
[startup+980.079 s]
Raw data (loadavg): 1.13 1.12 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2167 0 0 0 6441 2681 0 0 16 0 1 0 19849988 20414464 2119 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4984 2119 413 48 0 4936 0
[pid=4868] vsize: 19936
Current children cumulated CPU time (s) 674.71
Current children cumulated vsize (Kb) 22064
[startup+990.08 s]
Raw data (loadavg): 1.11 1.12 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2170 0 0 0 6773 2898 0 0 17 0 1 0 19849988 20160512 2119 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4868/statm): 4922 2119 413 48 0 4874 0
[pid=4868] vsize: 19688
Current children cumulated CPU time (s) 680.2
Current children cumulated vsize (Kb) 21816
[startup+1000.08 s]
Raw data (loadavg): 1.09 1.11 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2175 0 0 0 7299 3052 0 0 16 0 1 0 19849988 20160512 2122 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4868/statm): 4922 2122 413 48 0 4874 0
[pid=4868] vsize: 19688
Current children cumulated CPU time (s) 687
Current children cumulated vsize (Kb) 21816
[startup+1010.08 s]
Raw data (loadavg): 1.08 1.11 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2181 0 0 0 7828 3206 0 0 19 0 1 0 19849988 20160512 2127 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4868/statm): 4922 2127 413 48 0 4874 0
[pid=4868] vsize: 19688
Current children cumulated CPU time (s) 693.83
Current children cumulated vsize (Kb) 21816
[startup+1020.08 s]
Raw data (loadavg): 1.06 1.10 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2182 0 0 0 8103 3437 0 0 16 0 1 0 19849988 20414464 2128 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4868/statm): 4984 2128 413 48 0 4936 0
[pid=4868] vsize: 19936
Current children cumulated CPU time (s) 698.89
Current children cumulated vsize (Kb) 22064
[startup+1030.08 s]
Raw data (loadavg): 1.05 1.10 1.05 2/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) R 4861 4861 4060 0 -1 0 2188 0 0 0 8599 3605 0 0 19 0 1 0 19849988 20160512 2131 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4922 2131 413 48 0 4874 0
[pid=4868] vsize: 19688
Current children cumulated CPU time (s) 705.53
Current children cumulated vsize (Kb) 21816
[startup+1040.08 s]
Raw data (loadavg): 1.05 1.10 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2194 0 0 0 9135 3746 0 0 18 0 1 0 19849988 20160512 2137 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4922 2137 413 48 0 4874 0
[pid=4868] vsize: 19688
Current children cumulated CPU time (s) 712.3
Current children cumulated vsize (Kb) 21816
[startup+1050.08 s]
Raw data (loadavg): 1.04 1.09 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2197 0 0 0 9520 3950 0 0 16 0 1 0 19849988 20414464 2139 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4984 2139 413 48 0 4936 0
[pid=4868] vsize: 19936
Current children cumulated CPU time (s) 718.19
Current children cumulated vsize (Kb) 22064
[startup+1060.08 s]
Raw data (loadavg): 1.03 1.09 1.05 2/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) R 4861 4861 4060 0 -1 0 2201 0 0 0 9887 4153 0 0 20 0 1 0 19849988 20160512 2140 4294967295 134512640 134702520 3221223712 3221146208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4868/statm): 4922 2140 413 48 0 4874 0
[pid=4868] vsize: 19688
Current children cumulated CPU time (s) 723.89
Current children cumulated vsize (Kb) 21816
[startup+1070.08 s]
Raw data (loadavg): 1.03 1.08 1.05 2/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) R 4861 4861 4060 0 -1 0 2206 0 0 0 10426 4306 0 0 18 0 1 0 19849988 20160512 2145 4294967295 134512640 134702520 3221223712 3221203468 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4868/statm): 4922 2145 413 48 0 4874 0
[pid=4868] vsize: 19688
Current children cumulated CPU time (s) 730.81
Current children cumulated vsize (Kb) 21816
[startup+1080.09 s]
Raw data (loadavg): 1.02 1.08 1.04 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2210 0 0 0 10914 4475 0 0 16 0 1 0 19849988 20414464 2149 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4984 2149 413 48 0 4936 0
[pid=4868] vsize: 19936
Current children cumulated CPU time (s) 737.38
Current children cumulated vsize (Kb) 22064
[startup+1090.09 s]
Raw data (loadavg): 1.09 1.10 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2211 0 0 0 11188 4710 0 0 16 0 1 0 19849988 20414464 2150 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4984 2150 413 48 0 4936 0
[pid=4868] vsize: 19936
Current children cumulated CPU time (s) 742.47
Current children cumulated vsize (Kb) 22064
[startup+1100.09 s]
Raw data (loadavg): 1.08 1.09 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2215 0 0 0 11696 4871 0 0 17 0 1 0 19849988 20160512 2151 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4868/statm): 4922 2151 413 48 0 4874 0
[pid=4868] vsize: 19688
Current children cumulated CPU time (s) 749.16
Current children cumulated vsize (Kb) 21816
[startup+1110.09 s]
Raw data (loadavg): 1.14 1.10 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2221 0 0 0 12194 5036 0 0 16 0 1 0 19849988 20160512 2156 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4922 2156 413 48 0 4874 0
[pid=4868] vsize: 19688
Current children cumulated CPU time (s) 755.79
Current children cumulated vsize (Kb) 21816
[startup+1120.09 s]
Raw data (loadavg): 1.12 1.10 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2225 0 0 0 12564 5238 0 0 16 0 1 0 19849988 20414464 2159 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4868/statm): 4984 2159 413 48 0 4936 0
[pid=4868] vsize: 19936
Current children cumulated CPU time (s) 761.51
Current children cumulated vsize (Kb) 22064
[startup+1130.09 s]
Raw data (loadavg): 1.10 1.10 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2227 0 0 0 12964 5439 0 0 16 0 1 0 19849988 20160512 2158 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4868/statm): 4922 2158 413 48 0 4874 0
[pid=4868] vsize: 19688
Current children cumulated CPU time (s) 767.52
Current children cumulated vsize (Kb) 21816
[startup+1140.09 s]
Raw data (loadavg): 1.08 1.09 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2233 0 0 0 13542 5573 0 0 22 0 1 0 19849988 20160512 2163 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4868/statm): 4922 2163 413 48 0 4874 0
[pid=4868] vsize: 19688
Current children cumulated CPU time (s) 774.64
Current children cumulated vsize (Kb) 21816
[startup+1150.09 s]
Raw data (loadavg): 1.07 1.09 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2238 0 0 0 14028 5740 0 0 16 0 1 0 19849988 20414464 2168 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4984 2168 413 48 0 4936 0
[pid=4868] vsize: 19936
Current children cumulated CPU time (s) 781.17
Current children cumulated vsize (Kb) 22064
[startup+1160.09 s]
Raw data (loadavg): 1.06 1.08 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2239 0 0 0 14304 5979 0 0 16 0 1 0 19849988 20414464 2169 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4868/statm): 4984 2169 413 48 0 4936 0
[pid=4868] vsize: 19936
Current children cumulated CPU time (s) 786.32
Current children cumulated vsize (Kb) 22064
[startup+1170.09 s]
Raw data (loadavg): 1.05 1.08 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2244 0 0 0 14830 6135 0 0 18 0 1 0 19849988 20160512 2171 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4922 2171 413 48 0 4874 0
[pid=4868] vsize: 19688
Current children cumulated CPU time (s) 793.14
Current children cumulated vsize (Kb) 21816
[startup+1180.09 s]
Raw data (loadavg): 1.04 1.08 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2248 0 0 0 15358 6295 0 0 21 0 1 0 19849988 20160512 2174 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4868/statm): 4922 2174 413 48 0 4874 0
[pid=4868] vsize: 19688
Current children cumulated CPU time (s) 800.02
Current children cumulated vsize (Kb) 21816
[startup+1190.09 s]
Raw data (loadavg): 1.03 1.08 1.04 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2251 0 0 0 15731 6505 0 0 16 0 1 0 19849988 20414464 2177 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4984 2177 413 48 0 4936 0
[pid=4868] vsize: 19936
Current children cumulated CPU time (s) 805.85
Current children cumulated vsize (Kb) 22064
[startup+1200.09 s]
Raw data (loadavg): 1.03 1.07 1.04 2/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) R 4861 4861 4060 0 -1 0 2256 0 0 0 16106 6711 0 0 21 0 1 0 19849988 20160512 2179 4294967295 134512640 134702520 3221223712 3221146028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4922 2179 413 48 0 4874 0
[pid=4868] vsize: 19688
Current children cumulated CPU time (s) 811.66
Current children cumulated vsize (Kb) 21816
[startup+1210.09 s]
Raw data (loadavg): 1.02 1.07 1.04 2/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) R 4861 4861 4060 0 -1 0 2259 0 0 0 16642 6864 0 0 18 0 1 0 19849988 20160512 2182 4294967295 134512640 134702520 3221223712 3221222992 134553093 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4922 2182 413 48 0 4874 0
[pid=4868] vsize: 19688
Current children cumulated CPU time (s) 818.55
Current children cumulated vsize (Kb) 21816
[startup+1220.09 s]
Raw data (loadavg): 1.02 1.07 1.04 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2271 0 0 0 17184 7012 0 0 16 0 1 0 19849988 20176896 2194 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4926 2194 413 48 0 4878 0
[pid=4868] vsize: 19704
Current children cumulated CPU time (s) 825.45
Current children cumulated vsize (Kb) 21832
[startup+1230.1 s]
Raw data (loadavg): 1.02 1.06 1.04 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2273 0 0 0 17445 7251 0 0 16 0 1 0 19849988 20430848 2196 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4988 2196 413 48 0 4940 0
[pid=4868] vsize: 19952
Current children cumulated CPU time (s) 830.45
Current children cumulated vsize (Kb) 22080
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=4868) exited with status: 2
New process pid=4869
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=4869) exited with status: 0
New process pid=4870
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+1240.1 s]
Raw data (loadavg): 1.01 1.06 1.04 2/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) R 4861 4861 4060 0 -1 0 1840 0 0 0 369 87 0 0 17 0 1 0 19890019 10256384 1811 4294967295 134512640 134702520 3221223040 3221222176 134552819 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4870/statm): 2504 1811 413 48 0 2456 0
[pid=4870] vsize: 10016
Current children cumulated CPU time (s) 837.48
Current children cumulated vsize (Kb) 12144
[startup+1250.1 s]
Raw data (loadavg): 1.01 1.06 1.04 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 1841 0 0 0 745 286 0 0 17 0 1 0 19890019 10256384 1812 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4870/statm): 2504 1812 413 48 0 2456 0
[pid=4870] vsize: 10016
Current children cumulated CPU time (s) 843.23
Current children cumulated vsize (Kb) 12144
[startup+1260.1 s]
Raw data (loadavg): 1.01 1.06 1.04 2/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) R 4861 4861 4060 0 -1 0 1842 0 0 0 1121 490 0 0 17 0 1 0 19890019 10256384 1813 4294967295 134512640 134702520 3221223040 3221222176 134553287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4870/statm): 2504 1813 413 48 0 2456 0
[pid=4870] vsize: 10016
Current children cumulated CPU time (s) 849.03
Current children cumulated vsize (Kb) 12144
[startup+1270.1 s]
Raw data (loadavg): 1.01 1.05 1.04 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 1842 0 0 0 1493 690 0 0 17 0 1 0 19890019 10256384 1813 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4870/statm): 2504 1813 413 48 0 2456 0
[pid=4870] vsize: 10016
Current children cumulated CPU time (s) 854.75
Current children cumulated vsize (Kb) 12144
[startup+1280.1 s]
Raw data (loadavg): 1.01 1.05 1.04 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 1843 0 0 0 1876 882 0 0 17 0 1 0 19890019 10256384 1814 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4870/statm): 2504 1814 413 48 0 2456 0
[pid=4870] vsize: 10016
Current children cumulated CPU time (s) 860.5
Current children cumulated vsize (Kb) 12144
[startup+1290.1 s]
Raw data (loadavg): 1.00 1.05 1.04 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 1843 0 0 0 2255 1089 0 0 17 0 1 0 19890019 10256384 1814 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 2504 1814 413 48 0 2456 0
[pid=4870] vsize: 10016
Current children cumulated CPU time (s) 866.36
Current children cumulated vsize (Kb) 12144
[startup+1300.1 s]
Raw data (loadavg): 1.00 1.05 1.03 2/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) R 4861 4861 4060 0 -1 0 1843 0 0 0 2629 1295 0 0 16 0 1 0 19890019 10256384 1814 4294967295 134512640 134702520 3221223040 3221222116 134549003 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4870/statm): 2504 1814 413 48 0 2456 0
[pid=4870] vsize: 10016
Current children cumulated CPU time (s) 872.16
Current children cumulated vsize (Kb) 12144
[startup+1310.1 s]
Raw data (loadavg): 1.00 1.05 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 1843 0 0 0 2995 1506 0 0 17 0 1 0 19890019 10256384 1814 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4870/statm): 2504 1814 413 48 0 2456 0
[pid=4870] vsize: 10016
Current children cumulated CPU time (s) 877.93
Current children cumulated vsize (Kb) 12144
[startup+1320.1 s]
Raw data (loadavg): 1.00 1.04 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 1843 0 0 0 3361 1709 0 0 16 0 1 0 19890019 10256384 1814 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 2504 1814 413 48 0 2456 0
[pid=4870] vsize: 10016
Current children cumulated CPU time (s) 883.62
Current children cumulated vsize (Kb) 12144
[startup+1330.1 s]
Raw data (loadavg): 1.00 1.04 1.03 2/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) R 4861 4861 4060 0 -1 0 1848 0 0 0 3745 1911 0 0 18 0 1 0 19890019 10256384 1819 4294967295 134512640 134702520 3221223040 3221201936 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4870/statm): 2504 1819 413 48 0 2456 0
[pid=4870] vsize: 10016
Current children cumulated CPU time (s) 889.48
Current children cumulated vsize (Kb) 12144
[startup+1340.1 s]
Raw data (loadavg): 1.00 1.04 1.03 2/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) R 4861 4861 4060 0 -1 0 1959 0 0 0 4181 2095 0 0 16 0 1 0 19890019 18853888 1929 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4603 1929 413 48 0 4555 0
[pid=4870] vsize: 18412
Current children cumulated CPU time (s) 895.68
Current children cumulated vsize (Kb) 20540
[startup+1350.1 s]
Raw data (loadavg): 1.00 1.04 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 1979 0 0 0 4653 2269 0 0 16 0 1 0 19890019 18857984 1948 4294967295 134512640 134702520 3221223040 3221222296 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4870/statm): 4604 1948 413 48 0 4556 0
[pid=4870] vsize: 18416
Current children cumulated CPU time (s) 902.14
Current children cumulated vsize (Kb) 20544
[startup+1360.1 s]
Raw data (loadavg): 1.00 1.04 1.03 2/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) R 4861 4861 4060 0 -1 0 1990 0 0 0 5107 2448 0 0 18 0 1 0 19890019 18857984 1957 4294967295 134512640 134702520 3221223040 3221222296 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4604 1957 413 48 0 4556 0
[pid=4870] vsize: 18416
Current children cumulated CPU time (s) 908.47
Current children cumulated vsize (Kb) 20544
[startup+1370.1 s]
Raw data (loadavg): 1.00 1.04 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 1993 0 0 0 5530 2633 0 0 17 0 1 0 19890019 18857984 1959 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4604 1959 413 48 0 4556 0
[pid=4870] vsize: 18416
Current children cumulated CPU time (s) 914.55
Current children cumulated vsize (Kb) 20544
[startup+1380.11 s]
Raw data (loadavg): 1.00 1.03 1.03 2/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) R 4861 4861 4060 0 -1 0 1993 0 0 0 5903 2837 0 0 17 0 1 0 19890019 18857984 1959 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4604 1959 413 48 0 4556 0
[pid=4870] vsize: 18416
Current children cumulated CPU time (s) 920.32
Current children cumulated vsize (Kb) 20544
[startup+1390.11 s]
Raw data (loadavg): 1.00 1.03 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 1993 0 0 0 6282 3031 0 0 17 0 1 0 19890019 18857984 1959 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4604 1959 413 48 0 4556 0
[pid=4870] vsize: 18416
Current children cumulated CPU time (s) 926.05
Current children cumulated vsize (Kb) 20544
[startup+1400.11 s]
Raw data (loadavg): 1.00 1.03 1.02 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 1993 0 0 0 6658 3241 0 0 17 0 1 0 19890019 18857984 1959 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4604 1959 413 48 0 4556 0
[pid=4870] vsize: 18416
Current children cumulated CPU time (s) 931.91
Current children cumulated vsize (Kb) 20544
[startup+1410.11 s]
Raw data (loadavg): 1.00 1.03 1.02 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 1993 0 0 0 7042 3439 0 0 17 0 1 0 19890019 18857984 1959 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4604 1959 413 48 0 4556 0
[pid=4870] vsize: 18416
Current children cumulated CPU time (s) 937.73
Current children cumulated vsize (Kb) 20544
[startup+1420.11 s]
Raw data (loadavg): 1.08 1.04 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 1993 0 0 0 7423 3651 0 0 16 0 1 0 19890019 18857984 1959 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4604 1959 413 48 0 4556 0
[pid=4870] vsize: 18416
Current children cumulated CPU time (s) 943.66
Current children cumulated vsize (Kb) 20544
[startup+1430.11 s]
Raw data (loadavg): 1.07 1.04 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 1993 0 0 0 7802 3850 0 0 16 0 1 0 19890019 18857984 1959 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4604 1959 413 48 0 4556 0
[pid=4870] vsize: 18416
Current children cumulated CPU time (s) 949.44
Current children cumulated vsize (Kb) 20544
[startup+1440.11 s]
Raw data (loadavg): 1.06 1.04 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 1993 0 0 0 8177 4049 0 0 17 0 1 0 19890019 18857984 1959 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4870/statm): 4604 1959 413 48 0 4556 0
[pid=4870] vsize: 18416
Current children cumulated CPU time (s) 955.18
Current children cumulated vsize (Kb) 20544
[startup+1450.11 s]
Raw data (loadavg): 1.05 1.04 1.02 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 1993 0 0 0 8552 4253 0 0 17 0 1 0 19890019 18857984 1959 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4870/statm): 4604 1959 413 48 0 4556 0
[pid=4870] vsize: 18416
Current children cumulated CPU time (s) 960.97
Current children cumulated vsize (Kb) 20544
[startup+1460.11 s]
Raw data (loadavg): 1.04 1.04 1.02 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 1994 0 0 0 8923 4453 0 0 16 0 1 0 19890019 19107840 1960 4294967295 134512640 134702520 3221223040 3221222040 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4665 1960 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 966.68
Current children cumulated vsize (Kb) 20788
[startup+1470.11 s]
Raw data (loadavg): 1.11 1.05 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 2001 0 0 0 9321 4648 0 0 19 0 1 0 19890019 18857984 1964 4294967295 134512640 134702520 3221223040 3221222552 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4604 1964 413 48 0 4556 0
[pid=4870] vsize: 18416
Current children cumulated CPU time (s) 972.61
Current children cumulated vsize (Kb) 20544
[startup+1480.11 s]
Raw data (loadavg): 1.10 1.05 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 2006 0 0 0 9755 4832 0 0 16 0 1 0 19890019 19107840 1968 4294967295 134512640 134702520 3221223040 3221222040 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4870/statm): 4665 1968 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 978.79
Current children cumulated vsize (Kb) 20788
[startup+1490.11 s]
Raw data (loadavg): 1.08 1.05 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 2014 0 0 0 10223 4999 0 0 16 0 1 0 19890019 19107840 1973 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4870/statm): 4665 1973 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 985.14
Current children cumulated vsize (Kb) 20788
[startup+1500.11 s]
Raw data (loadavg): 1.07 1.04 1.03 2/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) R 4861 4861 4060 0 -1 0 2018 0 0 0 10661 5183 0 0 17 0 1 0 19890019 19107840 1975 4294967295 134512640 134702520 3221223040 3221221936 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4665 1975 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 991.36
Current children cumulated vsize (Kb) 20788
[startup+1510.12 s]
Raw data (loadavg): 1.06 1.04 1.02 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 2018 0 0 0 11039 5388 0 0 16 0 1 0 19890019 19107840 1975 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4665 1975 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 997.19
Current children cumulated vsize (Kb) 20788
[startup+1520.12 s]
Raw data (loadavg): 1.05 1.04 1.02 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 2018 0 0 0 11424 5590 0 0 16 0 1 0 19890019 19107840 1975 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4665 1975 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 1003.06
Current children cumulated vsize (Kb) 20788
[startup+1530.12 s]
Raw data (loadavg): 1.04 1.04 1.02 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 2018 0 0 0 11801 5794 0 0 17 0 1 0 19890019 19107840 1975 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4870/statm): 4665 1975 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 1008.87
Current children cumulated vsize (Kb) 20788
[startup+1540.12 s]
Raw data (loadavg): 1.19 1.07 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 2018 0 0 0 12185 5991 0 0 16 0 1 0 19890019 19107840 1975 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4665 1975 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 1014.68
Current children cumulated vsize (Kb) 20788
[startup+1550.12 s]
Raw data (loadavg): 1.16 1.07 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 2018 0 0 0 12548 6200 0 0 16 0 1 0 19890019 19107840 1975 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4870/statm): 4665 1975 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 1020.4
Current children cumulated vsize (Kb) 20788
[startup+1560.12 s]
Raw data (loadavg): 1.13 1.06 1.03 2/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) R 4861 4861 4060 0 -1 0 2018 0 0 0 12916 6404 0 0 17 0 1 0 19890019 19107840 1975 4294967295 134512640 134702520 3221223040 3221221936 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4665 1975 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 1026.12
Current children cumulated vsize (Kb) 20788
[startup+1570.12 s]
Raw data (loadavg): 1.11 1.06 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 2018 0 0 0 13295 6599 0 0 16 0 1 0 19890019 19107840 1975 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4665 1975 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 1031.86
Current children cumulated vsize (Kb) 20788
[startup+1580.12 s]
Raw data (loadavg): 1.17 1.08 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 2018 0 0 0 13676 6803 0 0 17 0 1 0 19890019 19107840 1975 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4870/statm): 4665 1975 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 1037.71
Current children cumulated vsize (Kb) 20788
[startup+1590.12 s]
Raw data (loadavg): 1.15 1.07 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 2019 0 0 0 14020 7019 0 0 16 0 1 0 19890019 19107840 1976 4294967295 134512640 134702520 3221223040 3221222040 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4665 1976 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 1043.31
Current children cumulated vsize (Kb) 20788
[startup+1600.12 s]
Raw data (loadavg): 1.12 1.07 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 2027 0 0 0 14495 7185 0 0 17 0 1 0 19890019 18857984 1979 4294967295 134512640 134702520 3221223040 3221222296 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4604 1979 413 48 0 4556 0
[pid=4870] vsize: 18416
Current children cumulated CPU time (s) 1049.72
Current children cumulated vsize (Kb) 20544
[startup+1610.12 s]
Raw data (loadavg): 1.10 1.07 1.03 2/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) R 4861 4861 4060 0 -1 0 2033 0 0 0 14945 7362 0 0 23 0 1 0 19890019 18857984 1981 4294967295 134512640 134702520 3221223040 3221101696 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4870/statm): 4604 1981 413 48 0 4556 0
[pid=4870] vsize: 18416
Current children cumulated CPU time (s) 1055.99
Current children cumulated vsize (Kb) 20544
[startup+1620.12 s]
Raw data (loadavg): 1.09 1.06 1.03 2/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) R 4861 4861 4060 0 -1 0 2041 0 0 0 15355 7549 0 0 18 0 1 0 19890019 18857984 1985 4294967295 134512640 134702520 3221223040 3221222512 134657210 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4604 1985 413 48 0 4556 0
[pid=4870] vsize: 18416
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (Kb) 20544
[startup+1630.12 s]
Raw data (loadavg): 1.07 1.06 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 2043 0 0 0 15803 7730 0 0 17 0 1 0 19890019 19107840 1987 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4665 1987 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 1068.25
Current children cumulated vsize (Kb) 20788
[startup+1640.12 s]
Raw data (loadavg): 1.14 1.07 1.03 2/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) R 4861 4861 4060 0 -1 0 2043 0 0 0 16183 7932 0 0 16 0 1 0 19890019 19107840 1987 4294967295 134512640 134702520 3221223040 3221222216 134550241 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4665 1987 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 1074.07
Current children cumulated vsize (Kb) 20788
[startup+1650.12 s]
Raw data (loadavg): 1.12 1.07 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 2043 0 0 0 16555 8139 0 0 17 0 1 0 19890019 19107840 1987 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4665 1987 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 1079.86
Current children cumulated vsize (Kb) 20788
[startup+1660.13 s]
Raw data (loadavg): 1.17 1.08 1.04 2/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) R 4861 4861 4060 0 -1 0 2043 0 0 0 16936 8338 0 0 17 0 1 0 19890019 19107840 1987 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4665 1987 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 1085.66
Current children cumulated vsize (Kb) 20788
[startup+1670.13 s]
Raw data (loadavg): 1.15 1.08 1.04 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 2043 0 0 0 17311 8541 0 0 17 0 1 0 19890019 19107840 1987 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4665 1987 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 1091.44
Current children cumulated vsize (Kb) 20788
[startup+1680.13 s]
Raw data (loadavg): 1.12 1.08 1.03 2/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) R 4861 4861 4060 0 -1 0 2043 0 0 0 17685 8752 0 0 16 0 1 0 19890019 19107840 1987 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4665 1987 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 1097.29
Current children cumulated vsize (Kb) 20788
[startup+1690.13 s]
Raw data (loadavg): 1.10 1.08 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 2043 0 0 0 18059 8959 0 0 16 0 1 0 19890019 19107840 1987 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4870/statm): 4665 1987 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 1103.1
Current children cumulated vsize (Kb) 20788
[startup+1700.13 s]
Raw data (loadavg): 1.09 1.07 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 2043 0 0 0 18436 9157 0 0 16 0 1 0 19890019 19107840 1987 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4665 1987 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 1108.85
Current children cumulated vsize (Kb) 20788
[startup+1710.13 s]
Raw data (loadavg): 1.07 1.07 1.03 2/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 2043 0 0 0 18817 9359 0 0 17 0 1 0 19890019 19107840 1987 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4870/statm): 4665 1987 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 1114.68
Current children cumulated vsize (Kb) 20788
[startup+1720.13 s]
Raw data (loadavg): 1.14 1.08 1.04 2/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) R 4861 4861 4060 0 -1 0 2044 0 0 0 19151 9577 0 0 16 0 1 0 19890019 19107840 1988 4294967295 134512640 134702520 3221223040 3221221808 134557203 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4665 1988 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 1120.2
Current children cumulated vsize (Kb) 20788
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=4870) exited with status: 2
New process pid=4871
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=4871) exited with status: 0
New process pid=4872
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+1730.13 s]
Raw data (loadavg): 1.12 1.08 1.04 1/56 4872
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 497 11461 0 0 2 1 82919 29185 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4872/stat): 4872 (vallst) T 4861 4861 4060 0 -1 0 1833 0 0 0 438 150 0 0 16 0 1 0 19938762 10121216 1802 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4872/statm): 2471 1802 413 48 0 2423 0
[pid=4872] vsize: 9884
Current children cumulated CPU time (s) 1126.95
Current children cumulated vsize (Kb) 12012
[startup+1740.13 s]
Raw data (loadavg): 1.10 1.08 1.03 2/56 4872
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 497 11461 0 0 2 1 82919 29185 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4872/stat): 4872 (vallst) R 4861 4861 4060 0 -1 0 1927 0 0 0 816 351 0 0 20 0 1 0 19938762 18386944 1896 4294967295 134512640 134702520 3221223712 3221169388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4872/statm): 4489 1896 413 48 0 4441 0
[pid=4872] vsize: 17956
Current children cumulated CPU time (s) 1132.74
Current children cumulated vsize (Kb) 20084
[startup+1750.13 s]
Raw data (loadavg): 1.08 1.08 1.03 2/56 4872
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 497 11461 0 0 2 1 82919 29185 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4872/stat): 4872 (vallst) R 4861 4861 4060 0 -1 0 1980 0 0 0 1390 488 0 0 22 0 1 0 19938762 18386944 1949 4294967295 134512640 134702520 3221223712 3221222736 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4872/statm): 4489 1949 413 48 0 4441 0
[pid=4872] vsize: 17956
Current children cumulated CPU time (s) 1139.85
Current children cumulated vsize (Kb) 20084
[startup+1760.13 s]
Raw data (loadavg): 1.07 1.07 1.03 1/56 4872
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 497 11461 0 0 2 1 82919 29185 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4872/stat): 4872 (vallst) T 4861 4861 4060 0 -1 0 1990 0 0 0 1882 656 0 0 16 0 1 0 19938762 18636800 1959 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4872/statm): 4550 1959 413 48 0 4502 0
[pid=4872] vsize: 18200
Current children cumulated CPU time (s) 1146.45
Current children cumulated vsize (Kb) 20328
[startup+1770.13 s]
Raw data (loadavg): 1.06 1.07 1.03 1/56 4872
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 497 11461 0 0 2 1 82919 29185 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4872/stat): 4872 (vallst) T 4861 4861 4060 0 -1 0 1991 0 0 0 2174 885 0 0 16 0 1 0 19938762 18636800 1960 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4872/statm): 4550 1960 413 48 0 4502 0
[pid=4872] vsize: 18200
Current children cumulated CPU time (s) 1151.66
Current children cumulated vsize (Kb) 20328
[startup+1780.13 s]
Raw data (loadavg): 1.05 1.07 1.03 1/56 4872
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 497 11461 0 0 2 1 82919 29185 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4872/stat): 4872 (vallst) T 4861 4861 4060 0 -1 0 2001 0 0 0 2710 1040 0 0 17 0 1 0 19938762 18386944 1967 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4872/statm): 4489 1967 413 48 0 4441 0
[pid=4872] vsize: 17956
Current children cumulated CPU time (s) 1158.57
Current children cumulated vsize (Kb) 20084
[startup+1790.13 s]
Raw data (loadavg): 1.04 1.06 1.03 1/56 4872
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 497 11461 0 0 2 1 82919 29185 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4872/stat): 4872 (vallst) T 4861 4861 4060 0 -1 0 2006 0 0 0 3270 1182 0 0 16 0 1 0 19938762 18386944 1971 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4872/statm): 4489 1971 413 48 0 4441 0
[pid=4872] vsize: 17956
Current children cumulated CPU time (s) 1165.59
Current children cumulated vsize (Kb) 20084
[startup+1800.13 s]
Raw data (loadavg): 1.04 1.06 1.03 1/56 4872
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 497 11461 0 0 2 1 82919 29185 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4872/stat): 4872 (vallst) T 4861 4861 4060 0 -1 0 2009 0 0 0 3583 1403 0 0 16 0 1 0 19938762 18636800 1974 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4872/statm): 4550 1974 413 48 0 4502 0
[pid=4872] vsize: 18200
Current children cumulated CPU time (s) 1170.93
Current children cumulated vsize (Kb) 20328
[startup+1810.14 s]
Raw data (loadavg): 1.10 1.07 1.03 2/56 4872
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 497 11461 0 0 2 1 82919 29185 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4872/stat): 4872 (vallst) R 4861 4861 4060 0 -1 0 2014 0 0 0 4042 1584 0 0 16 0 1 0 19938762 18386944 1976 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4872/statm): 4489 1976 413 48 0 4441 0
[pid=4872] vsize: 17956
Current children cumulated CPU time (s) 1177.33
Current children cumulated vsize (Kb) 20084
[startup+1820.14 s]
Raw data (loadavg): 1.09 1.07 1.03 2/56 4872
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 497 11461 0 0 2 1 82919 29185 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4872/stat): 4872 (vallst) R 4861 4861 4060 0 -1 0 2022 0 0 0 4607 1721 0 0 16 0 1 0 19938762 18386944 1983 4294967295 134512640 134702520 3221223712 3221222944 1074752273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4872/statm): 4489 1983 413 48 0 4441 0
[pid=4872] vsize: 17956
Current children cumulated CPU time (s) 1184.35
Current children cumulated vsize (Kb) 20084
[startup+1830.14 s]
Raw data (loadavg): 1.07 1.07 1.03 1/56 4872
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 497 11461 0 0 2 1 82919 29185 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4872/stat): 4872 (vallst) T 4861 4861 4060 0 -1 0 2024 0 0 0 5006 1919 0 0 16 0 1 0 19938762 18636800 1985 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4872/statm): 4550 1985 413 48 0 4502 0
[pid=4872] vsize: 18200
Current children cumulated CPU time (s) 1190.32
Current children cumulated vsize (Kb) 20328
[startup+1840.14 s]
Raw data (loadavg): 1.06 1.07 1.03 1/56 4872
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 497 11461 0 0 2 1 82919 29185 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4872/stat): 4872 (vallst) T 4861 4861 4060 0 -1 0 2030 0 0 0 5392 2127 0 0 17 0 1 0 19938762 18386944 1988 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4872/statm): 4489 1988 413 48 0 4441 0
[pid=4872] vsize: 17956
Current children cumulated CPU time (s) 1196.26
Current children cumulated vsize (Kb) 20084
[startup+1850.14 s]
Raw data (loadavg): 1.05 1.06 1.03 1/56 4872
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 497 11461 0 0 2 1 82919 29185 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4872/stat): 4872 (vallst) T 4861 4861 4060 0 -1 0 2033 0 0 0 5960 2268 0 0 17 0 1 0 19938762 18386944 1991 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4872/statm): 4489 1991 413 48 0 4441 0
[pid=4872] vsize: 17956
Current children cumulated CPU time (s) 1203.35
Current children cumulated vsize (Kb) 20084
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1850.14 s]
Raw data (loadavg): 1.05 1.06 1.03 1/56 4872
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 497 11461 0 0 2 1 82919 29185 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4872/stat): 4872 (vallst) T 4861 4861 4060 0 -1 0 2033 0 0 0 5960 2268 0 0 17 0 1 0 19938762 18386944 1991 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4872/statm): 4489 1991 413 48 0 4441 0
[pid=4872] vsize: 17956
Current children cumulated CPU time (s) 1203.35
Current children cumulated vsize (Kb) 20084
Sending SIGTERM to -4861
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=4874
New process pid=4875
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/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/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/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1693/stat
open syscall for file /proc/1693/status
open syscall for file /proc/1693/cmdline
open syscall for file /proc/1693/environ
open syscall for file /proc/1695/stat
open syscall for file /proc/1695/status
open syscall for file /proc/1695/cmdline
open syscall for file /proc/1695/environ
open syscall for file /proc/4042/stat
open syscall for file /proc/4042/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/4042/cmdline
open syscall for file /proc/4042/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/4822/stat
open syscall for file /proc/4822/status
open syscall for file /proc/4822/cmdline
open syscall for file /proc/4822/environ
open syscall for file /proc/4860/stat
open syscall for file /proc/4860/status
open syscall for file /proc/4860/cmdline
open syscall for file /proc/4860/environ
open syscall for file /proc/4861/stat
open syscall for file /proc/4861/status
open syscall for file /proc/4861/cmdline
open syscall for file /proc/4861/environ
open syscall for file /proc/4872/stat
open syscall for file /proc/4872/status
open syscall for file /proc/4872/cmdline
open syscall for file /proc/4872/environ
open syscall for file /proc/4874/stat
open syscall for file /proc/4874/status
open syscall for file /proc/4874/cmdline
open syscall for file /proc/4874/environ
open syscall for file /proc/4875/stat
open syscall for file /proc/4875/status
open syscall for file /proc/4875/cmdline
open syscall for file /proc/4875/environ
One traced child (pid=4874) exited with status: 0
One traced child (pid=4875) exited with status: 0
New process pid=4876
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=4876) exited with status: 0
New process pid=4877
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=4877) exited with status: 0
One traced child (pid=4861) 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=4872) exited with status: 3
All traced children have exited ! Game is over.
Child status: 3
Real time (s): 1850.79
CPU time (s): 82.9134
CPU user time (s): 60.1609
CPU system time (s): 22.7525
CPU usage (%): 4.47989
Max. virtual memory (cumulated for all children) (Kb): 25908