1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 28 (#equs: 18)
#decisions: 369131; #end-nodes: 120780;
#proof improvement attempts: 0; #restarts: 672
Current batch, end-nodes: 0 / 257 (247)
#axs: 2903, #non-axs: 2175
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: 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: 28 (#equs: 18)
Time taken: 12 min, 0 sec
2:
Error: changing-setting file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options couldn't be opened.
No such file or directory
seed: 0
Nr of vars set: 28 (#equs: 0)
Nr of vars set: 28 (#equs: 0)
Interupt request received.
#decisions: 239812; #end-nodes: 82028;
#proof improvement attempts: 0; #restarts: 427
Current batch, end-nodes: 63 / 230 (226)
#axs: 2881, #non-axs: 7131
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 5697 (#equs: 0)
Time taken: 8 min, 8 sec
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) R 32143 32144 19316 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1847686186 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32144/statm): 174 3 169 147 0 27 0
[pid=32144] 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=32145
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=32145) exited with status: 0
New process pid=32146
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=32146) exited with status: 0
New process pid=32147
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-20-10-aflow40b.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0062 s]
Raw data (loadavg): 0.94 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1551 0 0 0 964 14 0 0 25 0 1 0 1847686193 7983104 1455 4294967295 134512640 134702520 3221223952 3221223448 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 1949 1455 413 48 0 1901 0
[pid=32147] vsize: 7796
Current children cumulated CPU time (s) 9.8
Current children cumulated vsize (Kb) 9924
[startup+20.0068 s]
Raw data (loadavg): 0.95 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1613 0 0 0 1937 24 0 0 25 0 1 0 1847686193 13881344 1517 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3389 1517 413 48 0 3341 0
[pid=32147] vsize: 13556
Current children cumulated CPU time (s) 19.63
Current children cumulated vsize (Kb) 15684
[startup+30.0074 s]
Raw data (loadavg): 0.95 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1670 0 0 0 2897 38 0 0 25 0 1 0 1847686193 13889536 1574 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1574 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 29.37
Current children cumulated vsize (Kb) 15692
[startup+40.008 s]
Raw data (loadavg): 0.96 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 1670 0 0 0 3862 50 0 0 25 0 1 0 1847686193 13889536 1574 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1574 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 39.14
Current children cumulated vsize (Kb) 15692
[startup+50.0096 s]
Raw data (loadavg): 0.97 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1680 0 0 0 4817 66 0 0 25 0 1 0 1847686193 13889536 1584 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1584 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 48.85
Current children cumulated vsize (Kb) 15692
[startup+60.0102 s]
Raw data (loadavg): 0.97 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1683 0 0 0 5770 82 0 0 25 0 1 0 1847686193 13889536 1587 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1587 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 58.54
Current children cumulated vsize (Kb) 15692
[startup+70.0108 s]
Raw data (loadavg): 0.97 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1684 0 0 0 6722 97 0 0 25 0 1 0 1847686193 13889536 1588 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1588 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 68.21
Current children cumulated vsize (Kb) 15692
[startup+80.0115 s]
Raw data (loadavg): 0.98 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 1686 0 0 0 7679 112 0 0 25 0 1 0 1847686193 13889536 1590 4294967295 134512640 134702520 3221223952 3221222976 134553133 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/32147/statm): 3391 1590 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 77.93
Current children cumulated vsize (Kb) 15692
[startup+90.012 s]
Raw data (loadavg): 0.98 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1686 0 0 0 8618 134 0 0 25 0 1 0 1847686193 13889536 1590 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1590 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 87.54
Current children cumulated vsize (Kb) 15692
[startup+100.013 s]
Raw data (loadavg): 0.98 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1686 0 0 0 9559 153 0 0 25 0 1 0 1847686193 13889536 1590 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1590 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 97.14
Current children cumulated vsize (Kb) 15692
[startup+110.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1686 0 0 0 10511 168 0 0 25 0 1 0 1847686193 13889536 1590 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1590 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 106.81
Current children cumulated vsize (Kb) 15692
[startup+120.014 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1686 0 0 0 11470 180 0 0 25 0 1 0 1847686193 13889536 1590 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1590 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 116.52
Current children cumulated vsize (Kb) 15692
[startup+130.014 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1697 0 0 0 12442 190 0 0 25 0 1 0 1847686193 13889536 1601 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1601 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 126.34
Current children cumulated vsize (Kb) 15692
[startup+140.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 1719 0 0 0 13411 201 0 0 25 0 1 0 1847686193 13889536 1623 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1623 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 136.14
Current children cumulated vsize (Kb) 15692
[startup+150.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1721 0 0 0 14370 216 0 0 25 0 1 0 1847686193 13889536 1625 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1625 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 145.88
Current children cumulated vsize (Kb) 15692
[startup+160.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 1760 0 0 0 15337 228 0 0 25 0 1 0 1847686193 13889536 1664 4294967295 134512640 134702520 3221223952 3221223232 134552472 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1664 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 155.67
Current children cumulated vsize (Kb) 15692
[startup+170.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1761 0 0 0 16303 239 0 0 17 0 1 0 1847686193 13889536 1665 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1665 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 165.44
Current children cumulated vsize (Kb) 15692
[startup+180.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1761 0 0 0 17241 261 0 0 25 0 1 0 1847686193 13889536 1665 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1665 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 175.04
Current children cumulated vsize (Kb) 15692
[startup+190.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 1761 0 0 0 18182 280 0 0 25 0 1 0 1847686193 13889536 1665 4294967295 134512640 134702520 3221223952 3221223232 134553333 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1665 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 184.64
Current children cumulated vsize (Kb) 15692
[startup+200.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1787 0 0 0 19151 291 0 0 25 0 1 0 1847686193 13889536 1691 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1691 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 194.44
Current children cumulated vsize (Kb) 15692
[startup+210.019 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1787 0 0 0 20118 303 0 0 25 0 1 0 1847686193 13889536 1691 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1691 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 204.23
Current children cumulated vsize (Kb) 15692
[startup+220.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 1787 0 0 0 21082 316 0 0 25 0 1 0 1847686193 13889536 1691 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1691 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 214
Current children cumulated vsize (Kb) 15692
[startup+230.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 1787 0 0 0 22043 329 0 0 25 0 1 0 1847686193 13889536 1691 4294967295 134512640 134702520 3221223952 3221223232 134553340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1691 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 223.74
Current children cumulated vsize (Kb) 15692
[startup+240.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1787 0 0 0 23005 342 0 0 25 0 1 0 1847686193 13889536 1691 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1691 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 233.49
Current children cumulated vsize (Kb) 15692
[startup+250.021 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1808 0 0 0 23975 352 0 0 25 0 1 0 1847686193 13889536 1712 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1712 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 243.29
Current children cumulated vsize (Kb) 15692
[startup+260.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 1822 0 0 0 24945 362 0 0 25 0 1 0 1847686193 13889536 1726 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1726 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 253.09
Current children cumulated vsize (Kb) 15692
[startup+270.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 1855 0 0 0 25902 378 0 0 25 0 1 0 1847686193 13889536 1759 4294967295 134512640 134702520 3221223952 3221222976 134552347 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/32147/statm): 3391 1759 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 262.82
Current children cumulated vsize (Kb) 15692
[startup+280.023 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1855 0 0 0 26837 401 0 0 25 0 1 0 1847686193 13889536 1759 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1759 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 272.4
Current children cumulated vsize (Kb) 15692
[startup+290.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 1856 0 0 0 27782 421 0 0 25 0 1 0 1847686193 13889536 1759 4294967295 134512640 134702520 3221223952 3221223064 1074521190 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/32147/statm): 3391 1759 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 282.05
Current children cumulated vsize (Kb) 15692
[startup+300.025 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1856 0 0 0 28747 433 0 0 25 0 1 0 1847686193 13889536 1759 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1759 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 291.82
Current children cumulated vsize (Kb) 15692
[startup+310.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 1856 0 0 0 29705 446 0 0 25 0 1 0 1847686193 13889536 1759 4294967295 134512640 134702520 3221223952 3221223200 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1759 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 301.53
Current children cumulated vsize (Kb) 15692
[startup+320.027 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1864 0 0 0 30678 455 0 0 25 0 1 0 1847686193 13889536 1767 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1767 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 311.35
Current children cumulated vsize (Kb) 15692
[startup+330.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 1885 0 0 0 31642 467 0 0 25 0 1 0 1847686193 13889536 1788 4294967295 134512640 134702520 3221223952 3221223232 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1788 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 321.11
Current children cumulated vsize (Kb) 15692
[startup+340.027 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1897 0 0 0 32611 480 0 0 25 0 1 0 1847686193 13991936 1800 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3416 1800 413 48 0 3368 0
[pid=32147] vsize: 13664
Current children cumulated CPU time (s) 330.93
Current children cumulated vsize (Kb) 15792
[startup+350.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 1919 0 0 0 33589 487 0 0 25 0 1 0 1847686193 13991936 1822 4294967295 134512640 134702520 3221223952 3221223232 134553287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3416 1822 413 48 0 3368 0
[pid=32147] vsize: 13664
Current children cumulated CPU time (s) 340.78
Current children cumulated vsize (Kb) 15792
[startup+360.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 1936 0 0 0 34554 499 0 0 25 0 1 0 1847686193 13991936 1839 4294967295 134512640 134702520 3221223952 3221223072 134573406 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/32147/statm): 3416 1839 413 48 0 3368 0
[pid=32147] vsize: 13664
Current children cumulated CPU time (s) 350.55
Current children cumulated vsize (Kb) 15792
[startup+370.029 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1948 0 0 0 35515 512 0 0 25 0 1 0 1847686193 13991936 1851 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3416 1851 413 48 0 3368 0
[pid=32147] vsize: 13664
Current children cumulated CPU time (s) 360.29
Current children cumulated vsize (Kb) 15792
[startup+380.029 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1948 0 0 0 36449 535 0 0 25 0 1 0 1847686193 13991936 1851 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3416 1851 413 48 0 3368 0
[pid=32147] vsize: 13664
Current children cumulated CPU time (s) 369.86
Current children cumulated vsize (Kb) 15792
[startup+390.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1950 0 0 0 37405 550 0 0 25 0 1 0 1847686193 13991936 1852 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3416 1852 413 48 0 3368 0
[pid=32147] vsize: 13664
Current children cumulated CPU time (s) 379.57
Current children cumulated vsize (Kb) 15792
[startup+400.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 1950 0 0 0 38362 565 0 0 25 0 1 0 1847686193 13991936 1852 4294967295 134512640 134702520 3221223952 3221223072 134578896 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3416 1852 413 48 0 3368 0
[pid=32147] vsize: 13664
Current children cumulated CPU time (s) 389.29
Current children cumulated vsize (Kb) 15792
[startup+410.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 1950 0 0 0 39332 577 0 0 25 0 1 0 1847686193 13991936 1852 4294967295 134512640 134702520 3221223952 3221223172 134550210 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3416 1852 413 48 0 3368 0
[pid=32147] vsize: 13664
Current children cumulated CPU time (s) 399.11
Current children cumulated vsize (Kb) 15792
[startup+420.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 1950 0 0 0 40296 589 0 0 25 0 1 0 1847686193 13991936 1852 4294967295 134512640 134702520 3221223952 3221223232 134552239 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3416 1852 413 48 0 3368 0
[pid=32147] vsize: 13664
Current children cumulated CPU time (s) 408.87
Current children cumulated vsize (Kb) 15792
[startup+430.033 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1951 0 0 0 41266 600 0 0 25 0 1 0 1847686193 13991936 1853 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3416 1853 413 48 0 3368 0
[pid=32147] vsize: 13664
Current children cumulated CPU time (s) 418.68
Current children cumulated vsize (Kb) 15792
[startup+440.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 1953 0 0 0 42237 609 0 0 25 0 1 0 1847686193 13991936 1855 4294967295 134512640 134702520 3221223952 3221223232 134553287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3416 1855 413 48 0 3368 0
[pid=32147] vsize: 13664
Current children cumulated CPU time (s) 428.48
Current children cumulated vsize (Kb) 15792
[startup+450.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 2019 0 0 0 43208 621 0 0 25 0 1 0 1847686193 13991936 1921 4294967295 134512640 134702520 3221223952 3221223232 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3416 1921 413 48 0 3368 0
[pid=32147] vsize: 13664
Current children cumulated CPU time (s) 438.31
Current children cumulated vsize (Kb) 15792
[startup+460.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 2021 0 0 0 44182 629 0 0 25 0 1 0 1847686193 13991936 1923 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3416 1923 413 48 0 3368 0
[pid=32147] vsize: 13664
Current children cumulated CPU time (s) 448.13
Current children cumulated vsize (Kb) 15792
[startup+470.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 2024 0 0 0 45152 641 0 0 25 0 1 0 1847686193 14098432 1926 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3442 1926 413 48 0 3394 0
[pid=32147] vsize: 13768
Current children cumulated CPU time (s) 457.95
Current children cumulated vsize (Kb) 15896
[startup+480.036 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 2053 0 0 0 46114 655 0 0 25 0 1 0 1847686193 14835712 1955 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3622 1955 413 48 0 3574 0
[pid=32147] vsize: 14488
Current children cumulated CPU time (s) 467.71
Current children cumulated vsize (Kb) 16616
[startup+490.036 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 2053 0 0 0 47052 678 0 0 25 0 1 0 1847686193 14835712 1955 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3622 1955 413 48 0 3574 0
[pid=32147] vsize: 14488
Current children cumulated CPU time (s) 477.32
Current children cumulated vsize (Kb) 16616
[startup+500.037 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 2055 0 0 0 48001 697 0 0 25 0 1 0 1847686193 14835712 1956 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3622 1956 413 48 0 3574 0
[pid=32147] vsize: 14488
Current children cumulated CPU time (s) 487
Current children cumulated vsize (Kb) 16616
[startup+510.038 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 2058 0 0 0 48960 713 0 0 25 0 1 0 1847686193 14835712 1959 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3622 1959 413 48 0 3574 0
[pid=32147] vsize: 14488
Current children cumulated CPU time (s) 496.75
Current children cumulated vsize (Kb) 16616
[startup+520.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 2060 0 0 0 49926 724 0 0 25 0 1 0 1847686193 14835712 1961 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3622 1961 413 48 0 3574 0
[pid=32147] vsize: 14488
Current children cumulated CPU time (s) 506.52
Current children cumulated vsize (Kb) 16616
[startup+530.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 2062 0 0 0 50887 736 0 0 25 0 1 0 1847686193 14835712 1963 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3622 1963 413 48 0 3574 0
[pid=32147] vsize: 14488
Current children cumulated CPU time (s) 516.25
Current children cumulated vsize (Kb) 16616
[startup+540.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 2064 0 0 0 51858 746 0 0 25 0 1 0 1847686193 14835712 1965 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3622 1965 413 48 0 3574 0
[pid=32147] vsize: 14488
Current children cumulated CPU time (s) 526.06
Current children cumulated vsize (Kb) 16616
[startup+550.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 2066 0 0 0 52826 758 0 0 25 0 1 0 1847686193 14835712 1967 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3622 1967 413 48 0 3574 0
[pid=32147] vsize: 14488
Current children cumulated CPU time (s) 535.86
Current children cumulated vsize (Kb) 16616
[startup+560.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 2068 0 0 0 53791 771 0 0 25 0 1 0 1847686193 14835712 1969 4294967295 134512640 134702520 3221223952 3221223232 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3622 1969 413 48 0 3574 0
[pid=32147] vsize: 14488
Current children cumulated CPU time (s) 545.64
Current children cumulated vsize (Kb) 16616
[startup+570.043 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 2079 0 0 0 54755 784 0 0 25 0 1 0 1847686193 14835712 1980 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3622 1980 413 48 0 3574 0
[pid=32147] vsize: 14488
Current children cumulated CPU time (s) 555.41
Current children cumulated vsize (Kb) 16616
[startup+580.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 2089 0 0 0 55717 799 0 0 25 0 1 0 1847686193 14835712 1990 4294967295 134512640 134702520 3221223952 3221223232 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3622 1990 413 48 0 3574 0
[pid=32147] vsize: 14488
Current children cumulated CPU time (s) 565.18
Current children cumulated vsize (Kb) 16616
[startup+590.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 2123 0 0 0 56674 816 0 0 25 0 1 0 1847686193 15032320 2024 4294967295 134512640 134702520 3221223952 3221222976 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3670 2024 413 48 0 3622 0
[pid=32147] vsize: 14680
Current children cumulated CPU time (s) 574.92
Current children cumulated vsize (Kb) 16808
[startup+600.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 2123 0 0 0 57610 839 0 0 25 0 1 0 1847686193 15032320 2024 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/32147/statm): 3670 2024 413 48 0 3622 0
[pid=32147] vsize: 14680
Current children cumulated CPU time (s) 584.51
Current children cumulated vsize (Kb) 16808
[startup+610.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 2125 0 0 0 58555 857 0 0 25 0 1 0 1847686193 14942208 2025 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3648 2025 413 48 0 3600 0
[pid=32147] vsize: 14592
Current children cumulated CPU time (s) 594.14
Current children cumulated vsize (Kb) 16720
[startup+620.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 2139 0 0 0 59537 862 0 0 25 0 1 0 1847686193 14942208 2039 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3648 2039 413 48 0 3600 0
[pid=32147] vsize: 14592
Current children cumulated CPU time (s) 604.01
Current children cumulated vsize (Kb) 16720
[startup+630.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 2181 0 0 0 60501 877 0 0 25 0 1 0 1847686193 14942208 2081 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3648 2081 413 48 0 3600 0
[pid=32147] vsize: 14592
Current children cumulated CPU time (s) 613.8
Current children cumulated vsize (Kb) 16720
[startup+640.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 2182 0 0 0 61472 887 0 0 25 0 1 0 1847686193 14942208 2082 4294967295 134512640 134702520 3221223952 3221223232 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3648 2082 413 48 0 3600 0
[pid=32147] vsize: 14592
Current children cumulated CPU time (s) 623.61
Current children cumulated vsize (Kb) 16720
[startup+650.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 2182 0 0 0 62433 901 0 0 25 0 1 0 1847686193 14942208 2082 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3648 2082 413 48 0 3600 0
[pid=32147] vsize: 14592
Current children cumulated CPU time (s) 633.36
Current children cumulated vsize (Kb) 16720
[startup+660.048 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 2183 0 0 0 63398 914 0 0 25 0 1 0 1847686193 14942208 2083 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3648 2083 413 48 0 3600 0
[pid=32147] vsize: 14592
Current children cumulated CPU time (s) 643.14
Current children cumulated vsize (Kb) 16720
[startup+670.049 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 2184 0 0 0 64361 927 0 0 25 0 1 0 1847686193 14942208 2084 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3648 2084 413 48 0 3600 0
[pid=32147] vsize: 14592
Current children cumulated CPU time (s) 652.9
Current children cumulated vsize (Kb) 16720
[startup+680.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 2185 0 0 0 65335 935 0 0 25 0 1 0 1847686193 14942208 2085 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3648 2085 413 48 0 3600 0
[pid=32147] vsize: 14592
Current children cumulated CPU time (s) 662.72
Current children cumulated vsize (Kb) 16720
[startup+690.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 2185 0 0 0 66306 945 0 0 25 0 1 0 1847686193 14942208 2085 4294967295 134512640 134702520 3221223952 3221223232 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/32147/statm): 3648 2085 413 48 0 3600 0
[pid=32147] vsize: 14592
Current children cumulated CPU time (s) 672.53
Current children cumulated vsize (Kb) 16720
[startup+700.051 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 2186 0 0 0 67273 955 0 0 25 0 1 0 1847686193 14942208 2086 4294967295 134512640 134702520 3221223952 3221223232 134552361 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/32147/statm): 3648 2086 413 48 0 3600 0
[pid=32147] vsize: 14592
Current children cumulated CPU time (s) 682.3
Current children cumulated vsize (Kb) 16720
[startup+710.052 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 2187 0 0 0 68234 969 0 0 25 0 1 0 1847686193 14942208 2087 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3648 2087 413 48 0 3600 0
[pid=32147] vsize: 14592
Current children cumulated CPU time (s) 692.05
Current children cumulated vsize (Kb) 16720
[startup+720.053 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 2189 0 0 0 69199 983 0 0 25 0 1 0 1847686193 14942208 2089 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3648 2089 413 48 0 3600 0
[pid=32147] vsize: 14592
Current children cumulated CPU time (s) 701.84
Current children cumulated vsize (Kb) 16720
[startup+730.053 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 2189 0 0 0 70146 1001 0 0 25 0 1 0 1847686193 14942208 2089 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3648 2089 413 48 0 3600 0
[pid=32147] vsize: 14592
Current children cumulated CPU time (s) 711.49
Current children cumulated vsize (Kb) 16720
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=32147) exited with status: 2
New process pid=32148
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=32148) exited with status: 0
New process pid=32149
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+740.054 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 146 0 0 0 3 0 0 0 20 0 1 0 1847760197 1859584 118 4294967295 134512640 134702520 3221223712 3221223360 134633099 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/32149/statm): 454 118 413 48 0 406 0
[pid=32149] vsize: 1816
Current children cumulated CPU time (s) 721.05
Current children cumulated vsize (Kb) 3944
[startup+750.055 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 1394 0 0 0 983 9 0 0 25 0 1 0 1847760197 7790592 1365 4294967295 134512640 134702520 3221223712 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 1902 1365 413 48 0 1854 0
[pid=32149] vsize: 7608
Current children cumulated CPU time (s) 730.94
Current children cumulated vsize (Kb) 9736
[startup+760.055 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1522 0 0 0 1950 22 0 0 25 0 1 0 1847760197 13754368 1493 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3358 1493 413 48 0 3310 0
[pid=32149] vsize: 13432
Current children cumulated CPU time (s) 740.74
Current children cumulated vsize (Kb) 15560
[startup+770.056 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1557 0 0 0 2911 36 0 0 25 0 1 0 1847760197 13840384 1528 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3379 1528 413 48 0 3331 0
[pid=32149] vsize: 13516
Current children cumulated CPU time (s) 750.49
Current children cumulated vsize (Kb) 15644
[startup+780.056 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 1567 0 0 0 3876 48 0 0 25 0 1 0 1847760197 13840384 1538 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3379 1538 413 48 0 3331 0
[pid=32149] vsize: 13516
Current children cumulated CPU time (s) 760.26
Current children cumulated vsize (Kb) 15644
[startup+790.057 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1614 0 0 0 4847 58 0 0 25 0 1 0 1847760197 13840384 1585 4294967295 134512640 134702520 3221223712 3221222992 134552509 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3379 1585 413 48 0 3331 0
[pid=32149] vsize: 13516
Current children cumulated CPU time (s) 770.07
Current children cumulated vsize (Kb) 15644
[startup+800.058 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1617 0 0 0 5814 69 0 0 25 0 1 0 1847760197 13840384 1588 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/32149/statm): 3379 1588 413 48 0 3331 0
[pid=32149] vsize: 13516
Current children cumulated CPU time (s) 779.85
Current children cumulated vsize (Kb) 15644
[startup+810.058 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 1621 0 0 0 6783 81 0 0 25 0 1 0 1847760197 13840384 1592 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3379 1592 413 48 0 3331 0
[pid=32149] vsize: 13516
Current children cumulated CPU time (s) 789.66
Current children cumulated vsize (Kb) 15644
[startup+820.059 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 1630 0 0 0 7747 94 0 0 25 0 1 0 1847760197 14036992 1601 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3427 1601 413 48 0 3379 0
[pid=32149] vsize: 13708
Current children cumulated CPU time (s) 799.43
Current children cumulated vsize (Kb) 15836
[startup+830.059 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 1638 0 0 0 8704 110 0 0 25 0 1 0 1847760197 13942784 1609 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3404 1609 413 48 0 3356 0
[pid=32149] vsize: 13616
Current children cumulated CPU time (s) 809.16
Current children cumulated vsize (Kb) 15744
[startup+840.06 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 1639 0 0 0 9644 132 0 0 25 0 1 0 1847760197 13942784 1610 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3404 1610 413 48 0 3356 0
[pid=32149] vsize: 13616
Current children cumulated CPU time (s) 818.78
Current children cumulated vsize (Kb) 15744
[startup+850.061 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1641 0 0 0 10581 151 0 0 25 0 1 0 1847760197 13942784 1611 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3404 1611 413 48 0 3356 0
[pid=32149] vsize: 13616
Current children cumulated CPU time (s) 828.34
Current children cumulated vsize (Kb) 15744
[startup+860.062 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 1656 0 0 0 11536 168 0 0 25 0 1 0 1847760197 13942784 1626 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3404 1626 413 48 0 3356 0
[pid=32149] vsize: 13616
Current children cumulated CPU time (s) 838.06
Current children cumulated vsize (Kb) 15744
[startup+870.063 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1752 0 0 0 12506 180 0 0 25 0 1 0 1847760197 13942784 1722 4294967295 134512640 134702520 3221223712 3221222736 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/32149/statm): 3404 1722 413 48 0 3356 0
[pid=32149] vsize: 13616
Current children cumulated CPU time (s) 847.88
Current children cumulated vsize (Kb) 15744
[startup+880.064 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1753 0 0 0 13477 191 0 0 25 0 1 0 1847760197 13942784 1723 4294967295 134512640 134702520 3221223712 3221222992 134553147 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3404 1723 413 48 0 3356 0
[pid=32149] vsize: 13616
Current children cumulated CPU time (s) 857.7
Current children cumulated vsize (Kb) 15744
[startup+890.064 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1755 0 0 0 14453 201 0 0 25 0 1 0 1847760197 13942784 1725 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/32149/statm): 3404 1725 413 48 0 3356 0
[pid=32149] vsize: 13616
Current children cumulated CPU time (s) 867.56
Current children cumulated vsize (Kb) 15744
[startup+900.065 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 1761 0 0 0 15422 212 0 0 25 0 1 0 1847760197 13942784 1731 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3404 1731 413 48 0 3356 0
[pid=32149] vsize: 13616
Current children cumulated CPU time (s) 877.36
Current children cumulated vsize (Kb) 15744
[startup+910.066 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 1762 0 0 0 16392 222 0 0 25 0 1 0 1847760197 13942784 1732 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3404 1732 413 48 0 3356 0
[pid=32149] vsize: 13616
Current children cumulated CPU time (s) 887.16
Current children cumulated vsize (Kb) 15744
[startup+920.067 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1766 0 0 0 17358 234 0 0 25 0 1 0 1847760197 13942784 1736 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3404 1736 413 48 0 3356 0
[pid=32149] vsize: 13616
Current children cumulated CPU time (s) 896.94
Current children cumulated vsize (Kb) 15744
[startup+930.068 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 1768 0 0 0 18322 247 0 0 25 0 1 0 1847760197 13942784 1738 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3404 1738 413 48 0 3356 0
[pid=32149] vsize: 13616
Current children cumulated CPU time (s) 906.71
Current children cumulated vsize (Kb) 15744
[startup+940.068 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 1769 0 0 0 19261 268 0 0 25 0 1 0 1847760197 14139392 1739 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3452 1739 413 48 0 3404 0
[pid=32149] vsize: 13808
Current children cumulated CPU time (s) 916.31
Current children cumulated vsize (Kb) 15936
[startup+950.069 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1770 0 0 0 20188 292 0 0 25 0 1 0 1847760197 14045184 1739 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3429 1739 413 48 0 3381 0
[pid=32149] vsize: 13716
Current children cumulated CPU time (s) 925.82
Current children cumulated vsize (Kb) 15844
[startup+960.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 1771 0 0 0 21163 299 0 0 25 0 1 0 1847760197 14045184 1740 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3429 1740 413 48 0 3381 0
[pid=32149] vsize: 13716
Current children cumulated CPU time (s) 935.64
Current children cumulated vsize (Kb) 15844
[startup+970.071 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1773 0 0 0 22127 313 0 0 25 0 1 0 1847760197 14045184 1742 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/32149/statm): 3429 1742 413 48 0 3381 0
[pid=32149] vsize: 13716
Current children cumulated CPU time (s) 945.42
Current children cumulated vsize (Kb) 15844
[startup+980.072 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 1774 0 0 0 23100 321 0 0 25 0 1 0 1847760197 14045184 1743 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3429 1743 413 48 0 3381 0
[pid=32149] vsize: 13716
Current children cumulated CPU time (s) 955.23
Current children cumulated vsize (Kb) 15844
[startup+990.072 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1790 0 0 0 24067 333 0 0 25 0 1 0 1847760197 14045184 1759 4294967295 134512640 134702520 3221223712 3221222992 134553287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3429 1759 413 48 0 3381 0
[pid=32149] vsize: 13716
Current children cumulated CPU time (s) 965.02
Current children cumulated vsize (Kb) 15844
[startup+1000.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1809 0 0 0 25036 344 0 0 25 0 1 0 1847760197 14045184 1778 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3429 1778 413 48 0 3381 0
[pid=32149] vsize: 13716
Current children cumulated CPU time (s) 974.82
Current children cumulated vsize (Kb) 15844
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1828 0 0 0 26019 350 0 0 25 0 1 0 1847760197 14045184 1797 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3429 1797 413 48 0 3381 0
[pid=32149] vsize: 13716
Current children cumulated CPU time (s) 984.71
Current children cumulated vsize (Kb) 15844
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1844 0 0 0 26992 359 0 0 25 0 1 0 1847760197 14045184 1813 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/32149/statm): 3429 1813 413 48 0 3381 0
[pid=32149] vsize: 13716
Current children cumulated CPU time (s) 994.53
Current children cumulated vsize (Kb) 15844
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 1867 0 0 0 27972 366 0 0 25 0 1 0 1847760197 14045184 1836 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3429 1836 413 48 0 3381 0
[pid=32149] vsize: 13716
Current children cumulated CPU time (s) 1004.4
Current children cumulated vsize (Kb) 15844
[startup+1040.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1880 0 0 0 28940 378 0 0 18 0 1 0 1847760197 14045184 1849 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3429 1849 413 48 0 3381 0
[pid=32149] vsize: 13716
Current children cumulated CPU time (s) 1014.2
Current children cumulated vsize (Kb) 15844
[startup+1050.08 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 1907 0 0 0 29910 390 0 0 25 0 1 0 1847760197 14045184 1876 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3429 1876 413 48 0 3381 0
[pid=32149] vsize: 13716
Current children cumulated CPU time (s) 1024.02
Current children cumulated vsize (Kb) 15844
[startup+1060.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1907 0 0 0 30841 414 0 0 25 0 1 0 1847760197 14045184 1876 4294967295 134512640 134702520 3221223712 3221222736 134553175 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3429 1876 413 48 0 3381 0
[pid=32149] vsize: 13716
Current children cumulated CPU time (s) 1033.57
Current children cumulated vsize (Kb) 15844
[startup+1070.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1908 0 0 0 31785 433 0 0 25 0 1 0 1847760197 14057472 1876 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3432 1876 413 48 0 3384 0
[pid=32149] vsize: 13728
Current children cumulated CPU time (s) 1043.2
Current children cumulated vsize (Kb) 15856
[startup+1080.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1910 0 0 0 32756 443 0 0 25 0 1 0 1847760197 14057472 1878 4294967295 134512640 134702520 3221223712 3221222992 134552553 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3432 1878 413 48 0 3384 0
[pid=32149] vsize: 13728
Current children cumulated CPU time (s) 1053.01
Current children cumulated vsize (Kb) 15856
[startup+1090.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1912 0 0 0 33727 452 0 0 25 0 1 0 1847760197 14057472 1880 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3432 1880 413 48 0 3384 0
[pid=32149] vsize: 13728
Current children cumulated CPU time (s) 1062.81
Current children cumulated vsize (Kb) 15856
[startup+1100.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1915 0 0 0 34698 462 0 0 25 0 1 0 1847760197 14057472 1883 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3432 1883 413 48 0 3384 0
[pid=32149] vsize: 13728
Current children cumulated CPU time (s) 1072.62
Current children cumulated vsize (Kb) 15856
[startup+1110.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 1918 0 0 0 35667 473 0 0 25 0 1 0 1847760197 14159872 1886 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3457 1886 413 48 0 3409 0
[pid=32149] vsize: 13828
Current children cumulated CPU time (s) 1082.42
Current children cumulated vsize (Kb) 15956
[startup+1120.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 1921 0 0 0 36635 485 0 0 25 0 1 0 1847760197 14159872 1889 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3457 1889 413 48 0 3409 0
[pid=32149] vsize: 13828
Current children cumulated CPU time (s) 1092.22
Current children cumulated vsize (Kb) 15956
[startup+1130.08 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 1940 0 0 0 37600 496 0 0 25 0 1 0 1847760197 14159872 1908 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3457 1908 413 48 0 3409 0
[pid=32149] vsize: 13828
Current children cumulated CPU time (s) 1101.98
Current children cumulated vsize (Kb) 15956
[startup+1140.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1961 0 0 0 38558 510 0 0 25 0 1 0 1847760197 14159872 1929 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3457 1929 413 48 0 3409 0
[pid=32149] vsize: 13828
Current children cumulated CPU time (s) 1111.7
Current children cumulated vsize (Kb) 15956
[startup+1150.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1987 0 0 0 39535 517 0 0 25 0 1 0 1847760197 14905344 1955 4294967295 134512640 134702520 3221223712 3221222736 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/32149/statm): 3639 1955 413 48 0 3591 0
[pid=32149] vsize: 14556
Current children cumulated CPU time (s) 1121.54
Current children cumulated vsize (Kb) 16684
[startup+1160.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1997 0 0 0 40504 527 0 0 25 0 1 0 1847760197 14905344 1965 4294967295 134512640 134702520 3221223712 3221222992 134553111 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3639 1965 413 48 0 3591 0
[pid=32149] vsize: 14556
Current children cumulated CPU time (s) 1131.33
Current children cumulated vsize (Kb) 16684
[startup+1170.08 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 2017 0 0 0 41468 537 0 0 25 0 1 0 1847760197 14905344 1985 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3639 1985 413 48 0 3591 0
[pid=32149] vsize: 14556
Current children cumulated CPU time (s) 1141.07
Current children cumulated vsize (Kb) 16684
[startup+1180.08 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 2017 0 0 0 42400 561 0 0 25 0 1 0 1847760197 14905344 1985 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3639 1985 413 48 0 3591 0
[pid=32149] vsize: 14556
Current children cumulated CPU time (s) 1150.63
Current children cumulated vsize (Kb) 16684
[startup+1190.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 2018 0 0 0 43353 577 0 0 25 0 1 0 1847760197 14905344 1985 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3639 1985 413 48 0 3591 0
[pid=32149] vsize: 14556
Current children cumulated CPU time (s) 1160.32
Current children cumulated vsize (Kb) 16684
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 2018 0 0 0 44334 584 0 0 25 0 1 0 1847760197 14905344 1985 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3639 1985 413 48 0 3591 0
[pid=32149] vsize: 14556
Current children cumulated CPU time (s) 1170.2
Current children cumulated vsize (Kb) 16684
[startup+1210.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 2020 0 0 0 45297 597 0 0 25 0 1 0 1847760197 14905344 1987 4294967295 134512640 134702520 3221223712 3221222992 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3639 1987 413 48 0 3591 0
[pid=32149] vsize: 14556
Current children cumulated CPU time (s) 1179.96
Current children cumulated vsize (Kb) 16684
[startup+1220.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 2022 0 0 0 46268 606 0 0 25 0 1 0 1847760197 14905344 1989 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3639 1989 413 48 0 3591 0
[pid=32149] vsize: 14556
Current children cumulated CPU time (s) 1189.76
Current children cumulated vsize (Kb) 16684
[startup+1230.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 2025 0 0 0 47243 614 0 0 25 0 1 0 1847760197 15003648 1992 4294967295 134512640 134702520 3221223712 3221222992 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3663 1992 413 48 0 3615 0
[pid=32149] vsize: 14652
Current children cumulated CPU time (s) 1199.59
Current children cumulated vsize (Kb) 16780
[startup+1240.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 2026 0 0 0 48216 625 0 0 25 0 1 0 1847760197 15003648 1993 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3663 1993 413 48 0 3615 0
[pid=32149] vsize: 14652
Current children cumulated CPU time (s) 1209.43
Current children cumulated vsize (Kb) 16780
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1240.09 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 2026 0 0 0 48216 625 0 0 25 0 1 0 1847760197 15003648 1993 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3663 1993 413 48 0 3615 0
[pid=32149] vsize: 14652
Current children cumulated CPU time (s) 1209.43
Current children cumulated vsize (Kb) 16780
Sending SIGTERM to -32144
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=32151
New process pid=32152
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/32036/stat
open syscall for file /proc/32036/status
open syscall for file /proc/32036/cmdline
open syscall for file /proc/32036/environ
open syscall for file /proc/1866/stat
open syscall for file /proc/1866/status
open syscall for file /proc/1866/cmdline
open syscall for file /proc/1866/environ
open syscall for file /proc/1893/stat
open syscall for file /proc/1893/status
open syscall for file /proc/1893/cmdline
open syscall for file /proc/1893/environ
open syscall for file /proc/1917/stat
open syscall for file /proc/1917/status
open syscall for file /proc/1917/cmdline
open syscall for file /proc/1917/environ
open syscall for file /proc/12510/stat
open syscall for file /proc/12510/status
open syscall for file /proc/12510/cmdline
open syscall for file /proc/12510/environ
open syscall for file /proc/16403/stat
open syscall for file /proc/16403/status
open syscall for file /proc/16403/cmdline
open syscall for file /proc/16403/environ
open syscall for file /proc/31159/stat
open syscall for file /proc/31159/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/31159/cmdline
open syscall for file /proc/31159/environ
open syscall for file /proc/31194/stat
open syscall for file /proc/31194/status
open syscall for file /proc/31194/cmdline
open syscall for file /proc/31194/environ
open syscall for file /proc/19316/stat
open syscall for file /proc/19316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/19316/cmdline
open syscall for file /proc/19316/environ
open syscall for file /proc/19317/stat
open syscall for file /proc/19317/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/19317/cmdline
open syscall for file /proc/19317/environ
open syscall for file /proc/19326/stat
open syscall for file /proc/19326/status
open syscall for file /proc/19326/cmdline
open syscall for file /proc/19326/environ
open syscall for file /proc/32107/stat
open syscall for file /proc/32107/status
open syscall for file /proc/32107/cmdline
open syscall for file /proc/32107/environ
open syscall for file /proc/32143/stat
open syscall for file /proc/32143/status
open syscall for file /proc/32143/cmdline
open syscall for file /proc/32143/environ
open syscall for file /proc/32144/stat
open syscall for file /proc/32144/status
open syscall for file /proc/32144/cmdline
open syscall for file /proc/32144/environ
open syscall for file /proc/32149/stat
open syscall for file /proc/32149/status
open syscall for file /proc/32149/cmdline
open syscall for file /proc/32149/environ
open syscall for file /proc/32151/stat
open syscall for file /proc/32151/status
open syscall for file /proc/32151/cmdline
open syscall for file /proc/32151/environ
open syscall for file /proc/32152/stat
open syscall for file /proc/32152/status
open syscall for file /proc/32152/cmdline
open syscall for file /proc/32152/environ
One traced child (pid=32151) exited with status: 0
One traced child (pid=32152) exited with status: 0
New process pid=32153
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=32153) exited with status: 0
New process pid=32154
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=32154) exited with status: 0
One traced child (pid=32144) 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=32149) exited with status: 3
All traced children have exited ! Game is over.
Child status: 3
Real time (s): 1240.74
CPU time (s): 489.03
CPU user time (s): 482.723
CPU system time (s): 6.30704
CPU usage (%): 39.4142
Max. virtual memory (cumulated for all children) (Kb): 16808