1:
seed: 0
Nr of vars set: 372 (#equs: 0)
Nr of vars set: 662 (#equs: 306)
#decisions: 1143203; #end-nodes: 130895;
#proof improvement attempts: 0; #restarts: 672
Current batch, end-nodes: 0 / 261 (247)
#axs: 21208, #non-axs: 35197
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: 691 (#equs: 344)
Time taken: 5 min, 54 sec
2:
seed: 0
Nr of vars set: 699 (#equs: 0)
Nr of vars set: 699 (#equs: 24)
#decisions: 2515788; #end-nodes: 328899;
#proof improvement attempts: 0; #restarts: 1152
Current batch, end-nodes: 0 / 461 (407)
#axs: 20267, #non-axs: 23524
tight: meta-meta: start: 5, end: 7; meta: start: 11, end (keep): 21
loose: meta-meta: start: 8, end: 12; meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 699 (#equs: 26)
Time taken: 12 min, 44 sec
3:
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: 699 (#equs: 0)
Nr of vars set: 741 (#equs: 6)
Interupt request received.
#decisions: 213065; #end-nodes: 31770;
#proof improvement attempts: 0; #restarts: 166
Current batch, end-nodes: 106 / 207 (201)
#axs: 20211, #non-axs: 36835
tight: meta-meta: start: 5, end: 7; meta: start: 11, end (keep): 21
loose: meta-meta: start: 8, end: 12; meta: start: 30, end (keep): 50
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 3023 (#equs: 6)
Time taken in seconds: 86
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/29234/stat): 29234 (vallstSAT2005PB) R 29233 29234 19818 0 -1 0 19 0 0 0 0 0 0 0 19 0 1 0 1847739261 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/29234/statm): 174 3 169 147 0 27 0
[pid=29234] 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=29235
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=29235) exited with status: 0
New process pid=29236
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=29236) exited with status: 0
New process pid=29237
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/wulflinc29/normalized-mps-v2-20-10-msc98-ip.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0032 s]
Raw data (loadavg): 1.06 1.08 1.05 1/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) T 29234 29234 19818 0 -1 0 2777 0 0 0 909 34 0 0 25 0 1 0 1847739270 13799424 2515 4294967295 134512640 134702520 3221223952 3221223448 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29237/statm): 3369 2515 413 48 0 3321 0
[pid=29237] vsize: 13476
Current children cumulated CPU time (s) 9.44
Current children cumulated vsize (Kb) 15604
[startup+20.005 s]
Raw data (loadavg): 1.05 1.08 1.04 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) T 29234 29234 19818 0 -1 0 2777 0 0 0 1812 70 0 0 25 0 1 0 1847739270 13799424 2515 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29237/statm): 3369 2515 413 48 0 3321 0
[pid=29237] vsize: 13476
Current children cumulated CPU time (s) 18.83
Current children cumulated vsize (Kb) 15604
[startup+30.0058 s]
Raw data (loadavg): 1.04 1.07 1.04 1/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) T 29234 29234 19818 0 -1 0 2838 0 0 0 2464 184 0 0 19 0 1 0 1847739270 26939392 2576 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29237/statm): 6577 2576 413 48 0 6529 0
[pid=29237] vsize: 26308
Current children cumulated CPU time (s) 26.49
Current children cumulated vsize (Kb) 28436
[startup+40.0066 s]
Raw data (loadavg): 1.03 1.07 1.04 1/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) T 29234 29234 19818 0 -1 0 3011 0 0 0 3262 249 0 0 21 0 1 0 1847739270 27508736 2749 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29237/statm): 6716 2749 413 48 0 6668 0
[pid=29237] vsize: 26864
Current children cumulated CPU time (s) 35.12
Current children cumulated vsize (Kb) 28992
[startup+50.0083 s]
Raw data (loadavg): 1.03 1.07 1.04 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3056 0 0 0 4033 328 0 0 23 0 1 0 1847739270 27508736 2794 4294967295 134512640 134702520 3221223952 3221070752 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 6716 2794 413 48 0 6668 0
[pid=29237] vsize: 26864
Current children cumulated CPU time (s) 43.62
Current children cumulated vsize (Kb) 28992
[startup+60.0091 s]
Raw data (loadavg): 1.02 1.07 1.04 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3092 0 0 0 4835 392 0 0 21 0 1 0 1847739270 27508736 2830 4294967295 134512640 134702520 3221223952 3221223232 134550645 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 6716 2830 413 48 0 6668 0
[pid=29237] vsize: 26864
Current children cumulated CPU time (s) 52.28
Current children cumulated vsize (Kb) 28992
[startup+70.0099 s]
Raw data (loadavg): 1.10 1.08 1.04 1/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) T 29234 29234 19818 0 -1 0 3102 0 0 0 5708 435 0 0 25 0 1 0 1847739270 27652096 2840 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29237/statm): 6751 2840 413 48 0 6703 0
[pid=29237] vsize: 27004
Current children cumulated CPU time (s) 61.44
Current children cumulated vsize (Kb) 29132
[startup+80.0107 s]
Raw data (loadavg): 1.08 1.08 1.04 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3103 0 0 0 6594 472 0 0 20 0 1 0 1847739270 27508736 2839 4294967295 134512640 134702520 3221223952 3221223232 134557201 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 6716 2839 413 48 0 6668 0
[pid=29237] vsize: 26864
Current children cumulated CPU time (s) 70.67
Current children cumulated vsize (Kb) 28992
[startup+90.0115 s]
Raw data (loadavg): 1.07 1.07 1.04 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3105 0 0 0 7361 550 0 0 23 0 1 0 1847739270 27508736 2839 4294967295 134512640 134702520 3221223952 3221223232 134552232 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29237/statm): 6716 2839 413 48 0 6668 0
[pid=29237] vsize: 26864
Current children cumulated CPU time (s) 79.12
Current children cumulated vsize (Kb) 28992
[startup+100.012 s]
Raw data (loadavg): 1.06 1.07 1.04 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3127 0 0 0 8155 619 0 0 25 0 1 0 1847739270 27508736 2860 4294967295 134512640 134702520 3221223952 3220395888 134612101 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 6716 2860 413 48 0 6668 0
[pid=29237] vsize: 26864
Current children cumulated CPU time (s) 87.75
Current children cumulated vsize (Kb) 28992
[startup+110.013 s]
Raw data (loadavg): 1.05 1.07 1.04 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3194 0 0 0 8983 672 0 0 25 0 1 0 1847739270 27643904 2925 4294967295 134512640 134702520 3221223952 3220774428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 6749 2925 413 48 0 6701 0
[pid=29237] vsize: 26996
Current children cumulated CPU time (s) 96.56
Current children cumulated vsize (Kb) 29124
[startup+120.015 s]
Raw data (loadavg): 1.12 1.08 1.05 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3195 0 0 0 9840 719 0 0 19 0 1 0 1847739270 27787264 2926 4294967295 134512640 134702520 3221223952 3220986428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 6784 2926 413 48 0 6736 0
[pid=29237] vsize: 27136
Current children cumulated CPU time (s) 105.6
Current children cumulated vsize (Kb) 29264
[startup+130.016 s]
Raw data (loadavg): 1.10 1.08 1.04 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3196 0 0 0 10744 752 0 0 25 0 1 0 1847739270 27643904 2925 4294967295 134512640 134702520 3221223952 3221079728 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29237/statm): 6749 2925 413 48 0 6701 0
[pid=29237] vsize: 26996
Current children cumulated CPU time (s) 114.97
Current children cumulated vsize (Kb) 29124
[startup+140.015 s]
Raw data (loadavg): 1.09 1.08 1.04 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3208 0 0 0 11530 820 0 0 20 0 1 0 1847739270 27643904 2935 4294967295 134512640 134702520 3221223952 3221154268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 6749 2935 413 48 0 6701 0
[pid=29237] vsize: 26996
Current children cumulated CPU time (s) 123.51
Current children cumulated vsize (Kb) 29124
[startup+150.017 s]
Raw data (loadavg): 1.07 1.07 1.04 1/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) T 29234 29234 19818 0 -1 0 3252 0 0 0 12384 868 0 0 18 0 1 0 1847739270 27779072 2977 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29237/statm): 6782 2977 413 48 0 6734 0
[pid=29237] vsize: 27128
Current children cumulated CPU time (s) 132.53
Current children cumulated vsize (Kb) 29256
[startup+160.018 s]
Raw data (loadavg): 1.06 1.07 1.04 1/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) T 29234 29234 19818 0 -1 0 3306 0 0 0 13255 914 0 0 25 0 1 0 1847739270 27922432 3030 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29237/statm): 6817 3030 413 48 0 6769 0
[pid=29237] vsize: 27268
Current children cumulated CPU time (s) 141.7
Current children cumulated vsize (Kb) 29396
[startup+170.019 s]
Raw data (loadavg): 1.05 1.07 1.04 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3307 0 0 0 14152 949 0 0 25 0 1 0 1847739270 28065792 3031 4294967295 134512640 134702520 3221223952 3221222848 134552550 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29237/statm): 6852 3031 413 48 0 6804 0
[pid=29237] vsize: 27408
Current children cumulated CPU time (s) 151.02
Current children cumulated vsize (Kb) 29536
[startup+180.02 s]
Raw data (loadavg): 1.04 1.06 1.04 1/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) T 29234 29234 19818 0 -1 0 3310 0 0 0 14941 1016 0 0 19 0 1 0 1847739270 27779072 3031 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29237/statm): 6782 3031 413 48 0 6734 0
[pid=29237] vsize: 27128
Current children cumulated CPU time (s) 159.58
Current children cumulated vsize (Kb) 29256
[startup+190.02 s]
Raw data (loadavg): 1.04 1.06 1.04 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3316 0 0 0 15718 1093 0 0 21 0 1 0 1847739270 27779072 3036 4294967295 134512640 134702520 3221223952 3221223376 134595909 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 6782 3036 413 48 0 6734 0
[pid=29237] vsize: 27128
Current children cumulated CPU time (s) 168.12
Current children cumulated vsize (Kb) 29256
[startup+200.021 s]
Raw data (loadavg): 1.03 1.06 1.04 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3328 0 0 0 16567 1142 0 0 24 0 1 0 1847739270 27779072 3046 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 6782 3046 413 48 0 6734 0
[pid=29237] vsize: 27128
Current children cumulated CPU time (s) 177.1
Current children cumulated vsize (Kb) 29256
[startup+210.022 s]
Raw data (loadavg): 1.02 1.06 1.04 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3398 0 0 0 17427 1187 0 0 25 0 1 0 1847739270 27914240 3115 4294967295 134512640 134702520 3221223952 3220867248 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29237/statm): 6815 3115 413 48 0 6767 0
[pid=29237] vsize: 27260
Current children cumulated CPU time (s) 186.15
Current children cumulated vsize (Kb) 29388
[startup+220.023 s]
Raw data (loadavg): 1.02 1.05 1.04 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3401 0 0 0 18283 1232 0 0 20 0 1 0 1847739270 28200960 3118 4294967295 134512640 134702520 3221223952 3221222848 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29237/statm): 6885 3118 413 48 0 6837 0
[pid=29237] vsize: 27540
Current children cumulated CPU time (s) 195.16
Current children cumulated vsize (Kb) 29668
[startup+230.024 s]
Raw data (loadavg): 1.02 1.05 1.03 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3401 0 0 0 19181 1268 0 0 24 0 1 0 1847739270 27914240 3116 4294967295 134512640 134702520 3221223952 3220686108 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 6815 3116 413 48 0 6767 0
[pid=29237] vsize: 27260
Current children cumulated CPU time (s) 204.5
Current children cumulated vsize (Kb) 29388
[startup+240.024 s]
Raw data (loadavg): 1.01 1.05 1.03 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3410 0 0 0 19970 1335 0 0 21 0 1 0 1847739270 27914240 3123 4294967295 134512640 134702520 3221223952 3221223232 134552738 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 6815 3123 413 48 0 6767 0
[pid=29237] vsize: 27260
Current children cumulated CPU time (s) 213.06
Current children cumulated vsize (Kb) 29388
[startup+250.025 s]
Raw data (loadavg): 1.01 1.05 1.03 1/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) T 29234 29234 19818 0 -1 0 3424 0 0 0 20843 1378 0 0 22 0 1 0 1847739270 28049408 3135 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29237/statm): 6848 3135 413 48 0 6800 0
[pid=29237] vsize: 27392
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (Kb) 29520
[startup+260.026 s]
Raw data (loadavg): 1.01 1.05 1.03 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3491 0 0 0 21705 1425 0 0 25 0 1 0 1847739270 28049408 3201 4294967295 134512640 134702520 3221223952 3220903708 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 6848 3201 413 48 0 6800 0
[pid=29237] vsize: 27392
Current children cumulated CPU time (s) 231.31
Current children cumulated vsize (Kb) 29520
[startup+270.027 s]
Raw data (loadavg): 1.01 1.04 1.03 1/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) T 29234 29234 19818 0 -1 0 3493 0 0 0 22562 1471 0 0 18 0 1 0 1847739270 28336128 3203 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29237/statm): 6918 3203 413 48 0 6870 0
[pid=29237] vsize: 27672
Current children cumulated CPU time (s) 240.34
Current children cumulated vsize (Kb) 29800
[startup+280.027 s]
Raw data (loadavg): 1.01 1.04 1.03 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3493 0 0 0 23453 1506 0 0 22 0 1 0 1847739270 28049408 3201 4294967295 134512640 134702520 3221223952 3221222592 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 6848 3201 413 48 0 6800 0
[pid=29237] vsize: 27392
Current children cumulated CPU time (s) 249.6
Current children cumulated vsize (Kb) 29520
[startup+290.028 s]
Raw data (loadavg): 1.00 1.04 1.03 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3497 0 0 0 24316 1555 0 0 22 0 1 0 1847739270 28049408 3203 4294967295 134512640 134702520 3221223952 3221223232 134557232 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29237/statm): 6848 3203 413 48 0 6800 0
[pid=29237] vsize: 27392
Current children cumulated CPU time (s) 258.72
Current children cumulated vsize (Kb) 29520
[startup+300.029 s]
Raw data (loadavg): 1.00 1.04 1.03 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3502 0 0 0 25173 1602 0 0 25 0 1 0 1847739270 28049408 3207 4294967295 134512640 134702520 3221223952 3220660672 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 6848 3207 413 48 0 6800 0
[pid=29237] vsize: 27392
Current children cumulated CPU time (s) 267.76
Current children cumulated vsize (Kb) 29520
[startup+310.03 s]
Raw data (loadavg): 1.00 1.04 1.03 1/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) T 29234 29234 19818 0 -1 0 3607 0 0 0 26033 1651 0 0 22 0 1 0 1847739270 29929472 3310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29237/statm): 7307 3310 413 48 0 7259 0
[pid=29237] vsize: 29228
Current children cumulated CPU time (s) 276.85
Current children cumulated vsize (Kb) 31356
[startup+320.031 s]
Raw data (loadavg): 1.00 1.03 1.03 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3653 0 0 0 26849 1712 0 0 25 0 1 0 1847739270 30072832 3356 4294967295 134512640 134702520 3221223952 3221222976 134552548 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 7342 3356 413 48 0 7294 0
[pid=29237] vsize: 29368
Current children cumulated CPU time (s) 285.62
Current children cumulated vsize (Kb) 31496
[startup+330.031 s]
Raw data (loadavg): 1.00 1.03 1.02 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3654 0 0 0 27744 1746 0 0 25 0 1 0 1847739270 30216192 3357 4294967295 134512640 134702520 3221223952 3221222832 134553867 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 7377 3357 413 48 0 7329 0
[pid=29237] vsize: 29508
Current children cumulated CPU time (s) 294.91
Current children cumulated vsize (Kb) 31636
[startup+340.032 s]
Raw data (loadavg): 1.07 1.05 1.03 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3655 0 0 0 28562 1808 0 0 25 0 1 0 1847739270 29929472 3356 4294967295 134512640 134702520 3221223952 3220579232 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 7307 3356 413 48 0 7259 0
[pid=29237] vsize: 29228
Current children cumulated CPU time (s) 303.71
Current children cumulated vsize (Kb) 31356
[startup+350.033 s]
Raw data (loadavg): 1.06 1.05 1.03 1/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) T 29234 29234 19818 0 -1 0 3663 0 0 0 29402 1861 0 0 23 0 1 0 1847739270 29929472 3362 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29237/statm): 7307 3362 413 48 0 7259 0
[pid=29237] vsize: 29228
Current children cumulated CPU time (s) 312.64
Current children cumulated vsize (Kb) 31356
[startup+360.034 s]
Raw data (loadavg): 1.05 1.04 1.03 1/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) T 29234 29234 19818 0 -1 0 3703 0 0 0 30250 1913 0 0 18 0 1 0 1847739270 30064640 3401 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29237/statm): 7340 3401 413 48 0 7292 0
[pid=29237] vsize: 29360
Current children cumulated CPU time (s) 321.64
Current children cumulated vsize (Kb) 31488
[startup+370.034 s]
Raw data (loadavg): 1.04 1.04 1.03 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3819 0 0 0 31109 1960 0 0 25 0 1 0 1847739270 30199808 3516 4294967295 134512640 134702520 3221223952 3221192048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 7373 3516 413 48 0 7325 0
[pid=29237] vsize: 29492
Current children cumulated CPU time (s) 330.7
Current children cumulated vsize (Kb) 31620
[startup+380.035 s]
Raw data (loadavg): 1.04 1.04 1.03 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3921 0 0 0 31991 2000 0 0 25 0 1 0 1847739270 30199808 3617 4294967295 134512640 134702520 3221223952 3220772988 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 7373 3617 413 48 0 7325 0
[pid=29237] vsize: 29492
Current children cumulated CPU time (s) 339.92
Current children cumulated vsize (Kb) 31620
[startup+390.035 s]
Raw data (loadavg): 1.03 1.04 1.02 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3923 0 0 0 32844 2046 0 0 23 0 1 0 1847739270 30486528 3619 4294967295 134512640 134702520 3221223952 3221222848 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 7443 3619 413 48 0 7395 0
[pid=29237] vsize: 29772
Current children cumulated CPU time (s) 348.91
Current children cumulated vsize (Kb) 31900
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=29237) exited with status: 2
New process pid=29238
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=29238) exited with status: 0
New process pid=29239
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
[startup+400.037 s]
Raw data (loadavg): 1.02 1.04 1.02 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 2498 0 0 0 241 15 0 0 25 0 1 0 1847779005 13664256 2469 4294967295 134512640 134702520 3221223712 3221113308 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 3336 2469 413 48 0 3288 0
[pid=29239] vsize: 13344
Current children cumulated CPU time (s) 358.64
Current children cumulated vsize (Kb) 15472
[startup+410.038 s]
Raw data (loadavg): 1.02 1.03 1.02 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 2801 0 0 0 1141 49 0 0 25 0 1 0 1847779005 14970880 2772 4294967295 134512640 134702520 3221223712 3221222976 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 3655 2772 413 48 0 3607 0
[pid=29239] vsize: 14620
Current children cumulated CPU time (s) 367.98
Current children cumulated vsize (Kb) 16748
[startup+420.039 s]
Raw data (loadavg): 1.10 1.05 1.03 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3089 0 0 0 2007 94 0 0 22 0 1 0 1847779005 31219712 3057 4294967295 134512640 134702520 3221223712 3221211008 134612005 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29239/statm): 7622 3057 413 48 0 7574 0
[pid=29239] vsize: 30488
Current children cumulated CPU time (s) 377.09
Current children cumulated vsize (Kb) 32616
[startup+430.04 s]
Raw data (loadavg): 1.16 1.06 1.03 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3175 0 0 0 2897 133 0 0 23 0 1 0 1847779005 31223808 3141 4294967295 134512640 134702520 3221223712 3221222992 134552981 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 7623 3141 413 48 0 7575 0
[pid=29239] vsize: 30492
Current children cumulated CPU time (s) 386.38
Current children cumulated vsize (Kb) 32620
[startup+440.04 s]
Raw data (loadavg): 1.13 1.06 1.03 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 3246 0 0 0 3807 163 0 0 25 0 1 0 1847779005 31358976 3210 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29239/statm): 7656 3210 413 48 0 7608 0
[pid=29239] vsize: 30624
Current children cumulated CPU time (s) 395.78
Current children cumulated vsize (Kb) 32752
[startup+450.041 s]
Raw data (loadavg): 1.11 1.06 1.03 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3330 0 0 0 4680 203 0 0 25 0 1 0 1847779005 33570816 3293 4294967295 134512640 134702520 3221223712 3220835308 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8196 3293 413 48 0 8148 0
[pid=29239] vsize: 32784
Current children cumulated CPU time (s) 404.91
Current children cumulated vsize (Kb) 34912
[startup+460.042 s]
Raw data (loadavg): 1.09 1.06 1.03 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 3331 0 0 0 5579 237 0 0 25 0 1 0 1847779005 33714176 3294 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8231 3294 413 48 0 8183 0
[pid=29239] vsize: 32924
Current children cumulated CPU time (s) 414.24
Current children cumulated vsize (Kb) 35052
[startup+470.043 s]
Raw data (loadavg): 1.08 1.05 1.03 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3334 0 0 0 6442 280 0 0 25 0 1 0 1847779005 33570816 3293 4294967295 134512640 134702520 3221223712 3220788608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8196 3293 413 48 0 8148 0
[pid=29239] vsize: 32784
Current children cumulated CPU time (s) 423.3
Current children cumulated vsize (Kb) 34912
[startup+480.044 s]
Raw data (loadavg): 1.14 1.07 1.03 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3358 0 0 0 7272 335 0 0 22 0 1 0 1847779005 33570816 3315 4294967295 134512640 134702520 3221223712 3221222992 134552884 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8196 3315 413 48 0 8148 0
[pid=29239] vsize: 32784
Current children cumulated CPU time (s) 432.15
Current children cumulated vsize (Kb) 34912
[startup+490.045 s]
Raw data (loadavg): 1.12 1.06 1.03 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 3362 0 0 0 8154 375 0 0 23 0 1 0 1847779005 33570816 3317 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8196 3317 413 48 0 8148 0
[pid=29239] vsize: 32784
Current children cumulated CPU time (s) 441.37
Current children cumulated vsize (Kb) 34912
[startup+500.047 s]
Raw data (loadavg): 1.18 1.08 1.04 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3368 0 0 0 9026 417 0 0 25 0 1 0 1847779005 33570816 3322 4294967295 134512640 134702520 3221223712 3220631008 134612101 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8196 3322 413 48 0 8148 0
[pid=29239] vsize: 32784
Current children cumulated CPU time (s) 450.51
Current children cumulated vsize (Kb) 34912
[startup+510.048 s]
Raw data (loadavg): 1.15 1.08 1.03 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3370 0 0 0 9891 463 0 0 20 0 1 0 1847779005 33857536 3324 4294967295 134512640 134702520 3221223712 3221222608 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8266 3324 413 48 0 8218 0
[pid=29239] vsize: 33064
Current children cumulated CPU time (s) 459.62
Current children cumulated vsize (Kb) 35192
[startup+520.048 s]
Raw data (loadavg): 1.13 1.07 1.03 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3372 0 0 0 10773 500 0 0 25 0 1 0 1847779005 33570816 3322 4294967295 134512640 134702520 3221223712 3221035948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8196 3322 413 48 0 8148 0
[pid=29239] vsize: 32784
Current children cumulated CPU time (s) 468.81
Current children cumulated vsize (Kb) 34912
[startup+530.049 s]
Raw data (loadavg): 1.11 1.07 1.03 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3376 0 0 0 11630 549 0 0 17 0 1 0 1847779005 33570816 3324 4294967295 134512640 134702520 3221223712 3221222992 134553004 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8196 3324 413 48 0 8148 0
[pid=29239] vsize: 32784
Current children cumulated CPU time (s) 477.87
Current children cumulated vsize (Kb) 34912
[startup+540.05 s]
Raw data (loadavg): 1.09 1.07 1.03 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 3384 0 0 0 12487 598 0 0 25 0 1 0 1847779005 33570816 3330 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8196 3330 413 48 0 8148 0
[pid=29239] vsize: 32784
Current children cumulated CPU time (s) 486.93
Current children cumulated vsize (Kb) 34912
[startup+550.051 s]
Raw data (loadavg): 1.08 1.06 1.03 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3401 0 0 0 13311 660 0 0 21 0 1 0 1847779005 33705984 3346 4294967295 134512640 134702520 3221223712 3221223136 134594352 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8229 3346 413 48 0 8181 0
[pid=29239] vsize: 32916
Current children cumulated CPU time (s) 495.79
Current children cumulated vsize (Kb) 35044
[startup+560.051 s]
Raw data (loadavg): 1.06 1.06 1.03 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3402 0 0 0 14209 695 0 0 25 0 1 0 1847779005 33849344 3347 4294967295 134512640 134702520 3221223712 3221222736 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8264 3347 413 48 0 8216 0
[pid=29239] vsize: 33056
Current children cumulated CPU time (s) 505.12
Current children cumulated vsize (Kb) 35184
[startup+570.053 s]
Raw data (loadavg): 1.05 1.06 1.03 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 3405 0 0 0 15066 746 0 0 21 0 1 0 1847779005 33705984 3346 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8229 3346 413 48 0 8181 0
[pid=29239] vsize: 32916
Current children cumulated CPU time (s) 514.2
Current children cumulated vsize (Kb) 35044
[startup+580.054 s]
Raw data (loadavg): 1.05 1.06 1.03 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 3412 0 0 0 15934 792 0 0 24 0 1 0 1847779005 33705984 3351 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8229 3351 413 48 0 8181 0
[pid=29239] vsize: 32916
Current children cumulated CPU time (s) 523.34
Current children cumulated vsize (Kb) 35044
[startup+590.055 s]
Raw data (loadavg): 1.04 1.05 1.03 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 3427 0 0 0 16754 852 0 0 21 0 1 0 1847779005 33705984 3365 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8229 3365 413 48 0 8181 0
[pid=29239] vsize: 32916
Current children cumulated CPU time (s) 532.14
Current children cumulated vsize (Kb) 35044
[startup+600.057 s]
Raw data (loadavg): 1.03 1.05 1.03 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 3437 0 0 0 17638 893 0 0 24 0 1 0 1847779005 33705984 3373 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8229 3373 413 48 0 8181 0
[pid=29239] vsize: 32916
Current children cumulated CPU time (s) 541.39
Current children cumulated vsize (Kb) 35044
[startup+610.057 s]
Raw data (loadavg): 1.03 1.05 1.02 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 3444 0 0 0 18511 938 0 0 25 0 1 0 1847779005 33849344 3380 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8264 3380 413 48 0 8216 0
[pid=29239] vsize: 33056
Current children cumulated CPU time (s) 550.57
Current children cumulated vsize (Kb) 35184
[startup+620.059 s]
Raw data (loadavg): 1.02 1.05 1.02 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3448 0 0 0 19405 975 0 0 25 0 1 0 1847779005 34127872 3384 4294967295 134512640 134702520 3221223712 3221222608 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8332 3384 413 48 0 8284 0
[pid=29239] vsize: 33328
Current children cumulated CPU time (s) 559.88
Current children cumulated vsize (Kb) 35456
[startup+630.06 s]
Raw data (loadavg): 1.02 1.05 1.02 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 3451 0 0 0 20228 1036 0 0 17 0 1 0 1847779005 33841152 3382 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8262 3382 413 48 0 8214 0
[pid=29239] vsize: 33048
Current children cumulated CPU time (s) 568.72
Current children cumulated vsize (Kb) 35176
[startup+640.061 s]
Raw data (loadavg): 1.02 1.04 1.02 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 3454 0 0 0 21108 1074 0 0 24 0 1 0 1847779005 33841152 3383 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8262 3383 413 48 0 8214 0
[pid=29239] vsize: 33048
Current children cumulated CPU time (s) 577.9
Current children cumulated vsize (Kb) 35176
[startup+650.062 s]
Raw data (loadavg): 1.01 1.04 1.02 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 3463 0 0 0 21942 1129 0 0 23 0 1 0 1847779005 33841152 3391 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8262 3391 413 48 0 8214 0
[pid=29239] vsize: 33048
Current children cumulated CPU time (s) 586.79
Current children cumulated vsize (Kb) 35176
[startup+660.063 s]
Raw data (loadavg): 1.01 1.04 1.02 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3522 0 0 0 22787 1181 0 0 25 0 1 0 1847779005 33841152 3449 4294967295 134512640 134702520 3221223712 3220962188 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8262 3449 413 48 0 8214 0
[pid=29239] vsize: 33048
Current children cumulated CPU time (s) 595.76
Current children cumulated vsize (Kb) 35176
[startup+670.065 s]
Raw data (loadavg): 1.01 1.04 1.02 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3524 0 0 0 23646 1228 0 0 18 0 1 0 1847779005 34127872 3451 4294967295 134512640 134702520 3221223712 3221222608 134552569 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8332 3451 413 48 0 8284 0
[pid=29239] vsize: 33328
Current children cumulated CPU time (s) 604.82
Current children cumulated vsize (Kb) 35456
[startup+680.067 s]
Raw data (loadavg): 1.01 1.04 1.02 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 3526 0 0 0 24541 1264 0 0 22 0 1 0 1847779005 33841152 3449 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8262 3449 413 48 0 8214 0
[pid=29239] vsize: 33048
Current children cumulated CPU time (s) 614.13
Current children cumulated vsize (Kb) 35176
[startup+690.068 s]
Raw data (loadavg): 1.00 1.03 1.02 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3536 0 0 0 25391 1316 0 0 18 0 1 0 1847779005 33841152 3458 4294967295 134512640 134702520 3221223712 3221222992 134550400 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8262 3458 413 48 0 8214 0
[pid=29239] vsize: 33048
Current children cumulated CPU time (s) 623.15
Current children cumulated vsize (Kb) 35176
[startup+700.068 s]
Raw data (loadavg): 1.00 1.03 1.02 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3566 0 0 0 26281 1352 0 0 25 0 1 0 1847779005 33841152 3487 4294967295 134512640 134702520 3221223712 3221182688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8262 3487 413 48 0 8214 0
[pid=29239] vsize: 33048
Current children cumulated CPU time (s) 632.41
Current children cumulated vsize (Kb) 35176
[startup+710.069 s]
Raw data (loadavg): 1.00 1.03 1.01 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 3687 0 0 0 27133 1403 0 0 24 0 1 0 1847779005 33976320 3606 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8295 3606 413 48 0 8247 0
[pid=29239] vsize: 33180
Current children cumulated CPU time (s) 641.44
Current children cumulated vsize (Kb) 35308
[startup+720.071 s]
Raw data (loadavg): 1.00 1.03 1.01 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 3794 0 0 0 27991 1451 0 0 18 0 1 0 1847779005 34111488 3712 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8328 3712 413 48 0 8280 0
[pid=29239] vsize: 33312
Current children cumulated CPU time (s) 650.5
Current children cumulated vsize (Kb) 35440
[startup+730.072 s]
Raw data (loadavg): 1.00 1.03 1.01 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3859 0 0 0 28862 1492 0 0 25 0 1 0 1847779005 34254848 3777 4294967295 134512640 134702520 3221223712 3221222736 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8363 3777 413 48 0 8315 0
[pid=29239] vsize: 33452
Current children cumulated CPU time (s) 659.62
Current children cumulated vsize (Kb) 35580
[startup+740.073 s]
Raw data (loadavg): 1.00 1.03 1.01 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3862 0 0 0 29749 1531 0 0 25 0 1 0 1847779005 34398208 3780 4294967295 134512640 134702520 3221223712 3221222608 134552541 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8398 3780 413 48 0 8350 0
[pid=29239] vsize: 33592
Current children cumulated CPU time (s) 668.88
Current children cumulated vsize (Kb) 35720
[startup+750.074 s]
Raw data (loadavg): 1.00 1.03 1.01 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3862 0 0 0 30612 1576 0 0 25 0 1 0 1847779005 34111488 3776 4294967295 134512640 134702520 3221223712 3220703168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8328 3776 413 48 0 8280 0
[pid=29239] vsize: 33312
Current children cumulated CPU time (s) 677.96
Current children cumulated vsize (Kb) 35440
[startup+760.075 s]
Raw data (loadavg): 1.00 1.02 1.01 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 3864 0 0 0 31484 1621 0 0 25 0 1 0 1847779005 34111488 3776 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8328 3776 413 48 0 8280 0
[pid=29239] vsize: 33312
Current children cumulated CPU time (s) 687.13
Current children cumulated vsize (Kb) 35440
[startup+770.077 s]
Raw data (loadavg): 1.00 1.02 1.01 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 3872 0 0 0 32334 1671 0 0 25 0 1 0 1847779005 34111488 3783 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8328 3783 413 48 0 8280 0
[pid=29239] vsize: 33312
Current children cumulated CPU time (s) 696.13
Current children cumulated vsize (Kb) 35440
[startup+780.079 s]
Raw data (loadavg): 1.07 1.04 1.01 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 3888 0 0 0 33198 1718 0 0 24 0 1 0 1847779005 34246656 3798 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8361 3798 413 48 0 8313 0
[pid=29239] vsize: 33444
Current children cumulated CPU time (s) 705.24
Current children cumulated vsize (Kb) 35572
[startup+790.08 s]
Raw data (loadavg): 1.06 1.04 1.01 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3977 0 0 0 34067 1761 0 0 23 0 1 0 1847779005 34246656 3886 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8361 3886 413 48 0 8313 0
[pid=29239] vsize: 33444
Current children cumulated CPU time (s) 714.36
Current children cumulated vsize (Kb) 35572
[startup+800.08 s]
Raw data (loadavg): 1.05 1.04 1.01 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4055 0 0 0 34915 1810 0 0 22 0 1 0 1847779005 34525184 3964 4294967295 134512640 134702520 3221223712 3221222736 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8429 3964 413 48 0 8381 0
[pid=29239] vsize: 33716
Current children cumulated CPU time (s) 723.33
Current children cumulated vsize (Kb) 35844
[startup+810.081 s]
Raw data (loadavg): 1.04 1.03 1.01 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4058 0 0 0 35804 1849 0 0 25 0 1 0 1847779005 34668544 3967 4294967295 134512640 134702520 3221223712 3221222608 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8464 3967 413 48 0 8416 0
[pid=29239] vsize: 33856
Current children cumulated CPU time (s) 732.61
Current children cumulated vsize (Kb) 35984
[startup+820.083 s]
Raw data (loadavg): 1.04 1.03 1.01 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4060 0 0 0 36664 1897 0 0 21 0 1 0 1847779005 34381824 3965 4294967295 134512640 134702520 3221223712 3221222992 134557225 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8394 3965 413 48 0 8346 0
[pid=29239] vsize: 33576
Current children cumulated CPU time (s) 741.69
Current children cumulated vsize (Kb) 35704
[startup+830.084 s]
Raw data (loadavg): 1.03 1.03 1.01 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4061 0 0 0 37530 1942 0 0 25 0 1 0 1847779005 34381824 3965 4294967295 134512640 134702520 3221223712 3221026828 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8394 3965 413 48 0 8346 0
[pid=29239] vsize: 33576
Current children cumulated CPU time (s) 750.8
Current children cumulated vsize (Kb) 35704
[startup+840.084 s]
Raw data (loadavg): 1.02 1.03 1.01 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4065 0 0 0 38326 2005 0 0 22 0 1 0 1847779005 34381824 3968 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8394 3968 413 48 0 8346 0
[pid=29239] vsize: 33576
Current children cumulated CPU time (s) 759.39
Current children cumulated vsize (Kb) 35704
[startup+850.085 s]
Raw data (loadavg): 1.02 1.03 1.01 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4068 0 0 0 39198 2047 0 0 17 0 1 0 1847779005 34381824 3970 4294967295 134512640 134702520 3221223712 3221222992 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8394 3970 413 48 0 8346 0
[pid=29239] vsize: 33576
Current children cumulated CPU time (s) 768.53
Current children cumulated vsize (Kb) 35704
[startup+860.086 s]
Raw data (loadavg): 1.02 1.03 1.01 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4083 0 0 0 40074 2088 0 0 24 0 1 0 1847779005 34381824 3984 4294967295 134512640 134702520 3221223712 3221222992 134552548 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8394 3984 413 48 0 8346 0
[pid=29239] vsize: 33576
Current children cumulated CPU time (s) 777.7
Current children cumulated vsize (Kb) 35704
[startup+870.088 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4124 0 0 0 40955 2130 0 0 25 0 1 0 1847779005 34516992 4025 4294967295 134512640 134702520 3221223712 3220373228 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8427 4025 413 48 0 8379 0
[pid=29239] vsize: 33708
Current children cumulated CPU time (s) 786.93
Current children cumulated vsize (Kb) 35836
[startup+880.09 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4247 0 0 0 41813 2175 0 0 25 0 1 0 1847779005 36728832 4147 4294967295 134512640 134702520 3221223712 3221222960 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8967 4147 413 48 0 8919 0
[pid=29239] vsize: 35868
Current children cumulated CPU time (s) 795.96
Current children cumulated vsize (Kb) 37996
[startup+890.09 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4250 0 0 0 42711 2210 0 0 25 0 1 0 1847779005 36872192 4150 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9002 4150 413 48 0 8954 0
[pid=29239] vsize: 36008
Current children cumulated CPU time (s) 805.29
Current children cumulated vsize (Kb) 38136
[startup+900.092 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4253 0 0 0 43594 2248 0 0 24 0 1 0 1847779005 36728832 4149 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8967 4149 413 48 0 8919 0
[pid=29239] vsize: 35868
Current children cumulated CPU time (s) 814.5
Current children cumulated vsize (Kb) 37996
[startup+910.093 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4255 0 0 0 44422 2304 0 0 22 0 1 0 1847779005 36728832 4150 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8967 4150 413 48 0 8919 0
[pid=29239] vsize: 35868
Current children cumulated CPU time (s) 823.34
Current children cumulated vsize (Kb) 37996
[startup+920.095 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4256 0 0 0 45280 2356 0 0 23 0 1 0 1847779005 36728832 4150 4294967295 134512640 134702520 3221223712 3221222992 134553895 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8967 4150 413 48 0 8919 0
[pid=29239] vsize: 35868
Current children cumulated CPU time (s) 832.44
Current children cumulated vsize (Kb) 37996
[startup+930.096 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4258 0 0 0 46150 2400 0 0 23 0 1 0 1847779005 36728832 4151 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8967 4151 413 48 0 8919 0
[pid=29239] vsize: 35868
Current children cumulated CPU time (s) 841.58
Current children cumulated vsize (Kb) 37996
[startup+940.096 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4261 0 0 0 47022 2444 0 0 25 0 1 0 1847779005 36728832 4153 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8967 4153 413 48 0 8919 0
[pid=29239] vsize: 35868
Current children cumulated CPU time (s) 850.74
Current children cumulated vsize (Kb) 37996
[startup+950.098 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4270 0 0 0 47902 2485 0 0 25 0 1 0 1847779005 36728832 4161 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8967 4161 413 48 0 8919 0
[pid=29239] vsize: 35868
Current children cumulated CPU time (s) 859.95
Current children cumulated vsize (Kb) 37996
[startup+960.099 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4289 0 0 0 48685 2556 0 0 22 0 1 0 1847779005 36728832 4180 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8967 4180 413 48 0 8919 0
[pid=29239] vsize: 35868
Current children cumulated CPU time (s) 868.49
Current children cumulated vsize (Kb) 37996
[startup+970.101 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4294 0 0 0 49567 2596 0 0 25 0 1 0 1847779005 37007360 4185 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9035 4185 413 48 0 8987 0
[pid=29239] vsize: 36140
Current children cumulated CPU time (s) 877.71
Current children cumulated vsize (Kb) 38268
[startup+980.101 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4297 0 0 0 50462 2633 0 0 22 0 1 0 1847779005 36864000 4184 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9000 4184 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 887.03
Current children cumulated vsize (Kb) 38128
[startup+990.102 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4298 0 0 0 51278 2695 0 0 25 0 1 0 1847779005 36864000 4184 4294967295 134512640 134702520 3221223712 3221222960 134564360 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29239/statm): 9000 4184 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 895.81
Current children cumulated vsize (Kb) 38128
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4300 0 0 0 51983 2790 0 0 22 0 1 0 1847779005 36864000 4186 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9000 4186 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 903.81
Current children cumulated vsize (Kb) 38128
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4301 0 0 0 52803 2849 0 0 22 0 1 0 1847779005 36864000 4186 4294967295 134512640 134702520 3221223712 3221222992 134554270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9000 4186 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 912.6
Current children cumulated vsize (Kb) 38128
[startup+1020.11 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4303 0 0 0 53643 2907 0 0 22 0 1 0 1847779005 36864000 4187 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9000 4187 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 921.58
Current children cumulated vsize (Kb) 38128
[startup+1030.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4309 0 0 0 54493 2954 0 0 25 0 1 0 1847779005 36864000 4192 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9000 4192 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 930.55
Current children cumulated vsize (Kb) 38128
[startup+1040.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4323 0 0 0 55255 3030 0 0 23 0 1 0 1847779005 36864000 4206 4294967295 134512640 134702520 3221223712 3221222992 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9000 4206 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 938.93
Current children cumulated vsize (Kb) 38128
[startup+1050.11 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4325 0 0 0 56100 3085 0 0 17 0 1 0 1847779005 36864000 4207 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9000 4207 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 947.93
Current children cumulated vsize (Kb) 38128
[startup+1060.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4334 0 0 0 56927 3142 0 0 25 0 1 0 1847779005 36864000 4216 4294967295 134512640 134702520 3221223712 3220674368 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29239/statm): 9000 4216 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 956.77
Current children cumulated vsize (Kb) 38128
[startup+1070.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4337 0 0 0 57790 3190 0 0 25 0 1 0 1847779005 37150720 4219 4294967295 134512640 134702520 3221223712 3221222576 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9070 4219 413 48 0 9022 0
[pid=29239] vsize: 36280
Current children cumulated CPU time (s) 965.88
Current children cumulated vsize (Kb) 38408
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4338 0 0 0 58614 3250 0 0 17 0 1 0 1847779005 36864000 4216 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9000 4216 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 974.72
Current children cumulated vsize (Kb) 38128
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4339 0 0 0 59387 3325 0 0 18 0 1 0 1847779005 36864000 4216 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9000 4216 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 983.2
Current children cumulated vsize (Kb) 38128
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4340 0 0 0 60180 3396 0 0 21 0 1 0 1847779005 36864000 4216 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9000 4216 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 991.84
Current children cumulated vsize (Kb) 38128
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4341 0 0 0 60988 3459 0 0 17 0 1 0 1847779005 36864000 4216 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9000 4216 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 1000.55
Current children cumulated vsize (Kb) 38128
[startup+1120.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4341 0 0 0 61798 3523 0 0 25 0 1 0 1847779005 36864000 4216 4294967295 134512640 134702520 3221223712 3220215628 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29239/statm): 9000 4216 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 1009.29
Current children cumulated vsize (Kb) 38128
[startup+1130.12 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4342 0 0 0 62564 3603 0 0 22 0 1 0 1847779005 36864000 4216 4294967295 134512640 134702520 3221223712 3221222932 134550230 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9000 4216 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 1017.75
Current children cumulated vsize (Kb) 38128
[startup+1140.12 s]
Raw data (loadavg): 1.06 1.02 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4343 0 0 0 63393 3663 0 0 22 0 1 0 1847779005 36864000 4216 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9000 4216 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 1026.64
Current children cumulated vsize (Kb) 38128
[startup+1150.12 s]
Raw data (loadavg): 1.05 1.01 1.00 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4344 0 0 0 64236 3712 0 0 25 0 1 0 1847779005 37007360 4217 4294967295 134512640 134702520 3221223712 3221222736 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29239/statm): 9035 4217 413 48 0 8987 0
[pid=29239] vsize: 36140
Current children cumulated CPU time (s) 1035.56
Current children cumulated vsize (Kb) 38268
[startup+1160.12 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4347 0 0 0 65128 3747 0 0 25 0 1 0 1847779005 37150720 4220 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29239/statm): 9070 4220 413 48 0 9022 0
[pid=29239] vsize: 36280
Current children cumulated CPU time (s) 1044.83
Current children cumulated vsize (Kb) 38408
[startup+1170.12 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4347 0 0 0 65889 3825 0 0 19 0 1 0 1847779005 36864000 4216 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29239/statm): 9000 4216 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 1053.22
Current children cumulated vsize (Kb) 38128
[startup+1180.12 s]
Raw data (loadavg): 1.03 1.01 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4348 0 0 0 66687 3892 0 0 21 0 1 0 1847779005 36864000 4216 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9000 4216 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (Kb) 38128
[startup+1190.12 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4349 0 0 0 67525 3947 0 0 23 0 1 0 1847779005 36864000 4216 4294967295 134512640 134702520 3221223712 3221222992 134552370 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9000 4216 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 1070.8
Current children cumulated vsize (Kb) 38128
[startup+1200.12 s]
Raw data (loadavg): 1.10 1.03 1.01 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4351 0 0 0 68373 3998 0 0 23 0 1 0 1847779005 36864000 4217 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9000 4217 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 1079.79
Current children cumulated vsize (Kb) 38128
[startup+1210.12 s]
Raw data (loadavg): 1.08 1.03 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4353 0 0 0 69171 4066 0 0 18 0 1 0 1847779005 36864000 4218 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9000 4218 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 1088.45
Current children cumulated vsize (Kb) 38128
[startup+1220.13 s]
Raw data (loadavg): 1.07 1.02 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4357 0 0 0 70008 4122 0 0 21 0 1 0 1847779005 36864000 4221 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9000 4221 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 1097.38
Current children cumulated vsize (Kb) 38128
[startup+1230.13 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4361 0 0 0 70848 4175 0 0 25 0 1 0 1847779005 36999168 4225 4294967295 134512640 134702520 3221223712 3221207488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29239/statm): 9033 4225 413 48 0 8985 0
[pid=29239] vsize: 36132
Current children cumulated CPU time (s) 1106.31
Current children cumulated vsize (Kb) 38260
[startup+1240.13 s]
Raw data (loadavg): 1.05 1.02 1.00 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4365 0 0 0 71694 4228 0 0 25 0 1 0 1847779005 37285888 4229 4294967295 134512640 134702520 3221223712 3221222608 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9103 4229 413 48 0 9055 0
[pid=29239] vsize: 36412
Current children cumulated CPU time (s) 1115.3
Current children cumulated vsize (Kb) 38540
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=29239) exited with status: 2
New process pid=29240
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=29240) exited with status: 0
New process pid=29241
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+1250.13 s]
Raw data (loadavg): 1.04 1.02 1.00 1/57 29241
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 417 8807 0 0 1 1 105796 6312 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29241/stat): 29241 (vallst) T 29234 29234 19818 0 -1 0 2557 0 0 0 352 23 0 0 19 0 1 0 1847863891 13570048 2529 4294967295 134512640 134702520 3221223712 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29241/statm): 3313 2529 413 48 0 3265 0
[pid=29241] vsize: 13252
Current children cumulated CPU time (s) 1124.85
Current children cumulated vsize (Kb) 15380
[startup+1260.13 s]
Raw data (loadavg): 1.04 1.02 1.00 2/57 29241
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 417 8807 0 0 1 1 105796 6312 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29241/stat): 29241 (vallst) R 29234 29234 19818 0 -1 0 2583 0 0 0 1238 58 0 0 21 0 1 0 1847863891 13705216 2555 4294967295 134512640 134702520 3221223712 3220909308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29241/statm): 3346 2555 413 48 0 3298 0
[pid=29241] vsize: 13384
Current children cumulated CPU time (s) 1134.06
Current children cumulated vsize (Kb) 15512
[startup+1270.13 s]
Raw data (loadavg): 1.11 1.04 1.01 2/57 29241
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 417 8807 0 0 1 1 105796 6312 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29241/stat): 29241 (vallst) R 29234 29234 19818 0 -1 0 2700 0 0 0 2127 94 0 0 25 0 1 0 1847863891 26476544 2668 4294967295 134512640 134702520 3221223712 3220563468 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29241/statm): 6464 2668 413 48 0 6416 0
[pid=29241] vsize: 25856
Current children cumulated CPU time (s) 1143.31
Current children cumulated vsize (Kb) 27984
[startup+1280.13 s]
Raw data (loadavg): 1.09 1.03 1.00 2/57 29241
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 417 8807 0 0 1 1 105796 6312 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29241/stat): 29241 (vallst) R 29234 29234 19818 0 -1 0 2980 0 0 0 2958 149 0 0 21 0 1 0 1847863891 27410432 2946 4294967295 134512640 134702520 3221223712 3221192768 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29241/statm): 6692 2946 413 48 0 6644 0
[pid=29241] vsize: 26768
Current children cumulated CPU time (s) 1152.17
Current children cumulated vsize (Kb) 28896
[startup+1290.13 s]
Raw data (loadavg): 1.08 1.03 1.00 1/57 29241
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 417 8807 0 0 1 1 105796 6312 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29241/stat): 29241 (vallst) T 29234 29234 19818 0 -1 0 3065 0 0 0 3839 193 0 0 17 0 1 0 1847863891 27410432 3029 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29241/statm): 6692 3029 413 48 0 6644 0
[pid=29241] vsize: 26768
Current children cumulated CPU time (s) 1161.42
Current children cumulated vsize (Kb) 28896
[startup+1300.14 s]
Raw data (loadavg): 1.07 1.03 1.00 2/57 29241
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 417 8807 0 0 1 1 105796 6312 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29241/stat): 29241 (vallst) R 29234 29234 19818 0 -1 0 3148 0 0 0 4733 230 0 0 25 0 1 0 1847863891 27545600 3111 4294967295 134512640 134702520 3221223712 3221193088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29241/statm): 6725 3111 413 48 0 6677 0
[pid=29241] vsize: 26900
Current children cumulated CPU time (s) 1170.73
Current children cumulated vsize (Kb) 29028
[startup+1310.14 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 29241
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 417 8807 0 0 1 1 105796 6312 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29241/stat): 29241 (vallst) R 29234 29234 19818 0 -1 0 3152 0 0 0 5592 275 0 0 21 0 1 0 1847863891 27832320 3115 4294967295 134512640 134702520 3221223712 3221222608 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29241/statm): 6795 3115 413 48 0 6747 0
[pid=29241] vsize: 27180
Current children cumulated CPU time (s) 1179.77
Current children cumulated vsize (Kb) 29308
[startup+1320.14 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 29241
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 417 8807 0 0 1 1 105796 6312 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29241/stat): 29241 (vallst) R 29234 29234 19818 0 -1 0 3154 0 0 0 6497 308 0 0 25 0 1 0 1847863891 27545600 3113 4294967295 134512640 134702520 3221223712 3220288748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29241/statm): 6725 3113 413 48 0 6677 0
[pid=29241] vsize: 26900
Current children cumulated CPU time (s) 1189.15
Current children cumulated vsize (Kb) 29028
[startup+1330.14 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 29241
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 417 8807 0 0 1 1 105796 6312 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29241/stat): 29241 (vallst) R 29234 29234 19818 0 -1 0 3160 0 0 0 7316 369 0 0 17 0 1 0 1847863891 27545600 3117 4294967295 134512640 134702520 3221223712 3221223112 134594232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29241/statm): 6725 3117 413 48 0 6677 0
[pid=29241] vsize: 26900
Current children cumulated CPU time (s) 1197.95
Current children cumulated vsize (Kb) 29028
[startup+1340.14 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 29241
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 417 8807 0 0 1 1 105796 6312 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29241/stat): 29241 (vallst) T 29234 29234 19818 0 -1 0 3172 0 0 0 8199 407 0 0 22 0 1 0 1847863891 27680768 3127 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29241/statm): 6758 3127 413 48 0 6710 0
[pid=29241] vsize: 27032
Current children cumulated CPU time (s) 1207.16
Current children cumulated vsize (Kb) 29160
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1340.14 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 29241
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 417 8807 0 0 1 1 105796 6312 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29241/stat): 29241 (vallst) T 29234 29234 19818 0 -1 0 3172 0 0 0 8199 407 0 0 22 0 1 0 1847863891 27680768 3127 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29241/statm): 6758 3127 413 48 0 6710 0
[pid=29241] vsize: 27032
Current children cumulated CPU time (s) 1207.16
Current children cumulated vsize (Kb) 29160
Sending SIGTERM to -29234
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=29243
New process pid=29244
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/18334/stat
open syscall for file /proc/18334/status
open syscall for file /proc/18334/cmdline
open syscall for file /proc/18334/environ
open syscall for file /proc/17268/stat
open syscall for file /proc/17268/status
open syscall for file /proc/17268/cmdline
open syscall for file /proc/17268/environ
open syscall for file /proc/17295/stat
open syscall for file /proc/17295/status
open syscall for file /proc/17295/cmdline
open syscall for file /proc/17295/environ
open syscall for file /proc/17319/stat
open syscall for file /proc/17319/status
open syscall for file /proc/17319/cmdline
open syscall for file /proc/17319/environ
open syscall for file /proc/23252/stat
open syscall for file /proc/23252/status
open syscall for file /proc/23252/cmdline
open syscall for file /proc/23252/environ
open syscall for file /proc/24296/stat
open syscall for file /proc/24296/status
open syscall for file /proc/24296/cmdline
open syscall for file /proc/24296/environ
open syscall for file /proc/1116/stat
open syscall for file /proc/1116/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/1116/cmdline
open syscall for file /proc/1116/environ
open syscall for file /proc/1151/stat
open syscall for file /proc/1151/status
open syscall for file /proc/1151/cmdline
open syscall for file /proc/1151/environ
open syscall for file /proc/19818/stat
open syscall for file /proc/19818/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/19818/cmdline
open syscall for file /proc/19818/environ
open syscall for file /proc/19819/stat
open syscall for file /proc/19819/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/19819/cmdline
open syscall for file /proc/19819/environ
open syscall for file /proc/19828/stat
open syscall for file /proc/19828/status
open syscall for file /proc/19828/cmdline
open syscall for file /proc/19828/environ
open syscall for file /proc/29197/stat
open syscall for file /proc/29197/status
open syscall for file /proc/29197/cmdline
open syscall for file /proc/29197/environ
open syscall for file /proc/29233/stat
open syscall for file /proc/29233/status
open syscall for file /proc/29233/cmdline
open syscall for file /proc/29233/environ
open syscall for file /proc/29234/stat
open syscall for file /proc/29234/status
open syscall for file /proc/29234/cmdline
open syscall for file /proc/29234/environ
open syscall for file /proc/29241/stat
open syscall for file /proc/29241/status
open syscall for file /proc/29241/cmdline
open syscall for file /proc/29241/environ
open syscall for file /proc/29243/stat
open syscall for file /proc/29243/status
open syscall for file /proc/29243/cmdline
open syscall for file /proc/29243/environ
open syscall for file /proc/29244/stat
open syscall for file /proc/29244/status
open syscall for file /proc/29244/cmdline
open syscall for file /proc/29244/environ
One traced child (pid=29243) exited with status: 0
One traced child (pid=29244) exited with status: 0
New process pid=29245
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=29245) exited with status: 0
New process pid=29246
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=29246) exited with status: 0
One traced child (pid=29234) 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=29241) exited with status: 3
All traced children have exited ! Game is over.
Child status: 3
Real time (s): 1341.43
CPU time (s): 87.2997
CPU user time (s): 83.0914
CPU system time (s): 4.20836
CPU usage (%): 6.50795
Max. virtual memory (cumulated for all children) (Kb): 38540